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 aGuardthat 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
Guardin anAlternativethat 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,ParallelandPriParallel.- See Also:
Stop
-
-
Constructor Summary
Constructors Constructor Description Skip()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) booleandisable()Disables this guard.(package private) booleanenable(Alternative alt)Enables this guard.voidrun()The main body of this process.
-
-
-
Method Detail
-
enable
boolean enable(Alternative alt)
Enables this guard.
-
disable
boolean disable()
Disables this guard.
-
-