Package org.jcsp.lang
Class AlternativeError
java.lang.Object
java.lang.Throwable
java.lang.Error
org.jcsp.lang.AlternativeError
- All Implemented Interfaces:
Serializable
This is thrown for an illegal operation on an Alternative.
Description
Currently, there is only one cause: we cannot invoke 'priSelect' when there is an AltingBarrier in the Guard array.- See Also:
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
AlternativeError
-