Package org.jcsp.lang

Class 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.
    Author:
    P.H. Welch
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      AlternativeError​(java.lang.String s)  
    • Method Summary

      • Methods inherited from class java.lang.Throwable

        addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • AlternativeError

        public AlternativeError​(java.lang.String s)