triveni
Class Sequence

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

public class Sequence

extends Expr

Class Sequence provides a Triveni expression that composes its subexpressions sequentially. A sequence expression terminates when its last subexpression terminates.

See Also:

Loop

Constructor Summary

Sequence(Expr[] exprs)

Sequence(Expr e1, Expr e2)
Sequence(new Expr[] { e1, e2 })

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

Sequence

public Sequence(Expr[] exprs)

Parameters:

exprs - the subexpressions to be executed sequentially.

Throws:

java.lang.IllegalArgumentException - if exprs is null or empty.

Sequence

public Sequence(Expr e1,
                Expr e2)

 Sequence(new Expr[] { e1, e2 })
 

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Expr