public class Stop extends Guard implements CSProcess
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
.
Skip
Constructor and Description |
---|
Stop() |
Modifier and Type | Method and 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.
|
boolean enable(Alternative alt)
boolean disable()