relaxngcc.builder
Class TransitionTable
java.lang.Object
relaxngcc.builder.TransitionTable
public class TransitionTable
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TransitionTable
public TransitionTable()
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.