Package relaxngcc.builder
Class TransitionTable
java.lang.Object
relaxngcc.builder.TransitionTable
-
Nested Class Summary
Nested Classes -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
add
(State s, Alphabet alphabet, Transition action) void
addEverythingElse
(State s, Transition action) Gets the transition associated to EVERYTHING_ELSE alphabet in the given state if any.Lists all entries of the transition table with the specified state in terms of TrnasitionTable.Entry.
-
Constructor Details
-
TransitionTable
public TransitionTable()
-
-
Method Details
-
add
-
addEverythingElse
-
getEverythingElse
Gets the transition associated to EVERYTHING_ELSE alphabet in the given state if any. Or null. -
list
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.
-