1
import org.jcsp.lang.*;
2
import org.jcsp.plugNplay.ints.*;
4
public class SuccessorIntExample {
6
public static void main (String[] argv) {
8
final One2OneChannelInt a = Channel.one2oneInt ();
9
final One2OneChannelInt b = Channel.one2oneInt ();
13
new NumbersInt (a.out ()),
14
new SuccessorInt (a.in (), b.out ()),
15
new PrinterInt (b.in (), "--> ", "\n")