Searched refs:altToLocationsReachableWithoutPredicate (Results 1 – 2 of 2) sorted by relevance
1509 …Map<Integer, Set<Token>> altToLocationsReachableWithoutPredicate = new HashMap<Integer, Set<Token>… in getPredicatesPerNonDeterministicAlt() local1613 Set<Token> locations = altToLocationsReachableWithoutPredicate.get(altI); in getPredicatesPerNonDeterministicAlt()1616 altToLocationsReachableWithoutPredicate.put(altI, locations); in getPredicatesPerNonDeterministicAlt()1624 altToLocationsReachableWithoutPredicate); in getPredicatesPerNonDeterministicAlt()
699 Map<Integer, Set<Token>> altToLocationsReachableWithoutPredicate) in reportIncompletelyCoveredAlts() argument701 stateToIncompletelyCoveredAltsMap.put(d, altToLocationsReachableWithoutPredicate); in reportIncompletelyCoveredAlts()