Package org.jcsp.lang
Class Skip
- java.lang.Object
-
- org.jcsp.lang.Guard
-
- org.jcsp.lang.Skip
-
- All Implemented Interfaces:
CSProcess
public class Skip extends Guard implements CSProcess
This is a process that immediately terminates and aGuard
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 anAlternative
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 andpriSelect
.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
andPriParallel
.- See Also:
Stop
-
-
Constructor Summary
Constructors Constructor Description Skip()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) boolean
disable()
Disables this guard.(package private) boolean
enable(Alternative alt)
Enables this guard.void
run()
The main body of this process.
-
-
-
Method Detail
-
enable
boolean enable(Alternative alt)
Enables this guard.
-
disable
boolean disable()
Disables this guard.
-
-