soot.jimple.spark.geom.geomPA
Class PlainConstraint

java.lang.Object
  soot.jimple.spark.geom.geomPA.PlainConstraint

public class PlainConstraint
extends Object

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

type

public int type

The type of this constraint, e.g. allocation, assignment or complex

expr

public Pair<IVarAbstraction,IVarAbstraction> expr

The two pointers involved in this constraint

otherSide

public IVarAbstraction otherSide

Used in complex constraint. If this constraint is a store p.f = q, we say otherSide = q

code

public int code

Indicate the mapping relation between the two pointers, 1-1, 1-many, ...

f

public SparkField f

The field that is involved in a complex constraint

interCallEdges

public Set<Edge> interCallEdges

If this constraint represents a parameter passing or function return, the corresponding call edge is identified here

isViable

public boolean isViable

To indicate if this constraint is useful or not (may be deleted by cycle detection)

Constructor Detail

PlainConstraint

public PlainConstraint()