Class GenerateInt

java.lang.Object
org.jcsp.plugNplay.ints.GenerateInt
All Implemented Interfaces:
CSProcess

public final class GenerateInt extends Object implements CSProcess
Generates an infinite (constant) sequence of ints.

Process Diagram

Description

GenerateInt is a process that generates an infinite sequence of the integer, n, with which it is configured.

Channel Protocols

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

    • out

      private final ChannelOutputInt out
      The output Channel
    • n

      private final int n
      The output number
  • Constructor Details

    • GenerateInt

      public GenerateInt(ChannelOutputInt out, int n)
      Construct a new GenerateInt process with the output channel out.
      Parameters:
      out - the output channel
      n - the number to generate
  • Method Details

    • run

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