Searched refs:altToDFAState (Results 1 – 1 of 1) sorted by relevance
540 Map altToDFAState = new HashMap(); in issueRecursionWarnings() local544 altToDFAState); // output param in issueRecursionWarnings()556 DFAState sampleBadState = (DFAState)altToDFAState.get(altI); in issueRecursionWarnings()568 Map altToDFAState) in computeAltToProblemMaps() argument595 if ( altToDFAState.get(altI)==null ) { in computeAltToProblemMaps()597 altToDFAState.put(altI, sampleBadState); in computeAltToProblemMaps()