Package org.jcsp.plugNplay.ints
Class TailInt
- java.lang.Object
-
- org.jcsp.plugNplay.ints.TailInt
-
- All Implemented Interfaces:
CSProcess
public final class TailInt extends java.lang.Object implements CSProcess
The output stream is the tail of its input stream.Process Diagram
The output stream is the tail of its input stream.Description
The first integer (i.e. head) of its input stream is not forwarded. The rest (i.e. tail) is copied through unchanged.Two inputs are needed before any output is produced 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 () { in.read (); // accept, but discard, the first item new IdentityInt (in, out).run (); // copy the rest of the stream }
-
-
Field Summary
Fields Modifier and Type Field Description private ChannelInputInt
in
The input Channelprivate ChannelOutputInt
out
The output Channel
-
Constructor Summary
Constructors Constructor Description TailInt(ChannelInputInt in, ChannelOutputInt out)
Construct a new TailInt 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
-
-
Constructor Detail
-
TailInt
public TailInt(ChannelInputInt in, ChannelOutputInt out)
Construct a new TailInt process with the input Channel in and the output Channel out.- Parameters:
in
- the input Channelout
- the output Channel
-
-