jcsp.plugNplay.ints
Class SuccessorInt

java.lang.Object
  |
  +--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

         ______________
    in  |              | out
   -->--| SuccessorInt |-->--
        |______________|
 

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 jcsp.lang.*;
 import jcsp.util.ints.*;
 
 public final class SuccessorIntExample {
 
   public static void main (String[] argv) {
 
     final Channel a = new One2OneChannel ();
     final Channel b = new One2OneChannel ();
 
     new Parallel (
       new CSProcess[] {
         new NumbersInt (a),
         new SuccessorInt (a, b),
         new PrinterInt (b)
       }
     ).run ();
 
   }
 
 }
 

Author:

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