public class Skip extends Guard implements CSProcess
Guard
that is always ready.
It can also be used as a Guard
in
an Alternative
that is always ready.
This makes it useful for polling
a set of guards to test if any are ready:
include it as the last element of the guard array and
priSelect
.
Note: the process is also included for completeness – it is one of
the fundamental primitives of CSP, where it is a unit of sequential
composition and parallel interleaving.
In JCSP, it is a unit of Sequence
, Parallel
and PriParallel
.
Stop
Constructor and Description |
---|
Skip() |
Modifier and Type | Method and Description |
---|---|
void |
run()
The main body of this process.
|
Copyright © 1996–2017. All rights reserved.