Package relaxngcc.automaton
Class Transition
- java.lang.Object
-
- relaxngcc.automaton.Transition
-
-
Field Summary
-
Fields inherited from interface relaxngcc.automaton.WithOrder
orderComparator
-
-
Constructor Summary
Constructors Constructor Description Transition(Alphabet a, State n, int o)
Creates Transition with no action.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Method Detail
-
createActionOnlyTransition
public static Transition createActionOnlyTransition(State next, ScopeInfo.Action act)
-
insertPrologueAction
public void insertPrologueAction(ScopeInfo.Action newAction)
Adds a new action at head of the prologue actions.
-
insertEpilogueAction
public void insertEpilogueAction(ScopeInfo.Action newAction)
Adds a new action at head of the epilogue actions.
-
insertEpilogueActions
public void insertEpilogueActions(ScopeInfo.Action[] newActions)
-
getPrologueActions
public ScopeInfo.Action[] getPrologueActions()
Gets all prologue actions.
-
getEpilogueActions
public ScopeInfo.Action[] getEpilogueActions()
Gets all epilogue actions.
-
invokePrologueActions
public CDBlock invokePrologueActions()
Gets the code to invoke all the prologue actions.
-
invokeEpilogueActions
public CDBlock invokeEpilogueActions()
Gets the code to invoke all the epilogue actions.
-
hasAction
public boolean hasAction()
Returns true if this transition has any associated action.
-
clone
public java.lang.Object clone()
-
clone
public Transition clone(State next)
-
getAlphabet
public Alphabet getAlphabet()
-
nextState
public State nextState()
-
getUniqueId
public int getUniqueId()
-
changeDestination
public void changeDestination(State s)
-
head
public java.util.Set head(boolean includeEE)
Computes HEAD set of this transition. SeeHead
for the definition.
-
-