soot.jimple.spark.ondemand
Class IncrementalTypesHeuristic
java.lang.Object
soot.jimple.spark.ondemand.IncrementalTypesHeuristic
- All Implemented Interfaces:
- FieldCheckHeuristic
public class IncrementalTypesHeuristic
- extends Object
- implements FieldCheckHeuristic
IncrementalTypesHeuristic
public IncrementalTypesHeuristic(TypeManager manager)
runNewPass
public boolean runNewPass()
- Description copied from interface:
FieldCheckHeuristic
- Update the heuristic for another pass of the algorithm.
- Specified by:
runNewPass
in interface FieldCheckHeuristic
- Returns:
- true if the heuristic will act differently on the next pass
validateMatchesForField
public boolean validateMatchesForField(SparkField field)
- Specified by:
validateMatchesForField
in interface FieldCheckHeuristic
toString
public String toString()
- Overrides:
toString
in class Object
validFromBothEnds
public boolean validFromBothEnds(SparkField field)
- Specified by:
validFromBothEnds
in interface FieldCheckHeuristic
refineVirtualCall
public boolean refineVirtualCall(SootUtil.CallSiteAndContext callSiteAndContext)