Groovy Documentation

gpars.csp
[Groovy] 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

Authors:
Jon Kerridge, Ken Barclay, John Savage
Version:
1.0
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
org.jcsp.lang.Alternative#select(), org.jcsp.lang.Alternative#select([Z), org.jcsp.lang.Alternative#priSelect(), org.jcsp.lang.Alternative#priSelect([Z), org.jcsp.lang.Alternative#fairSelect(), org.jcsp.lang.Alternative#fairSelect([Z), org.jcsp.lang.Alternative#wait(long), org.jcsp.lang.Alternative#wait(long, int), org.jcsp.lang.Alternative#wait(), org.jcsp.lang.Alternative#equals(java.lang.Object), org.jcsp.lang.Alternative#toString(), org.jcsp.lang.Alternative#hashCode(), org.jcsp.lang.Alternative#getClass(), org.jcsp.lang.Alternative#notify(), org.jcsp.lang.Alternative#notifyAll()
 
Methods inherited from class Object
wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll
 

Constructor Detail

ALT

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

ALT(List guardList)


 

Groovy Documentation