qilin.pta.toolkits.dd

Class FeaturesTrueTable

java.lang.Object

qilin.pta.toolkits.dd.FeaturesTrueTable

public class FeaturesTrueTable
extends Object

Constructor Summary

Constructors

Constructor and Description
FeaturesTrueTable(SootMethod sm)

Method Summary

Modifier and Type	Method and Description
boolean	hybrid2objFormula1()
boolean	hybrid2objFormula2()
boolean	twoCFAFormula1()
boolean	twoCFAFormula2()
boolean	twoObjFormula1()
boolean	twoObjFormula2()
boolean	twoTypeFormula1()
boolean	twoTypeFormula2()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FeaturesTrueTable

public FeaturesTrueTable(SootMethod sm)

Method Detail

hybrid2objFormula2

public boolean hybrid2objFormula2()

hybrid2objFormula1

public boolean hybrid2objFormula1()

twoObjFormula2

public boolean twoObjFormula2()

twoObjFormula1

public boolean twoObjFormula1()

twoTypeFormula2

public boolean twoTypeFormula2()

twoTypeFormula1

public boolean twoTypeFormula1()

twoCFAFormula2

public boolean twoCFAFormula2()

twoCFAFormula1

public boolean twoCFAFormula1()