AltingBarrierError (CSP for Java (JCSP) 1.1-rc3 API Specification)

Overview

Package

Class

Tree

Deprecated

Index

Help

CSP for Java
(JCSP) 1.1-rc3

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

Constructor Summary
`AltingBarrierError(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

AltingBarrierError

public AltingBarrierError(String s)