Top Description Fields Constructors Methods
org.apache.bcel.verifier.structurals

public Class ExecutionVisitor

extends EmptyVisitor
Class Inheritance
Imports
org.apache.bcel.Const, org.apache.bcel.classfile.Constant, .ConstantClass, .ConstantDouble, .ConstantDynamic, .ConstantFloat, .ConstantInteger, .ConstantLong, .ConstantString, org.apache.bcel.generic.*
This Visitor class may be used for a type-based Java Virtual Machine simulation.

It does not check for correct types on the OperandStack or in the LocalVariables; nor does it check their sizes are sufficiently big. Thus, to use this Visitor for bytecode verifying, you have to make sure externally that the type constraints of the Java Virtual Machine instructions are satisfied. An InstConstraintVisitor may be used for this. Anyway, this Visitor does not mandate it. For example, when you visitIADD(IADD o), then there are two stack slots popped and one stack slot containing a Type.INT is pushed (where you could also pop only one slot if you know there are two Type.INT on top of the stack). Monitor-specific behavior is not simulated.

Conventions:

Type.VOID will never be pushed onto the stack. Type.DOUBLE and Type.LONG that would normally take up two stack slots (like Double_HIGH and Double_LOW) are represented by a simple single Type.DOUBLE or Type.LONG object on the stack here.

If a two-slot type is stored into a local variable, the next variable is given the type Type.UNKNOWN.

See Also
visitDSTORE(DSTORE o), InstConstraintVisitor

Field Summary

Modifier and TypeField and Description
private ConstantPoolGen
cpg

The ConstantPoolGen we're working with.

private Frame
frame

The executionframe we're operating on.

Constructor Summary

AccessConstructor and Description
public
ExecutionVisitor()

Constructs a new instance of this class.

Method Summary

Modifier and TypeMethod and Description
private LocalVariables
locals()

The LocalVariables from the current Frame we're operating on.

public void
setConstantPoolGen(final ConstantPoolGen cpg)

Sets the ConstantPoolGen needed for symbolic execution.

public void
setFrame(final Frame f)

The only method granting access to the single instance of the ExecutionVisitor class.

private OperandStack
stack()

The OperandStack from the current Frame we're operating on.

public void
visitAALOAD(final AALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitAALOAD.

Implements org.apache.bcel.generic.Visitor.visitAALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitAASTORE(final AASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitAASTORE.

Implements org.apache.bcel.generic.Visitor.visitAASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitACONST_NULL(final ACONST_NULL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitACONST_NULL.

Implements org.apache.bcel.generic.Visitor.visitACONST_NULL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitALOAD(final ALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitALOAD.

Implements org.apache.bcel.generic.Visitor.visitALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitANEWARRAY(final ANEWARRAY o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitANEWARRAY.

Implements org.apache.bcel.generic.Visitor.visitANEWARRAY.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitARETURN(final ARETURN o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitARETURN.

Implements org.apache.bcel.generic.Visitor.visitARETURN.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitARRAYLENGTH(final ARRAYLENGTH o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitARRAYLENGTH.

Implements org.apache.bcel.generic.Visitor.visitARRAYLENGTH.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitASTORE(final ASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitASTORE.

Implements org.apache.bcel.generic.Visitor.visitASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitATHROW(final ATHROW o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitATHROW.

Implements org.apache.bcel.generic.Visitor.visitATHROW.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitBALOAD(final BALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitBALOAD.

Implements org.apache.bcel.generic.Visitor.visitBALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitBASTORE(final BASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitBASTORE.

Implements org.apache.bcel.generic.Visitor.visitBASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitBIPUSH(final BIPUSH o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitBIPUSH.

Implements org.apache.bcel.generic.Visitor.visitBIPUSH.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitCALOAD(final CALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitCALOAD.

Implements org.apache.bcel.generic.Visitor.visitCALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitCASTORE(final CASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitCASTORE.

Implements org.apache.bcel.generic.Visitor.visitCASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitCHECKCAST(final CHECKCAST o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitCHECKCAST.

Implements org.apache.bcel.generic.Visitor.visitCHECKCAST.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitD2F(final D2F o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitD2F.

Implements org.apache.bcel.generic.Visitor.visitD2F.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitD2I(final D2I o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitD2I.

Implements org.apache.bcel.generic.Visitor.visitD2I.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitD2L(final D2L o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitD2L.

Implements org.apache.bcel.generic.Visitor.visitD2L.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDADD(final DADD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDADD.

Implements org.apache.bcel.generic.Visitor.visitDADD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDALOAD(final DALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDALOAD.

Implements org.apache.bcel.generic.Visitor.visitDALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDASTORE(final DASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDASTORE.

Implements org.apache.bcel.generic.Visitor.visitDASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDCMPG(final DCMPG o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDCMPG.

Implements org.apache.bcel.generic.Visitor.visitDCMPG.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDCMPL(final DCMPL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDCMPL.

Implements org.apache.bcel.generic.Visitor.visitDCMPL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDCONST(final DCONST o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDCONST.

Implements org.apache.bcel.generic.Visitor.visitDCONST.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDDIV(final DDIV o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDDIV.

Implements org.apache.bcel.generic.Visitor.visitDDIV.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDLOAD(final DLOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDLOAD.

Implements org.apache.bcel.generic.Visitor.visitDLOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDMUL(final DMUL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDMUL.

Implements org.apache.bcel.generic.Visitor.visitDMUL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDNEG(final DNEG o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDNEG.

Implements org.apache.bcel.generic.Visitor.visitDNEG.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDREM(final DREM o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDREM.

Implements org.apache.bcel.generic.Visitor.visitDREM.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDRETURN(final DRETURN o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDRETURN.

Implements org.apache.bcel.generic.Visitor.visitDRETURN.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDSTORE(final DSTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDSTORE.

Implements org.apache.bcel.generic.Visitor.visitDSTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDSUB(final DSUB o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDSUB.

Implements org.apache.bcel.generic.Visitor.visitDSUB.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDUP(final DUP o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP.

Implements org.apache.bcel.generic.Visitor.visitDUP.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDUP2(final DUP2 o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP2.

Implements org.apache.bcel.generic.Visitor.visitDUP2.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDUP2_X1(final DUP2_X1 o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP2_X1.

Implements org.apache.bcel.generic.Visitor.visitDUP2_X1.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDUP2_X2(final DUP2_X2 o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP2_X2.

Implements org.apache.bcel.generic.Visitor.visitDUP2_X2.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDUP_X1(final DUP_X1 o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP_X1.

Implements org.apache.bcel.generic.Visitor.visitDUP_X1.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitDUP_X2(final DUP_X2 o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP_X2.

Implements org.apache.bcel.generic.Visitor.visitDUP_X2.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitF2D(final F2D o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitF2D.

Implements org.apache.bcel.generic.Visitor.visitF2D.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitF2I(final F2I o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitF2I.

Implements org.apache.bcel.generic.Visitor.visitF2I.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitF2L(final F2L o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitF2L.

Implements org.apache.bcel.generic.Visitor.visitF2L.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFADD(final FADD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFADD.

Implements org.apache.bcel.generic.Visitor.visitFADD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFALOAD(final FALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFALOAD.

Implements org.apache.bcel.generic.Visitor.visitFALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFASTORE(final FASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFASTORE.

Implements org.apache.bcel.generic.Visitor.visitFASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFCMPG(final FCMPG o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFCMPG.

Implements org.apache.bcel.generic.Visitor.visitFCMPG.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFCMPL(final FCMPL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFCMPL.

Implements org.apache.bcel.generic.Visitor.visitFCMPL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFCONST(final FCONST o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFCONST.

Implements org.apache.bcel.generic.Visitor.visitFCONST.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFDIV(final FDIV o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFDIV.

Implements org.apache.bcel.generic.Visitor.visitFDIV.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFLOAD(final FLOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFLOAD.

Implements org.apache.bcel.generic.Visitor.visitFLOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFMUL(final FMUL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFMUL.

Implements org.apache.bcel.generic.Visitor.visitFMUL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFNEG(final FNEG o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFNEG.

Implements org.apache.bcel.generic.Visitor.visitFNEG.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFREM(final FREM o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFREM.

Implements org.apache.bcel.generic.Visitor.visitFREM.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFRETURN(final FRETURN o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFRETURN.

Implements org.apache.bcel.generic.Visitor.visitFRETURN.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFSTORE(final FSTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFSTORE.

Implements org.apache.bcel.generic.Visitor.visitFSTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitFSUB(final FSUB o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFSUB.

Implements org.apache.bcel.generic.Visitor.visitFSUB.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitGETFIELD(final GETFIELD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitGETFIELD.

Implements org.apache.bcel.generic.Visitor.visitGETFIELD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitGETSTATIC(final GETSTATIC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitGETSTATIC.

Implements org.apache.bcel.generic.Visitor.visitGETSTATIC.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitGOTO(final GOTO o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitGOTO.

Implements org.apache.bcel.generic.Visitor.visitGOTO.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitGOTO_W(final GOTO_W o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitGOTO_W.

Implements org.apache.bcel.generic.Visitor.visitGOTO_W.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitI2B(final I2B o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2B.

Implements org.apache.bcel.generic.Visitor.visitI2B.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitI2C(final I2C o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2C.

Implements org.apache.bcel.generic.Visitor.visitI2C.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitI2D(final I2D o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2D.

Implements org.apache.bcel.generic.Visitor.visitI2D.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitI2F(final I2F o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2F.

Implements org.apache.bcel.generic.Visitor.visitI2F.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitI2L(final I2L o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2L.

Implements org.apache.bcel.generic.Visitor.visitI2L.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitI2S(final I2S o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2S.

Implements org.apache.bcel.generic.Visitor.visitI2S.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIADD(final IADD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIADD.

Implements org.apache.bcel.generic.Visitor.visitIADD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIALOAD(final IALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIALOAD.

Implements org.apache.bcel.generic.Visitor.visitIALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIAND(final IAND o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIAND.

Implements org.apache.bcel.generic.Visitor.visitIAND.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIASTORE(final IASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIASTORE.

Implements org.apache.bcel.generic.Visitor.visitIASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitICONST(final ICONST o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitICONST.

Implements org.apache.bcel.generic.Visitor.visitICONST.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIDIV(final IDIV o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIDIV.

Implements org.apache.bcel.generic.Visitor.visitIDIV.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIF_ACMPEQ(final IF_ACMPEQ o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ACMPEQ.

Implements org.apache.bcel.generic.Visitor.visitIF_ACMPEQ.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIF_ACMPNE(final IF_ACMPNE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ACMPNE.

Implements org.apache.bcel.generic.Visitor.visitIF_ACMPNE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIF_ICMPEQ(final IF_ICMPEQ o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPEQ.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPEQ.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIF_ICMPGE(final IF_ICMPGE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPGE.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPGE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIF_ICMPGT(final IF_ICMPGT o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPGT.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPGT.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIF_ICMPLE(final IF_ICMPLE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPLE.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPLE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIF_ICMPLT(final IF_ICMPLT o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPLT.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPLT.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIF_ICMPNE(final IF_ICMPNE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPNE.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPNE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIFEQ(final IFEQ o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFEQ.

Implements org.apache.bcel.generic.Visitor.visitIFEQ.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIFGE(final IFGE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFGE.

Implements org.apache.bcel.generic.Visitor.visitIFGE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIFGT(final IFGT o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFGT.

Implements org.apache.bcel.generic.Visitor.visitIFGT.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIFLE(final IFLE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFLE.

Implements org.apache.bcel.generic.Visitor.visitIFLE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIFLT(final IFLT o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFLT.

Implements org.apache.bcel.generic.Visitor.visitIFLT.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIFNE(final IFNE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFNE.

Implements org.apache.bcel.generic.Visitor.visitIFNE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIFNONNULL(final IFNONNULL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFNONNULL.

Implements org.apache.bcel.generic.Visitor.visitIFNONNULL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIFNULL(final IFNULL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFNULL.

Implements org.apache.bcel.generic.Visitor.visitIFNULL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIINC(final IINC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIINC.

Implements org.apache.bcel.generic.Visitor.visitIINC.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitILOAD(final ILOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitILOAD.

Implements org.apache.bcel.generic.Visitor.visitILOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIMUL(final IMUL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIMUL.

Implements org.apache.bcel.generic.Visitor.visitIMUL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitINEG(final INEG o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINEG.

Implements org.apache.bcel.generic.Visitor.visitINEG.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitINSTANCEOF(final INSTANCEOF o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINSTANCEOF.

Implements org.apache.bcel.generic.Visitor.visitINSTANCEOF.

Symbolically executes the corresponding Java Virtual Machine instruction.
private void
visitInvokedInternals(final InvokeInstruction o)

public void
visitINVOKEDYNAMIC(final INVOKEDYNAMIC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEDYNAMIC.

Implements org.apache.bcel.generic.Visitor.visitINVOKEDYNAMIC.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitINVOKEINTERFACE(final INVOKEINTERFACE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEINTERFACE.

Implements org.apache.bcel.generic.Visitor.visitINVOKEINTERFACE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitINVOKESPECIAL(final INVOKESPECIAL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESPECIAL.

Implements org.apache.bcel.generic.Visitor.visitINVOKESPECIAL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitINVOKESTATIC(final INVOKESTATIC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESTATIC.

Implements org.apache.bcel.generic.Visitor.visitINVOKESTATIC.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitINVOKEVIRTUAL(final INVOKEVIRTUAL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEVIRTUAL.

Implements org.apache.bcel.generic.Visitor.visitINVOKEVIRTUAL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIOR(final IOR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIOR.

Implements org.apache.bcel.generic.Visitor.visitIOR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIREM(final IREM o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIREM.

Implements org.apache.bcel.generic.Visitor.visitIREM.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIRETURN(final IRETURN o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIRETURN.

Implements org.apache.bcel.generic.Visitor.visitIRETURN.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitISHL(final ISHL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitISHL.

Implements org.apache.bcel.generic.Visitor.visitISHL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitISHR(final ISHR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitISHR.

Implements org.apache.bcel.generic.Visitor.visitISHR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitISTORE(final ISTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitISTORE.

Implements org.apache.bcel.generic.Visitor.visitISTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitISUB(final ISUB o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitISUB.

Implements org.apache.bcel.generic.Visitor.visitISUB.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIUSHR(final IUSHR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIUSHR.

Implements org.apache.bcel.generic.Visitor.visitIUSHR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitIXOR(final IXOR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIXOR.

Implements org.apache.bcel.generic.Visitor.visitIXOR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitJSR(final JSR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitJSR.

Implements org.apache.bcel.generic.Visitor.visitJSR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitJSR_W(final JSR_W o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitJSR_W.

Implements org.apache.bcel.generic.Visitor.visitJSR_W.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitL2D(final L2D o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitL2D.

Implements org.apache.bcel.generic.Visitor.visitL2D.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitL2F(final L2F o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitL2F.

Implements org.apache.bcel.generic.Visitor.visitL2F.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitL2I(final L2I o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitL2I.

Implements org.apache.bcel.generic.Visitor.visitL2I.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLADD(final LADD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLADD.

Implements org.apache.bcel.generic.Visitor.visitLADD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLALOAD(final LALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLALOAD.

Implements org.apache.bcel.generic.Visitor.visitLALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLAND(final LAND o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLAND.

Implements org.apache.bcel.generic.Visitor.visitLAND.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLASTORE(final LASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLASTORE.

Implements org.apache.bcel.generic.Visitor.visitLASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLCMP(final LCMP o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLCMP.

Implements org.apache.bcel.generic.Visitor.visitLCMP.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLCONST(final LCONST o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLCONST.

Implements org.apache.bcel.generic.Visitor.visitLCONST.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLDC(final LDC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC.

Implements org.apache.bcel.generic.Visitor.visitLDC.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLDC2_W(final LDC2_W o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC2_W.

Implements org.apache.bcel.generic.Visitor.visitLDC2_W.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLDC_W(final LDC_W o)

Symbolically executes the corresponding Java Virtual Machine instruction.

public void
visitLDIV(final LDIV o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLDIV.

Implements org.apache.bcel.generic.Visitor.visitLDIV.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLLOAD(final LLOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLLOAD.

Implements org.apache.bcel.generic.Visitor.visitLLOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLMUL(final LMUL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLMUL.

Implements org.apache.bcel.generic.Visitor.visitLMUL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLNEG(final LNEG o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLNEG.

Implements org.apache.bcel.generic.Visitor.visitLNEG.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLOOKUPSWITCH(final LOOKUPSWITCH o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLOOKUPSWITCH.

Implements org.apache.bcel.generic.Visitor.visitLOOKUPSWITCH.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLOR(final LOR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLOR.

Implements org.apache.bcel.generic.Visitor.visitLOR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLREM(final LREM o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLREM.

Implements org.apache.bcel.generic.Visitor.visitLREM.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLRETURN(final LRETURN o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLRETURN.

Implements org.apache.bcel.generic.Visitor.visitLRETURN.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLSHL(final LSHL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLSHL.

Implements org.apache.bcel.generic.Visitor.visitLSHL.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLSHR(final LSHR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLSHR.

Implements org.apache.bcel.generic.Visitor.visitLSHR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLSTORE(final LSTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLSTORE.

Implements org.apache.bcel.generic.Visitor.visitLSTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLSUB(final LSUB o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLSUB.

Implements org.apache.bcel.generic.Visitor.visitLSUB.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLUSHR(final LUSHR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLUSHR.

Implements org.apache.bcel.generic.Visitor.visitLUSHR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitLXOR(final LXOR o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLXOR.

Implements org.apache.bcel.generic.Visitor.visitLXOR.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitMONITORENTER(final MONITORENTER o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitMONITORENTER.

Implements org.apache.bcel.generic.Visitor.visitMONITORENTER.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitMONITOREXIT(final MONITOREXIT o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitMONITOREXIT.

Implements org.apache.bcel.generic.Visitor.visitMONITOREXIT.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitMULTIANEWARRAY(final MULTIANEWARRAY o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitMULTIANEWARRAY.

Implements org.apache.bcel.generic.Visitor.visitMULTIANEWARRAY.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitNEW(final NEW o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitNEW.

Implements org.apache.bcel.generic.Visitor.visitNEW.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitNEWARRAY(final NEWARRAY o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitNEWARRAY.

Implements org.apache.bcel.generic.Visitor.visitNEWARRAY.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitNOP(final NOP o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitNOP.

Implements org.apache.bcel.generic.Visitor.visitNOP.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitPOP(final POP o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitPOP.

Implements org.apache.bcel.generic.Visitor.visitPOP.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitPOP2(final POP2 o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitPOP2.

Implements org.apache.bcel.generic.Visitor.visitPOP2.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitPUTFIELD(final PUTFIELD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitPUTFIELD.

Implements org.apache.bcel.generic.Visitor.visitPUTFIELD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitPUTSTATIC(final PUTSTATIC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitPUTSTATIC.

Implements org.apache.bcel.generic.Visitor.visitPUTSTATIC.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitRET(final RET o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitRET.

Implements org.apache.bcel.generic.Visitor.visitRET.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitRETURN(final RETURN o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitRETURN.

Implements org.apache.bcel.generic.Visitor.visitRETURN.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitSALOAD(final SALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitSALOAD.

Implements org.apache.bcel.generic.Visitor.visitSALOAD.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitSASTORE(final SASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitSASTORE.

Implements org.apache.bcel.generic.Visitor.visitSASTORE.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitSIPUSH(final SIPUSH o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitSIPUSH.

Implements org.apache.bcel.generic.Visitor.visitSIPUSH.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitSWAP(final SWAP o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitSWAP.

Implements org.apache.bcel.generic.Visitor.visitSWAP.

Symbolically executes the corresponding Java Virtual Machine instruction.
public void
visitTABLESWITCH(final TABLESWITCH o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitTABLESWITCH.

Implements org.apache.bcel.generic.Visitor.visitTABLESWITCH.

Symbolically executes the corresponding Java Virtual Machine instruction.
Inherited from org.apache.bcel.generic.EmptyVisitor:
visitAllocationInstructionvisitArithmeticInstructionvisitArrayInstructionvisitBranchInstructionvisitBREAKPOINTvisitConstantPushInstructionvisitConversionInstructionvisitCPInstructionvisitExceptionThrowervisitFieldInstructionvisitFieldOrMethodvisitGotoInstructionvisitIfInstructionvisitIMPDEP1visitIMPDEP2visitInvokeInstructionvisitJsrInstructionvisitLoadClassvisitLoadInstructionvisitLocalVariableInstructionvisitPopInstructionvisitPushInstructionvisitReturnInstructionvisitSelectvisitStackConsumervisitStackInstructionvisitStackProducervisitStoreInstructionvisitTypedInstructionvisitUnconditionalBranchvisitVariableLengthInstruction