triveni
Class Rename

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

public class Rename

extends Expr

Class Local provides a mechanism to make event labels local in a given expression. Such labels become distinct from occurrences of the same labels outside the given expression.

See Also:

LabeledEvent, Local

Constructor Summary

Rename(java.lang.String[] oldLabels, java.lang.String[] newLabels, Expr expr)

Rename(java.lang.String oldLabel, java.lang.String newLabel, Expr e)
Rename(new String[] { oldLabel }, new String[] { newLabel }, e)

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

Rename

public Rename(java.lang.String[] oldLabels,
              java.lang.String[] newLabels,
              Expr expr)

Parameters:

oldLabels - the old event labels.

newLabels - the new event labels.

expr - the expression in which the labels are renamed.

Throws:

java.lang.IllegalArgumentException - if the labels or the expr is null or if there is not the same number of old and new labels.

Rename

public Rename(java.lang.String oldLabel,
              java.lang.String newLabel,
              Expr e)

 Rename(new String[] { oldLabel }, new String[] { newLabel }, e)
 

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Expr