soot.jimple.spark.geom.dataRep

Class PlainConstraint

java.lang.Object

soot.jimple.spark.geom.dataRep.PlainConstraint

All Implemented Interfaces:

Numberable

public class PlainConstraint
extends java.lang.Object
implements Numberable

The geometric encoding based constraint descriptor.

Field Summary

Fields

Modifier and Type	Field and Description
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
java.util.Set<Edge>	interCallEdges If this constraint represents a parameter passing or function return, the corresponding call edge is identified here
boolean	isActive To indicate if this constraint will be evaluated or not
IVarAbstraction	otherSide Used in complex constraint.
int	type The type of this constraint, e.g.

Constructor Summary

Constructors

Constructor and Description
PlainConstraint()

Method Summary

Modifier and Type	Method and Description
IVarAbstraction	getLHS()
int	getNumber()
IVarAbstraction	getRHS()
void	setLHS(IVarAbstraction newLHS)
void	setNumber(int number)
void	setRHS(IVarAbstraction newRHS)

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 java.util.Set<Edge> interCallEdges

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

isActive

public boolean isActive

To indicate if this constraint will be evaluated or not

Constructor Detail

PlainConstraint

public PlainConstraint()

Method Detail

setNumber

public void setNumber(int number)

Specified by:

setNumber in interface Numberable

getNumber

public int getNumber()

Specified by:

getNumber in interface Numberable

getLHS

public IVarAbstraction getLHS()

setLHS

public void setLHS(IVarAbstraction newLHS)

getRHS

public IVarAbstraction getRHS()

setRHS

public void setRHS(IVarAbstraction newRHS)