triveni
Class Await

java.lang.Object
  |
  +--triveni.Communicator
        |
        +--triveni.Expr
              |
              +--triveni.Await

public class Await

extends Expr

Class Await provides a conjunctive await in Triveni. A conjunctive await waits until events corresponding to all listed labels have occurred, executes an action if present, and continues as the given expression if present. It terminates when the given expression terminates.

See Also:

AwaitOne

Constructor Summary

Await()
Await(Action.NULL)

Await(Action onLabel)
An expression that waits for any subsequent event.

Await(java.lang.String label)
Await(label, Action.NULL)

Await(java.lang.String[] labels)
Await(labels, Action.NULL, new Done())

Await(java.lang.String[] labels, Action onLabel)
Await(labels, onLabel, new Done())

Await(java.lang.String[] labels, Action onLabel, Expr expr)

Await(java.lang.String[] labels, Expr expr)
Await(labels, Action.NULL, expr)

Await(java.lang.String label, Action onLabel)
Await(label, Action.NULL, new Done())

Await(java.lang.String label, Action onLabel, Expr expr)

Await(java.lang.String label, Expr expr)
Await(label, Action.NULL, expr)

Method Summary

java.lang.Object

clone()

Methods inherited from class triveni.Expr

addNewActExpressions, become, printFSM, setOnQuiescence, setTracer, spawn, start, start, update

Methods inherited from class triveni.Communicator

addLabeledListener, addRelevantLabel, addRelevantLabels, fireEvent, getRelevantLabels, removeLabeledListener, removeRelevantLabel, setRelevantLabels, setRelevantLabels

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Await

public Await(java.lang.String[] labels,
             Action onLabel,
             Expr expr)

Parameters:

labels - the labels to wait for.

onLabel - the action to execute when all labels have appeared.

expr - the expression with which to continue.

Throws:

java.lang.IllegalArgumentException - if labels or onLabel or expr is null.

Await

public Await(java.lang.String[] labels,
             Action onLabel)

 Await(labels, onLabel, new Done())
 

Await

public Await(java.lang.String[] labels,
             Expr expr)

 Await(labels, Action.NULL, expr)
 

Await

public Await(java.lang.String[] labels)

 Await(labels, Action.NULL, new Done())
 

Await

public Await(java.lang.String label,
             Action onLabel,
             Expr expr)

Parameters:

label - the label to wait for.

onLabel - the action to execute when all label has appeared.

expr - the expression with which to continue.

Throws:

java.lang.IllegalArgumentException - if label or onLabel or expr is null.

Await

public Await(java.lang.String label,
             Action onLabel)

 Await(label, Action.NULL, new Done())
 

Await

public Await(java.lang.String label,
             Expr expr)

 Await(label, Action.NULL, expr)
 

Await

public Await(java.lang.String label)

 Await(label, Action.NULL)
 

Await

public Await(Action onLabel)

An expression that waits for any subsequent event.

Parameters:

onLabel - the action to execute when the event has occurred.

Await

public Await()

 Await(Action.NULL)
 

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Expr