|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectrelaxngcc.automaton.Transition
public final class Transition
A Trnasition is a tuple of an Alphabet, a next state, and user-defined action.
Field Summary |
---|
Fields inherited from interface relaxngcc.automaton.WithOrder |
---|
orderComparator |
Constructor Summary | |
---|---|
Transition(Alphabet a,
State n,
int o)
Creates Transition with no action. |
Method Summary | |
---|---|
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()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Transition(Alphabet a, State n, int o)
Method Detail |
---|
public int getOrder()
getOrder
in interface WithOrder
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.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |