Class NumbersInt

java.lang.Object
org.jcsp.plugNplay.ints.NumbersInt
All Implemented Interfaces:
CSProcess
public class NumbersInt extends 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 |-->-- 
       | |_______________|           |___________| |
       |     |                              |      |
       |     |          ______________      |      |
       |     |         |              |     |      |
       |     +----invalid input: '<'----| SuccessorInt |--invalid input: '<'--+      |
       |               |______________|            |
       |                                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 Details

  • Constructor Details

    • NumbersInt

      public NumbersInt(ChannelOutputInt out)
      Construct a new NumbersInt process with the output Channel out.
      Parameters:
      out - the output channel

  • Method Details

    • run

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