Searched refs:altToLocationsReachableWithoutPredicate (Results 1 – 2 of 2) sorted by relevance
1507 …Map<Integer, Set<Token>> altToLocationsReachableWithoutPredicate = new HashMap<Integer, Set<Token>… in getPredicatesPerNonDeterministicAlt() local1609 Set<Token> locations = altToLocationsReachableWithoutPredicate.get(altI); in getPredicatesPerNonDeterministicAlt()1612 altToLocationsReachableWithoutPredicate.put(altI, locations); in getPredicatesPerNonDeterministicAlt()1620 altToLocationsReachableWithoutPredicate); in getPredicatesPerNonDeterministicAlt()
693 Map<Integer, Set<Token>> altToLocationsReachableWithoutPredicate) in reportIncompletelyCoveredAlts() argument695 stateToIncompletelyCoveredAltsMap.put(d, altToLocationsReachableWithoutPredicate); in reportIncompletelyCoveredAlts()