Class TransitionTable

java.lang.Object
relaxngcc.builder.TransitionTable

public class TransitionTable extends Object
  • Constructor Details

    • TransitionTable

      public TransitionTable()
  • Method Details

    • add

      public void add(State s, Alphabet alphabet, Transition action)
    • addEverythingElse

      public void addEverythingElse(State s, Transition action)
    • getEverythingElse

      public Transition getEverythingElse(State s)
      Gets the transition associated to EVERYTHING_ELSE alphabet in the given state if any. Or null.
    • list

      public TransitionTable.Entry[] list(State s)
      Lists all entries of the transition table with the specified state in terms of TrnasitionTable.Entry. The resulting array is sorted in the order of Transition.