dk.brics.tajs.solver

Class GenericSolver<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>,MonitoringType extends IMonitoring<BlockStateType,CallContextType>,AnalysisType extends IAnalysis<BlockStateType,CallContextType,CallEdgeType,MonitoringType,AnalysisType>>

java.lang.Object

dk.brics.tajs.solver.GenericSolver<BlockStateType,CallContextType,CallEdgeType,MonitoringType,AnalysisType>

Direct Known Subclasses:

Solver

public class GenericSolver<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>,MonitoringType extends IMonitoring<BlockStateType,CallContextType>,AnalysisType extends IAnalysis<BlockStateType,CallContextType,CallEdgeType,MonitoringType,AnalysisType>>
extends Object

Generic fixpoint solver for flow graphs.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	GenericSolver.SolverInterface Interface to solver used while evaluating transfer functions.

Constructor Summary

Constructors

Constructor and Description
GenericSolver(AnalysisType analysis, SolverSynchronizer sync) Constructs a new solver.

Method Summary

Methods

Modifier and Type	Method and Description
IAnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType>	getAnalysisLatticeElement() Returns the analysis lattice element.
FlowGraph	getFlowGraph() Returns the flow graph.
void	init(FlowGraph fg, org.jdom.Document document) Initializes the solver for the given flow graph and HTML document.
void	scan() Scans for messages.
void	solve() Runs the solver.

Methods inherited from class java.lang.Object

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

Constructor Detail

GenericSolver

public GenericSolver(AnalysisType analysis,
             SolverSynchronizer sync)

Constructs a new solver.

Method Detail

getAnalysisLatticeElement

public IAnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType> getAnalysisLatticeElement()

Returns the analysis lattice element. solve() must be called first.

getFlowGraph

public FlowGraph getFlowGraph()

Returns the flow graph.

init

public void init(FlowGraph fg,
        org.jdom.Document document)

Initializes the solver for the given flow graph and HTML document.

scan

public void scan()

Scans for messages. Takes one round through all nodes and all contexts without invoking propagate. solve() must be called first.

solve

public void solve()

Runs the solver.