Package org.jcsp.plugNplay.ints
Class TailInt
java.lang.Object
org.jcsp.plugNplay.ints.TailInt
- All Implemented Interfaces:
CSProcess
The output stream is the tail of its input stream.
Process Diagram
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
ConstructorsConstructorDescriptionTailInt
(ChannelInputInt in, ChannelOutputInt out) Construct a new TailInt process with the input Channel in and the output Channel out. -
Method Summary