CSP for Java
(JCSP) 1.1-rc4

Class AlternativeError

  extended by java.lang.Throwable
      extended by java.lang.Error
          extended by org.jcsp.lang.AlternativeError
All Implemented Interfaces:

public class AlternativeError
extends Error

This is thrown for an illegal operation on an Alternative.


Currently, there is only one cause: we cannot invoke 'priSelect' when there is an AltingBarrier in the Guard array.

P.H. Welch
See Also:
Serialized Form

Constructor Summary
AlternativeError(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


public AlternativeError(String s)

CSP for Java
(JCSP) 1.1-rc4

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.