org.jcsp.lang
Class AltingBarrierError
java.lang.Object
java.lang.Throwable
java.lang.Error
org.jcsp.lang.AltingBarrierError
- All Implemented Interfaces:
- Serializable
public class AltingBarrierError
- extends 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
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
AltingBarrierError
public AltingBarrierError(String s)
Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.