edu.umd.cs.findbugs.ba.ca

Class CallListAnalysis

java.lang.Object

edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<Fact>

edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<CallList>

edu.umd.cs.findbugs.ba.ca.CallListAnalysis

All Implemented Interfaces:

DataflowAnalysis<CallList>

public class CallListAnalysis
extends AbstractDataflowAnalysis<CallList>

Constructor Summary

Constructors

Constructor and Description
CallListAnalysis(CFG cfg, DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg)

Method Summary

Methods

Modifier and Type	Method and Description
void	copy(CallList source, CallList dest) Copy dataflow facts.
CallList	createFact() Create empty (uninitialized) dataflow facts for one program point.
BlockOrder	getBlockOrder(CFG cfg) Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.
void	initEntryFact(CallList fact) Initialize the "entry" fact for the graph.
boolean	isFactValid(CallList fact) Determine whether the given fact is valid (neither top nor bottom).
boolean	isForwards() Returns true if the analysis is forwards, false if backwards.
boolean	isTop(CallList fact) Is the given fact the top value.
void	makeFactTop(CallList fact) Make given fact the top value.
void	meetInto(CallList start, Edge edge, CallList result) Meet a dataflow fact associated with an incoming edge into another fact.
boolean	same(CallList a, CallList b) Are given dataflow facts the same?
void	transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, CallList fact) Transfer function for a single instruction.

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis

getFactAfterLocation, getFactAtLocation, transfer

Methods inherited from class edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis

edgeTransfer, factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration

Methods inherited from class java.lang.Object

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

Constructor Detail

CallListAnalysis

public CallListAnalysis(CFG cfg,
                DepthFirstSearch dfs,
                org.apache.bcel.generic.ConstantPoolGen cpg)

Method Detail

initEntryFact

public void initEntryFact(CallList fact)

Description copied from interface: DataflowAnalysis

Initialize the "entry" fact for the graph.

isForwards

public boolean isForwards()

Description copied from interface: DataflowAnalysis

Returns true if the analysis is forwards, false if backwards.

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg)

Description copied from interface: DataflowAnalysis

Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.

Parameters:

cfg - the CFG upon which we're performing dataflow analysis

makeFactTop

public void makeFactTop(CallList fact)

Description copied from interface: DataflowAnalysis

Make given fact the top value.

isTop

public boolean isTop(CallList fact)

Description copied from interface: DataflowAnalysis

Is the given fact the top value.

createFact

public CallList createFact()

Description copied from interface: DataflowAnalysis

Create empty (uninitialized) dataflow facts for one program point. A valid value will be copied into it before it is used.

same

public boolean same(CallList a,
           CallList b)

Description copied from interface: DataflowAnalysis

Are given dataflow facts the same?

meetInto

public void meetInto(CallList start,
            Edge edge,
            CallList result)
              throws DataflowAnalysisException

Description copied from interface: DataflowAnalysis

Meet a dataflow fact associated with an incoming edge into another fact. This is used to determine the start fact for a basic block.

Parameters:

start - the predecessor fact (incoming edge)

edge - the edge from the predecessor

result - the result fact

Throws:

DataflowAnalysisException

copy

public void copy(CallList source,
        CallList dest)

Description copied from interface: DataflowAnalysis

Copy dataflow facts.

transferInstruction

public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
                       BasicBlock basicBlock,
                       CallList fact)
                         throws DataflowAnalysisException

Description copied from class: AbstractDataflowAnalysis

Transfer function for a single instruction.

Specified by:

transferInstruction in class AbstractDataflowAnalysis<CallList>

Parameters:

handle - the instruction

basicBlock - the BasicBlock containing the instruction; needed to disambiguate instructions in inlined JSR subroutines

fact - which should be modified based on the instruction

Throws:

DataflowAnalysisException

isFactValid

public boolean isFactValid(CallList fact)

Description copied from class: AbstractDataflowAnalysis

Determine whether the given fact is valid (neither top nor bottom).

Specified by:

isFactValid in class AbstractDataflowAnalysis<CallList>