dk.brics.tajs.analysis

Class Analysis

java.lang.Object

dk.brics.tajs.analysis.Analysis

All Implemented Interfaces:

IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

public final class Analysis
extends Object
implements IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

Encapsulation of the analysis using State, CallContext, Monitoring, Solver, InitialStateBuilder, Transfer, WorkListStrategy, Monitoring, and NativeFunctions.

Constructor Summary

Constructors

Constructor and Description
Analysis(SolverSynchronizer sync) Constructs a new analysis object.

Method Summary

Methods

Modifier and Type	Method and Description
IBlockTransfer<State,CallContext>	getBlockTransferFunction() Returns the end-of-block transfer function.
IEdgeTransfer<State,CallContext>	getEdgeTransferFunctions() Returns the edge transfer functions.
EvalCache	getEvalCache() Returns the eval cache.
InitialStateBuilder	getInitialStateBuilder() Returns the initial state builder.
Monitoring<State,CallContext,CallEdge<State>>	getMonitoring() Returns the monitoring object.
Transfer	getNodeTransferFunctions() Returns the node transfer functions.
Solver	getSolver() Returns the solver.
SpecialArgs	getSpecialArgs() Returns the special args info.
IWorkListStrategy<CallContext>	getWorklistStrategy() Returns the work list strategy.
AnalysisLatticeElement<State,CallContext,CallEdge<State>>	makeAnalysisLattice(FlowGraph fg) Returns a new global analysis lattice element.
void	setSolverInterface(GenericSolver.SolverInterface c) Sets the current solver interface.

Methods inherited from class java.lang.Object

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

Constructor Detail

Analysis

public Analysis(SolverSynchronizer sync)

Constructs a new analysis object.

Method Detail

getBlockTransferFunction

public IBlockTransfer<State,CallContext> getBlockTransferFunction()

Description copied from interface: IAnalysis

Returns the end-of-block transfer function.

Specified by:

getBlockTransferFunction in interface IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

getEdgeTransferFunctions

public IEdgeTransfer<State,CallContext> getEdgeTransferFunctions()

Description copied from interface: IAnalysis

Returns the edge transfer functions.

Specified by:

getEdgeTransferFunctions in interface IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

getEvalCache

public EvalCache getEvalCache()

Returns the eval cache.

getInitialStateBuilder

public InitialStateBuilder getInitialStateBuilder()

Description copied from interface: IAnalysis

Returns the initial state builder.

Specified by:

getInitialStateBuilder in interface IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

getMonitoring

public Monitoring<State,CallContext,CallEdge<State>> getMonitoring()

Description copied from interface: IAnalysis

Returns the monitoring object.

Specified by:

getMonitoring in interface IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

getNodeTransferFunctions

public Transfer getNodeTransferFunctions()

Description copied from interface: IAnalysis

Returns the node transfer functions.

Specified by:

getNodeTransferFunctions in interface IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

getSolver

public Solver getSolver()

Returns the solver.

getSpecialArgs

public SpecialArgs getSpecialArgs()

Returns the special args info.

getWorklistStrategy

public IWorkListStrategy<CallContext> getWorklistStrategy()

Description copied from interface: IAnalysis

Returns the work list strategy.

Specified by:

getWorklistStrategy in interface IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

makeAnalysisLattice

public AnalysisLatticeElement<State,CallContext,CallEdge<State>> makeAnalysisLattice(FlowGraph fg)

Description copied from interface: IAnalysis

Returns a new global analysis lattice element.

Specified by:

makeAnalysisLattice in interface IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

Description copied from interface: IAnalysis

Sets the current solver interface.

Specified by:

setSolverInterface in interface IAnalysis<State,CallContext,CallEdge<State>,Monitoring<State,CallContext,CallEdge<State>>,Analysis>