Package | Description |
---|---|
soot.jimple.spark.geom.geomE | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.geom.heapinsE | |
soot.jimple.spark.geom.ptinsE |
Modifier and Type | Field and Description |
---|---|
Vector<PlainConstraint> |
FullSensitiveNode.complex_cons |
Vector<PlainConstraint> |
FullSensitiveNode.complex_cons |
Modifier and Type | Method and Description |
---|---|
void |
FullSensitiveNode.put_complex_constraint(PlainConstraint cons) |
void |
FullSensitiveNode.put_complex_constraint(PlainConstraint cons) |
Modifier and Type | Field and Description |
---|---|
ZArrayNumberer<PlainConstraint> |
GeomPointsTo.constraints |
ZArrayNumberer<PlainConstraint> |
GeomPointsTo.constraints |
Modifier and Type | Method and Description |
---|---|
void |
DummyNode.put_complex_constraint(PlainConstraint cons) |
abstract void |
IVarAbstraction.put_complex_constraint(PlainConstraint cons) |
void |
DummyNode.put_complex_constraint(PlainConstraint cons) |
abstract void |
IVarAbstraction.put_complex_constraint(PlainConstraint cons) |
Modifier and Type | Field and Description |
---|---|
Vector<PlainConstraint> |
HeapInsNode.complex_cons |
Vector<PlainConstraint> |
HeapInsNode.complex_cons |
Modifier and Type | Method and Description |
---|---|
void |
HeapInsNode.put_complex_constraint(PlainConstraint cons) |
void |
HeapInsNode.put_complex_constraint(PlainConstraint cons) |
Modifier and Type | Field and Description |
---|---|
Vector<PlainConstraint> |
PtInsNode.complex_cons
Deprecated.
|
Vector<PlainConstraint> |
PtInsNode.complex_cons
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
PtInsNode.put_complex_constraint(PlainConstraint cons)
Deprecated.
|
void |
PtInsNode.put_complex_constraint(PlainConstraint cons)
Deprecated.
|