reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
100 OS << "// Input NFA has " << NfaStates.size() << " states with " 102 OS << "// Generated DFA has " << DfaStates.size() << " states with " 113 OS << "// A zero-terminated sequence of NFA state transitions. Every DFA\n"; 114 OS << "// transition implies a set of NFA transitions. These are referred\n"; 115 OS << "// to by index in " << Name << "Transitions[].\n"; 122 OS << "std::array<NfaStatePair, " << Table.size() << "> " << Name 125 OS, 131 OS << "}};\n\n"; 133 OS << "// A transition in the generated " << Name << " DFA.\n"; 134 OS << "struct " << Name << "Transition {\n"; 135 OS << " unsigned FromDfaState; // The transitioned-from DFA state.\n"; 136 OS << " "; 137 printActionType(OS); 138 OS << " Action; // The input symbol that causes this transition.\n"; 139 OS << " unsigned ToDfaState; // The transitioned-to DFA state.\n"; 140 OS << " unsigned InfoIdx; // Start index into " << Name 142 OS << "};\n\n"; 144 OS << "// A table of DFA transitions, ordered by {FromDfaState, Action}.\n"; 145 OS << "// The initial state is 1, not zero.\n"; 146 OS << "std::array<" << Name << "Transition, " << DfaTransitions.size() << "> " 153 OS << " {" << From << ", "; 154 printActionValue(A, OS); 155 OS << ", " << To << ", " << InfoIdx << "},\n"; 157 OS << "\n}};\n\n";