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 |
---|---|
void |
run()
This process starts, engages in no events, performs no computation
and refuses to terminate.
|
Copyright © 1996–2021. All rights reserved.