Overview  Package   Class  Deprecated  Index  Help 
Groovy Documentation
FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

gpars.csp
Class ALT

java.lang.Object
  org.jcsp.lang.Alternative
      gpars.csp.ALT

class ALT
extends org.jcsp.lang.Alternative

ALT is used to create an Alternative object

Company: Napier University

author:
Jon Kerridge, Ken Barclay, John Savage
version:
1.0
version:
1.1 takes account of jsr03 requirements

Constructor Summary
ALT(ChannelInputList channelList)

ALT extends the Alternative class of JCSP ALT takes a list of Guards as its constructor parameter and converts them to an array of Guards as required by Alternative

ALT(List guardList)

 
Method Summary
 
Methods inherited from class org.jcsp.lang.Alternative
select, select, priSelect, priSelect, fairSelect, fairSelect, wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll
 
Methods inherited from class Object
wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll
 

Constructor Detail

ALT

public ALT(ChannelInputList channelList)
ALT extends the Alternative class of JCSP ALT takes a list of Guards as its constructor parameter and converts them to an array of Guards as required by Alternative

ALT

public ALT(List guardList)

 

Groovy Documentation