FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.type
Class TypeFrameModelingVisitor

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>
      extended by edu.umd.cs.findbugs.ba.type.TypeFrameModelingVisitor
All Implemented Interfaces:
Debug, org.apache.bcel.Constants, org.apache.bcel.generic.Visitor

public class TypeFrameModelingVisitor
extends AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>
implements org.apache.bcel.Constants, Debug

Visitor to model the effects of bytecode instructions on the types of the values (local and operand stack) in Java stack frames. This visitor does not verify that the types are sensible for the bytecodes executed. In other words, this isn't a bytecode verifier, although it wouldn't be too hard to turn it into something vaguely verifier-like.

Author:
David Hovemeyer
See Also:
TypeFrame, TypeAnalysis

Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor
cpg
 
Fields inherited from interface org.apache.bcel.Constants
AALOAD, AASTORE, ACC_ABSTRACT, ACC_ANNOTATION, ACC_BRIDGE, ACC_ENUM, ACC_FINAL, ACC_INTERFACE, ACC_NATIVE, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_VARARGS, ACC_VOLATILE, ACCESS_NAMES, ACONST_NULL, ALOAD, ALOAD_0, ALOAD_1, ALOAD_2, ALOAD_3, ANEWARRAY, ANEWARRAY_QUICK, ARETURN, ARRAYLENGTH, ASTORE, ASTORE_0, ASTORE_1, ASTORE_2, ASTORE_3, ATHROW, ATTR_ANNOTATION_DEFAULT, ATTR_CODE, ATTR_CONSTANT_VALUE, ATTR_DEPRECATED, ATTR_EXCEPTIONS, ATTR_INNER_CLASSES, ATTR_LINE_NUMBER_TABLE, ATTR_LOCAL_VARIABLE_TABLE, ATTR_LOCAL_VARIABLE_TYPE_TABLE, ATTR_PMG, ATTR_RUNTIMEINVISIBLE_ANNOTATIONS, ATTR_RUNTIMEINVISIBLE_PARAMETER_ANNOTATIONS, ATTR_RUNTIMEVISIBLE_ANNOTATIONS, ATTR_RUNTIMEVISIBLE_PARAMETER_ANNOTATIONS, ATTR_SIGNATURE, ATTR_SOURCE_FILE, ATTR_STACK_MAP, ATTR_SYNTHETIC, ATTR_UNKNOWN, ATTRIBUTE_NAMES, BALOAD, BASTORE, BIPUSH, BREAKPOINT, CALOAD, CASTORE, CHECKCAST, CHECKCAST_QUICK, CLASS_TYPE_NAMES, CONSTANT_Class, CONSTANT_Double, CONSTANT_Fieldref, CONSTANT_Float, CONSTANT_Integer, CONSTANT_InterfaceMethodref, CONSTANT_Long, CONSTANT_Methodref, CONSTANT_NameAndType, CONSTANT_NAMES, CONSTANT_String, CONSTANT_Utf8, CONSTRUCTOR_NAME, CONSUME_STACK, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD, DLOAD_0, DLOAD_1, DLOAD_2, DLOAD_3, DMUL, DNEG, DREM, DRETURN, DSTORE, DSTORE_0, DSTORE_1, DSTORE_2, DSTORE_3, DSUB, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD, FLOAD_0, FLOAD_1, FLOAD_2, FLOAD_3, FMUL, FNEG, FREM, FRETURN, FSTORE, FSTORE_0, FSTORE_1, FSTORE_2, FSTORE_3, FSUB, GETFIELD, GETFIELD_QUICK, GETFIELD_QUICK_W, GETFIELD2_QUICK, GETSTATIC, GETSTATIC_QUICK, GETSTATIC2_QUICK, GOTO, GOTO_W, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILLEGAL_OPCODE, ILLEGAL_TYPE, ILOAD, ILOAD_0, ILOAD_1, ILOAD_2, ILOAD_3, IMPDEP1, IMPDEP2, IMUL, INEG, INSTANCEOF, INSTANCEOF_QUICK, INT2BYTE, INT2CHAR, INT2SHORT, INTERFACES_IMPLEMENTED_BY_ARRAYS, INVOKEINTERFACE, INVOKEINTERFACE_QUICK, INVOKENONVIRTUAL, INVOKENONVIRTUAL_QUICK, INVOKESPECIAL, INVOKESTATIC, INVOKESTATIC_QUICK, INVOKESUPER_QUICK, INVOKEVIRTUAL, INVOKEVIRTUAL_QUICK, INVOKEVIRTUAL_QUICK_W, INVOKEVIRTUALOBJECT_QUICK, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISTORE_0, ISTORE_1, ISTORE_2, ISTORE_3, ISUB, ITEM_Bogus, ITEM_Double, ITEM_Float, ITEM_InitObject, ITEM_Integer, ITEM_Long, ITEM_NAMES, ITEM_NewObject, ITEM_Null, ITEM_Object, IUSHR, IXOR, JSR, JSR_W, KNOWN_ATTRIBUTES, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST_0, LCONST_1, LDC, LDC_QUICK, LDC_W, LDC_W_QUICK, LDC2_W, LDC2_W_QUICK, LDIV, LLOAD, LLOAD_0, LLOAD_1, LLOAD_2, LLOAD_3, LMUL, LNEG, LOOKUPSWITCH, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE, LSTORE_0, LSTORE_1, LSTORE_2, LSTORE_3, LSUB, LUSHR, LXOR, MAJOR, MAJOR_1_1, MAJOR_1_2, MAJOR_1_3, MAJOR_1_4, MAJOR_1_5, MAX_ACC_FLAG, MAX_BYTE, MAX_CODE_SIZE, MAX_CP_ENTRIES, MAX_SHORT, MINOR, MINOR_1_1, MINOR_1_2, MINOR_1_3, MINOR_1_4, MINOR_1_5, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, MULTIANEWARRAY_QUICK, NEW, NEW_QUICK, NEWARRAY, NO_OF_OPERANDS, NOP, OPCODE_NAMES, POP, POP2, PRODUCE_STACK, PUSH, PUTFIELD, PUTFIELD_QUICK, PUTFIELD_QUICK_W, PUTFIELD2_QUICK, PUTSTATIC, PUTSTATIC_QUICK, PUTSTATIC2_QUICK, RESERVED, RET, RETURN, SALOAD, SASTORE, SHORT_TYPE_NAMES, SIPUSH, STATIC_INITIALIZER_NAME, SWAP, SWITCH, T_ADDRESS, T_ARRAY, T_BOOLEAN, T_BYTE, T_CHAR, T_DOUBLE, T_FLOAT, T_INT, T_LONG, T_OBJECT, T_REFERENCE, T_SHORT, T_UNKNOWN, T_VOID, TABLESWITCH, TYPE_NAMES, TYPE_OF_OPERANDS, UNDEFINED, UNPREDICTABLE, WIDE
 
Fields inherited from interface edu.umd.cs.findbugs.ba.Debug
VERIFY_INTEGRITY
 
Constructor Summary
TypeFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg)
          Constructor.
 
Method Summary
 void analyzeInstruction(org.apache.bcel.generic.Instruction ins)
          Analyze the given Instruction.
protected  void consumeStack(org.apache.bcel.generic.Instruction ins)
          Consume stack.
 org.apache.bcel.generic.Type getDefaultValue()
          Produce a "default" value.
 org.apache.bcel.generic.Type getInstanceOfType()
          Get the type of the most recent instanceof instruction modeled.
 ValueNumber getInstanceOfValueNumber()
          Get the value number of the most recent instanceof instruction modeled.
 void handleLoadInstruction(org.apache.bcel.generic.LoadInstruction obj)
          Handler for all instructions which load values from a local variable and push them on the stack.
 void handleStoreInstruction(org.apache.bcel.generic.StoreInstruction obj)
          Handler for all instructions which pop values from the stack and store them in a local variable.
 boolean isInstanceOfFollowedByBranch()
          Return whether an instanceof instruction was followed by a branch.
 void modelFieldLoad(org.apache.bcel.generic.FieldInstruction obj)
           
 void modelNormalInstruction(org.apache.bcel.generic.Instruction ins, int numWordsConsumed, int numWordsProduced)
          This is overridden only to ensure that we don't rely on the base class to handle instructions that produce stack operands.
protected  void pushReturnType(org.apache.bcel.generic.InvokeInstruction ins)
          Helper for pushing the return type of an invoke instruction.
protected  void pushValue(org.apache.bcel.generic.Type type)
          Work around some weirdness in BCEL (inherited from JVM Spec 1): BCEL considers long and double types to consume two slots on the stack.
 void setFieldStoreTypeDatabase(FieldStoreTypeDatabase database)
          Set the field store type database.
 void setValueNumberDataflow(ValueNumberDataflow valueNumberDataflow)
          Set ValueNumberDataflow for the method being analyzed.
 void startBasicBlock()
          This method must be called at the beginning of modeling a basic block in order to clear information cached for instanceof modeling.
 void visitAALOAD(org.apache.bcel.generic.AALOAD obj)
           
 void visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL obj)
           
 void visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY obj)
           
 void visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH obj)
           
 void visitATHROW(org.apache.bcel.generic.ATHROW obj)
           
 void visitBALOAD(org.apache.bcel.generic.BALOAD obj)
           
 void visitBIPUSH(org.apache.bcel.generic.BIPUSH obj)
           
 void visitCALOAD(org.apache.bcel.generic.CALOAD obj)
           
 void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST obj)
           
 void visitD2F(org.apache.bcel.generic.D2F obj)
           
 void visitD2I(org.apache.bcel.generic.D2I obj)
           
 void visitD2L(org.apache.bcel.generic.D2L obj)
           
 void visitDADD(org.apache.bcel.generic.DADD obj)
           
 void visitDALOAD(org.apache.bcel.generic.DALOAD obj)
           
 void visitDCMPG(org.apache.bcel.generic.DCMPG obj)
           
 void visitDCMPL(org.apache.bcel.generic.DCMPL obj)
           
 void visitDCONST(org.apache.bcel.generic.DCONST obj)
           
 void visitDDIV(org.apache.bcel.generic.DDIV obj)
           
 void visitDMUL(org.apache.bcel.generic.DMUL obj)
           
 void visitDNEG(org.apache.bcel.generic.DNEG obj)
           
 void visitDREM(org.apache.bcel.generic.DREM obj)
           
 void visitDSUB(org.apache.bcel.generic.DSUB obj)
           
 void visitDUP(org.apache.bcel.generic.DUP obj)
           
 void visitF2D(org.apache.bcel.generic.F2D obj)
           
 void visitF2I(org.apache.bcel.generic.F2I obj)
           
 void visitF2L(org.apache.bcel.generic.F2L obj)
           
 void visitFADD(org.apache.bcel.generic.FADD obj)
           
 void visitFALOAD(org.apache.bcel.generic.FALOAD obj)
           
 void visitFCMPG(org.apache.bcel.generic.FCMPG obj)
           
 void visitFCMPL(org.apache.bcel.generic.FCMPL obj)
           
 void visitFCONST(org.apache.bcel.generic.FCONST obj)
           
 void visitFDIV(org.apache.bcel.generic.FDIV obj)
           
 void visitFMUL(org.apache.bcel.generic.FMUL obj)
           
 void visitFNEG(org.apache.bcel.generic.FNEG obj)
           
 void visitFREM(org.apache.bcel.generic.FREM obj)
           
 void visitFSUB(org.apache.bcel.generic.FSUB obj)
           
 void visitGETFIELD(org.apache.bcel.generic.GETFIELD obj)
           
 void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC obj)
           
 void visitI2B(org.apache.bcel.generic.I2B obj)
           
 void visitI2C(org.apache.bcel.generic.I2C obj)
           
 void visitI2D(org.apache.bcel.generic.I2D obj)
           
 void visitI2F(org.apache.bcel.generic.I2F obj)
           
 void visitI2L(org.apache.bcel.generic.I2L obj)
           
 void visitI2S(org.apache.bcel.generic.I2S obj)
           
 void visitIADD(org.apache.bcel.generic.IADD obj)
           
 void visitIALOAD(org.apache.bcel.generic.IALOAD obj)
           
 void visitIAND(org.apache.bcel.generic.IAND obj)
           
 void visitICONST(org.apache.bcel.generic.ICONST obj)
           
 void visitIDIV(org.apache.bcel.generic.IDIV obj)
           
 void visitIFEQ(org.apache.bcel.generic.IFEQ obj)
           
 void visitIFGT(org.apache.bcel.generic.IFGT obj)
           
 void visitIFLE(org.apache.bcel.generic.IFLE obj)
           
 void visitIFNE(org.apache.bcel.generic.IFNE obj)
           
 void visitIFNONNULL(org.apache.bcel.generic.IFNONNULL obj)
           
 void visitIFNULL(org.apache.bcel.generic.IFNULL obj)
           
 void visitIINC(org.apache.bcel.generic.IINC obj)
           
 void visitIMUL(org.apache.bcel.generic.IMUL obj)
           
 void visitINEG(org.apache.bcel.generic.INEG obj)
           
 void visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF 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 visitIOR(org.apache.bcel.generic.IOR obj)
           
 void visitIREM(org.apache.bcel.generic.IREM obj)
           
 void visitISHL(org.apache.bcel.generic.ISHL obj)
           
 void visitISHR(org.apache.bcel.generic.ISHR obj)
           
 void visitISUB(org.apache.bcel.generic.ISUB obj)
           
 void visitIUSHR(org.apache.bcel.generic.IUSHR obj)
           
 void visitIXOR(org.apache.bcel.generic.IXOR obj)
           
 void visitJSR_W(org.apache.bcel.generic.JSR_W obj)
           
 void visitJSR(org.apache.bcel.generic.JSR obj)
           
 void visitL2D(org.apache.bcel.generic.L2D obj)
           
 void visitL2F(org.apache.bcel.generic.L2F obj)
           
 void visitL2I(org.apache.bcel.generic.L2I obj)
           
 void visitLADD(org.apache.bcel.generic.LADD obj)
           
 void visitLALOAD(org.apache.bcel.generic.LALOAD obj)
           
 void visitLAND(org.apache.bcel.generic.LAND obj)
           
 void visitLCMP(org.apache.bcel.generic.LCMP obj)
           
 void visitLCONST(org.apache.bcel.generic.LCONST obj)
           
 void visitLDC(org.apache.bcel.generic.LDC obj)
           
 void visitLDC2_W(org.apache.bcel.generic.LDC2_W obj)
           
 void visitLDIV(org.apache.bcel.generic.LDIV obj)
           
 void visitLMUL(org.apache.bcel.generic.LMUL obj)
           
 void visitLNEG(org.apache.bcel.generic.LNEG obj)
           
 void visitLOR(org.apache.bcel.generic.LOR obj)
           
 void visitLREM(org.apache.bcel.generic.LREM obj)
           
 void visitLSHL(org.apache.bcel.generic.LSHL obj)
           
 void visitLSHR(org.apache.bcel.generic.LSHR obj)
           
 void visitLSUB(org.apache.bcel.generic.LSUB obj)
           
 void visitLUSHR(org.apache.bcel.generic.LUSHR obj)
           
 void visitLXOR(org.apache.bcel.generic.LXOR obj)
           
 void visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY obj)
           
 void visitNEW(org.apache.bcel.generic.NEW obj)
           
 void visitNEWARRAY(org.apache.bcel.generic.NEWARRAY obj)
           
 void visitRET(org.apache.bcel.generic.RET obj)
           
 void visitSALOAD(org.apache.bcel.generic.SALOAD obj)
           
 void visitSIPUSH(org.apache.bcel.generic.SIPUSH obj)
           
 
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor
getCPG, getFrame, getLocation, getNumWordsConsumed, getNumWordsProduced, handleNormalInstruction, modelInstruction, setFrameAndLocation, visitAASTORE, visitAllocationInstruction, visitALOAD, visitARETURN, visitArithmeticInstruction, visitArrayInstruction, visitASTORE, visitBASTORE, visitBranchInstruction, visitBREAKPOINT, visitCASTORE, visitConstantPushInstruction, visitConversionInstruction, visitCPInstruction, visitDASTORE, visitDLOAD, visitDRETURN, visitDSTORE, visitDUP_X1, visitDUP_X2, visitDUP2_X1, visitDUP2_X2, visitDUP2, visitExceptionThrower, visitFASTORE, visitFieldInstruction, visitFieldOrMethod, visitFLOAD, visitFRETURN, visitFSTORE, visitGOTO_W, visitGOTO, visitGotoInstruction, visitIASTORE, visitIF_ACMPEQ, visitIF_ACMPNE, visitIF_ICMPEQ, visitIF_ICMPGE, visitIF_ICMPGT, visitIF_ICMPLE, visitIF_ICMPLT, visitIF_ICMPNE, visitIFGE, visitIfInstruction, visitIFLT, visitILOAD, visitIMPDEP1, visitIMPDEP2, visitInvokeInstruction, visitIRETURN, visitISTORE, visitJsrInstruction, visitLASTORE, visitLLOAD, visitLoadClass, visitLoadInstruction, visitLocalVariableInstruction, visitLOOKUPSWITCH, visitLRETURN, visitLSTORE, visitMONITORENTER, visitMONITOREXIT, visitNOP, visitPOP, visitPOP2, visitPopInstruction, visitPushInstruction, visitPUTFIELD, visitPUTSTATIC, visitRETURN, visitReturnInstruction, visitSASTORE, visitSelect, visitStackConsumer, visitStackInstruction, visitStackProducer, visitStoreInstruction, visitSWAP, visitTABLESWITCH, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypeFrameModelingVisitor

public TypeFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg)
Constructor.

Parameters:
cpg - the ConstantPoolGen of the method whose instructions we are examining
Method Detail

setValueNumberDataflow

public void setValueNumberDataflow(ValueNumberDataflow valueNumberDataflow)
Set ValueNumberDataflow for the method being analyzed. This is optional; if set, we will use the information to more accurately model the effects of instanceof instructions.

Parameters:
valueNumberDataflow - the ValueNumberDataflow

isInstanceOfFollowedByBranch

public boolean isInstanceOfFollowedByBranch()
Return whether an instanceof instruction was followed by a branch. The TypeAnalysis may use this to get more precise types in the resulting frame.

Returns:
true if an instanceof instruction was followed by a branch, false if not

getInstanceOfType

public org.apache.bcel.generic.Type getInstanceOfType()
Get the type of the most recent instanceof instruction modeled. The TypeAnalysis may use this to get more precise types in the resulting frame.

Returns:
the Type checked by the most recent instanceof instruction

getInstanceOfValueNumber

public ValueNumber getInstanceOfValueNumber()
Get the value number of the most recent instanceof instruction modeled. The TypeAnalysis may use this to get more precise types in the resulting frame.

Returns:
the ValueNumber checked by the most recent instanceof instruction

setFieldStoreTypeDatabase

public void setFieldStoreTypeDatabase(FieldStoreTypeDatabase database)
Set the field store type database. We can use this to get more accurate types for values loaded from fields.

Parameters:
database - the FieldStoreTypeDatabase

getDefaultValue

public org.apache.bcel.generic.Type getDefaultValue()
Description copied from class: AbstractFrameModelingVisitor
Produce a "default" value. This is what is pushed onto the stack by the handleNormalInstruction() method for instructions which produce stack values.

Specified by:
getDefaultValue in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

analyzeInstruction

public void analyzeInstruction(org.apache.bcel.generic.Instruction ins)
                        throws DataflowAnalysisException
Description copied from class: AbstractFrameModelingVisitor
Analyze the given Instruction.

Overrides:
analyzeInstruction in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>
Parameters:
ins - the Instruction
Throws:
DataflowAnalysisException - if an error occurs analyzing the instruction; in most cases, this indicates that the bytecode for the method being analyzed is invalid

startBasicBlock

public void startBasicBlock()
This method must be called at the beginning of modeling a basic block in order to clear information cached for instanceof modeling.


consumeStack

protected void consumeStack(org.apache.bcel.generic.Instruction ins)
Consume stack. This is a convenience method for instructions where the types of popped operands can be ignored.


pushValue

protected void pushValue(org.apache.bcel.generic.Type type)
Work around some weirdness in BCEL (inherited from JVM Spec 1): BCEL considers long and double types to consume two slots on the stack. This method ensures that we push two types for each double or long value.


pushReturnType

protected void pushReturnType(org.apache.bcel.generic.InvokeInstruction ins)
Helper for pushing the return type of an invoke instruction.


modelNormalInstruction

public void modelNormalInstruction(org.apache.bcel.generic.Instruction ins,
                                   int numWordsConsumed,
                                   int numWordsProduced)
This is overridden only to ensure that we don't rely on the base class to handle instructions that produce stack operands.

Overrides:
modelNormalInstruction in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>
Parameters:
ins - the Instruction to model
numWordsConsumed - number of stack words consumed
numWordsProduced - number of stack words produced

visitATHROW

public void visitATHROW(org.apache.bcel.generic.ATHROW obj)
Specified by:
visitATHROW in interface org.apache.bcel.generic.Visitor
Overrides:
visitATHROW in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitACONST_NULL

public void visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL obj)
Specified by:
visitACONST_NULL in interface org.apache.bcel.generic.Visitor
Overrides:
visitACONST_NULL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDCONST

public void visitDCONST(org.apache.bcel.generic.DCONST obj)
Specified by:
visitDCONST in interface org.apache.bcel.generic.Visitor
Overrides:
visitDCONST in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFCONST

public void visitFCONST(org.apache.bcel.generic.FCONST obj)
Specified by:
visitFCONST in interface org.apache.bcel.generic.Visitor
Overrides:
visitFCONST in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitICONST

public void visitICONST(org.apache.bcel.generic.ICONST obj)
Specified by:
visitICONST in interface org.apache.bcel.generic.Visitor
Overrides:
visitICONST in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLCONST

public void visitLCONST(org.apache.bcel.generic.LCONST obj)
Specified by:
visitLCONST in interface org.apache.bcel.generic.Visitor
Overrides:
visitLCONST in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLDC

public void visitLDC(org.apache.bcel.generic.LDC obj)
Specified by:
visitLDC in interface org.apache.bcel.generic.Visitor
Overrides:
visitLDC in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLDC2_W

public void visitLDC2_W(org.apache.bcel.generic.LDC2_W obj)
Specified by:
visitLDC2_W in interface org.apache.bcel.generic.Visitor
Overrides:
visitLDC2_W in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitBIPUSH

public void visitBIPUSH(org.apache.bcel.generic.BIPUSH obj)
Specified by:
visitBIPUSH in interface org.apache.bcel.generic.Visitor
Overrides:
visitBIPUSH in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitSIPUSH

public void visitSIPUSH(org.apache.bcel.generic.SIPUSH obj)
Specified by:
visitSIPUSH in interface org.apache.bcel.generic.Visitor
Overrides:
visitSIPUSH in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitGETSTATIC

public void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC obj)
Specified by:
visitGETSTATIC in interface org.apache.bcel.generic.Visitor
Overrides:
visitGETSTATIC in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitGETFIELD

public void visitGETFIELD(org.apache.bcel.generic.GETFIELD obj)
Specified by:
visitGETFIELD in interface org.apache.bcel.generic.Visitor
Overrides:
visitGETFIELD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

modelFieldLoad

public void modelFieldLoad(org.apache.bcel.generic.FieldInstruction obj)

visitINVOKESTATIC

public void visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC obj)
Specified by:
visitINVOKESTATIC in interface org.apache.bcel.generic.Visitor
Overrides:
visitINVOKESTATIC in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitINVOKESPECIAL

public void visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL obj)
Specified by:
visitINVOKESPECIAL in interface org.apache.bcel.generic.Visitor
Overrides:
visitINVOKESPECIAL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE obj)
Specified by:
visitINVOKEINTERFACE in interface org.apache.bcel.generic.Visitor
Overrides:
visitINVOKEINTERFACE in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL obj)
Specified by:
visitINVOKEVIRTUAL in interface org.apache.bcel.generic.Visitor
Overrides:
visitINVOKEVIRTUAL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

handleStoreInstruction

public void handleStoreInstruction(org.apache.bcel.generic.StoreInstruction obj)
Description copied from class: AbstractFrameModelingVisitor
Handler for all instructions which pop values from the stack and store them in a local variable. Note that two locals are stored into for long and double stores.

Overrides:
handleStoreInstruction in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

handleLoadInstruction

public void handleLoadInstruction(org.apache.bcel.generic.LoadInstruction obj)
Handler for all instructions which load values from a local variable and push them on the stack. Note that two locals are loaded for long and double loads.

Overrides:
handleLoadInstruction in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitCHECKCAST

public void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST obj)
Specified by:
visitCHECKCAST in interface org.apache.bcel.generic.Visitor
Overrides:
visitCHECKCAST in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitINSTANCEOF

public void visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF obj)
Specified by:
visitINSTANCEOF in interface org.apache.bcel.generic.Visitor
Overrides:
visitINSTANCEOF in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIFNULL

public void visitIFNULL(org.apache.bcel.generic.IFNULL obj)
Specified by:
visitIFNULL in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFNULL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIFNONNULL

public void visitIFNONNULL(org.apache.bcel.generic.IFNONNULL obj)
Specified by:
visitIFNONNULL in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFNONNULL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFCMPL

public void visitFCMPL(org.apache.bcel.generic.FCMPL obj)
Specified by:
visitFCMPL in interface org.apache.bcel.generic.Visitor
Overrides:
visitFCMPL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFCMPG

public void visitFCMPG(org.apache.bcel.generic.FCMPG obj)
Specified by:
visitFCMPG in interface org.apache.bcel.generic.Visitor
Overrides:
visitFCMPG in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDCMPL

public void visitDCMPL(org.apache.bcel.generic.DCMPL obj)
Specified by:
visitDCMPL in interface org.apache.bcel.generic.Visitor
Overrides:
visitDCMPL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDCMPG

public void visitDCMPG(org.apache.bcel.generic.DCMPG obj)
Specified by:
visitDCMPG in interface org.apache.bcel.generic.Visitor
Overrides:
visitDCMPG in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLCMP

public void visitLCMP(org.apache.bcel.generic.LCMP obj)
Specified by:
visitLCMP in interface org.apache.bcel.generic.Visitor
Overrides:
visitLCMP in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitD2F

public void visitD2F(org.apache.bcel.generic.D2F obj)
Specified by:
visitD2F in interface org.apache.bcel.generic.Visitor
Overrides:
visitD2F in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitD2I

public void visitD2I(org.apache.bcel.generic.D2I obj)
Specified by:
visitD2I in interface org.apache.bcel.generic.Visitor
Overrides:
visitD2I in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitD2L

public void visitD2L(org.apache.bcel.generic.D2L obj)
Specified by:
visitD2L in interface org.apache.bcel.generic.Visitor
Overrides:
visitD2L in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitF2D

public void visitF2D(org.apache.bcel.generic.F2D obj)
Specified by:
visitF2D in interface org.apache.bcel.generic.Visitor
Overrides:
visitF2D in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitF2I

public void visitF2I(org.apache.bcel.generic.F2I obj)
Specified by:
visitF2I in interface org.apache.bcel.generic.Visitor
Overrides:
visitF2I in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitF2L

public void visitF2L(org.apache.bcel.generic.F2L obj)
Specified by:
visitF2L in interface org.apache.bcel.generic.Visitor
Overrides:
visitF2L in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitI2B

public void visitI2B(org.apache.bcel.generic.I2B obj)
Specified by:
visitI2B in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2B in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitI2C

public void visitI2C(org.apache.bcel.generic.I2C obj)
Specified by:
visitI2C in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2C in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitI2D

public void visitI2D(org.apache.bcel.generic.I2D obj)
Specified by:
visitI2D in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2D in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitI2F

public void visitI2F(org.apache.bcel.generic.I2F obj)
Specified by:
visitI2F in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2F in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitI2L

public void visitI2L(org.apache.bcel.generic.I2L obj)
Specified by:
visitI2L in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2L in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitI2S

public void visitI2S(org.apache.bcel.generic.I2S obj)
Specified by:
visitI2S in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2S in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitL2D

public void visitL2D(org.apache.bcel.generic.L2D obj)
Specified by:
visitL2D in interface org.apache.bcel.generic.Visitor
Overrides:
visitL2D in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitL2F

public void visitL2F(org.apache.bcel.generic.L2F obj)
Specified by:
visitL2F in interface org.apache.bcel.generic.Visitor
Overrides:
visitL2F in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitL2I

public void visitL2I(org.apache.bcel.generic.L2I obj)
Specified by:
visitL2I in interface org.apache.bcel.generic.Visitor
Overrides:
visitL2I in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIAND

public void visitIAND(org.apache.bcel.generic.IAND obj)
Specified by:
visitIAND in interface org.apache.bcel.generic.Visitor
Overrides:
visitIAND in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLAND

public void visitLAND(org.apache.bcel.generic.LAND obj)
Specified by:
visitLAND in interface org.apache.bcel.generic.Visitor
Overrides:
visitLAND in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIOR

public void visitIOR(org.apache.bcel.generic.IOR obj)
Specified by:
visitIOR in interface org.apache.bcel.generic.Visitor
Overrides:
visitIOR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLOR

public void visitLOR(org.apache.bcel.generic.LOR obj)
Specified by:
visitLOR in interface org.apache.bcel.generic.Visitor
Overrides:
visitLOR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIXOR

public void visitIXOR(org.apache.bcel.generic.IXOR obj)
Specified by:
visitIXOR in interface org.apache.bcel.generic.Visitor
Overrides:
visitIXOR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLXOR

public void visitLXOR(org.apache.bcel.generic.LXOR obj)
Specified by:
visitLXOR in interface org.apache.bcel.generic.Visitor
Overrides:
visitLXOR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitISHR

public void visitISHR(org.apache.bcel.generic.ISHR obj)
Specified by:
visitISHR in interface org.apache.bcel.generic.Visitor
Overrides:
visitISHR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIUSHR

public void visitIUSHR(org.apache.bcel.generic.IUSHR obj)
Specified by:
visitIUSHR in interface org.apache.bcel.generic.Visitor
Overrides:
visitIUSHR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLSHR

public void visitLSHR(org.apache.bcel.generic.LSHR obj)
Specified by:
visitLSHR in interface org.apache.bcel.generic.Visitor
Overrides:
visitLSHR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLUSHR

public void visitLUSHR(org.apache.bcel.generic.LUSHR obj)
Specified by:
visitLUSHR in interface org.apache.bcel.generic.Visitor
Overrides:
visitLUSHR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitISHL

public void visitISHL(org.apache.bcel.generic.ISHL obj)
Specified by:
visitISHL in interface org.apache.bcel.generic.Visitor
Overrides:
visitISHL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLSHL

public void visitLSHL(org.apache.bcel.generic.LSHL obj)
Specified by:
visitLSHL in interface org.apache.bcel.generic.Visitor
Overrides:
visitLSHL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDADD

public void visitDADD(org.apache.bcel.generic.DADD obj)
Specified by:
visitDADD in interface org.apache.bcel.generic.Visitor
Overrides:
visitDADD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFADD

public void visitFADD(org.apache.bcel.generic.FADD obj)
Specified by:
visitFADD in interface org.apache.bcel.generic.Visitor
Overrides:
visitFADD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIADD

public void visitIADD(org.apache.bcel.generic.IADD obj)
Specified by:
visitIADD in interface org.apache.bcel.generic.Visitor
Overrides:
visitIADD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLADD

public void visitLADD(org.apache.bcel.generic.LADD obj)
Specified by:
visitLADD in interface org.apache.bcel.generic.Visitor
Overrides:
visitLADD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDSUB

public void visitDSUB(org.apache.bcel.generic.DSUB obj)
Specified by:
visitDSUB in interface org.apache.bcel.generic.Visitor
Overrides:
visitDSUB in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDUP

public void visitDUP(org.apache.bcel.generic.DUP obj)
Specified by:
visitDUP in interface org.apache.bcel.generic.Visitor
Overrides:
visitDUP in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFSUB

public void visitFSUB(org.apache.bcel.generic.FSUB obj)
Specified by:
visitFSUB in interface org.apache.bcel.generic.Visitor
Overrides:
visitFSUB in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitISUB

public void visitISUB(org.apache.bcel.generic.ISUB obj)
Specified by:
visitISUB in interface org.apache.bcel.generic.Visitor
Overrides:
visitISUB in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLSUB

public void visitLSUB(org.apache.bcel.generic.LSUB obj)
Specified by:
visitLSUB in interface org.apache.bcel.generic.Visitor
Overrides:
visitLSUB in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDMUL

public void visitDMUL(org.apache.bcel.generic.DMUL obj)
Specified by:
visitDMUL in interface org.apache.bcel.generic.Visitor
Overrides:
visitDMUL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFMUL

public void visitFMUL(org.apache.bcel.generic.FMUL obj)
Specified by:
visitFMUL in interface org.apache.bcel.generic.Visitor
Overrides:
visitFMUL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIMUL

public void visitIMUL(org.apache.bcel.generic.IMUL obj)
Specified by:
visitIMUL in interface org.apache.bcel.generic.Visitor
Overrides:
visitIMUL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLMUL

public void visitLMUL(org.apache.bcel.generic.LMUL obj)
Specified by:
visitLMUL in interface org.apache.bcel.generic.Visitor
Overrides:
visitLMUL in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDDIV

public void visitDDIV(org.apache.bcel.generic.DDIV obj)
Specified by:
visitDDIV in interface org.apache.bcel.generic.Visitor
Overrides:
visitDDIV in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFDIV

public void visitFDIV(org.apache.bcel.generic.FDIV obj)
Specified by:
visitFDIV in interface org.apache.bcel.generic.Visitor
Overrides:
visitFDIV in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIDIV

public void visitIDIV(org.apache.bcel.generic.IDIV obj)
Specified by:
visitIDIV in interface org.apache.bcel.generic.Visitor
Overrides:
visitIDIV in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLDIV

public void visitLDIV(org.apache.bcel.generic.LDIV obj)
Specified by:
visitLDIV in interface org.apache.bcel.generic.Visitor
Overrides:
visitLDIV in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDREM

public void visitDREM(org.apache.bcel.generic.DREM obj)
Specified by:
visitDREM in interface org.apache.bcel.generic.Visitor
Overrides:
visitDREM in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFREM

public void visitFREM(org.apache.bcel.generic.FREM obj)
Specified by:
visitFREM in interface org.apache.bcel.generic.Visitor
Overrides:
visitFREM in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIREM

public void visitIREM(org.apache.bcel.generic.IREM obj)
Specified by:
visitIREM in interface org.apache.bcel.generic.Visitor
Overrides:
visitIREM in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLREM

public void visitLREM(org.apache.bcel.generic.LREM obj)
Specified by:
visitLREM in interface org.apache.bcel.generic.Visitor
Overrides:
visitLREM in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIINC

public void visitIINC(org.apache.bcel.generic.IINC obj)
Specified by:
visitIINC in interface org.apache.bcel.generic.Visitor
Overrides:
visitIINC in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDNEG

public void visitDNEG(org.apache.bcel.generic.DNEG obj)
Specified by:
visitDNEG in interface org.apache.bcel.generic.Visitor
Overrides:
visitDNEG in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFNEG

public void visitFNEG(org.apache.bcel.generic.FNEG obj)
Specified by:
visitFNEG in interface org.apache.bcel.generic.Visitor
Overrides:
visitFNEG in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitINEG

public void visitINEG(org.apache.bcel.generic.INEG obj)
Specified by:
visitINEG in interface org.apache.bcel.generic.Visitor
Overrides:
visitINEG in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLNEG

public void visitLNEG(org.apache.bcel.generic.LNEG obj)
Specified by:
visitLNEG in interface org.apache.bcel.generic.Visitor
Overrides:
visitLNEG in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitARRAYLENGTH

public void visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH obj)
Specified by:
visitARRAYLENGTH in interface org.apache.bcel.generic.Visitor
Overrides:
visitARRAYLENGTH in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitAALOAD

public void visitAALOAD(org.apache.bcel.generic.AALOAD obj)
Specified by:
visitAALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitAALOAD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitBALOAD

public void visitBALOAD(org.apache.bcel.generic.BALOAD obj)
Specified by:
visitBALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitBALOAD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitCALOAD

public void visitCALOAD(org.apache.bcel.generic.CALOAD obj)
Specified by:
visitCALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitCALOAD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitDALOAD

public void visitDALOAD(org.apache.bcel.generic.DALOAD obj)
Specified by:
visitDALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitDALOAD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitFALOAD

public void visitFALOAD(org.apache.bcel.generic.FALOAD obj)
Specified by:
visitFALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitFALOAD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIALOAD

public void visitIALOAD(org.apache.bcel.generic.IALOAD obj)
Specified by:
visitIALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitIALOAD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitLALOAD

public void visitLALOAD(org.apache.bcel.generic.LALOAD obj)
Specified by:
visitLALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitLALOAD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitSALOAD

public void visitSALOAD(org.apache.bcel.generic.SALOAD obj)
Specified by:
visitSALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitSALOAD in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitNEW

public void visitNEW(org.apache.bcel.generic.NEW obj)
Specified by:
visitNEW in interface org.apache.bcel.generic.Visitor
Overrides:
visitNEW in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitNEWARRAY

public void visitNEWARRAY(org.apache.bcel.generic.NEWARRAY obj)
Specified by:
visitNEWARRAY in interface org.apache.bcel.generic.Visitor
Overrides:
visitNEWARRAY in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitANEWARRAY

public void visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY obj)
Specified by:
visitANEWARRAY in interface org.apache.bcel.generic.Visitor
Overrides:
visitANEWARRAY in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitMULTIANEWARRAY

public void visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY obj)
Specified by:
visitMULTIANEWARRAY in interface org.apache.bcel.generic.Visitor
Overrides:
visitMULTIANEWARRAY in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitJSR

public void visitJSR(org.apache.bcel.generic.JSR obj)
Specified by:
visitJSR in interface org.apache.bcel.generic.Visitor
Overrides:
visitJSR in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitJSR_W

public void visitJSR_W(org.apache.bcel.generic.JSR_W obj)
Specified by:
visitJSR_W in interface org.apache.bcel.generic.Visitor
Overrides:
visitJSR_W in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitRET

public void visitRET(org.apache.bcel.generic.RET obj)
Specified by:
visitRET in interface org.apache.bcel.generic.Visitor
Overrides:
visitRET in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIFEQ

public void visitIFEQ(org.apache.bcel.generic.IFEQ obj)
Specified by:
visitIFEQ in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFEQ in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIFGT

public void visitIFGT(org.apache.bcel.generic.IFGT obj)
Specified by:
visitIFGT in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFGT in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIFLE

public void visitIFLE(org.apache.bcel.generic.IFLE obj)
Specified by:
visitIFLE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFLE in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

visitIFNE

public void visitIFNE(org.apache.bcel.generic.IFNE obj)
Specified by:
visitIFNE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFNE in class AbstractFrameModelingVisitor<org.apache.bcel.generic.Type,TypeFrame>

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.