Package org.jcsp.lang
Class Stop
java.lang.Object
org.jcsp.lang.Guard
org.jcsp.lang.Stop
- All Implemented Interfaces:
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 an Alternative
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:
-
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()
This process starts, engages in no events, performs no computation and refuses to terminate.
-
Constructor Details
-
Stop
public Stop()
-
-
Method Details
-
enable
Enables this guard. -
disable
boolean disable()Disables this guard. -
run
public void run()This process starts, engages in no events, performs no computation and refuses to terminate.
-