|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.jimple.spark.geom.geomPA.PlainConstraint
public class PlainConstraint
| Field Summary | |
|---|---|
int |
code
Indicate the mapping relation between the two pointers, 1-1, 1-many, ... |
Pair<IVarAbstraction,IVarAbstraction> |
expr
The two pointers involved in this constraint |
SparkField |
f
The field that is involved in a complex constraint |
Set<Edge> |
interCallEdges
If this constraint represents a parameter passing or function return, the corresponding call edge is identified here |
boolean |
isViable
To indicate if this constraint is useful or not (may be deleted by cycle detection) |
IVarAbstraction |
otherSide
Used in complex constraint. |
int |
type
The type of this constraint, e.g. |
| Constructor Summary | |
|---|---|
PlainConstraint()
|
|
| Method Summary |
|---|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public int type
public Pair<IVarAbstraction,IVarAbstraction> expr
public IVarAbstraction otherSide
public int code
public SparkField f
public Set<Edge> interCallEdges
public boolean isViable
| Constructor Detail |
|---|
public PlainConstraint()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||