org.jcsp.plugNplay.ints
Class SuccessorInt
java.lang.Object
org.jcsp.plugNplay.ints.SuccessorInt
- All Implemented Interfaces:
- CSProcess
public final class SuccessorInt
- extends 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 ();
}
}
- Author:
- P.H. Welch and P.D. Austin
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 |
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
run
public void run()
- The main body of this process.
- Specified by:
run
in interface CSProcess
Copyright © 1996-2012. All Rights Reserved.