de.cau.cs.kieler.sj.exceptions
Class CausalityException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by 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 red

Constructor Summary
CausalityException()
          Creates a new CausalityException.
CausalityException(String errMessage)
          Creates a new causality exception with a given error message.
 
Method Summary
 
Methods inherited from class java.lang.Throwable
getMessage, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

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.