org.jcsp.lang
Class AlternativeError

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

public class AlternativeError
extends Error

This is thrown for an illegal operation on an Alternative.

Description

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

Author:
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

AlternativeError

public AlternativeError(String s)


Copyright © 1996-2012. All Rights Reserved.