Class Transition

  • All Implemented Interfaces:
    WithOrder

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

      • Transition

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

      • 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()
      • 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. See Head for the definition.