de.cau.cs.kieler.sj.exceptions
Class CausalityException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
de.cau.cs.kieler.sj.exceptions.CausalityException
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()
- Rating

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.