Package org.jcsp.lang
Class Stop
- java.lang.Object
-
- org.jcsp.lang.Guard
-
- org.jcsp.lang.Stop
-
- All Implemented Interfaces:
CSProcess
public class Stop extends Guard implements CSProcess
This is a process that starts, engages in no events, performs no computation but refuses to terminate.Description
Stop is a process that starts, engages in no events, performs no computation but refuses to terminate.It can also be used as a
Guard
in anAlternative
that is never ready. Of course, this is equivalent to it (and its defended process) not being there at all!Note: this process is included for completeness – it is one of the fundamental primitives of CSP, where it represents a broken process and is a unit of external choice. In JCSP, it is a unit of
Alternative
.- See Also:
Skip
-
-
Constructor Summary
Constructors Constructor Description Stop()
-
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()
This process starts, engages in no events, performs no computation and refuses to terminate.
-
-
-
Method Detail
-
enable
boolean enable(Alternative alt)
Enables this guard.
-
disable
boolean disable()
Disables this guard.
-
-