Package org.jcsp.lang

Class AlternativeError

java.lang.Object
java.lang.Throwable
java.lang.Error
org.jcsp.lang.AlternativeError
All Implemented Interfaces:
Serializable

public class AlternativeError extends 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:
  • Constructor Details

    • AlternativeError

      public AlternativeError(String s)