Package org.jcsp.lang
Class Skip
java.lang.Object
org.jcsp.lang.Guard
org.jcsp.lang.Skip
- All Implemented Interfaces:
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.
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
.
- See Also:
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) boolean
disable()
Disables this guard.(package private) boolean
enable
(Alternative alt) Enables this guard.void
run()
The main body of this process.
-
Constructor Details
-
Skip
public Skip()
-
-
Method Details
-
enable
Enables this guard. -
disable
boolean disable()Disables this guard. -
run
public void run()The main body of this process.
-