orderComparator
Constructor and Description |
---|
Transition(Alphabet a,
State n,
int o)
Creates Transition with no action.
|
Modifier and Type | Method and Description |
---|---|
void |
changeDestination(State s) |
java.lang.Object |
clone() |
Transition |
clone(State next) |
static Transition |
createActionOnlyTransition(State next,
ScopeInfo.Action act) |
Alphabet |
getAlphabet() |
ScopeInfo.Action[] |
getEpilogueActions()
Gets all epilogue actions.
|
int |
getOrder() |
ScopeInfo.Action[] |
getPrologueActions()
Gets all prologue actions.
|
int |
getUniqueId() |
boolean |
hasAction()
Returns true if this transition has any associated action.
|
java.util.Set |
head(boolean includeEE)
Computes HEAD set of this transition.
|
void |
insertEpilogueAction(ScopeInfo.Action newAction)
Adds a new action at head of the epilogue actions.
|
void |
insertEpilogueActions(ScopeInfo.Action[] newActions) |
void |
insertPrologueAction(ScopeInfo.Action newAction)
Adds a new action at head of the prologue actions.
|
CDBlock |
invokeEpilogueActions()
Gets the code to invoke all the epilogue actions.
|
CDBlock |
invokePrologueActions()
Gets the code to invoke all the prologue actions.
|
State |
nextState() |
public static Transition createActionOnlyTransition(State next, ScopeInfo.Action act)
public void insertPrologueAction(ScopeInfo.Action newAction)
public void insertEpilogueAction(ScopeInfo.Action newAction)
public void insertEpilogueActions(ScopeInfo.Action[] newActions)
public ScopeInfo.Action[] getPrologueActions()
public ScopeInfo.Action[] getEpilogueActions()
public CDBlock invokePrologueActions()
public CDBlock invokeEpilogueActions()
public boolean hasAction()
public java.lang.Object clone()
clone
in class java.lang.Object
public Transition clone(State next)
public Alphabet getAlphabet()
public State nextState()
public int getUniqueId()
public void changeDestination(State s)
public java.util.Set head(boolean includeEE)
Head
for the definition.