Package org.jcsp.plugNplay.ints
Class SuccessorInt
java.lang.Object
org.jcsp.plugNplay.ints.SuccessorInt
- All Implemented Interfaces:
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 ();
}
}
- Author:
- P.H. Welch and P.D. Austin
-
Constructor Summary
ConstructorsConstructorDescriptionSuccessorInt(ChannelInputInt in, ChannelOutputInt out) Construct a new SuccessorInt process with the input Channel in and the output Channel out. -
Method Summary