public final class PrefixInt
Prefixes a user-supplied integer to the int stream flowing through.
One output is gererated before any input but that, thereafter, one output is produced for each input.
Input Channels | ||
---|---|---|
in | int | All channels in this package carry integers. |
Output Channels | ||
out | int | All channels in this package carry integers. |
Constructor and description |
---|
PrefixInt
(int n, ChannelInputInt in, ChannelOutputInt out) Construct a new PrefixInt process with the input Channel in and the output Channel out. |
Construct a new PrefixInt process with the input Channel in and the output Channel out.
n
- the initial int to be sent down the Channel.in
- the input Channelout
- the output ChannelJCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk