Package org.jcsp.lang

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

      • AlternativeError

        public AlternativeError​(String s)