public class IncrementalTypesHeuristic extends Object implements FieldCheckHeuristic
Constructor and Description |
---|
IncrementalTypesHeuristic(TypeManager manager) |
Modifier and Type | Method and Description |
---|---|
boolean |
refineVirtualCall(SootUtil.CallSiteAndContext callSiteAndContext) |
boolean |
runNewPass()
Update the heuristic for another pass of the algorithm.
|
String |
toString() |
boolean |
validateMatchesForField(SparkField field) |
boolean |
validFromBothEnds(SparkField field) |
public IncrementalTypesHeuristic(TypeManager manager)
public boolean runNewPass()
FieldCheckHeuristic
runNewPass
in interface FieldCheckHeuristic
public boolean validateMatchesForField(SparkField field)
validateMatchesForField
in interface FieldCheckHeuristic
public boolean validFromBothEnds(SparkField field)
validFromBothEnds
in interface FieldCheckHeuristic
public boolean refineVirtualCall(SootUtil.CallSiteAndContext callSiteAndContext)