|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Predicate | |
---|---|
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 | |
---|---|
protected boolean |
DemandCSPointsTo.checkP2Set(VarNode v,
HeuristicType heuristic,
Predicate<Set<AllocAndContext>> p2setPred)
check the computed points-to set of a variable against some predicate |
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 | |
---|---|
static Predicate |
Predicate.FALSE
|
static Predicate |
Predicate.FALSE
|
static Predicate |
Predicate.TRUE
|
static Predicate |
Predicate.TRUE
|
Methods in soot.jimple.spark.ondemand.genericutil that return Predicate | ||
---|---|---|
Predicate<T> |
Predicate.and(Predicate<T> conjunct_)
Return a predicate that is a conjunction of this predicate and another predicate |
|
Predicate<T> |
Predicate.and(Predicate<T> conjunct_)
Return a predicate that is a conjunction of this predicate and another predicate |
|
static
|
Predicate.falsePred()
|
|
static
|
Predicate.falsePred()
|
|
Predicate<T> |
Predicate.not()
Return a predicate that is a negation of this predicate |
|
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 |
|
Predicate<T> |
Predicate.or(Predicate<T> disjunct_)
Return a predicate that is a conjunction of this predicate and another predicate |
|
static
|
Predicate.truePred()
|
|
static
|
Predicate.truePred()
|
Methods in soot.jimple.spark.ondemand.genericutil with parameters of type Predicate | ||
---|---|---|
Predicate<T> |
Predicate.and(Predicate<T> conjunct_)
Return a predicate that is a conjunction of this predicate and another predicate |
|
Predicate<T> |
Predicate.and(Predicate<T> conjunct_)
Return a predicate that is a conjunction of this predicate and another predicate |
|
static
|
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
|
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
|
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
|
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
|
Util.find(Collection<T> c_,
Predicate<T> p_)
Test whether some element of the given Collection
satisfies the given Predicate . |
|
static
|
Util.find(Collection<T> c_,
Predicate<T> p_)
Test whether some element of the given Collection
satisfies the given Predicate . |
|
static
|
Util.findAll(Collection<T> c_,
Predicate<T> p_)
Test whether some element of the given Collection
satisfies the given Predicate . |
|
static
|
Util.findAll(Collection<T> c_,
Predicate<T> p_)
Test whether some element of the given Collection
satisfies the given Predicate . |
|
static
|
Util.forAll(Collection<T> c_,
Predicate<T> p_)
Test whether all elements of the given Collection
satisfy the given Predicate . |
|
static
|
Util.forAll(Collection<T> c_,
Predicate<T> p_)
Test whether all elements of the given Collection
satisfy the given Predicate . |
|
static
|
Util.forSome(Collection<T> c_,
Predicate<T> p_)
Test whether some element of the given Collection
satisfies the given Predicate . |
|
static
|
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 |
|
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 | |
---|---|
static String |
PagToDotDumper.makeDotNodeLabel(Node n,
Predicate<Node> p)
Generate a node declaration for a dot file. |
static String |
PagToDotDumper.makeDotNodeLabel(Node n,
Predicate<Node> p)
Generate a node declaration for a dot file. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |