Context

public abstract class Context<Field,Fact,Stmt,Method>
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`FactMergeHandler<Fact>`	`factHandler`
`FlowFunctions<Stmt,Field,Fact,Method>`	`flowFunctions`
`boolean`	`followReturnsPastSeeds`
`InterproceduralCFG<Stmt,Method>`	`icfg`
`Scheduler`	`scheduler`
`ZeroHandler<Field>`	`zeroHandler`
`Fact`	`zeroValue`

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`abstract MethodAnalyzer<Field,Fact,Stmt,Method>`	`getAnalyzer(Method method)`

public final InterproceduralCFG<Stmt,Method> icfg

public final boolean followReturnsPastSeeds

public final FactMergeHandler<Fact> factHandler

public final ZeroHandler<Field> zeroHandler

public final FlowFunctions<Stmt,Field,Fact,Method> flowFunctions

public abstract MethodAnalyzer<Field,Fact,Stmt,Method> getAnalyzer(Method method)

Class Context<Field,Fact,Stmt,Method>