IncrementalTypesHeuristic (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.spark.ondemand.IncrementalTypesHeuristic

All Implemented Interfaces:: FieldCheckHeuristic

public class IncrementalTypesHeuristic
extends Object
implements FieldCheckHeuristic

Constructor Summary

Constructors
Constructor Description

IncrementalTypesHeuristic(TypeManager manager)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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)
```