soot.jimple.spark.geom.dataRep.PlainConstraint Maven / Gradle / Ivy
package soot.jimple.spark.geom.dataRep;
/*-
* #%L
* Soot - a J*va Optimization Framework
* %%
* Copyright (C) 2011 Richard Xiao
* %%
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as
* published by the Free Software Foundation, either version 2.1 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Lesser Public License for more details.
*
* You should have received a copy of the GNU General Lesser Public
* License along with this program. If not, see
* .
* #L%
*/
import java.util.Set;
import soot.jimple.spark.geom.geomPA.IVarAbstraction;
import soot.jimple.spark.pag.SparkField;
import soot.jimple.toolkits.callgraph.Edge;
import soot.toolkits.scalar.Pair;
import soot.util.Numberable;
/**
* The geometric encoding based constraint descriptor.
*
* @author xiao
*
*/
public class PlainConstraint implements Numberable {
// Plain constraint descriptor
// This is a full description that we can read/write without context
// A constraint has the form : lhs -> rhs, which means lhs is assigned to rhs
// lhs/rhs is a pointer p or a field p.f, which assigns the value of lhs to rhs
/** The type of this constraint, e.g. allocation, assignment or complex */
public int type;
/** The two pointers involved in this constraint */
public Pair expr = new Pair();
/** Used in complex constraint. If this constraint is a store p.f = q, we say otherSide = q */
public IVarAbstraction otherSide = null;
/** Indicate the mapping relation between the two pointers, 1-1, 1-many, ... */
public int code;
/** The field that is involved in a complex constraint */
public SparkField f = null;
/** If this constraint represents a parameter passing or function return, the corresponding call edge is identified here */
public Set interCallEdges = null;
/** To indicate if this constraint will be evaluated or not */
public boolean isActive = true;
private int id = -1;
@Override
public void setNumber(int number) {
// TODO Auto-generated method stub
id = number;
}
@Override
public int getNumber() {
// TODO Auto-generated method stub
return id;
}
public IVarAbstraction getLHS() {
return expr.getO1();
}
public void setLHS(IVarAbstraction newLHS) {
expr.setO1(newLHS);
}
public IVarAbstraction getRHS() {
return expr.getO2();
}
public void setRHS(IVarAbstraction newRHS) {
expr.setO2(newRHS);
}
}