Package org.jcsp.lang
Class AlternativeError
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Error
-
- org.jcsp.lang.AlternativeError
-
- All Implemented Interfaces:
java.io.Serializable
public class AlternativeError extends java.lang.Error
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:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description AlternativeError(java.lang.String s)
-