IAnalysis (TAJS)

All Known Implementing Classes:: Analysis

public interface IAnalysis<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>>

Interface for analyses on flow graphs.

Method Summary

Methods
Modifier and Type	Method and Description
`IBlockTransfer<BlockStateType,CallContextType>`	`getBlockTransferFunction()` Returns the end-of-block transfer function.
`IEdgeTransfer<BlockStateType,CallContextType>`	`getEdgeTransferFunctions()` Returns the edge transfer functions.
`IInitialStateBuilder<BlockStateType,CallContextType,CallEdgeType>`	`getInitialStateBuilder()` Returns the initial state builder.
`MonitoringType`	`getMonitoring()` Returns the monitoring object.
`INodeTransfer<BlockStateType,CallContextType>`	`getNodeTransferFunctions()` Returns the node transfer functions.
`IWorkListStrategy<CallContextType>`	`getWorklistStrategy()` Returns the work list strategy.
`IAnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType>`	`makeAnalysisLattice(FlowGraph fg)` Returns a new global analysis lattice element.
`void`	`setSolverInterface(GenericSolver.SolverInterface c)` Sets the current solver interface.

Method Detail

getBlockTransferFunction

IBlockTransfer<BlockStateType,CallContextType> getBlockTransferFunction()

Returns the end-of-block transfer function.

getEdgeTransferFunctions

IEdgeTransfer<BlockStateType,CallContextType> getEdgeTransferFunctions()

Returns the edge transfer functions.

getInitialStateBuilder

IInitialStateBuilder<BlockStateType,CallContextType,CallEdgeType> getInitialStateBuilder()

Returns the initial state builder.

getMonitoring
```
MonitoringType getMonitoring()
```
Returns the monitoring object.

getNodeTransferFunctions

INodeTransfer<BlockStateType,CallContextType> getNodeTransferFunctions()

Returns the node transfer functions.

getWorklistStrategy

IWorkListStrategy<CallContextType> getWorklistStrategy()

Returns the work list strategy.

makeAnalysisLattice

IAnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType> makeAnalysisLattice(FlowGraph fg)

Returns a new global analysis lattice element.

setSolverInterface

void setSolverInterface(GenericSolver.SolverInterface c)

Sets the current solver interface.