Package | Description |
---|---|
soot.jimple.spark.ondemand | |
soot.jimple.spark.ondemand.genericutil | |
soot.jimple.spark.pag |
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
|
protected boolean |
DemandCSPointsTo.checkP2Set(VarNode v,
HeuristicType heuristic,
Predicate<Set<AllocAndContext>> p2setPred)
check the computed points-to set of a variable against some predicate
|
Modifier and Type | Field and Description |
---|---|
static Predicate |
Predicate.FALSE |
static Predicate |
Predicate.FALSE |
static Predicate |
Predicate.TRUE |
static Predicate |
Predicate.TRUE |
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
|
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() |
static <T> Predicate<T> |
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 <T> Predicate<T> |
Predicate.truePred() |
static <T> Predicate<T> |
Predicate.truePred() |
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
|
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> 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> 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> 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> 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.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 . |
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
|
Predicate<T> |
Predicate.or(Predicate<T> disjunct_)
Return a predicate that is a conjunction of this predicate and another
predicate
|
Modifier and Type | Method and Description |
---|---|
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.
|