DFAState existingState = dfa.addState(d); if ( d != existingState ) {
DFAState existingState = dfa.addState(d); if ( d != existingState ) {
DFAState existingState = dfa.addState(d); if ( d != existingState ) {
DFAState existingState = dfa.addState(d); if ( d != existingState ) {
dfa.addState(startState); // make sure dfa knows about this state work.add(startState); computingStartState = false;
predDFATarget.setAcceptState(true); dfa.setAcceptState(c.alt, predDFATarget); DFAState existingState = dfa.addState(predDFATarget); if ( predDFATarget != existingState ) {
predDFATarget.setAcceptState(true); dfa.setAcceptState(c.alt, predDFATarget); DFAState existingState = dfa.addState(predDFATarget); if ( predDFATarget != existingState ) {
predDFATarget.setAcceptState(true); dfa.setAcceptState(c.alt, predDFATarget); DFAState existingState = dfa.addState(predDFATarget); if ( predDFATarget != existingState ) {
dfa.addState(startState); // make sure dfa knows about this state work.add(startState); computingStartState = false;
dfa.addState(startState); // make sure dfa knows about this state work.add(startState); computingStartState = false;
dfa.addState(startState); // make sure dfa knows about this state work.add(startState); computingStartState = false;
predDFATarget.setAcceptState(true); dfa.setAcceptState(c.alt, predDFATarget); DFAState existingState = dfa.addState(predDFATarget); if ( predDFATarget != existingState ) {