| Method Summary |
| |
__init__(self,
nonterm)
|
| |
Eclosure(self,
Epsilon,
DoNullMaps)
return the epsilon closure of the FSM as a new FSM... |
| |
NewSetState(self,
kind,
InSet)
add an set-marked state to self if not present... |
| Inherited from FSMachine |
| |
DUMP(self,
DumpMapData,
DumpStateData,
ForbiddenMark)
ForbiddenMark is for filtering out maps to an error state... |
| |
Expects(self,
State)
what tokens does a state expect?... |
| |
map(self,
current_state,
current_token)
Find the action indicated by fsm on
(current_state, current_token) input. |
| |
NewState(self,
kind,
AdditionalInfo)
"allocate" a new state of specified kind... |
| |
SetMap(self,
fromState,
TokenRep,
toState)
Install a "shift" or "goto transition in the FSM:... |
| |
SetReduction(self,
fromState,
TokenRep,
Rulenum)
Install a reduction transition in the FSM:
a reduction is represented by mapping to a rule index
no nondeterminism is allowed. |