org.apache.commons.javaflow.bytecode.transformation.bcel.analyser
Class ExecutionVisitor

java.lang.Object
  extended by org.apache.bcel.generic.EmptyVisitor
      extended by org.apache.commons.javaflow.bytecode.transformation.bcel.analyser.ExecutionVisitor
All Implemented Interfaces:
org.apache.bcel.generic.Visitor

public class ExecutionVisitor
extends org.apache.bcel.generic.EmptyVisitor
implements org.apache.bcel.generic.Visitor

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 behaviour 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. WARNING! These classes are a fork of the bcel verifier.

Version:
$Id: ExecutionVisitor.java 480487 2006-11-29 08:54:42Z bayard $
Author:
Enver Haase
See Also:
visitDSTORE(DSTORE o), org.apache.bcel.verifier.structurals.InstConstraintVisitor

Constructor Summary
ExecutionVisitor()
          Constructor.
 
Method Summary
 void setConstantPoolGen(org.apache.bcel.generic.ConstantPoolGen cpg)
          Sets the ConstantPoolGen needed for symbolic execution.
 void setFrame(Frame f)
          The only method granting access to the single instance of the ExecutionVisitor class.
 void visitAALOAD(org.apache.bcel.generic.AALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitAASTORE(org.apache.bcel.generic.AASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitALOAD(org.apache.bcel.generic.ALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitARETURN(org.apache.bcel.generic.ARETURN o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitASTORE(org.apache.bcel.generic.ASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitATHROW(org.apache.bcel.generic.ATHROW o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitBALOAD(org.apache.bcel.generic.BALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitBASTORE(org.apache.bcel.generic.BASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitBIPUSH(org.apache.bcel.generic.BIPUSH o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitCALOAD(org.apache.bcel.generic.CALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitCASTORE(org.apache.bcel.generic.CASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitD2F(org.apache.bcel.generic.D2F o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitD2I(org.apache.bcel.generic.D2I o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitD2L(org.apache.bcel.generic.D2L o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDADD(org.apache.bcel.generic.DADD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDALOAD(org.apache.bcel.generic.DALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDASTORE(org.apache.bcel.generic.DASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDCMPG(org.apache.bcel.generic.DCMPG o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDCMPL(org.apache.bcel.generic.DCMPL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDCONST(org.apache.bcel.generic.DCONST o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDDIV(org.apache.bcel.generic.DDIV o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDLOAD(org.apache.bcel.generic.DLOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDMUL(org.apache.bcel.generic.DMUL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDNEG(org.apache.bcel.generic.DNEG o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDREM(org.apache.bcel.generic.DREM o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDRETURN(org.apache.bcel.generic.DRETURN o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDSTORE(org.apache.bcel.generic.DSTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDSUB(org.apache.bcel.generic.DSUB o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDUP_X1(org.apache.bcel.generic.DUP_X1 o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDUP_X2(org.apache.bcel.generic.DUP_X2 o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDUP(org.apache.bcel.generic.DUP o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDUP2_X1(org.apache.bcel.generic.DUP2_X1 o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDUP2_X2(org.apache.bcel.generic.DUP2_X2 o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitDUP2(org.apache.bcel.generic.DUP2 o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitF2D(org.apache.bcel.generic.F2D o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitF2I(org.apache.bcel.generic.F2I o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitF2L(org.apache.bcel.generic.F2L o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFADD(org.apache.bcel.generic.FADD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFALOAD(org.apache.bcel.generic.FALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFASTORE(org.apache.bcel.generic.FASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFCMPG(org.apache.bcel.generic.FCMPG o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFCMPL(org.apache.bcel.generic.FCMPL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFCONST(org.apache.bcel.generic.FCONST o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFDIV(org.apache.bcel.generic.FDIV o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFLOAD(org.apache.bcel.generic.FLOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFMUL(org.apache.bcel.generic.FMUL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFNEG(org.apache.bcel.generic.FNEG o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFREM(org.apache.bcel.generic.FREM o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFRETURN(org.apache.bcel.generic.FRETURN o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFSTORE(org.apache.bcel.generic.FSTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitFSUB(org.apache.bcel.generic.FSUB o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitGETFIELD(org.apache.bcel.generic.GETFIELD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitGOTO_W(org.apache.bcel.generic.GOTO_W o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitGOTO(org.apache.bcel.generic.GOTO o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitI2B(org.apache.bcel.generic.I2B o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitI2C(org.apache.bcel.generic.I2C o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitI2D(org.apache.bcel.generic.I2D o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitI2F(org.apache.bcel.generic.I2F o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitI2L(org.apache.bcel.generic.I2L o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitI2S(org.apache.bcel.generic.I2S o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIADD(org.apache.bcel.generic.IADD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIALOAD(org.apache.bcel.generic.IALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIAND(org.apache.bcel.generic.IAND o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIASTORE(org.apache.bcel.generic.IASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitICONST(org.apache.bcel.generic.ICONST o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIDIV(org.apache.bcel.generic.IDIV o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIF_ACMPEQ(org.apache.bcel.generic.IF_ACMPEQ o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIF_ACMPNE(org.apache.bcel.generic.IF_ACMPNE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIF_ICMPEQ(org.apache.bcel.generic.IF_ICMPEQ o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIF_ICMPGE(org.apache.bcel.generic.IF_ICMPGE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIF_ICMPGT(org.apache.bcel.generic.IF_ICMPGT o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIF_ICMPLE(org.apache.bcel.generic.IF_ICMPLE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIF_ICMPLT(org.apache.bcel.generic.IF_ICMPLT o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIF_ICMPNE(org.apache.bcel.generic.IF_ICMPNE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIFEQ(org.apache.bcel.generic.IFEQ o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIFGE(org.apache.bcel.generic.IFGE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIFGT(org.apache.bcel.generic.IFGT o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIFLE(org.apache.bcel.generic.IFLE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIFLT(org.apache.bcel.generic.IFLT o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIFNE(org.apache.bcel.generic.IFNE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIFNONNULL(org.apache.bcel.generic.IFNONNULL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIFNULL(org.apache.bcel.generic.IFNULL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIINC(org.apache.bcel.generic.IINC o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitILOAD(org.apache.bcel.generic.ILOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIMUL(org.apache.bcel.generic.IMUL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitINEG(org.apache.bcel.generic.INEG o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIOR(org.apache.bcel.generic.IOR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIREM(org.apache.bcel.generic.IREM o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIRETURN(org.apache.bcel.generic.IRETURN o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitISHL(org.apache.bcel.generic.ISHL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitISHR(org.apache.bcel.generic.ISHR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitISTORE(org.apache.bcel.generic.ISTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitISUB(org.apache.bcel.generic.ISUB o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIUSHR(org.apache.bcel.generic.IUSHR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitIXOR(org.apache.bcel.generic.IXOR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitJSR_W(org.apache.bcel.generic.JSR_W o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitJSR(org.apache.bcel.generic.JSR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitL2D(org.apache.bcel.generic.L2D o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitL2F(org.apache.bcel.generic.L2F o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitL2I(org.apache.bcel.generic.L2I o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLADD(org.apache.bcel.generic.LADD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLALOAD(org.apache.bcel.generic.LALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLAND(org.apache.bcel.generic.LAND o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLASTORE(org.apache.bcel.generic.LASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLCMP(org.apache.bcel.generic.LCMP o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLCONST(org.apache.bcel.generic.LCONST o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLDC_W(org.apache.bcel.generic.LDC_W o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLDC(org.apache.bcel.generic.LDC o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLDC2_W(org.apache.bcel.generic.LDC2_W o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLDIV(org.apache.bcel.generic.LDIV o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLLOAD(org.apache.bcel.generic.LLOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLMUL(org.apache.bcel.generic.LMUL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLNEG(org.apache.bcel.generic.LNEG o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLOOKUPSWITCH(org.apache.bcel.generic.LOOKUPSWITCH o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLOR(org.apache.bcel.generic.LOR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLREM(org.apache.bcel.generic.LREM o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLRETURN(org.apache.bcel.generic.LRETURN o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLSHL(org.apache.bcel.generic.LSHL o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLSHR(org.apache.bcel.generic.LSHR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLSTORE(org.apache.bcel.generic.LSTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLSUB(org.apache.bcel.generic.LSUB o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLUSHR(org.apache.bcel.generic.LUSHR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitLXOR(org.apache.bcel.generic.LXOR o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitMONITORENTER(org.apache.bcel.generic.MONITORENTER o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitMONITOREXIT(org.apache.bcel.generic.MONITOREXIT o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitNEW(org.apache.bcel.generic.NEW o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitNEWARRAY(org.apache.bcel.generic.NEWARRAY o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitNOP(org.apache.bcel.generic.NOP o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitPOP(org.apache.bcel.generic.POP o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitPOP2(org.apache.bcel.generic.POP2 o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitPUTFIELD(org.apache.bcel.generic.PUTFIELD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitPUTSTATIC(org.apache.bcel.generic.PUTSTATIC o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitRET(org.apache.bcel.generic.RET o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitRETURN(org.apache.bcel.generic.RETURN o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitSALOAD(org.apache.bcel.generic.SALOAD o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitSASTORE(org.apache.bcel.generic.SASTORE o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitSIPUSH(org.apache.bcel.generic.SIPUSH o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitSWAP(org.apache.bcel.generic.SWAP o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 void visitTABLESWITCH(org.apache.bcel.generic.TABLESWITCH o)
          Symbolically executes the corresponding Java Virtual Machine instruction.
 
Methods inherited from class org.apache.bcel.generic.EmptyVisitor
visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitBREAKPOINT, visitConstantPushInstruction, visitConversionInstruction, visitCPInstruction, visitExceptionThrower, visitFieldInstruction, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitIMPDEP1, visitIMPDEP2, visitInvokeInstruction, visitJsrInstruction, visitLoadClass, visitLoadInstruction, visitLocalVariableInstruction, visitPopInstruction, visitPushInstruction, visitReturnInstruction, visitSelect, visitStackConsumer, visitStackInstruction, visitStackProducer, visitStoreInstruction, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.apache.bcel.generic.Visitor
visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitBREAKPOINT, visitConstantPushInstruction, visitConversionInstruction, visitCPInstruction, visitExceptionThrower, visitFieldInstruction, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitIMPDEP1, visitIMPDEP2, visitInvokeInstruction, visitJsrInstruction, visitLoadClass, visitLoadInstruction, visitLocalVariableInstruction, visitPopInstruction, visitPushInstruction, visitReturnInstruction, visitSelect, visitStackConsumer, visitStackInstruction, visitStackProducer, visitStoreInstruction, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction
 

Constructor Detail

ExecutionVisitor

public ExecutionVisitor()
Constructor. Constructs a new instance of this class.

Method Detail

setConstantPoolGen

public void setConstantPoolGen(org.apache.bcel.generic.ConstantPoolGen cpg)
Sets the ConstantPoolGen needed for symbolic execution.


setFrame

public void setFrame(Frame f)
The only method granting access to the single instance of the ExecutionVisitor class. Before actively using this instance, SET THE ConstantPoolGen FIRST.

See Also:
setConstantPoolGen(ConstantPoolGen)

visitAALOAD

public void visitAALOAD(org.apache.bcel.generic.AALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitAALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitAALOAD in class org.apache.bcel.generic.EmptyVisitor

visitAASTORE

public void visitAASTORE(org.apache.bcel.generic.AASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitAASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitAASTORE in class org.apache.bcel.generic.EmptyVisitor

visitACONST_NULL

public void visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitACONST_NULL in interface org.apache.bcel.generic.Visitor
Overrides:
visitACONST_NULL in class org.apache.bcel.generic.EmptyVisitor

visitALOAD

public void visitALOAD(org.apache.bcel.generic.ALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitALOAD in class org.apache.bcel.generic.EmptyVisitor

visitANEWARRAY

public void visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitANEWARRAY in interface org.apache.bcel.generic.Visitor
Overrides:
visitANEWARRAY in class org.apache.bcel.generic.EmptyVisitor

visitARETURN

public void visitARETURN(org.apache.bcel.generic.ARETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitARETURN in interface org.apache.bcel.generic.Visitor
Overrides:
visitARETURN in class org.apache.bcel.generic.EmptyVisitor

visitARRAYLENGTH

public void visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitARRAYLENGTH in interface org.apache.bcel.generic.Visitor
Overrides:
visitARRAYLENGTH in class org.apache.bcel.generic.EmptyVisitor

visitASTORE

public void visitASTORE(org.apache.bcel.generic.ASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitASTORE in class org.apache.bcel.generic.EmptyVisitor

visitATHROW

public void visitATHROW(org.apache.bcel.generic.ATHROW o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitATHROW in interface org.apache.bcel.generic.Visitor
Overrides:
visitATHROW in class org.apache.bcel.generic.EmptyVisitor

visitBALOAD

public void visitBALOAD(org.apache.bcel.generic.BALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitBALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitBALOAD in class org.apache.bcel.generic.EmptyVisitor

visitBASTORE

public void visitBASTORE(org.apache.bcel.generic.BASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitBASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitBASTORE in class org.apache.bcel.generic.EmptyVisitor

visitBIPUSH

public void visitBIPUSH(org.apache.bcel.generic.BIPUSH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitBIPUSH in interface org.apache.bcel.generic.Visitor
Overrides:
visitBIPUSH in class org.apache.bcel.generic.EmptyVisitor

visitCALOAD

public void visitCALOAD(org.apache.bcel.generic.CALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitCALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitCALOAD in class org.apache.bcel.generic.EmptyVisitor

visitCASTORE

public void visitCASTORE(org.apache.bcel.generic.CASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitCASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitCASTORE in class org.apache.bcel.generic.EmptyVisitor

visitCHECKCAST

public void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitCHECKCAST in interface org.apache.bcel.generic.Visitor
Overrides:
visitCHECKCAST in class org.apache.bcel.generic.EmptyVisitor

visitD2F

public void visitD2F(org.apache.bcel.generic.D2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitD2F in interface org.apache.bcel.generic.Visitor
Overrides:
visitD2F in class org.apache.bcel.generic.EmptyVisitor

visitD2I

public void visitD2I(org.apache.bcel.generic.D2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitD2I in interface org.apache.bcel.generic.Visitor
Overrides:
visitD2I in class org.apache.bcel.generic.EmptyVisitor

visitD2L

public void visitD2L(org.apache.bcel.generic.D2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitD2L in interface org.apache.bcel.generic.Visitor
Overrides:
visitD2L in class org.apache.bcel.generic.EmptyVisitor

visitDADD

public void visitDADD(org.apache.bcel.generic.DADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDADD in interface org.apache.bcel.generic.Visitor
Overrides:
visitDADD in class org.apache.bcel.generic.EmptyVisitor

visitDALOAD

public void visitDALOAD(org.apache.bcel.generic.DALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitDALOAD in class org.apache.bcel.generic.EmptyVisitor

visitDASTORE

public void visitDASTORE(org.apache.bcel.generic.DASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitDASTORE in class org.apache.bcel.generic.EmptyVisitor

visitDCMPG

public void visitDCMPG(org.apache.bcel.generic.DCMPG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDCMPG in interface org.apache.bcel.generic.Visitor
Overrides:
visitDCMPG in class org.apache.bcel.generic.EmptyVisitor

visitDCMPL

public void visitDCMPL(org.apache.bcel.generic.DCMPL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDCMPL in interface org.apache.bcel.generic.Visitor
Overrides:
visitDCMPL in class org.apache.bcel.generic.EmptyVisitor

visitDCONST

public void visitDCONST(org.apache.bcel.generic.DCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDCONST in interface org.apache.bcel.generic.Visitor
Overrides:
visitDCONST in class org.apache.bcel.generic.EmptyVisitor

visitDDIV

public void visitDDIV(org.apache.bcel.generic.DDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDDIV in interface org.apache.bcel.generic.Visitor
Overrides:
visitDDIV in class org.apache.bcel.generic.EmptyVisitor

visitDLOAD

public void visitDLOAD(org.apache.bcel.generic.DLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDLOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitDLOAD in class org.apache.bcel.generic.EmptyVisitor

visitDMUL

public void visitDMUL(org.apache.bcel.generic.DMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDMUL in interface org.apache.bcel.generic.Visitor
Overrides:
visitDMUL in class org.apache.bcel.generic.EmptyVisitor

visitDNEG

public void visitDNEG(org.apache.bcel.generic.DNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDNEG in interface org.apache.bcel.generic.Visitor
Overrides:
visitDNEG in class org.apache.bcel.generic.EmptyVisitor

visitDREM

public void visitDREM(org.apache.bcel.generic.DREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDREM in interface org.apache.bcel.generic.Visitor
Overrides:
visitDREM in class org.apache.bcel.generic.EmptyVisitor

visitDRETURN

public void visitDRETURN(org.apache.bcel.generic.DRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDRETURN in interface org.apache.bcel.generic.Visitor
Overrides:
visitDRETURN in class org.apache.bcel.generic.EmptyVisitor

visitDSTORE

public void visitDSTORE(org.apache.bcel.generic.DSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDSTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitDSTORE in class org.apache.bcel.generic.EmptyVisitor

visitDSUB

public void visitDSUB(org.apache.bcel.generic.DSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDSUB in interface org.apache.bcel.generic.Visitor
Overrides:
visitDSUB in class org.apache.bcel.generic.EmptyVisitor

visitDUP

public void visitDUP(org.apache.bcel.generic.DUP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDUP in interface org.apache.bcel.generic.Visitor
Overrides:
visitDUP in class org.apache.bcel.generic.EmptyVisitor

visitDUP_X1

public void visitDUP_X1(org.apache.bcel.generic.DUP_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDUP_X1 in interface org.apache.bcel.generic.Visitor
Overrides:
visitDUP_X1 in class org.apache.bcel.generic.EmptyVisitor

visitDUP_X2

public void visitDUP_X2(org.apache.bcel.generic.DUP_X2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDUP_X2 in interface org.apache.bcel.generic.Visitor
Overrides:
visitDUP_X2 in class org.apache.bcel.generic.EmptyVisitor

visitDUP2

public void visitDUP2(org.apache.bcel.generic.DUP2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDUP2 in interface org.apache.bcel.generic.Visitor
Overrides:
visitDUP2 in class org.apache.bcel.generic.EmptyVisitor

visitDUP2_X1

public void visitDUP2_X1(org.apache.bcel.generic.DUP2_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDUP2_X1 in interface org.apache.bcel.generic.Visitor
Overrides:
visitDUP2_X1 in class org.apache.bcel.generic.EmptyVisitor

visitDUP2_X2

public void visitDUP2_X2(org.apache.bcel.generic.DUP2_X2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitDUP2_X2 in interface org.apache.bcel.generic.Visitor
Overrides:
visitDUP2_X2 in class org.apache.bcel.generic.EmptyVisitor

visitF2D

public void visitF2D(org.apache.bcel.generic.F2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitF2D in interface org.apache.bcel.generic.Visitor
Overrides:
visitF2D in class org.apache.bcel.generic.EmptyVisitor

visitF2I

public void visitF2I(org.apache.bcel.generic.F2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitF2I in interface org.apache.bcel.generic.Visitor
Overrides:
visitF2I in class org.apache.bcel.generic.EmptyVisitor

visitF2L

public void visitF2L(org.apache.bcel.generic.F2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitF2L in interface org.apache.bcel.generic.Visitor
Overrides:
visitF2L in class org.apache.bcel.generic.EmptyVisitor

visitFADD

public void visitFADD(org.apache.bcel.generic.FADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFADD in interface org.apache.bcel.generic.Visitor
Overrides:
visitFADD in class org.apache.bcel.generic.EmptyVisitor

visitFALOAD

public void visitFALOAD(org.apache.bcel.generic.FALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitFALOAD in class org.apache.bcel.generic.EmptyVisitor

visitFASTORE

public void visitFASTORE(org.apache.bcel.generic.FASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitFASTORE in class org.apache.bcel.generic.EmptyVisitor

visitFCMPG

public void visitFCMPG(org.apache.bcel.generic.FCMPG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFCMPG in interface org.apache.bcel.generic.Visitor
Overrides:
visitFCMPG in class org.apache.bcel.generic.EmptyVisitor

visitFCMPL

public void visitFCMPL(org.apache.bcel.generic.FCMPL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFCMPL in interface org.apache.bcel.generic.Visitor
Overrides:
visitFCMPL in class org.apache.bcel.generic.EmptyVisitor

visitFCONST

public void visitFCONST(org.apache.bcel.generic.FCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFCONST in interface org.apache.bcel.generic.Visitor
Overrides:
visitFCONST in class org.apache.bcel.generic.EmptyVisitor

visitFDIV

public void visitFDIV(org.apache.bcel.generic.FDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFDIV in interface org.apache.bcel.generic.Visitor
Overrides:
visitFDIV in class org.apache.bcel.generic.EmptyVisitor

visitFLOAD

public void visitFLOAD(org.apache.bcel.generic.FLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFLOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitFLOAD in class org.apache.bcel.generic.EmptyVisitor

visitFMUL

public void visitFMUL(org.apache.bcel.generic.FMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFMUL in interface org.apache.bcel.generic.Visitor
Overrides:
visitFMUL in class org.apache.bcel.generic.EmptyVisitor

visitFNEG

public void visitFNEG(org.apache.bcel.generic.FNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFNEG in interface org.apache.bcel.generic.Visitor
Overrides:
visitFNEG in class org.apache.bcel.generic.EmptyVisitor

visitFREM

public void visitFREM(org.apache.bcel.generic.FREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFREM in interface org.apache.bcel.generic.Visitor
Overrides:
visitFREM in class org.apache.bcel.generic.EmptyVisitor

visitFRETURN

public void visitFRETURN(org.apache.bcel.generic.FRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFRETURN in interface org.apache.bcel.generic.Visitor
Overrides:
visitFRETURN in class org.apache.bcel.generic.EmptyVisitor

visitFSTORE

public void visitFSTORE(org.apache.bcel.generic.FSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFSTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitFSTORE in class org.apache.bcel.generic.EmptyVisitor

visitFSUB

public void visitFSUB(org.apache.bcel.generic.FSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitFSUB in interface org.apache.bcel.generic.Visitor
Overrides:
visitFSUB in class org.apache.bcel.generic.EmptyVisitor

visitGETFIELD

public void visitGETFIELD(org.apache.bcel.generic.GETFIELD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitGETFIELD in interface org.apache.bcel.generic.Visitor
Overrides:
visitGETFIELD in class org.apache.bcel.generic.EmptyVisitor

visitGETSTATIC

public void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitGETSTATIC in interface org.apache.bcel.generic.Visitor
Overrides:
visitGETSTATIC in class org.apache.bcel.generic.EmptyVisitor

visitGOTO

public void visitGOTO(org.apache.bcel.generic.GOTO o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitGOTO in interface org.apache.bcel.generic.Visitor
Overrides:
visitGOTO in class org.apache.bcel.generic.EmptyVisitor

visitGOTO_W

public void visitGOTO_W(org.apache.bcel.generic.GOTO_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitGOTO_W in interface org.apache.bcel.generic.Visitor
Overrides:
visitGOTO_W in class org.apache.bcel.generic.EmptyVisitor

visitI2B

public void visitI2B(org.apache.bcel.generic.I2B o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitI2B in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2B in class org.apache.bcel.generic.EmptyVisitor

visitI2C

public void visitI2C(org.apache.bcel.generic.I2C o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitI2C in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2C in class org.apache.bcel.generic.EmptyVisitor

visitI2D

public void visitI2D(org.apache.bcel.generic.I2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitI2D in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2D in class org.apache.bcel.generic.EmptyVisitor

visitI2F

public void visitI2F(org.apache.bcel.generic.I2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitI2F in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2F in class org.apache.bcel.generic.EmptyVisitor

visitI2L

public void visitI2L(org.apache.bcel.generic.I2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitI2L in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2L in class org.apache.bcel.generic.EmptyVisitor

visitI2S

public void visitI2S(org.apache.bcel.generic.I2S o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitI2S in interface org.apache.bcel.generic.Visitor
Overrides:
visitI2S in class org.apache.bcel.generic.EmptyVisitor

visitIADD

public void visitIADD(org.apache.bcel.generic.IADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIADD in interface org.apache.bcel.generic.Visitor
Overrides:
visitIADD in class org.apache.bcel.generic.EmptyVisitor

visitIALOAD

public void visitIALOAD(org.apache.bcel.generic.IALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitIALOAD in class org.apache.bcel.generic.EmptyVisitor

visitIAND

public void visitIAND(org.apache.bcel.generic.IAND o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIAND in interface org.apache.bcel.generic.Visitor
Overrides:
visitIAND in class org.apache.bcel.generic.EmptyVisitor

visitIASTORE

public void visitIASTORE(org.apache.bcel.generic.IASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIASTORE in class org.apache.bcel.generic.EmptyVisitor

visitICONST

public void visitICONST(org.apache.bcel.generic.ICONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitICONST in interface org.apache.bcel.generic.Visitor
Overrides:
visitICONST in class org.apache.bcel.generic.EmptyVisitor

visitIDIV

public void visitIDIV(org.apache.bcel.generic.IDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIDIV in interface org.apache.bcel.generic.Visitor
Overrides:
visitIDIV in class org.apache.bcel.generic.EmptyVisitor

visitIF_ACMPEQ

public void visitIF_ACMPEQ(org.apache.bcel.generic.IF_ACMPEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIF_ACMPEQ in interface org.apache.bcel.generic.Visitor
Overrides:
visitIF_ACMPEQ in class org.apache.bcel.generic.EmptyVisitor

visitIF_ACMPNE

public void visitIF_ACMPNE(org.apache.bcel.generic.IF_ACMPNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIF_ACMPNE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIF_ACMPNE in class org.apache.bcel.generic.EmptyVisitor

visitIF_ICMPEQ

public void visitIF_ICMPEQ(org.apache.bcel.generic.IF_ICMPEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIF_ICMPEQ in interface org.apache.bcel.generic.Visitor
Overrides:
visitIF_ICMPEQ in class org.apache.bcel.generic.EmptyVisitor

visitIF_ICMPGE

public void visitIF_ICMPGE(org.apache.bcel.generic.IF_ICMPGE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIF_ICMPGE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIF_ICMPGE in class org.apache.bcel.generic.EmptyVisitor

visitIF_ICMPGT

public void visitIF_ICMPGT(org.apache.bcel.generic.IF_ICMPGT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIF_ICMPGT in interface org.apache.bcel.generic.Visitor
Overrides:
visitIF_ICMPGT in class org.apache.bcel.generic.EmptyVisitor

visitIF_ICMPLE

public void visitIF_ICMPLE(org.apache.bcel.generic.IF_ICMPLE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIF_ICMPLE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIF_ICMPLE in class org.apache.bcel.generic.EmptyVisitor

visitIF_ICMPLT

public void visitIF_ICMPLT(org.apache.bcel.generic.IF_ICMPLT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIF_ICMPLT in interface org.apache.bcel.generic.Visitor
Overrides:
visitIF_ICMPLT in class org.apache.bcel.generic.EmptyVisitor

visitIF_ICMPNE

public void visitIF_ICMPNE(org.apache.bcel.generic.IF_ICMPNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIF_ICMPNE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIF_ICMPNE in class org.apache.bcel.generic.EmptyVisitor

visitIFEQ

public void visitIFEQ(org.apache.bcel.generic.IFEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIFEQ in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFEQ in class org.apache.bcel.generic.EmptyVisitor

visitIFGE

public void visitIFGE(org.apache.bcel.generic.IFGE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIFGE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFGE in class org.apache.bcel.generic.EmptyVisitor

visitIFGT

public void visitIFGT(org.apache.bcel.generic.IFGT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIFGT in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFGT in class org.apache.bcel.generic.EmptyVisitor

visitIFLE

public void visitIFLE(org.apache.bcel.generic.IFLE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIFLE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFLE in class org.apache.bcel.generic.EmptyVisitor

visitIFLT

public void visitIFLT(org.apache.bcel.generic.IFLT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIFLT in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFLT in class org.apache.bcel.generic.EmptyVisitor

visitIFNE

public void visitIFNE(org.apache.bcel.generic.IFNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIFNE in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFNE in class org.apache.bcel.generic.EmptyVisitor

visitIFNONNULL

public void visitIFNONNULL(org.apache.bcel.generic.IFNONNULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIFNONNULL in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFNONNULL in class org.apache.bcel.generic.EmptyVisitor

visitIFNULL

public void visitIFNULL(org.apache.bcel.generic.IFNULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIFNULL in interface org.apache.bcel.generic.Visitor
Overrides:
visitIFNULL in class org.apache.bcel.generic.EmptyVisitor

visitIINC

public void visitIINC(org.apache.bcel.generic.IINC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIINC in interface org.apache.bcel.generic.Visitor
Overrides:
visitIINC in class org.apache.bcel.generic.EmptyVisitor

visitILOAD

public void visitILOAD(org.apache.bcel.generic.ILOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitILOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitILOAD in class org.apache.bcel.generic.EmptyVisitor

visitIMUL

public void visitIMUL(org.apache.bcel.generic.IMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIMUL in interface org.apache.bcel.generic.Visitor
Overrides:
visitIMUL in class org.apache.bcel.generic.EmptyVisitor

visitINEG

public void visitINEG(org.apache.bcel.generic.INEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitINEG in interface org.apache.bcel.generic.Visitor
Overrides:
visitINEG in class org.apache.bcel.generic.EmptyVisitor

visitINSTANCEOF

public void visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitINSTANCEOF in interface org.apache.bcel.generic.Visitor
Overrides:
visitINSTANCEOF in class org.apache.bcel.generic.EmptyVisitor

visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitINVOKEINTERFACE in interface org.apache.bcel.generic.Visitor
Overrides:
visitINVOKEINTERFACE in class org.apache.bcel.generic.EmptyVisitor

visitINVOKESPECIAL

public void visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitINVOKESPECIAL in interface org.apache.bcel.generic.Visitor
Overrides:
visitINVOKESPECIAL in class org.apache.bcel.generic.EmptyVisitor

visitINVOKESTATIC

public void visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitINVOKESTATIC in interface org.apache.bcel.generic.Visitor
Overrides:
visitINVOKESTATIC in class org.apache.bcel.generic.EmptyVisitor

visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitINVOKEVIRTUAL in interface org.apache.bcel.generic.Visitor
Overrides:
visitINVOKEVIRTUAL in class org.apache.bcel.generic.EmptyVisitor

visitIOR

public void visitIOR(org.apache.bcel.generic.IOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIOR in interface org.apache.bcel.generic.Visitor
Overrides:
visitIOR in class org.apache.bcel.generic.EmptyVisitor

visitIREM

public void visitIREM(org.apache.bcel.generic.IREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIREM in interface org.apache.bcel.generic.Visitor
Overrides:
visitIREM in class org.apache.bcel.generic.EmptyVisitor

visitIRETURN

public void visitIRETURN(org.apache.bcel.generic.IRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIRETURN in interface org.apache.bcel.generic.Visitor
Overrides:
visitIRETURN in class org.apache.bcel.generic.EmptyVisitor

visitISHL

public void visitISHL(org.apache.bcel.generic.ISHL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitISHL in interface org.apache.bcel.generic.Visitor
Overrides:
visitISHL in class org.apache.bcel.generic.EmptyVisitor

visitISHR

public void visitISHR(org.apache.bcel.generic.ISHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitISHR in interface org.apache.bcel.generic.Visitor
Overrides:
visitISHR in class org.apache.bcel.generic.EmptyVisitor

visitISTORE

public void visitISTORE(org.apache.bcel.generic.ISTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitISTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitISTORE in class org.apache.bcel.generic.EmptyVisitor

visitISUB

public void visitISUB(org.apache.bcel.generic.ISUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitISUB in interface org.apache.bcel.generic.Visitor
Overrides:
visitISUB in class org.apache.bcel.generic.EmptyVisitor

visitIUSHR

public void visitIUSHR(org.apache.bcel.generic.IUSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIUSHR in interface org.apache.bcel.generic.Visitor
Overrides:
visitIUSHR in class org.apache.bcel.generic.EmptyVisitor

visitIXOR

public void visitIXOR(org.apache.bcel.generic.IXOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitIXOR in interface org.apache.bcel.generic.Visitor
Overrides:
visitIXOR in class org.apache.bcel.generic.EmptyVisitor

visitJSR

public void visitJSR(org.apache.bcel.generic.JSR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitJSR in interface org.apache.bcel.generic.Visitor
Overrides:
visitJSR in class org.apache.bcel.generic.EmptyVisitor

visitJSR_W

public void visitJSR_W(org.apache.bcel.generic.JSR_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitJSR_W in interface org.apache.bcel.generic.Visitor
Overrides:
visitJSR_W in class org.apache.bcel.generic.EmptyVisitor

visitL2D

public void visitL2D(org.apache.bcel.generic.L2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitL2D in interface org.apache.bcel.generic.Visitor
Overrides:
visitL2D in class org.apache.bcel.generic.EmptyVisitor

visitL2F

public void visitL2F(org.apache.bcel.generic.L2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitL2F in interface org.apache.bcel.generic.Visitor
Overrides:
visitL2F in class org.apache.bcel.generic.EmptyVisitor

visitL2I

public void visitL2I(org.apache.bcel.generic.L2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitL2I in interface org.apache.bcel.generic.Visitor
Overrides:
visitL2I in class org.apache.bcel.generic.EmptyVisitor

visitLADD

public void visitLADD(org.apache.bcel.generic.LADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLADD in interface org.apache.bcel.generic.Visitor
Overrides:
visitLADD in class org.apache.bcel.generic.EmptyVisitor

visitLALOAD

public void visitLALOAD(org.apache.bcel.generic.LALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitLALOAD in class org.apache.bcel.generic.EmptyVisitor

visitLAND

public void visitLAND(org.apache.bcel.generic.LAND o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLAND in interface org.apache.bcel.generic.Visitor
Overrides:
visitLAND in class org.apache.bcel.generic.EmptyVisitor

visitLASTORE

public void visitLASTORE(org.apache.bcel.generic.LASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitLASTORE in class org.apache.bcel.generic.EmptyVisitor

visitLCMP

public void visitLCMP(org.apache.bcel.generic.LCMP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLCMP in interface org.apache.bcel.generic.Visitor
Overrides:
visitLCMP in class org.apache.bcel.generic.EmptyVisitor

visitLCONST

public void visitLCONST(org.apache.bcel.generic.LCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLCONST in interface org.apache.bcel.generic.Visitor
Overrides:
visitLCONST in class org.apache.bcel.generic.EmptyVisitor

visitLDC

public void visitLDC(org.apache.bcel.generic.LDC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLDC in interface org.apache.bcel.generic.Visitor
Overrides:
visitLDC in class org.apache.bcel.generic.EmptyVisitor

visitLDC_W

public void visitLDC_W(org.apache.bcel.generic.LDC_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.


visitLDC2_W

public void visitLDC2_W(org.apache.bcel.generic.LDC2_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLDC2_W in interface org.apache.bcel.generic.Visitor
Overrides:
visitLDC2_W in class org.apache.bcel.generic.EmptyVisitor

visitLDIV

public void visitLDIV(org.apache.bcel.generic.LDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLDIV in interface org.apache.bcel.generic.Visitor
Overrides:
visitLDIV in class org.apache.bcel.generic.EmptyVisitor

visitLLOAD

public void visitLLOAD(org.apache.bcel.generic.LLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLLOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitLLOAD in class org.apache.bcel.generic.EmptyVisitor

visitLMUL

public void visitLMUL(org.apache.bcel.generic.LMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLMUL in interface org.apache.bcel.generic.Visitor
Overrides:
visitLMUL in class org.apache.bcel.generic.EmptyVisitor

visitLNEG

public void visitLNEG(org.apache.bcel.generic.LNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLNEG in interface org.apache.bcel.generic.Visitor
Overrides:
visitLNEG in class org.apache.bcel.generic.EmptyVisitor

visitLOOKUPSWITCH

public void visitLOOKUPSWITCH(org.apache.bcel.generic.LOOKUPSWITCH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLOOKUPSWITCH in interface org.apache.bcel.generic.Visitor
Overrides:
visitLOOKUPSWITCH in class org.apache.bcel.generic.EmptyVisitor

visitLOR

public void visitLOR(org.apache.bcel.generic.LOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLOR in interface org.apache.bcel.generic.Visitor
Overrides:
visitLOR in class org.apache.bcel.generic.EmptyVisitor

visitLREM

public void visitLREM(org.apache.bcel.generic.LREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLREM in interface org.apache.bcel.generic.Visitor
Overrides:
visitLREM in class org.apache.bcel.generic.EmptyVisitor

visitLRETURN

public void visitLRETURN(org.apache.bcel.generic.LRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLRETURN in interface org.apache.bcel.generic.Visitor
Overrides:
visitLRETURN in class org.apache.bcel.generic.EmptyVisitor

visitLSHL

public void visitLSHL(org.apache.bcel.generic.LSHL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLSHL in interface org.apache.bcel.generic.Visitor
Overrides:
visitLSHL in class org.apache.bcel.generic.EmptyVisitor

visitLSHR

public void visitLSHR(org.apache.bcel.generic.LSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLSHR in interface org.apache.bcel.generic.Visitor
Overrides:
visitLSHR in class org.apache.bcel.generic.EmptyVisitor

visitLSTORE

public void visitLSTORE(org.apache.bcel.generic.LSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLSTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitLSTORE in class org.apache.bcel.generic.EmptyVisitor

visitLSUB

public void visitLSUB(org.apache.bcel.generic.LSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLSUB in interface org.apache.bcel.generic.Visitor
Overrides:
visitLSUB in class org.apache.bcel.generic.EmptyVisitor

visitLUSHR

public void visitLUSHR(org.apache.bcel.generic.LUSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLUSHR in interface org.apache.bcel.generic.Visitor
Overrides:
visitLUSHR in class org.apache.bcel.generic.EmptyVisitor

visitLXOR

public void visitLXOR(org.apache.bcel.generic.LXOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitLXOR in interface org.apache.bcel.generic.Visitor
Overrides:
visitLXOR in class org.apache.bcel.generic.EmptyVisitor

visitMONITORENTER

public void visitMONITORENTER(org.apache.bcel.generic.MONITORENTER o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitMONITORENTER in interface org.apache.bcel.generic.Visitor
Overrides:
visitMONITORENTER in class org.apache.bcel.generic.EmptyVisitor

visitMONITOREXIT

public void visitMONITOREXIT(org.apache.bcel.generic.MONITOREXIT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitMONITOREXIT in interface org.apache.bcel.generic.Visitor
Overrides:
visitMONITOREXIT in class org.apache.bcel.generic.EmptyVisitor

visitMULTIANEWARRAY

public void visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitMULTIANEWARRAY in interface org.apache.bcel.generic.Visitor
Overrides:
visitMULTIANEWARRAY in class org.apache.bcel.generic.EmptyVisitor

visitNEW

public void visitNEW(org.apache.bcel.generic.NEW o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitNEW in interface org.apache.bcel.generic.Visitor
Overrides:
visitNEW in class org.apache.bcel.generic.EmptyVisitor

visitNEWARRAY

public void visitNEWARRAY(org.apache.bcel.generic.NEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitNEWARRAY in interface org.apache.bcel.generic.Visitor
Overrides:
visitNEWARRAY in class org.apache.bcel.generic.EmptyVisitor

visitNOP

public void visitNOP(org.apache.bcel.generic.NOP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitNOP in interface org.apache.bcel.generic.Visitor
Overrides:
visitNOP in class org.apache.bcel.generic.EmptyVisitor

visitPOP

public void visitPOP(org.apache.bcel.generic.POP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitPOP in interface org.apache.bcel.generic.Visitor
Overrides:
visitPOP in class org.apache.bcel.generic.EmptyVisitor

visitPOP2

public void visitPOP2(org.apache.bcel.generic.POP2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitPOP2 in interface org.apache.bcel.generic.Visitor
Overrides:
visitPOP2 in class org.apache.bcel.generic.EmptyVisitor

visitPUTFIELD

public void visitPUTFIELD(org.apache.bcel.generic.PUTFIELD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitPUTFIELD in interface org.apache.bcel.generic.Visitor
Overrides:
visitPUTFIELD in class org.apache.bcel.generic.EmptyVisitor

visitPUTSTATIC

public void visitPUTSTATIC(org.apache.bcel.generic.PUTSTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitPUTSTATIC in interface org.apache.bcel.generic.Visitor
Overrides:
visitPUTSTATIC in class org.apache.bcel.generic.EmptyVisitor

visitRET

public void visitRET(org.apache.bcel.generic.RET o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitRET in interface org.apache.bcel.generic.Visitor
Overrides:
visitRET in class org.apache.bcel.generic.EmptyVisitor

visitRETURN

public void visitRETURN(org.apache.bcel.generic.RETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitRETURN in interface org.apache.bcel.generic.Visitor
Overrides:
visitRETURN in class org.apache.bcel.generic.EmptyVisitor

visitSALOAD

public void visitSALOAD(org.apache.bcel.generic.SALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitSALOAD in interface org.apache.bcel.generic.Visitor
Overrides:
visitSALOAD in class org.apache.bcel.generic.EmptyVisitor

visitSASTORE

public void visitSASTORE(org.apache.bcel.generic.SASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitSASTORE in interface org.apache.bcel.generic.Visitor
Overrides:
visitSASTORE in class org.apache.bcel.generic.EmptyVisitor

visitSIPUSH

public void visitSIPUSH(org.apache.bcel.generic.SIPUSH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitSIPUSH in interface org.apache.bcel.generic.Visitor
Overrides:
visitSIPUSH in class org.apache.bcel.generic.EmptyVisitor

visitSWAP

public void visitSWAP(org.apache.bcel.generic.SWAP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitSWAP in interface org.apache.bcel.generic.Visitor
Overrides:
visitSWAP in class org.apache.bcel.generic.EmptyVisitor

visitTABLESWITCH

public void visitTABLESWITCH(org.apache.bcel.generic.TABLESWITCH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Specified by:
visitTABLESWITCH in interface org.apache.bcel.generic.Visitor
Overrides:
visitTABLESWITCH in class org.apache.bcel.generic.EmptyVisitor


Copyright 2004-2008 The Apache Software Foundation. All Rights Reserved.