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

Constructor Summary

SuccessorInt(ChannelInputInt in, ChannelOutputInt out)
Construct a new SuccessorInt process with the input Channel in and the output Channel out.

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

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