Package org.jcsp.plugNplay.ints
Class TailInt
- java.lang.Object
-
- org.jcsp.plugNplay.ints.TailInt
-
- All Implemented Interfaces:
CSProcess
public final class TailInt extends 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 }
- Author:
- P.H. Welch and P.D. Austin
-
-
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.
-
-
-
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
-
-