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 Description protected booleanDemandCSPointsTo. 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 Description static PredicatePredicate. FALSEstatic PredicatePredicate. TRUEMethods in soot.jimple.spark.ondemand.genericutil that return Predicate Modifier and Type Method Description Predicate<T>Predicate. and(Predicate<T> conjunct_)Return a predicate that is a conjunction of this predicate and another predicatestatic <T> Predicate<T>Predicate. falsePred()Predicate<T>Predicate. not()Return a predicate that is a negation of this predicatePredicate<T>Predicate. or(Predicate<T> disjunct_)Return a predicate that is a conjunction of this predicate and another predicatestatic <T> Predicate<T>Predicate. truePred()Methods in soot.jimple.spark.ondemand.genericutil with parameters of type Predicate Modifier and Type Method Description Predicate<T>Predicate. and(Predicate<T> conjunct_)Return a predicate that is a conjunction of this predicate and another predicatestatic <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> voidUtil. filter(Collection<T> src_, Predicate<T> pred_, List<T> result_)Filter a collection according to some predicate, placing the result in a Liststatic <T> TUtil. find(Collection<T> c_, Predicate<T> p_)Test whether some element of the givenCollectionsatisfies the givenPredicate.static <T> Collection<T>Util. findAll(Collection<T> c_, Predicate<T> p_)Test whether some element of the givenCollectionsatisfies the givenPredicate.static <T> booleanUtil. forAll(Collection<T> c_, Predicate<T> p_)Test whether all elements of the givenCollectionsatisfy the givenPredicate.static <T> booleanUtil. forSome(Collection<T> c_, Predicate<T> p_)Test whether some element of the givenCollectionsatisfies the givenPredicate.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 Description static StringPagToDotDumper. makeDotNodeLabel(Node n, Predicate<Node> p)Generate a node declaration for a dot file.
-