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

Constructor Summary

Constructors

Constructor and Description
IncrementalTypesHeuristic(TypeManager manager)

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalTypesHeuristic

public IncrementalTypesHeuristic(TypeManager manager)

Method Detail

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)