Package dk.brics.tajs.solver

Generic fixpoint solver for flow graphs.

See: Description

Interface Summary

Interface	Description
IAnalysis<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>>	Interface for analyses on flow graphs.
IAnalysisLatticeElement<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>>	Interface for global analysis lattice elements.
ICallEdge<StateType extends IState<?,?,?>>	Interface for call edges.
IContext<ContextType extends IContext<?>>	Interface for analysis contexts.
IEdgeTransfer<ContextType extends IContext<?>>	Interface for edge transfer function classes.
IInitialStateBuilder<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>>	Interface for initial state builder classes.
INodeTransfer<StateType extends IState<StateType,?,?>,ContextType extends IContext<?>>	Interface for node transfer function classes.
ISolverMonitoring<StateType extends IState<StateType,ContextType,?>,ContextType extends IContext<ContextType>>	Monitoring interface.
IState<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>>	Interface for abstract states.

Class Summary

Class	Description
BlockAndContext<ContextType extends IContext<?>>	Pair of a basic block and a context.
CallDependencies<ContextType extends IContext<ContextType>>	Keeps track of call edges that await return flow.
CallGraph<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>>	Call graph.
CallGraph.ReverseEdge<ContextType extends IContext<?>>
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>>	Generic fixpoint solver for flow graphs.
IAnalysisLatticeElement.MergeResult	Result from IAnalysisLatticeElement.propagate(IState, BlockAndContext, boolean).
Message	Message generated by the analysis.
NodeAndContext<ContextType extends IContext<?>>	Pair of an abstract node and a context.
SolverSynchronizer	Synchronizer for solver events.
WorkList<ContextType extends IContext<ContextType>>	Work list used by solver.

Enum Summary

Enum	Description
Message.Severity	Severity level.
Message.Status	Message kind.

Package dk.brics.tajs.solver Description

Generic fixpoint solver for flow graphs.

Author:

Anders Møller <amoeller@cs.au.dk>