Package org.jcsp.plugNplay.ints
Class PrefixInt
- java.lang.Object
-
- org.jcsp.plugNplay.ints.PrefixInt
-
- All Implemented Interfaces:
CSProcess
public final class PrefixInt extends java.lang.Object implements 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
Fields Modifier and Type Field Description private ChannelInputInt
in
The input Channelprivate int
n
The initial int to be sent down the Channel.private ChannelOutputInt
out
The output Channel
-
Constructor Summary
Constructors Constructor Description PrefixInt(int n, ChannelInputInt in, ChannelOutputInt out)
Construct a new PrefixInt process with the input Channel in and the output Channel out.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
run()
The main body of this process.
-
-
-
Field Detail
-
in
private final ChannelInputInt in
The input Channel
-
out
private final ChannelOutputInt out
The output Channel
-
n
private final int n
The initial int to be sent down the Channel.
-
-
Constructor Detail
-
PrefixInt
public PrefixInt(int n, ChannelInputInt in, ChannelOutputInt out)
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
-
-