public final class Generate
Generates an infinite (constant) sequence of Integers.
Output Channels | ||
---|---|---|
out | java.lang.Integer | The output will always be of type Integer. |
Constructor and description |
---|
Generate
(ChannelOutput out, int n) Construct a new Generate process with the output channel out. |
Construct a new Generate process with the output channel out.
out
- the output channeln
- the integer to generateJCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk