CSP for Java
(JCSP) 1.1-rc4

Class Skip

  extended by org.jcsp.lang.Guard
      extended by org.jcsp.lang.Skip
All Implemented Interfaces:

public class Skip
extends Guard
implements CSProcess

This is a process that immediately terminates and a Guard that is always ready.


Skip is a process that starts, engages in no events, performs no computation and terminates.

It can also be used as a Guard in an Alternative that is always ready. This makes it useful for polling a set of guards to test if any are ready: include it as the last element of the guard array and priSelect.

Note: the process is also included for completeness – it is one of the fundamental primitives of CSP, where it is a unit of sequential composition and parallel interleaving. In JCSP, it is a unit of Sequence, Parallel and PriParallel .

P.D. Austin, P.H. Welch
See Also:

Constructor Summary
Method Summary
 void run()
          The main body of this process.
Methods inherited from class org.jcsp.lang.Guard
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public Skip()
Method Detail


public void run()
The main body of this process.

Specified by:
run in interface CSProcess

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.