gov.nasa.jpf.symbc.veritesting

Class StaticRegionException

java.lang.Object

java.lang.Throwable

java.lang.Exception

gov.nasa.jpf.symbc.veritesting.StaticRegionException

All Implemented Interfaces:

java.io.Serializable

public class StaticRegionException
extends java.lang.Exception

Exception class used whenever violation was detected during veritesting.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StaticRegionException.ExceptionPhase

Field Summary

Fields

Modifier and Type	Field and Description
static java.util.HashMap<java.lang.String,Pair<java.lang.Integer,StaticRegionException.ExceptionPhase>>	ExceptionMap
private static boolean	staticAnalysisComplete

Constructor Summary

Constructors

Constructor and Description
StaticRegionException(java.lang.String reason)

Method Summary

Modifier and Type	Method and Description
private static void	countException(java.lang.Exception sre, StaticRegionException.ExceptionPhase phase)
static void	staticAnalysisComplete()
static void	throwException(java.lang.IllegalArgumentException sre, StaticRegionException.ExceptionPhase phase)
static void	throwException(StaticRegionException sre, StaticRegionException.ExceptionPhase phase)

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ExceptionMap

public static java.util.HashMap<java.lang.String,Pair<java.lang.Integer,StaticRegionException.ExceptionPhase>> ExceptionMap

staticAnalysisComplete

private static boolean staticAnalysisComplete

Constructor Detail

StaticRegionException

public StaticRegionException(java.lang.String reason)

Method Detail

staticAnalysisComplete

public static void staticAnalysisComplete()

throwException

public static void throwException(StaticRegionException sre,
                                  StaticRegionException.ExceptionPhase phase)
                           throws StaticRegionException

Throws:

StaticRegionException

throwException

public static void throwException(java.lang.IllegalArgumentException sre,
                                  StaticRegionException.ExceptionPhase phase)
                           throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

countException

private static void countException(java.lang.Exception sre,
                                   StaticRegionException.ExceptionPhase phase)