sj.exceptions
Class CausalityException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
sj.exceptions.CausalityException
- All Implemented Interfaces:
- Serializable
public class CausalityException
- extends RuntimeException
Exception which should be thrown if a causality problem is detected and the causality check is
active. The SC name for this Exception is _SC_ERROR_CAUSALITY
.
- See Also:
EmbeddedSJProgram.activateCausalityCheck()
,
EmbeddedSJProgram.isCausalityCheckActive()
,
Serialized Form- Rating

Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
CausalityException
public CausalityException()
- Creates a new CausalityException.
CausalityException
public CausalityException(String errMessage)
- Creates a new causality exception with a given error message.
- Parameters:
errMessage
- The error message for the exception.