soot.jimple.spark.ondemand

Class InnerTypesIncrementalHeuristic

java.lang.Object

soot.jimple.spark.ondemand.InnerTypesIncrementalHeuristic

All Implemented Interfaces:

FieldCheckHeuristic

public class InnerTypesIncrementalHeuristic
extends Object
implements FieldCheckHeuristic

Constructor Summary

Constructors

Constructor and Description
InnerTypesIncrementalHeuristic(TypeManager manager, int maxPasses)

Method Summary

Modifier and Type	Method and Description
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

InnerTypesIncrementalHeuristic

public InnerTypesIncrementalHeuristic(TypeManager manager,
                                      int maxPasses)

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

validFromBothEnds

public boolean validFromBothEnds(SparkField field)

Specified by:

validFromBothEnds in interface FieldCheckHeuristic

toString

public String toString()

Overrides:

toString in class Object