org.jcsp.lang
Class AlternativeError

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