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
.- Author:
- P.D. Austin and P.H. Welch
- See Also:
Skip
-
-
Constructor Summary
Constructors Constructor Description Stop()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
run()
This process starts, engages in no events, performs no computation and refuses to terminate.
-