How to use

forAll

method

in

com.ibm.wala.util.collections.Util

/**
 * do all instance keys in p2set pass ikeyPred?
 */
private static boolean passesPred(Collection<InstanceKeyAndState> curP2Set, final Predicate<InstanceKey> ikeyPred) {
 return Util.forAll(curP2Set, t -> ikeyPred.test(t.getInstanceKey()));
}

/**
 * do all instance keys in p2set pass ikeyPred?
 */
private static boolean passesPred(Collection<InstanceKeyAndState> curP2Set, final Predicate<InstanceKey> ikeyPred) {
 return Util.forAll(curP2Set, t -> ikeyPred.test(t.getInstanceKey()));
}