org.apache.bcel.verifier.structurals

## Class ExecutionVisitor

- java.lang.Object
- - org.apache.bcel.generic.EmptyVisitor
  - - org.apache.bcel.verifier.structurals.ExecutionVisitor

- All Implemented Interfaces:
    Visitor

      public class ExecutionVisitor
      extends EmptyVisitor

  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.

  Version:
    $Id$
  See Also:
    `visitDSTORE(DSTORE o)`, `InstConstraintVisitor`

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `ExecutionVisitor()` Constructor.

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `void` | `setConstantPoolGen(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(AALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitAASTORE(AASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitACONST_NULL(ACONST_NULL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitALOAD(ALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitANEWARRAY(ANEWARRAY o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitARETURN(ARETURN o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitARRAYLENGTH(ARRAYLENGTH o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitASTORE(ASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitATHROW(ATHROW o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitBALOAD(BALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitBASTORE(BASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitBIPUSH(BIPUSH o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitCALOAD(CALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitCASTORE(CASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitCHECKCAST(CHECKCAST o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitD2F(D2F o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitD2I(D2I o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitD2L(D2L o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDADD(DADD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDALOAD(DALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDASTORE(DASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDCMPG(DCMPG o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDCMPL(DCMPL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDCONST(DCONST o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDDIV(DDIV o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDLOAD(DLOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDMUL(DMUL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDNEG(DNEG o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDREM(DREM o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDRETURN(DRETURN o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDSTORE(DSTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDSUB(DSUB o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDUP_X1(DUP_X1 o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDUP_X2(DUP_X2 o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDUP(DUP o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDUP2_X1(DUP2_X1 o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDUP2_X2(DUP2_X2 o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitDUP2(DUP2 o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitF2D(F2D o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitF2I(F2I o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitF2L(F2L o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFADD(FADD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFALOAD(FALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFASTORE(FASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFCMPG(FCMPG o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFCMPL(FCMPL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFCONST(FCONST o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFDIV(FDIV o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFLOAD(FLOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFMUL(FMUL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFNEG(FNEG o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFREM(FREM o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFRETURN(FRETURN o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFSTORE(FSTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitFSUB(FSUB o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitGETFIELD(GETFIELD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitGETSTATIC(GETSTATIC o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitGOTO_W(GOTO_W o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitGOTO(GOTO o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitI2B(I2B o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitI2C(I2C o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitI2D(I2D o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitI2F(I2F o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitI2L(I2L o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitI2S(I2S o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIADD(IADD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIALOAD(IALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIAND(IAND o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIASTORE(IASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitICONST(ICONST o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIDIV(IDIV o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIF_ACMPEQ(IF_ACMPEQ o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIF_ACMPNE(IF_ACMPNE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIF_ICMPEQ(IF_ICMPEQ o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIF_ICMPGE(IF_ICMPGE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIF_ICMPGT(IF_ICMPGT o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIF_ICMPLE(IF_ICMPLE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIF_ICMPLT(IF_ICMPLT o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIF_ICMPNE(IF_ICMPNE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIFEQ(IFEQ o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIFGE(IFGE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIFGT(IFGT o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIFLE(IFLE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIFLT(IFLT o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIFNE(IFNE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIFNONNULL(IFNONNULL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIFNULL(IFNULL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIINC(IINC o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitILOAD(ILOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIMUL(IMUL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitINEG(INEG o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitINSTANCEOF(INSTANCEOF o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitINVOKEDYNAMIC(INVOKEDYNAMIC o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitINVOKEINTERFACE(INVOKEINTERFACE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitINVOKESPECIAL(INVOKESPECIAL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitINVOKESTATIC(INVOKESTATIC o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitINVOKEVIRTUAL(INVOKEVIRTUAL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIOR(IOR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIREM(IREM o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIRETURN(IRETURN o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitISHL(ISHL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitISHR(ISHR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitISTORE(ISTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitISUB(ISUB o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIUSHR(IUSHR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitIXOR(IXOR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitJSR_W(JSR_W o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitJSR(JSR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitL2D(L2D o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitL2F(L2F o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitL2I(L2I o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLADD(LADD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLALOAD(LALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLAND(LAND o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLASTORE(LASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLCMP(LCMP o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLCONST(LCONST o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLDC_W(LDC_W o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLDC(LDC o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLDC2_W(LDC2_W o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLDIV(LDIV o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLLOAD(LLOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLMUL(LMUL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLNEG(LNEG o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLOOKUPSWITCH(LOOKUPSWITCH o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLOR(LOR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLREM(LREM o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLRETURN(LRETURN o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLSHL(LSHL o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLSHR(LSHR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLSTORE(LSTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLSUB(LSUB o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLUSHR(LUSHR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitLXOR(LXOR o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitMONITORENTER(MONITORENTER o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitMONITOREXIT(MONITOREXIT o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitMULTIANEWARRAY(MULTIANEWARRAY o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitNEW(NEW o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitNEWARRAY(NEWARRAY o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitNOP(NOP o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitPOP(POP o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitPOP2(POP2 o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitPUTFIELD(PUTFIELD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitPUTSTATIC(PUTSTATIC o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitRET(RET o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitRETURN(RETURN o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitSALOAD(SALOAD o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitSASTORE(SASTORE o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitSIPUSH(SIPUSH o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitSWAP(SWAP o)` Symbolically executes the corresponding Java Virtual Machine instruction.
    `void` | `visitTABLESWITCH(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`

- - ### Constructor Detail

    - #### ExecutionVisitor

          public ExecutionVisitor()

      Constructor. Constructs a new instance of this class.

  - ### Method Detail

    - #### setConstantPoolGen

          public void setConstantPoolGen(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(AALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitAALOAD` in interface `Visitor`
      Overrides:
        `visitAALOAD` in class `EmptyVisitor`

    - #### visitAASTORE

          public void visitAASTORE(AASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitAASTORE` in interface `Visitor`
      Overrides:
        `visitAASTORE` in class `EmptyVisitor`

    - #### visitACONST_NULL

          public void visitACONST_NULL(ACONST_NULL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitACONST_NULL` in interface `Visitor`
      Overrides:
        `visitACONST_NULL` in class `EmptyVisitor`

    - #### visitALOAD

          public void visitALOAD(ALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitALOAD` in interface `Visitor`
      Overrides:
        `visitALOAD` in class `EmptyVisitor`

    - #### visitANEWARRAY

          public void visitANEWARRAY(ANEWARRAY o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitANEWARRAY` in interface `Visitor`
      Overrides:
        `visitANEWARRAY` in class `EmptyVisitor`

    - #### visitARETURN

          public void visitARETURN(ARETURN o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitARETURN` in interface `Visitor`
      Overrides:
        `visitARETURN` in class `EmptyVisitor`

    - #### visitARRAYLENGTH

          public void visitARRAYLENGTH(ARRAYLENGTH o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitARRAYLENGTH` in interface `Visitor`
      Overrides:
        `visitARRAYLENGTH` in class `EmptyVisitor`

    - #### visitASTORE

          public void visitASTORE(ASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitASTORE` in interface `Visitor`
      Overrides:
        `visitASTORE` in class `EmptyVisitor`

    - #### visitATHROW

          public void visitATHROW(ATHROW o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitATHROW` in interface `Visitor`
      Overrides:
        `visitATHROW` in class `EmptyVisitor`

    - #### visitBALOAD

          public void visitBALOAD(BALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitBALOAD` in interface `Visitor`
      Overrides:
        `visitBALOAD` in class `EmptyVisitor`

    - #### visitBASTORE

          public void visitBASTORE(BASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitBASTORE` in interface `Visitor`
      Overrides:
        `visitBASTORE` in class `EmptyVisitor`

    - #### visitBIPUSH

          public void visitBIPUSH(BIPUSH o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitBIPUSH` in interface `Visitor`
      Overrides:
        `visitBIPUSH` in class `EmptyVisitor`

    - #### visitCALOAD

          public void visitCALOAD(CALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitCALOAD` in interface `Visitor`
      Overrides:
        `visitCALOAD` in class `EmptyVisitor`

    - #### visitCASTORE

          public void visitCASTORE(CASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitCASTORE` in interface `Visitor`
      Overrides:
        `visitCASTORE` in class `EmptyVisitor`

    - #### visitCHECKCAST

          public void visitCHECKCAST(CHECKCAST o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitCHECKCAST` in interface `Visitor`
      Overrides:
        `visitCHECKCAST` in class `EmptyVisitor`

    - #### visitD2F

          public void visitD2F(D2F o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitD2F` in interface `Visitor`
      Overrides:
        `visitD2F` in class `EmptyVisitor`

    - #### visitD2I

          public void visitD2I(D2I o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitD2I` in interface `Visitor`
      Overrides:
        `visitD2I` in class `EmptyVisitor`

    - #### visitD2L

          public void visitD2L(D2L o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitD2L` in interface `Visitor`
      Overrides:
        `visitD2L` in class `EmptyVisitor`

    - #### visitDADD

          public void visitDADD(DADD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDADD` in interface `Visitor`
      Overrides:
        `visitDADD` in class `EmptyVisitor`

    - #### visitDALOAD

          public void visitDALOAD(DALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDALOAD` in interface `Visitor`
      Overrides:
        `visitDALOAD` in class `EmptyVisitor`

    - #### visitDASTORE

          public void visitDASTORE(DASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDASTORE` in interface `Visitor`
      Overrides:
        `visitDASTORE` in class `EmptyVisitor`

    - #### visitDCMPG

          public void visitDCMPG(DCMPG o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDCMPG` in interface `Visitor`
      Overrides:
        `visitDCMPG` in class `EmptyVisitor`

    - #### visitDCMPL

          public void visitDCMPL(DCMPL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDCMPL` in interface `Visitor`
      Overrides:
        `visitDCMPL` in class `EmptyVisitor`

    - #### visitDCONST

          public void visitDCONST(DCONST o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDCONST` in interface `Visitor`
      Overrides:
        `visitDCONST` in class `EmptyVisitor`

    - #### visitDDIV

          public void visitDDIV(DDIV o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDDIV` in interface `Visitor`
      Overrides:
        `visitDDIV` in class `EmptyVisitor`

    - #### visitDLOAD

          public void visitDLOAD(DLOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDLOAD` in interface `Visitor`
      Overrides:
        `visitDLOAD` in class `EmptyVisitor`

    - #### visitDMUL

          public void visitDMUL(DMUL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDMUL` in interface `Visitor`
      Overrides:
        `visitDMUL` in class `EmptyVisitor`

    - #### visitDNEG

          public void visitDNEG(DNEG o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDNEG` in interface `Visitor`
      Overrides:
        `visitDNEG` in class `EmptyVisitor`

    - #### visitDREM

          public void visitDREM(DREM o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDREM` in interface `Visitor`
      Overrides:
        `visitDREM` in class `EmptyVisitor`

    - #### visitDRETURN

          public void visitDRETURN(DRETURN o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDRETURN` in interface `Visitor`
      Overrides:
        `visitDRETURN` in class `EmptyVisitor`

    - #### visitDSTORE

          public void visitDSTORE(DSTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDSTORE` in interface `Visitor`
      Overrides:
        `visitDSTORE` in class `EmptyVisitor`

    - #### visitDSUB

          public void visitDSUB(DSUB o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDSUB` in interface `Visitor`
      Overrides:
        `visitDSUB` in class `EmptyVisitor`

    - #### visitDUP

          public void visitDUP(DUP o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDUP` in interface `Visitor`
      Overrides:
        `visitDUP` in class `EmptyVisitor`

    - #### visitDUP_X1

          public void visitDUP_X1(DUP_X1 o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDUP_X1` in interface `Visitor`
      Overrides:
        `visitDUP_X1` in class `EmptyVisitor`

    - #### visitDUP_X2

          public void visitDUP_X2(DUP_X2 o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDUP_X2` in interface `Visitor`
      Overrides:
        `visitDUP_X2` in class `EmptyVisitor`

    - #### visitDUP2

          public void visitDUP2(DUP2 o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDUP2` in interface `Visitor`
      Overrides:
        `visitDUP2` in class `EmptyVisitor`

    - #### visitDUP2_X1

          public void visitDUP2_X1(DUP2_X1 o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDUP2_X1` in interface `Visitor`
      Overrides:
        `visitDUP2_X1` in class `EmptyVisitor`

    - #### visitDUP2_X2

          public void visitDUP2_X2(DUP2_X2 o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitDUP2_X2` in interface `Visitor`
      Overrides:
        `visitDUP2_X2` in class `EmptyVisitor`

    - #### visitF2D

          public void visitF2D(F2D o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitF2D` in interface `Visitor`
      Overrides:
        `visitF2D` in class `EmptyVisitor`

    - #### visitF2I

          public void visitF2I(F2I o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitF2I` in interface `Visitor`
      Overrides:
        `visitF2I` in class `EmptyVisitor`

    - #### visitF2L

          public void visitF2L(F2L o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitF2L` in interface `Visitor`
      Overrides:
        `visitF2L` in class `EmptyVisitor`

    - #### visitFADD

          public void visitFADD(FADD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFADD` in interface `Visitor`
      Overrides:
        `visitFADD` in class `EmptyVisitor`

    - #### visitFALOAD

          public void visitFALOAD(FALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFALOAD` in interface `Visitor`
      Overrides:
        `visitFALOAD` in class `EmptyVisitor`

    - #### visitFASTORE

          public void visitFASTORE(FASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFASTORE` in interface `Visitor`
      Overrides:
        `visitFASTORE` in class `EmptyVisitor`

    - #### visitFCMPG

          public void visitFCMPG(FCMPG o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFCMPG` in interface `Visitor`
      Overrides:
        `visitFCMPG` in class `EmptyVisitor`

    - #### visitFCMPL

          public void visitFCMPL(FCMPL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFCMPL` in interface `Visitor`
      Overrides:
        `visitFCMPL` in class `EmptyVisitor`

    - #### visitFCONST

          public void visitFCONST(FCONST o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFCONST` in interface `Visitor`
      Overrides:
        `visitFCONST` in class `EmptyVisitor`

    - #### visitFDIV

          public void visitFDIV(FDIV o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFDIV` in interface `Visitor`
      Overrides:
        `visitFDIV` in class `EmptyVisitor`

    - #### visitFLOAD

          public void visitFLOAD(FLOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFLOAD` in interface `Visitor`
      Overrides:
        `visitFLOAD` in class `EmptyVisitor`

    - #### visitFMUL

          public void visitFMUL(FMUL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFMUL` in interface `Visitor`
      Overrides:
        `visitFMUL` in class `EmptyVisitor`

    - #### visitFNEG

          public void visitFNEG(FNEG o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFNEG` in interface `Visitor`
      Overrides:
        `visitFNEG` in class `EmptyVisitor`

    - #### visitFREM

          public void visitFREM(FREM o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFREM` in interface `Visitor`
      Overrides:
        `visitFREM` in class `EmptyVisitor`

    - #### visitFRETURN

          public void visitFRETURN(FRETURN o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFRETURN` in interface `Visitor`
      Overrides:
        `visitFRETURN` in class `EmptyVisitor`

    - #### visitFSTORE

          public void visitFSTORE(FSTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFSTORE` in interface `Visitor`
      Overrides:
        `visitFSTORE` in class `EmptyVisitor`

    - #### visitFSUB

          public void visitFSUB(FSUB o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitFSUB` in interface `Visitor`
      Overrides:
        `visitFSUB` in class `EmptyVisitor`

    - #### visitGETFIELD

          public void visitGETFIELD(GETFIELD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitGETFIELD` in interface `Visitor`
      Overrides:
        `visitGETFIELD` in class `EmptyVisitor`

    - #### visitGETSTATIC

          public void visitGETSTATIC(GETSTATIC o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitGETSTATIC` in interface `Visitor`
      Overrides:
        `visitGETSTATIC` in class `EmptyVisitor`

    - #### visitGOTO

          public void visitGOTO(GOTO o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitGOTO` in interface `Visitor`
      Overrides:
        `visitGOTO` in class `EmptyVisitor`

    - #### visitGOTO_W

          public void visitGOTO_W(GOTO_W o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitGOTO_W` in interface `Visitor`
      Overrides:
        `visitGOTO_W` in class `EmptyVisitor`

    - #### visitI2B

          public void visitI2B(I2B o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitI2B` in interface `Visitor`
      Overrides:
        `visitI2B` in class `EmptyVisitor`

    - #### visitI2C

          public void visitI2C(I2C o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitI2C` in interface `Visitor`
      Overrides:
        `visitI2C` in class `EmptyVisitor`

    - #### visitI2D

          public void visitI2D(I2D o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitI2D` in interface `Visitor`
      Overrides:
        `visitI2D` in class `EmptyVisitor`

    - #### visitI2F

          public void visitI2F(I2F o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitI2F` in interface `Visitor`
      Overrides:
        `visitI2F` in class `EmptyVisitor`

    - #### visitI2L

          public void visitI2L(I2L o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitI2L` in interface `Visitor`
      Overrides:
        `visitI2L` in class `EmptyVisitor`

    - #### visitI2S

          public void visitI2S(I2S o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitI2S` in interface `Visitor`
      Overrides:
        `visitI2S` in class `EmptyVisitor`

    - #### visitIADD

          public void visitIADD(IADD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIADD` in interface `Visitor`
      Overrides:
        `visitIADD` in class `EmptyVisitor`

    - #### visitIALOAD

          public void visitIALOAD(IALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIALOAD` in interface `Visitor`
      Overrides:
        `visitIALOAD` in class `EmptyVisitor`

    - #### visitIAND

          public void visitIAND(IAND o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIAND` in interface `Visitor`
      Overrides:
        `visitIAND` in class `EmptyVisitor`

    - #### visitIASTORE

          public void visitIASTORE(IASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIASTORE` in interface `Visitor`
      Overrides:
        `visitIASTORE` in class `EmptyVisitor`

    - #### visitICONST

          public void visitICONST(ICONST o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitICONST` in interface `Visitor`
      Overrides:
        `visitICONST` in class `EmptyVisitor`

    - #### visitIDIV

          public void visitIDIV(IDIV o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIDIV` in interface `Visitor`
      Overrides:
        `visitIDIV` in class `EmptyVisitor`

    - #### visitIF_ACMPEQ

          public void visitIF_ACMPEQ(IF_ACMPEQ o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIF_ACMPEQ` in interface `Visitor`
      Overrides:
        `visitIF_ACMPEQ` in class `EmptyVisitor`

    - #### visitIF_ACMPNE

          public void visitIF_ACMPNE(IF_ACMPNE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIF_ACMPNE` in interface `Visitor`
      Overrides:
        `visitIF_ACMPNE` in class `EmptyVisitor`

    - #### visitIF_ICMPEQ

          public void visitIF_ICMPEQ(IF_ICMPEQ o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIF_ICMPEQ` in interface `Visitor`
      Overrides:
        `visitIF_ICMPEQ` in class `EmptyVisitor`

    - #### visitIF_ICMPGE

          public void visitIF_ICMPGE(IF_ICMPGE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIF_ICMPGE` in interface `Visitor`
      Overrides:
        `visitIF_ICMPGE` in class `EmptyVisitor`

    - #### visitIF_ICMPGT

          public void visitIF_ICMPGT(IF_ICMPGT o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIF_ICMPGT` in interface `Visitor`
      Overrides:
        `visitIF_ICMPGT` in class `EmptyVisitor`

    - #### visitIF_ICMPLE

          public void visitIF_ICMPLE(IF_ICMPLE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIF_ICMPLE` in interface `Visitor`
      Overrides:
        `visitIF_ICMPLE` in class `EmptyVisitor`

    - #### visitIF_ICMPLT

          public void visitIF_ICMPLT(IF_ICMPLT o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIF_ICMPLT` in interface `Visitor`
      Overrides:
        `visitIF_ICMPLT` in class `EmptyVisitor`

    - #### visitIF_ICMPNE

          public void visitIF_ICMPNE(IF_ICMPNE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIF_ICMPNE` in interface `Visitor`
      Overrides:
        `visitIF_ICMPNE` in class `EmptyVisitor`

    - #### visitIFEQ

          public void visitIFEQ(IFEQ o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIFEQ` in interface `Visitor`
      Overrides:
        `visitIFEQ` in class `EmptyVisitor`

    - #### visitIFGE

          public void visitIFGE(IFGE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIFGE` in interface `Visitor`
      Overrides:
        `visitIFGE` in class `EmptyVisitor`

    - #### visitIFGT

          public void visitIFGT(IFGT o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIFGT` in interface `Visitor`
      Overrides:
        `visitIFGT` in class `EmptyVisitor`

    - #### visitIFLE

          public void visitIFLE(IFLE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIFLE` in interface `Visitor`
      Overrides:
        `visitIFLE` in class `EmptyVisitor`

    - #### visitIFLT

          public void visitIFLT(IFLT o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIFLT` in interface `Visitor`
      Overrides:
        `visitIFLT` in class `EmptyVisitor`

    - #### visitIFNE

          public void visitIFNE(IFNE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIFNE` in interface `Visitor`
      Overrides:
        `visitIFNE` in class `EmptyVisitor`

    - #### visitIFNONNULL

          public void visitIFNONNULL(IFNONNULL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIFNONNULL` in interface `Visitor`
      Overrides:
        `visitIFNONNULL` in class `EmptyVisitor`

    - #### visitIFNULL

          public void visitIFNULL(IFNULL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIFNULL` in interface `Visitor`
      Overrides:
        `visitIFNULL` in class `EmptyVisitor`

    - #### visitIINC

          public void visitIINC(IINC o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIINC` in interface `Visitor`
      Overrides:
        `visitIINC` in class `EmptyVisitor`

    - #### visitILOAD

          public void visitILOAD(ILOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitILOAD` in interface `Visitor`
      Overrides:
        `visitILOAD` in class `EmptyVisitor`

    - #### visitIMUL

          public void visitIMUL(IMUL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIMUL` in interface `Visitor`
      Overrides:
        `visitIMUL` in class `EmptyVisitor`

    - #### visitINEG

          public void visitINEG(INEG o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitINEG` in interface `Visitor`
      Overrides:
        `visitINEG` in class `EmptyVisitor`

    - #### visitINSTANCEOF

          public void visitINSTANCEOF(INSTANCEOF o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitINSTANCEOF` in interface `Visitor`
      Overrides:
        `visitINSTANCEOF` in class `EmptyVisitor`

    - #### visitINVOKEDYNAMIC

          public void visitINVOKEDYNAMIC(INVOKEDYNAMIC o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitINVOKEDYNAMIC` in interface `Visitor`
      Overrides:
        `visitINVOKEDYNAMIC` in class `EmptyVisitor`
      Since:
        6.0

    - #### visitINVOKEINTERFACE

          public void visitINVOKEINTERFACE(INVOKEINTERFACE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitINVOKEINTERFACE` in interface `Visitor`
      Overrides:
        `visitINVOKEINTERFACE` in class `EmptyVisitor`

    - #### visitINVOKESPECIAL

          public void visitINVOKESPECIAL(INVOKESPECIAL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitINVOKESPECIAL` in interface `Visitor`
      Overrides:
        `visitINVOKESPECIAL` in class `EmptyVisitor`

    - #### visitINVOKESTATIC

          public void visitINVOKESTATIC(INVOKESTATIC o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitINVOKESTATIC` in interface `Visitor`
      Overrides:
        `visitINVOKESTATIC` in class `EmptyVisitor`

    - #### visitINVOKEVIRTUAL

          public void visitINVOKEVIRTUAL(INVOKEVIRTUAL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitINVOKEVIRTUAL` in interface `Visitor`
      Overrides:
        `visitINVOKEVIRTUAL` in class `EmptyVisitor`

    - #### visitIOR

          public void visitIOR(IOR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIOR` in interface `Visitor`
      Overrides:
        `visitIOR` in class `EmptyVisitor`

    - #### visitIREM

          public void visitIREM(IREM o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIREM` in interface `Visitor`
      Overrides:
        `visitIREM` in class `EmptyVisitor`

    - #### visitIRETURN

          public void visitIRETURN(IRETURN o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIRETURN` in interface `Visitor`
      Overrides:
        `visitIRETURN` in class `EmptyVisitor`

    - #### visitISHL

          public void visitISHL(ISHL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitISHL` in interface `Visitor`
      Overrides:
        `visitISHL` in class `EmptyVisitor`

    - #### visitISHR

          public void visitISHR(ISHR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitISHR` in interface `Visitor`
      Overrides:
        `visitISHR` in class `EmptyVisitor`

    - #### visitISTORE

          public void visitISTORE(ISTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitISTORE` in interface `Visitor`
      Overrides:
        `visitISTORE` in class `EmptyVisitor`

    - #### visitISUB

          public void visitISUB(ISUB o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitISUB` in interface `Visitor`
      Overrides:
        `visitISUB` in class `EmptyVisitor`

    - #### visitIUSHR

          public void visitIUSHR(IUSHR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIUSHR` in interface `Visitor`
      Overrides:
        `visitIUSHR` in class `EmptyVisitor`

    - #### visitIXOR

          public void visitIXOR(IXOR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitIXOR` in interface `Visitor`
      Overrides:
        `visitIXOR` in class `EmptyVisitor`

    - #### visitJSR

          public void visitJSR(JSR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitJSR` in interface `Visitor`
      Overrides:
        `visitJSR` in class `EmptyVisitor`

    - #### visitJSR_W

          public void visitJSR_W(JSR_W o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitJSR_W` in interface `Visitor`
      Overrides:
        `visitJSR_W` in class `EmptyVisitor`

    - #### visitL2D

          public void visitL2D(L2D o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitL2D` in interface `Visitor`
      Overrides:
        `visitL2D` in class `EmptyVisitor`

    - #### visitL2F

          public void visitL2F(L2F o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitL2F` in interface `Visitor`
      Overrides:
        `visitL2F` in class `EmptyVisitor`

    - #### visitL2I

          public void visitL2I(L2I o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitL2I` in interface `Visitor`
      Overrides:
        `visitL2I` in class `EmptyVisitor`

    - #### visitLADD

          public void visitLADD(LADD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLADD` in interface `Visitor`
      Overrides:
        `visitLADD` in class `EmptyVisitor`

    - #### visitLALOAD

          public void visitLALOAD(LALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLALOAD` in interface `Visitor`
      Overrides:
        `visitLALOAD` in class `EmptyVisitor`

    - #### visitLAND

          public void visitLAND(LAND o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLAND` in interface `Visitor`
      Overrides:
        `visitLAND` in class `EmptyVisitor`

    - #### visitLASTORE

          public void visitLASTORE(LASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLASTORE` in interface `Visitor`
      Overrides:
        `visitLASTORE` in class `EmptyVisitor`

    - #### visitLCMP

          public void visitLCMP(LCMP o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLCMP` in interface `Visitor`
      Overrides:
        `visitLCMP` in class `EmptyVisitor`

    - #### visitLCONST

          public void visitLCONST(LCONST o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLCONST` in interface `Visitor`
      Overrides:
        `visitLCONST` in class `EmptyVisitor`

    - #### visitLDC

          public void visitLDC(LDC o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLDC` in interface `Visitor`
      Overrides:
        `visitLDC` in class `EmptyVisitor`

    - #### visitLDC_W

          public void visitLDC_W(LDC_W o)

      Symbolically executes the corresponding Java Virtual Machine instruction.

    - #### visitLDC2_W

          public void visitLDC2_W(LDC2_W o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLDC2_W` in interface `Visitor`
      Overrides:
        `visitLDC2_W` in class `EmptyVisitor`

    - #### visitLDIV

          public void visitLDIV(LDIV o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLDIV` in interface `Visitor`
      Overrides:
        `visitLDIV` in class `EmptyVisitor`

    - #### visitLLOAD

          public void visitLLOAD(LLOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLLOAD` in interface `Visitor`
      Overrides:
        `visitLLOAD` in class `EmptyVisitor`

    - #### visitLMUL

          public void visitLMUL(LMUL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLMUL` in interface `Visitor`
      Overrides:
        `visitLMUL` in class `EmptyVisitor`

    - #### visitLNEG

          public void visitLNEG(LNEG o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLNEG` in interface `Visitor`
      Overrides:
        `visitLNEG` in class `EmptyVisitor`

    - #### visitLOOKUPSWITCH

          public void visitLOOKUPSWITCH(LOOKUPSWITCH o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLOOKUPSWITCH` in interface `Visitor`
      Overrides:
        `visitLOOKUPSWITCH` in class `EmptyVisitor`

    - #### visitLOR

          public void visitLOR(LOR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLOR` in interface `Visitor`
      Overrides:
        `visitLOR` in class `EmptyVisitor`

    - #### visitLREM

          public void visitLREM(LREM o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLREM` in interface `Visitor`
      Overrides:
        `visitLREM` in class `EmptyVisitor`

    - #### visitLRETURN

          public void visitLRETURN(LRETURN o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLRETURN` in interface `Visitor`
      Overrides:
        `visitLRETURN` in class `EmptyVisitor`

    - #### visitLSHL

          public void visitLSHL(LSHL o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLSHL` in interface `Visitor`
      Overrides:
        `visitLSHL` in class `EmptyVisitor`

    - #### visitLSHR

          public void visitLSHR(LSHR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLSHR` in interface `Visitor`
      Overrides:
        `visitLSHR` in class `EmptyVisitor`

    - #### visitLSTORE

          public void visitLSTORE(LSTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLSTORE` in interface `Visitor`
      Overrides:
        `visitLSTORE` in class `EmptyVisitor`

    - #### visitLSUB

          public void visitLSUB(LSUB o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLSUB` in interface `Visitor`
      Overrides:
        `visitLSUB` in class `EmptyVisitor`

    - #### visitLUSHR

          public void visitLUSHR(LUSHR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLUSHR` in interface `Visitor`
      Overrides:
        `visitLUSHR` in class `EmptyVisitor`

    - #### visitLXOR

          public void visitLXOR(LXOR o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitLXOR` in interface `Visitor`
      Overrides:
        `visitLXOR` in class `EmptyVisitor`

    - #### visitMONITORENTER

          public void visitMONITORENTER(MONITORENTER o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitMONITORENTER` in interface `Visitor`
      Overrides:
        `visitMONITORENTER` in class `EmptyVisitor`

    - #### visitMONITOREXIT

          public void visitMONITOREXIT(MONITOREXIT o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitMONITOREXIT` in interface `Visitor`
      Overrides:
        `visitMONITOREXIT` in class `EmptyVisitor`

    - #### visitMULTIANEWARRAY

          public void visitMULTIANEWARRAY(MULTIANEWARRAY o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitMULTIANEWARRAY` in interface `Visitor`
      Overrides:
        `visitMULTIANEWARRAY` in class `EmptyVisitor`

    - #### visitNEW

          public void visitNEW(NEW o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitNEW` in interface `Visitor`
      Overrides:
        `visitNEW` in class `EmptyVisitor`

    - #### visitNEWARRAY

          public void visitNEWARRAY(NEWARRAY o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitNEWARRAY` in interface `Visitor`
      Overrides:
        `visitNEWARRAY` in class `EmptyVisitor`

    - #### visitNOP

          public void visitNOP(NOP o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitNOP` in interface `Visitor`
      Overrides:
        `visitNOP` in class `EmptyVisitor`

    - #### visitPOP

          public void visitPOP(POP o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitPOP` in interface `Visitor`
      Overrides:
        `visitPOP` in class `EmptyVisitor`

    - #### visitPOP2

          public void visitPOP2(POP2 o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitPOP2` in interface `Visitor`
      Overrides:
        `visitPOP2` in class `EmptyVisitor`

    - #### visitPUTFIELD

          public void visitPUTFIELD(PUTFIELD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitPUTFIELD` in interface `Visitor`
      Overrides:
        `visitPUTFIELD` in class `EmptyVisitor`

    - #### visitPUTSTATIC

          public void visitPUTSTATIC(PUTSTATIC o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitPUTSTATIC` in interface `Visitor`
      Overrides:
        `visitPUTSTATIC` in class `EmptyVisitor`

    - #### visitRET

          public void visitRET(RET o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitRET` in interface `Visitor`
      Overrides:
        `visitRET` in class `EmptyVisitor`

    - #### visitRETURN

          public void visitRETURN(RETURN o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitRETURN` in interface `Visitor`
      Overrides:
        `visitRETURN` in class `EmptyVisitor`

    - #### visitSALOAD

          public void visitSALOAD(SALOAD o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitSALOAD` in interface `Visitor`
      Overrides:
        `visitSALOAD` in class `EmptyVisitor`

    - #### visitSASTORE

          public void visitSASTORE(SASTORE o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitSASTORE` in interface `Visitor`
      Overrides:
        `visitSASTORE` in class `EmptyVisitor`

    - #### visitSIPUSH

          public void visitSIPUSH(SIPUSH o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitSIPUSH` in interface `Visitor`
      Overrides:
        `visitSIPUSH` in class `EmptyVisitor`

    - #### visitSWAP

          public void visitSWAP(SWAP o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitSWAP` in interface `Visitor`
      Overrides:
        `visitSWAP` in class `EmptyVisitor`

    - #### visitTABLESWITCH

          public void visitTABLESWITCH(TABLESWITCH o)

      Symbolically executes the corresponding Java Virtual Machine instruction.
      Specified by:
        `visitTABLESWITCH` in interface `Visitor`
      Overrides:
        `visitTABLESWITCH` in class `EmptyVisitor`

Copyright © 2004–2019 The Apache Software Foundation. All rights reserved.