dk.brics.tajs.lattice

Class AnalysisLatticeElement

java.lang.Object

dk.brics.tajs.lattice.AnalysisLatticeElement

All Implemented Interfaces:

IAnalysisLatticeElement<State,Context,CallEdge>

public class AnalysisLatticeElement
extends java.lang.Object
implements IAnalysisLatticeElement<State,Context,CallEdge>

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

Modifier and Type	Method and Description
CallGraph<State,Context,CallEdge>	getCallGraph() Returns the call graph.
int	getNumberOfStates() Returns the total number of (non-bottom) abstract states.
State	getState(BasicBlock block, Context context) Returns the abstract state for entry of the given basic block and context, where null represents none.
State	getState(BlockAndContext<Context> bc) Returns the abstract state for entry of the given basic block and context, where null represents none.
java.util.Map<Context,State>	getStates(BasicBlock block) Returns the contexts and abstract states for the entry of the given basic block.
IAnalysisLatticeElement.MergeResult	propagate(State s, BlockAndContext<Context> bc, boolean localize) Propagates s into the entry state at the given location.

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

getCallGraph

public CallGraph<State,Context,CallEdge> getCallGraph()

Description copied from interface: IAnalysisLatticeElement

Returns the call graph.

Specified by:

getCallGraph in interface IAnalysisLatticeElement<State,Context,CallEdge>

getNumberOfStates

public int getNumberOfStates()

Description copied from interface: IAnalysisLatticeElement

Returns the total number of (non-bottom) abstract states.

Specified by:

getNumberOfStates in interface IAnalysisLatticeElement<State,Context,CallEdge>

getState

public State getState(BasicBlock block,
                      Context context)

Description copied from interface: IAnalysisLatticeElement

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

Specified by:

getState in interface IAnalysisLatticeElement<State,Context,CallEdge>

getState

public State getState(BlockAndContext<Context> bc)

Description copied from interface: IAnalysisLatticeElement

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

Specified by:

getState in interface IAnalysisLatticeElement<State,Context,CallEdge>

getStates

public java.util.Map<Context,State> 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<State,Context,CallEdge>

propagate

public IAnalysisLatticeElement.MergeResult propagate(State s,
                                                     BlockAndContext<Context> bc,
                                                     boolean localize)

Description copied from interface: IAnalysisLatticeElement

Propagates s into the entry state at the given location. The given state may be modified by the operation.

Specified by:

propagate in interface IAnalysisLatticeElement<State,Context,CallEdge>

localize - if set, localize the state while joining

Returns:

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