|
FindBugs™ 1.3.4 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
edu.umd.cs.findbugs.ba.vna.ValueNumberFrameModelingVisitor
public class ValueNumberFrameModelingVisitor
Visitor which models the effects of bytecode instructions on value numbers of values in the operand stack frames.
ValueNumber
,
ValueNumberFrame
,
ValueNumberAnalysis
Field Summary |
---|
Fields inherited from class edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor |
---|
cpg |
Fields inherited from interface edu.umd.cs.findbugs.ba.Debug |
---|
VERIFY_INTEGRITY |
Fields inherited from interface edu.umd.cs.findbugs.ba.vna.ValueNumberAnalysisFeatures |
---|
REDUNDANT_LOAD_ELIMINATION, RLE_DEBUG |
Constructor Summary | |
---|---|
ValueNumberFrameModelingVisitor(org.apache.bcel.generic.MethodGen methodGen,
ValueNumberFactory factory,
ValueNumberCache cache,
LoadedFieldSet loadedFieldSet,
RepositoryLookupFailureCallback lookupFailureCallback)
Constructor. |
Method Summary | |
---|---|
ValueNumber |
getClassObjectValue(java.lang.String className)
Get the ValueNumber for given class's Class object. |
ValueNumber |
getDefaultValue()
Produce a "default" value. |
void |
modelNormalInstruction(org.apache.bcel.generic.Instruction ins,
int numWordsConsumed,
int numWordsProduced)
This is the default instruction modeling method. |
void |
setHandle(org.apache.bcel.generic.InstructionHandle handle)
Set the instruction handle of the instruction currently being visited. |
void |
visitCHECKCAST(org.apache.bcel.generic.CHECKCAST obj)
|
void |
visitGETFIELD(org.apache.bcel.generic.GETFIELD obj)
|
void |
visitGETSTATIC(org.apache.bcel.generic.GETSTATIC obj)
|
void |
visitIINC(org.apache.bcel.generic.IINC obj)
|
void |
visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE obj)
|
void |
visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL obj)
|
void |
visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC obj)
|
void |
visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL obj)
|
void |
visitLDC(org.apache.bcel.generic.LDC obj)
|
void |
visitMONITORENTER(org.apache.bcel.generic.MONITORENTER obj)
|
void |
visitPUTFIELD(org.apache.bcel.generic.PUTFIELD obj)
|
void |
visitPUTSTATIC(org.apache.bcel.generic.PUTSTATIC obj)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ValueNumberFrameModelingVisitor(org.apache.bcel.generic.MethodGen methodGen, ValueNumberFactory factory, ValueNumberCache cache, LoadedFieldSet loadedFieldSet, RepositoryLookupFailureCallback lookupFailureCallback)
methodGen
- the method being analyzedfactory
- factory for ValueNumbers for the methodcache
- cache of input/output transformations for each instructionloadedFieldSet
- fields loaded/stored by each instruction and entire methodlookupFailureCallback
- callback to use to report class lookup failuresMethod Detail |
---|
public ValueNumber getDefaultValue()
AbstractFrameModelingVisitor
getDefaultValue
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void setHandle(org.apache.bcel.generic.InstructionHandle handle)
public void modelNormalInstruction(org.apache.bcel.generic.Instruction ins, int numWordsConsumed, int numWordsProduced)
modelNormalInstruction
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
ins
- the Instruction to modelnumWordsConsumed
- number of stack words consumednumWordsProduced
- number of stack words producedpublic void visitGETFIELD(org.apache.bcel.generic.GETFIELD obj)
visitGETFIELD
in interface org.apache.bcel.generic.Visitor
visitGETFIELD
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitPUTFIELD(org.apache.bcel.generic.PUTFIELD obj)
visitPUTFIELD
in interface org.apache.bcel.generic.Visitor
visitPUTFIELD
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC obj)
visitGETSTATIC
in interface org.apache.bcel.generic.Visitor
visitGETSTATIC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitPUTSTATIC(org.apache.bcel.generic.PUTSTATIC obj)
visitPUTSTATIC
in interface org.apache.bcel.generic.Visitor
visitPUTSTATIC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC obj)
visitINVOKESTATIC
in interface org.apache.bcel.generic.Visitor
visitINVOKESTATIC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitMONITORENTER(org.apache.bcel.generic.MONITORENTER obj)
visitMONITORENTER
in interface org.apache.bcel.generic.Visitor
visitMONITORENTER
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL obj)
visitINVOKESPECIAL
in interface org.apache.bcel.generic.Visitor
visitINVOKESPECIAL
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE obj)
visitINVOKEINTERFACE
in interface org.apache.bcel.generic.Visitor
visitINVOKEINTERFACE
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL obj)
visitINVOKEVIRTUAL
in interface org.apache.bcel.generic.Visitor
visitINVOKEVIRTUAL
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitLDC(org.apache.bcel.generic.LDC obj)
visitLDC
in interface org.apache.bcel.generic.Visitor
visitLDC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitIINC(org.apache.bcel.generic.IINC obj)
visitIINC
in interface org.apache.bcel.generic.Visitor
visitIINC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST obj)
visitCHECKCAST
in interface org.apache.bcel.generic.Visitor
visitCHECKCAST
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
public ValueNumber getClassObjectValue(java.lang.String className)
className
- the class
|
FindBugs™ 1.3.4 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |