Package org.jcsp.plugNplay.ints
Class PrefixInt
java.lang.Object
org.jcsp.plugNplay.ints.PrefixInt
- All Implemented Interfaces:
CSProcess
Prefixes a user-supplied integer to the int stream
flowing through.
Process Diagram
Description
This is a process which first outputs a given integer and then copies its input stream of integers to its output stream.One output is gererated before any input but, thereafter, one output is produced for each input.
Channel Protocols
Input Channels | ||
---|---|---|
in | int | All channels in this package carry integers. |
Output Channels | ||
out | int | All channels in this package carry integers. |
Implementation Note
The implementation uses anIdentityInt
process for the copy loop:
public void run () { out.write (n); // prefix the given integer to the stream new IdentityInt (in, out).run (); // copy the stream }
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final ChannelInputInt
The input Channelprivate final int
The initial int to be sent down the Channel.private final ChannelOutputInt
The output Channel -
Constructor Summary
ConstructorsConstructorDescriptionPrefixInt
(int n, ChannelInputInt in, ChannelOutputInt out) Construct a new PrefixInt process with the input Channel in and the output Channel out. -
Method Summary
-
Field Details
-
in
The input Channel -
out
The output Channel -
n
private final int nThe initial int to be sent down the Channel.
-
-
Constructor Details
-
PrefixInt
Construct a new PrefixInt process with the input Channel in and the output Channel out.- Parameters:
n
- the initial int to be sent down the Channel.in
- the input Channelout
- the output Channel
-
-
Method Details