org.jcsp.plugNplay.ints
public final class PrefixInt extends Object implements CSProcess
One output is gererated before any input 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 () { out.write (n); // prefix the given integer to the stream new IdentityInt (in, out).run (); // copy the stream }
Constructor and Description |
---|
PrefixInt(int n,
ChannelInputInt in,
ChannelOutputInt out)
Construct a new PrefixInt process with the input Channel in and the
output Channel out.
|
public PrefixInt(int n, ChannelInputInt in, ChannelOutputInt out)
n
- the initial int to be sent down the Channel.in
- the input Channelout
- the output ChannelSubmit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.