Package 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 ();
 
   }
 
 }

  • Field Details

  • Constructor Details

    • 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 Channel
      out - the output Channel

  • Method Details

    • run

      public void run()
      The main body of this process.
      Specified by:
      run in interface CSProcess