Class Transition

java.lang.Object
relaxngcc.automaton.Transition
All Implemented Interfaces:
WithOrder

public final class Transition extends Object implements WithOrder
A Trnasition is a tuple of an Alphabet, a next state, and user-defined action.
  • Constructor Details

    • Transition

      public Transition(Alphabet a, State n, int o)
      Creates Transition with no action.
  • Method Details

    • getOrder

      public int getOrder()
      Specified by:
      getOrder in interface WithOrder
    • 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 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 Set head(boolean includeEE)
      Computes HEAD set of this transition. See Head for the definition.