org.jcsp.lang
public class AltingBarrierError extends Error
AltingBarrier
.
Guard
whilst resigned;
sync
whilst resigned;
resign
whilst resigned;
enroll
whilst enrolled;
expand
whilst resigned;
contract
whilst resigned;
contract
with an array
of front-ends not supplied by expand
;
mark
whilst resigned (caused
by a process transfering a front-end in that state).
Constructor and Description |
---|
AltingBarrierError(String s) |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
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.