Package org.jcsp.lang

Class AltingBarrierError

  • All Implemented Interfaces:
    java.io.Serializable

    public class AltingBarrierError
    extends java.lang.Error
    This is thrown for an illegal operation on an AltingBarrier.

    Description

    Currently, there are the following causes:
    • different threads trying to operate on the same front-end;
    • attempt to use as a Guard whilst resigned;
    • attempt to sync whilst resigned;
    • attempt to resign whilst resigned;
    • attempt to enroll whilst enrolled;
    • attempt to expand whilst resigned;
    • attempt to contract whilst resigned;
    • attempt to contract with an array of front-ends not supplied by expand;
    • attempt to mark whilst resigned (caused by a process transfering a front-end in that state).
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      AltingBarrierError​(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

      • AltingBarrierError

        public AltingBarrierError​(java.lang.String s)