-
- All Implemented Interfaces and Traits:
- CSProcess
public class Skip
extends Guard
This is a process that immediately terminates and
a Guard that is always ready.
Description
Skip is a process that starts, engages in no events, performs no
computation and terminates. It can also be used as a Guard in
an Alternative
that is always ready.
Note: the process form is included for completeness -- it is one of
the fundamental primitives of CSP.
- See Also:
- Stop
- Authors:
- P.D.Austin
- P.H.Welch
-
-
Methods Summary
Methods
Type |
Name and description |
void |
run() The main body of this process. |
-
Inherited Methods Summary
Inherited Methods
Methods inherited from class |
Name |
class Guard |
schedule |
- Summary:
Nested Field Constructor - Method
- | Detail:
Field Constructor - Method
JCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk