some debug support
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1962 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
2ddd9ea414
commit
2e98bc8778
|
@ -50,6 +50,8 @@ import com.ibm.wala.util.debug.Assertions;
|
||||||
* @author sfink
|
* @author sfink
|
||||||
*/
|
*/
|
||||||
public class TypeInference extends SSAInference<TypeVariable> implements FixedPointConstants {
|
public class TypeInference extends SSAInference<TypeVariable> implements FixedPointConstants {
|
||||||
|
|
||||||
|
private static final boolean DEBUG = false;
|
||||||
|
|
||||||
public static TypeInference make(IR ir, boolean doPrimitives) {
|
public static TypeInference make(IR ir, boolean doPrimitives) {
|
||||||
return new TypeInference(ir, doPrimitives);
|
return new TypeInference(ir, doPrimitives);
|
||||||
|
@ -252,6 +254,15 @@ public class TypeInference extends SSAInference<TypeVariable> implements FixedPo
|
||||||
*/
|
*/
|
||||||
@Override
|
@Override
|
||||||
public byte evaluate(TypeVariable lhs, IVariable[] rhs) {
|
public byte evaluate(TypeVariable lhs, IVariable[] rhs) {
|
||||||
|
|
||||||
|
if (DEBUG) {
|
||||||
|
System.err.print("PhiOperator.meet " + lhs + " ");
|
||||||
|
for (IVariable v : rhs) {
|
||||||
|
System.err.print(v + " ");
|
||||||
|
}
|
||||||
|
System.err.println();
|
||||||
|
}
|
||||||
|
|
||||||
TypeAbstraction lhsType = lhs.getType();
|
TypeAbstraction lhsType = lhs.getType();
|
||||||
TypeAbstraction meet = TypeAbstraction.TOP;
|
TypeAbstraction meet = TypeAbstraction.TOP;
|
||||||
for (int i = 0; i < rhs.length; i++) {
|
for (int i = 0; i < rhs.length; i++) {
|
||||||
|
|
Loading…
Reference in New Issue