|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.jcsp.plugNplay.ints.TailInt
public final class TailInt
The output stream is the tail of its input stream.
Two inputs are needed before any output is produced but, thereafter, one output is produced for each input.
Input Channels | ||
---|---|---|
in | int | All channels in this package carry integers. |
Output Channels | ||
out | int | All channels in this package carry integers. |
IdentityInt
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 }
Constructor Summary | |
---|---|
TailInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new TailInt process with the input Channel in and the output Channel out. |
Method Summary | |
---|---|
void |
run()
The main body of this process. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TailInt(ChannelInputInt in, ChannelOutputInt out)
in
- the input Channelout
- the output ChannelMethod Detail |
---|
public void run()
run
in interface CSProcess
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |