edu.umd.cs.findbugs.ba.type2
Class BetterTypeAnalysis
java.lang.Object
edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<FrameType>
edu.umd.cs.findbugs.ba.FrameDataflowAnalysis<Type,BetterTypeFrame>
edu.umd.cs.findbugs.ba.type2.BetterTypeAnalysis
- All Implemented Interfaces:
- DataflowAnalysis<BetterTypeFrame>
public class BetterTypeAnalysis
- extends FrameDataflowAnalysis<Type,BetterTypeFrame>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BetterTypeAnalysis
public BetterTypeAnalysis(org.apache.bcel.generic.MethodGen methodGen,
java.lang.String[] parameterSignatureList,
CFG cfg,
DepthFirstSearch dfs,
TypeRepository typeRepository,
TypeMerger typeMerger,
RepositoryLookupFailureCallback lookupFailureCallback)
createFact
public BetterTypeFrame 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.
initEntryFact
public void initEntryFact(BetterTypeFrame result)
throws DataflowAnalysisException
- Description copied from interface:
DataflowAnalysis
- Initialize the "entry" fact for the graph.
- Throws:
DataflowAnalysisException
transferInstruction
public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
BetterTypeFrame fact)
throws DataflowAnalysisException
- Description copied from class:
AbstractDataflowAnalysis
- Transfer function for a single instruction.
- Specified by:
transferInstruction
in class AbstractDataflowAnalysis<BetterTypeFrame>
- Parameters:
handle
- the instructionbasicBlock
- the BasicBlock containing the instruction; needed to disambiguate
instructions in inlined JSR subroutinesfact
- which should be modified based on the instruction
- Throws:
DataflowAnalysisException
meetInto
public void meetInto(BetterTypeFrame fact,
Edge edge,
BetterTypeFrame 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:
fact
- the predecessor fact (incoming edge)edge
- the edge from the predecessorresult
- the result fact
- Throws:
DataflowAnalysisException
mergeValues
protected void mergeValues(BetterTypeFrame otherFrame,
BetterTypeFrame resultFrame,
int slot)
throws DataflowAnalysisException
- Description copied from class:
FrameDataflowAnalysis
- Merge the values contained in a given slot of two Frames.
- Specified by:
mergeValues
in class FrameDataflowAnalysis<Type,BetterTypeFrame>
- Parameters:
otherFrame
- a FrameresultFrame
- a Frame which will contain the resulting merged valueslot
- a slot in both frames
- Throws:
DataflowAnalysisException