Uses of Class
soot.jimple.spark.ondemand.genericutil.Predicate

Packages that use Predicate

Package	Description
soot.jimple.spark.ondemand
soot.jimple.spark.ondemand.genericutil
soot.jimple.spark.pag

Uses of Predicate in soot.jimple.spark.ondemand

Methods in soot.jimple.spark.ondemand with parameters of type Predicate

Modifier and Type	Method and Description
protected boolean	DemandCSPointsTo.checkP2Set(VarNode v, HeuristicType heuristic, Predicate<Set<AllocAndContext>> p2setPred) check the computed points-to set of a variable against some predicate

Uses of Predicate in soot.jimple.spark.ondemand.genericutil

Fields in soot.jimple.spark.ondemand.genericutil declared as Predicate

Modifier and Type	Field and Description
static Predicate	Predicate.FALSE
static Predicate	Predicate.TRUE

Methods in soot.jimple.spark.ondemand.genericutil that return Predicate

Modifier and Type	Method and Description
Predicate<T>	Predicate.and(Predicate<T> conjunct_) Return a predicate that is a conjunction of this predicate and another predicate
static <T> Predicate<T>	Predicate.falsePred()
Predicate<T>	Predicate.not() Return a predicate that is a negation of this predicate
Predicate<T>	Predicate.or(Predicate<T> disjunct_) Return a predicate that is a conjunction of this predicate and another predicate
static <T> Predicate<T>	Predicate.truePred()

Methods in soot.jimple.spark.ondemand.genericutil with parameters of type Predicate

Modifier and Type	Method and Description
Predicate<T>	Predicate.and(Predicate<T> conjunct_) Return a predicate that is a conjunction of this predicate and another predicate
static <T> List<T>	Util.filter(Collection<T> src_, Predicate<T> pred_) Filter a collection: generate a new list from an existing collection, consisting of the elements satisfying some predicate.
static <T> void	Util.filter(Collection<T> src_, Predicate<T> pred_, List<T> result_) Filter a collection according to some predicate, placing the result in a List
static <T> T	Util.find(Collection<T> c_, Predicate<T> p_) Test whether some element of the given Collection satisfies the given Predicate.
static <T> Collection<T>	Util.findAll(Collection<T> c_, Predicate<T> p_) Test whether some element of the given Collection satisfies the given Predicate.
static <T> boolean	Util.forAll(Collection<T> c_, Predicate<T> p_) Test whether all elements of the given Collection satisfy the given Predicate.
static <T> boolean	Util.forSome(Collection<T> c_, Predicate<T> p_) Test whether some element of the given Collection satisfies the given Predicate.
Predicate<T>	Predicate.or(Predicate<T> disjunct_) Return a predicate that is a conjunction of this predicate and another predicate

Uses of Predicate in soot.jimple.spark.pag

Methods in soot.jimple.spark.pag with parameters of type Predicate

Modifier and Type	Method and Description
static String	PagToDotDumper.makeDotNodeLabel(Node n, Predicate<Node> p) Generate a node declaration for a dot file.