org.jcsp.lang
Class AltingBarrierError

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          org.jcsp.lang.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).

Author:

P.H. Welch

See Also:

Serialized Form

Constructor Summary

AltingBarrierError(java.lang.String s)

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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)