Searched refs:resolvedStates (Results 1 – 1 of 1) sorted by relevance
422 Set<DFAState> resolvedStates = getNondeterministicStatesResolvedWithSemanticPredicate(); in issueWarnings() local434 if ( resolvedStates==null || !resolvedStates.contains(d) ) { in issueWarnings()