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 }
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final ChannelInputInt
The input Channelprivate final ChannelOutputInt
The output Channel -
Constructor Summary
ConstructorsConstructorDescriptionTailInt
(ChannelInputInt in, ChannelOutputInt out) Construct a new TailInt process with the input Channel in and the output Channel out. -
Method Summary
-
Field Details
-
in
The input Channel -
out
The output Channel
-
-
Constructor Details
-
TailInt
Construct a new TailInt process with the input Channel in and the output Channel out.- Parameters:
in
- the input Channelout
- the output Channel
-
-
Method Details