soot.jimple.spark.ondemand

Class ManualAndInnerHeuristic

java.lang.Object

soot.jimple.spark.ondemand.ManualAndInnerHeuristic

All Implemented Interfaces:

FieldCheckHeuristic

public class ManualAndInnerHeuristic
extends java.lang.Object
implements FieldCheckHeuristic

Constructor Summary

Constructors

Constructor and Description
ManualAndInnerHeuristic(TypeManager tm, int maxPasses)

Method Summary

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