Searched refs:checkFunctionalInvariants (Results 1 – 1 of 1) sorted by relevance
731 private static void checkFunctionalInvariants(Collection<Integer> c) { in checkFunctionalInvariants() method in MOAT801 checkFunctionalInvariants(c); in testNullElement()848 checkFunctionalInvariants(q); in testQueue()851 checkFunctionalInvariants(q); in testQueue()1186 checkFunctionalInvariants(c); in testCollection1()1221 checkFunctionalInvariants(c); in testCollection1()1291 private static void checkFunctionalInvariants(Map<Integer,Integer> m) { in checkFunctionalInvariants() method in MOAT1294 checkFunctionalInvariants(m.keySet()); in checkFunctionalInvariants()1295 checkFunctionalInvariants(m.values()); in checkFunctionalInvariants()1343 checkFunctionalInvariants(m); in testMap()[all …]