org.jcsp.plugNplay.ints

Class NumbersInt

java.lang.Object

org.jcsp.plugNplay.ints.NumbersInt

All Implemented Interfaces:

CSProcess

public class NumbersInt
extends java.lang.Object
implements CSProcess

Plugs together a network of low-level stateless components to generate the sequence of natural numbers.

Process Diagram

External View

         ______________  
        |              | out
        |  NumbersInt  |-->----
        |______________|
 

Internal View

         ___________________________________________
        |  _______________             ___________  |
        | |               |           |           | | out
        | | PrefixInt (0) |----->-----| Delta2Int |-->-- 
        | |_______________|           |___________| |
        |     |                              |      |
        |     |          ______________      |      |
        |     |         |              |     |      |
        |     +----<----| SuccessorInt |--<--+      |
        |               |______________|            |
        |                                NumbersInt |
        |___________________________________________|
 

Description

The NumbersInt process generates the sequence of Natural numbers.

Channel Protocols

Output Channels
out	int	All channels in this package carry integers.

Field Summary

Fields

Modifier and Type	Field and Description
private ChannelOutputInt	out The output Channel

Constructor Summary

Constructors

Constructor and Description
NumbersInt(ChannelOutputInt out) Construct a new NumbersInt process with the output Channel out.

Method Summary

Modifier and Type	Method and 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

Field Detail

out

private final ChannelOutputInt out

The output Channel

Constructor Detail

NumbersInt

public NumbersInt(ChannelOutputInt out)

Construct a new NumbersInt process with the output Channel out.

Parameters:

out - the output channel

Method Detail

run

public void run()

The main body of this process.

Specified by:

run in interface CSProcess