jcsp.lang
Class Skipper

java.lang.Object
  |
  +--jcsp.lang.Guard
        |
        +--jcsp.lang.Skipper

Deprecated. Use Skip.

public class Skipper

extends Guard

This is a Guard that is always ready.

Description

Skipper is a Guard that is always ready.

Note: for those familiar with the occam multiprocessing language, Skipper gives the semantics of the SKIP guard in an ALT construct.

Author:

P.H.Welch and P.D.Austin

See Also:

Alternative

Constructor Summary

Skipper()
Deprecated.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Skipper

public Skipper()

Deprecated.