soot.jimple.spark.ondemand
Class ManualAndInnerHeuristic

java.lang.Object
  soot.jimple.spark.ondemand.ManualAndInnerHeuristic

All Implemented Interfaces:

FieldCheckHeuristic

public class ManualAndInnerHeuristic
extends Object
implements FieldCheckHeuristic

Constructor Summary

ManualAndInnerHeuristic(TypeManager tm, int maxPasses)

Method Summary

boolean	runNewPass() Update the heuristic for another pass of the algorithm.
boolean	validateMatchesForField(SparkField field)
boolean	validFromBothEnds(SparkField field)

Methods inherited from class java.lang.Object

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

Constructor Detail

ManualAndInnerHeuristic

public ManualAndInnerHeuristic(TypeManager tm,
                               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