Package org.jcsp.plugNplay.ints
Class SuccessorInt
- java.lang.Object
-
- org.jcsp.plugNplay.ints.SuccessorInt
-
- All Implemented Interfaces:
CSProcess
public final class SuccessorInt extends java.lang.Object implements CSProcess
Adds one to each integer in the stream flowing through.Process Diagram
Description
SuccessorInt increments each integer that flows through it.Channel Protocols
Input Channels in int All channels in this package carry integers. Output Channels out int All channels in this package carry integers. Example
The following example shows how to use the SuccessorInt process in a small program. The program also uses some of the other plugNplay processes. The program generates a sequence of numbers, adds one to them and prints this on the screen.import org.jcsp.lang.*; import org.jcsp.plugNplay.ints.*; public class SuccessorIntExample { public static void main (String[] argv) { final One2OneChannelInt a = Channel.one2oneInt (); final One2OneChannelInt b = Channel.one2oneInt (); new Parallel ( new CSProcess[] { new NumbersInt (a.out ()), new SuccessorInt (a.in (), b.out ()), new PrinterInt (b.in (), "--> ", "\n") } ).run (); } }
-
-
Field Summary
Fields Modifier and Type Field Description private ChannelInputInt
in
The input Channelprivate ChannelOutputInt
out
The output Channel
-
Constructor Summary
Constructors Constructor Description SuccessorInt(ChannelInputInt in, ChannelOutputInt out)
Construct a new SuccessorInt process with the input Channel in and the output Channel out.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
run()
The main body of this process.
-
-
-
Field Detail
-
in
private final ChannelInputInt in
The input Channel
-
out
private final ChannelOutputInt out
The output Channel
-
-
Constructor Detail
-
SuccessorInt
public SuccessorInt(ChannelInputInt in, ChannelOutputInt out)
Construct a new SuccessorInt process with the input Channel in and the output Channel out.- Parameters:
in
- the input Channelout
- the output Channel
-
-