Searched refs:checkFunctionalInvariants (Results 1 – 1 of 1) sorted by relevance
674 private static void checkFunctionalInvariants(Collection<Integer> c) { in checkFunctionalInvariants() method in MOAT744 checkFunctionalInvariants(c); in testNullElement()791 checkFunctionalInvariants(q); in testQueue()794 checkFunctionalInvariants(q); in testQueue()1129 checkFunctionalInvariants(c); in testCollection1()1164 checkFunctionalInvariants(c); in testCollection1()1234 private static void checkFunctionalInvariants(Map<Integer,Integer> m) { in checkFunctionalInvariants() method in MOAT1237 checkFunctionalInvariants(m.keySet()); in checkFunctionalInvariants()1238 checkFunctionalInvariants(m.values()); in checkFunctionalInvariants()1286 checkFunctionalInvariants(m); in testMap()[all …]