dk.brics.tajs.lattice

Class AnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

java.lang.Object

dk.brics.tajs.lattice.AnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType>

All Implemented Interfaces:

IAnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType>

public class AnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>
extends Object
implements IAnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType>

Global analysis lattice element.

Nested Class Summary

Nested classes/interfaces inherited from interface dk.brics.tajs.solver.IAnalysisLatticeElement

IAnalysisLatticeElement.MergeResult

Constructor Summary

Constructors

Constructor and Description
AnalysisLatticeElement(FlowGraph fg) Constructs a new global analysis lattice element.

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

AnalysisLatticeElement

public AnalysisLatticeElement(FlowGraph fg)

Constructs a new global analysis lattice element.

Method Detail

check

public void check()

Description copied from interface: IAnalysisLatticeElement

Checks that all states are consistent.

Specified by:

check in interface IAnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

getCallGraph

public CallGraph<BlockStateType,CallContextType,CallEdgeType> getCallGraph()

Description copied from interface: IAnalysisLatticeElement

Returns the call graph.

Specified by:

getCallGraph in interface IAnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

getSize

public int getSize(BasicBlock block)

Description copied from interface: IAnalysisLatticeElement

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

Specified by:

getSize in interface IAnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

getState

public BlockStateType getState(BasicBlock block,
                      CallContextType context)

Description copied from interface: IAnalysisLatticeElement

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

Specified by:

getState in interface IAnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

getStates

public Map<CallContextType,BlockStateType> getStates(BasicBlock block)

Description copied from interface: IAnalysisLatticeElement

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

Specified by:

getStates in interface IAnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

propagate

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

Description copied from interface: IAnalysisLatticeElement

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

Specified by:

propagate in interface IAnalysisLatticeElement<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

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.