JCSP Selection

• Selects a channel ready for reading from an array of channels

• Implies non-determinism

• Declare an Alternative object

  • select function returns index of ready channel
  • variations allow

    • boolean array, channel can be selected only if boolean is true
    • timer -- select continues after specified time
    • skip -- select continues immediately if no channel is ready

Previous slide

Next slide

Back to first slide

View graphic version