Class 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 ();
     
       }
     
     }
     
    Author:
    P.H. Welch and P.D. Austin
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      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
    • 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 Channel
        out - the output Channel
    • Method Detail

      • run

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