dk.brics.tajs.solver

Interface IAnalysisLatticeElement<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>>

All Known Implementing Classes:

AnalysisLatticeElement

public interface IAnalysisLatticeElement<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>>

Interface for global analysis lattice elements.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	IAnalysisLatticeElement.MergeResult Result from propagate(IBlockState, BasicBlock, ICallContext, boolean, boolean).

Method Summary

Methods

Modifier and Type	Method and Description
void	check() Checks that all states are consistent.
CallGraph<BlockStateType,CallContextType,CallEdgeType>	getCallGraph() Returns the call graph.
int	getSize(BasicBlock block) Returns the number of states stored for the given basic block.
BlockStateType	getState(BasicBlock block, CallContextType context) Returns the abstract state for entry of the given basic block and call context, where null represents none.
Map<CallContextType,BlockStateType>	getStates(BasicBlock block) Returns the contexts and abstract states for the entry of the given basic block.
IAnalysisLatticeElement.MergeResult	propagate(BlockStateType s, BasicBlock b, CallContextType c, boolean trim, boolean overwrite) Propagates s into the entry state of b in call context c.

Method Detail

check

void check()

Checks that all states are consistent.

getCallGraph

CallGraph<BlockStateType,CallContextType,CallEdgeType> getCallGraph()

Returns the call graph.

getSize

int getSize(BasicBlock block)

Returns the number of states stored for the given basic block.

getState

BlockStateType getState(BasicBlock block,
                      CallContextType context)

Returns the abstract state for entry of the given basic block and call context, where null represents none.

getStates

Map<CallContextType,BlockStateType> getStates(BasicBlock block)

Returns the contexts and abstract states for the entry of the given basic block.

propagate

IAnalysisLatticeElement.MergeResult propagate(BlockStateType s,
                                            BasicBlock b,
                                            CallContextType c,
                                            boolean trim,
                                            boolean overwrite)

Propagates s into the entry state of b in call context c. The given state may be modified by the operation.

Parameters:

trim - if set, trim the state while joining

overwrite - if set, overwrite the existing state

Returns:

a merge result, or null if no new flow added.