jcsp.lang
Class Skip

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

All Implemented Interfaces:

CSProcess

public class Skip

extends Guard

implements CSProcess

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

Description

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.

Note: the process form is included for completeness -- it is one of the fundamental primitives of CSP.

Author:

P.D.Austin and P.H.Welch

See Also:

Stop

Constructor Summary

Skip()

Method Summary

void	run() The main body of this process.

Methods inherited from class java.lang.Object

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

Constructor Detail

Skip

public Skip()

Method Detail

run

public void run()

The main body of this process.

Specified by:

run in interface CSProcess