Package relaxngcc.automaton
Class Transition
java.lang.Object
relaxngcc.automaton.Transition
- All Implemented Interfaces:
WithOrder
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
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
clone()
static Transition
createActionOnlyTransition
(State next, ScopeInfo.Action act) Gets all epilogue actions.int
getOrder()
Gets all prologue actions.int
boolean
Returns true if this transition has any associated action.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.Gets the code to invoke all the epilogue actions.Gets the code to invoke all the prologue actions.
-
Constructor Details
-
Transition
Creates Transition with no action.
-
-
Method Details
-
getOrder
public int getOrder() -
createActionOnlyTransition
-
insertPrologueAction
Adds a new action at head of the prologue actions. -
insertEpilogueAction
Adds a new action at head of the epilogue actions. -
insertEpilogueActions
-
getPrologueActions
Gets all prologue actions. -
getEpilogueActions
Gets all epilogue actions. -
invokePrologueActions
Gets the code to invoke all the prologue actions. -
invokeEpilogueActions
Gets the code to invoke all the epilogue actions. -
hasAction
public boolean hasAction()Returns true if this transition has any associated action. -
clone
-
clone
-
getAlphabet
-
nextState
-
getUniqueId
public int getUniqueId() -
changeDestination
-
head
Computes HEAD set of this transition. SeeHead
for the definition.
-