public class GenericSolver<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>,MonitoringType extends ISolverMonitoring<StateType,ContextType>,AnalysisType extends IAnalysis<StateType,ContextType,CallEdgeType,MonitoringType,AnalysisType>>
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
GenericSolver.SolverInterface
Interface to solver used while evaluating transfer functions.
|
Constructor and Description |
---|
GenericSolver(AnalysisType analysis,
SolverSynchronizer sync)
Constructs a new solver.
|
Modifier and Type | Method and Description |
---|---|
IAnalysisLatticeElement<StateType,ContextType,CallEdgeType> |
getAnalysisLatticeElement()
Returns the analysis lattice element.
|
FlowGraph |
getFlowGraph()
Returns the flow graph.
|
void |
init(FlowGraph fg,
net.htmlparser.jericho.Source document)
Initializes the solver for the given flow graph and HTML document.
|
void |
scan()
Scans for messages.
|
void |
solve()
Runs the solver.
|
public GenericSolver(AnalysisType analysis, SolverSynchronizer sync)
public IAnalysisLatticeElement<StateType,ContextType,CallEdgeType> getAnalysisLatticeElement()
solve()
must be called first.public FlowGraph getFlowGraph()
public void init(FlowGraph fg, net.htmlparser.jericho.Source document)
public void scan()
propagate
.
solve()
must be called first.public void solve()
Copyright © 2009-2019 Aarhus University