LimitedConstraintVisitor (bcel-util-branch-master 0.0.4 API)

java.lang.Object
- org.apache.bcel.generic.EmptyVisitor
- - org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - - org.plumelib.bcelutil.LimitedConstraintVisitor

All Implemented Interfaces:

org.apache.bcel.generic.Visitor
```
public class LimitedConstraintVisitor
extends org.apache.bcel.verifier.structurals.InstConstraintVisitor
```
A Visitor class testing for valid preconditions of JVM instructions. No checks are actually implemented. This overrides the class in BCEL which incorrectly fails on many valid class files.

Constructor Summary

Constructors
Constructor and Description

LimitedConstraintVisitor()
The constructor.

Constructors
Constructor and Description
`LimitedConstraintVisitor()` The constructor.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`setConstantPoolGen(org.apache.bcel.generic.ConstantPoolGen cpg)` Sets the ConstantPoolGen instance needed for constraint checking prior to execution.
`void`	`setFrame(org.apache.bcel.verifier.structurals.Frame f)` This returns the single instance of the InstConstraintVisitor class.
`void`	`setMethodGen(org.apache.bcel.generic.MethodGen mg)` Sets the MethodGen instance needed for constraint checking prior to execution.
`void`	`visitAALOAD(org.apache.bcel.generic.AALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitAASTORE(org.apache.bcel.generic.AASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitALOAD(org.apache.bcel.generic.ALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY o)` Ensures the specific preconditions of the said instruction.
`void`	`visitARETURN(org.apache.bcel.generic.ARETURN o)` Ensures the specific preconditions of the said instruction.
`void`	`visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH o)` Ensures the specific preconditions of the said instruction.
`void`	`visitASTORE(org.apache.bcel.generic.ASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitATHROW(org.apache.bcel.generic.ATHROW o)` Ensures the specific preconditions of the said instruction.
`void`	`visitBALOAD(org.apache.bcel.generic.BALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitBASTORE(org.apache.bcel.generic.BASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitBIPUSH(org.apache.bcel.generic.BIPUSH o)` Ensures the specific preconditions of the said instruction.
`void`	`visitBREAKPOINT(org.apache.bcel.generic.BREAKPOINT o)` Ensures the specific preconditions of the said instruction.
`void`	`visitCALOAD(org.apache.bcel.generic.CALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitCASTORE(org.apache.bcel.generic.CASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitCHECKCAST(org.apache.bcel.generic.CHECKCAST o)` Ensures the specific preconditions of the said instruction.
`void`	`visitCPInstruction(org.apache.bcel.generic.CPInstruction o)` Ensures the general preconditions of a CPInstruction instance.
`void`	`visitD2F(org.apache.bcel.generic.D2F o)` Ensures the specific preconditions of the said instruction.
`void`	`visitD2I(org.apache.bcel.generic.D2I o)` Ensures the specific preconditions of the said instruction.
`void`	`visitD2L(org.apache.bcel.generic.D2L o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDADD(org.apache.bcel.generic.DADD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDALOAD(org.apache.bcel.generic.DALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDASTORE(org.apache.bcel.generic.DASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDCMPG(org.apache.bcel.generic.DCMPG o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDCMPL(org.apache.bcel.generic.DCMPL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDCONST(org.apache.bcel.generic.DCONST o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDDIV(org.apache.bcel.generic.DDIV o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDLOAD(org.apache.bcel.generic.DLOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDMUL(org.apache.bcel.generic.DMUL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDNEG(org.apache.bcel.generic.DNEG o)`
`void`	`visitDREM(org.apache.bcel.generic.DREM o)`
`void`	`visitDRETURN(org.apache.bcel.generic.DRETURN o)`
`void`	`visitDSTORE(org.apache.bcel.generic.DSTORE o)`
`void`	`visitDSUB(org.apache.bcel.generic.DSUB o)`
`void`	`visitDUP_X1(org.apache.bcel.generic.DUP_X1 o)`
`void`	`visitDUP_X2(org.apache.bcel.generic.DUP_X2 o)`
`void`	`visitDUP(org.apache.bcel.generic.DUP o)`
`void`	`visitDUP2_X1(org.apache.bcel.generic.DUP2_X1 o)`
`void`	`visitDUP2_X2(org.apache.bcel.generic.DUP2_X2 o)`
`void`	`visitDUP2(org.apache.bcel.generic.DUP2 o)`
`void`	`visitF2D(org.apache.bcel.generic.F2D o)`
`void`	`visitF2I(org.apache.bcel.generic.F2I o)`
`void`	`visitF2L(org.apache.bcel.generic.F2L o)`
`void`	`visitFADD(org.apache.bcel.generic.FADD o)`
`void`	`visitFALOAD(org.apache.bcel.generic.FALOAD o)`
`void`	`visitFASTORE(org.apache.bcel.generic.FASTORE o)`
`void`	`visitFCMPG(org.apache.bcel.generic.FCMPG o)`
`void`	`visitFCMPL(org.apache.bcel.generic.FCMPL o)`
`void`	`visitFCONST(org.apache.bcel.generic.FCONST o)`
`void`	`visitFDIV(org.apache.bcel.generic.FDIV o)`
`void`	`visitFieldInstruction(org.apache.bcel.generic.FieldInstruction o)` Ensures the general preconditions of a FieldInstruction instance.
`void`	`visitFLOAD(org.apache.bcel.generic.FLOAD o)`
`void`	`visitFMUL(org.apache.bcel.generic.FMUL o)`
`void`	`visitFNEG(org.apache.bcel.generic.FNEG o)`
`void`	`visitFREM(org.apache.bcel.generic.FREM o)`
`void`	`visitFRETURN(org.apache.bcel.generic.FRETURN o)`
`void`	`visitFSTORE(org.apache.bcel.generic.FSTORE o)`
`void`	`visitFSUB(org.apache.bcel.generic.FSUB o)`
`void`	`visitGETFIELD(org.apache.bcel.generic.GETFIELD o)`
`void`	`visitGETSTATIC(org.apache.bcel.generic.GETSTATIC o)`
`void`	`visitGOTO_W(org.apache.bcel.generic.GOTO_W o)`
`void`	`visitGOTO(org.apache.bcel.generic.GOTO o)`
`void`	`visitI2B(org.apache.bcel.generic.I2B o)`
`void`	`visitI2C(org.apache.bcel.generic.I2C o)`
`void`	`visitI2D(org.apache.bcel.generic.I2D o)`
`void`	`visitI2F(org.apache.bcel.generic.I2F o)`
`void`	`visitI2L(org.apache.bcel.generic.I2L o)`
`void`	`visitI2S(org.apache.bcel.generic.I2S o)`
`void`	`visitIADD(org.apache.bcel.generic.IADD o)`
`void`	`visitIALOAD(org.apache.bcel.generic.IALOAD o)`
`void`	`visitIAND(org.apache.bcel.generic.IAND o)`
`void`	`visitIASTORE(org.apache.bcel.generic.IASTORE o)`
`void`	`visitICONST(org.apache.bcel.generic.ICONST o)`
`void`	`visitIDIV(org.apache.bcel.generic.IDIV o)`
`void`	`visitIF_ACMPEQ(org.apache.bcel.generic.IF_ACMPEQ o)`
`void`	`visitIF_ACMPNE(org.apache.bcel.generic.IF_ACMPNE o)`
`void`	`visitIF_ICMPEQ(org.apache.bcel.generic.IF_ICMPEQ o)`
`void`	`visitIF_ICMPGE(org.apache.bcel.generic.IF_ICMPGE o)`
`void`	`visitIF_ICMPGT(org.apache.bcel.generic.IF_ICMPGT o)`
`void`	`visitIF_ICMPLE(org.apache.bcel.generic.IF_ICMPLE o)`
`void`	`visitIF_ICMPLT(org.apache.bcel.generic.IF_ICMPLT o)`
`void`	`visitIF_ICMPNE(org.apache.bcel.generic.IF_ICMPNE o)`
`void`	`visitIFEQ(org.apache.bcel.generic.IFEQ o)`
`void`	`visitIFGE(org.apache.bcel.generic.IFGE o)`
`void`	`visitIFGT(org.apache.bcel.generic.IFGT o)`
`void`	`visitIFLE(org.apache.bcel.generic.IFLE o)`
`void`	`visitIFLT(org.apache.bcel.generic.IFLT o)`
`void`	`visitIFNE(org.apache.bcel.generic.IFNE o)`
`void`	`visitIFNONNULL(org.apache.bcel.generic.IFNONNULL o)`
`void`	`visitIFNULL(org.apache.bcel.generic.IFNULL o)`
`void`	`visitIINC(org.apache.bcel.generic.IINC o)`
`void`	`visitILOAD(org.apache.bcel.generic.ILOAD o)`
`void`	`visitIMPDEP1(org.apache.bcel.generic.IMPDEP1 o)`
`void`	`visitIMPDEP2(org.apache.bcel.generic.IMPDEP2 o)`
`void`	`visitIMUL(org.apache.bcel.generic.IMUL o)`
`void`	`visitINEG(org.apache.bcel.generic.INEG o)`
`void`	`visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF o)`
`void`	`visitINVOKEDYNAMIC(org.apache.bcel.generic.INVOKEDYNAMIC o)`
`void`	`visitInvokeInstruction(org.apache.bcel.generic.InvokeInstruction o)` Ensures the general preconditions of an InvokeInstruction instance.
`void`	`visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE o)`
`void`	`visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL o)`
`void`	`visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC o)`
`void`	`visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL o)`
`void`	`visitIOR(org.apache.bcel.generic.IOR o)`
`void`	`visitIREM(org.apache.bcel.generic.IREM o)`
`void`	`visitIRETURN(org.apache.bcel.generic.IRETURN o)`
`void`	`visitISHL(org.apache.bcel.generic.ISHL o)`
`void`	`visitISHR(org.apache.bcel.generic.ISHR o)`
`void`	`visitISTORE(org.apache.bcel.generic.ISTORE o)`
`void`	`visitISUB(org.apache.bcel.generic.ISUB o)`
`void`	`visitIUSHR(org.apache.bcel.generic.IUSHR o)`
`void`	`visitIXOR(org.apache.bcel.generic.IXOR o)`
`void`	`visitJSR_W(org.apache.bcel.generic.JSR_W o)`
`void`	`visitJSR(org.apache.bcel.generic.JSR o)`
`void`	`visitL2D(org.apache.bcel.generic.L2D o)`
`void`	`visitL2F(org.apache.bcel.generic.L2F o)`
`void`	`visitL2I(org.apache.bcel.generic.L2I o)`
`void`	`visitLADD(org.apache.bcel.generic.LADD o)`
`void`	`visitLALOAD(org.apache.bcel.generic.LALOAD o)`
`void`	`visitLAND(org.apache.bcel.generic.LAND o)`
`void`	`visitLASTORE(org.apache.bcel.generic.LASTORE o)`
`void`	`visitLCMP(org.apache.bcel.generic.LCMP o)`
`void`	`visitLCONST(org.apache.bcel.generic.LCONST o)`
`void`	`visitLDC_W(org.apache.bcel.generic.LDC_W o)`
`void`	`visitLDC(org.apache.bcel.generic.LDC o)`
`void`	`visitLDC2_W(org.apache.bcel.generic.LDC2_W o)`
`void`	`visitLDIV(org.apache.bcel.generic.LDIV o)`
`void`	`visitLLOAD(org.apache.bcel.generic.LLOAD o)`
`void`	`visitLMUL(org.apache.bcel.generic.LMUL o)`
`void`	`visitLNEG(org.apache.bcel.generic.LNEG o)`
`void`	`visitLoadClass(org.apache.bcel.generic.LoadClass o)` Assures the generic preconditions of a LoadClass instance.
`void`	`visitLoadInstruction(org.apache.bcel.generic.LoadInstruction o)` Assures the generic preconditions of a LoadInstruction instance.
`void`	`visitLocalVariableInstruction(org.apache.bcel.generic.LocalVariableInstruction o)` Assures the generic preconditions of a LocalVariableInstruction instance.
`void`	`visitLOOKUPSWITCH(org.apache.bcel.generic.LOOKUPSWITCH o)`
`void`	`visitLOR(org.apache.bcel.generic.LOR o)`
`void`	`visitLREM(org.apache.bcel.generic.LREM o)`
`void`	`visitLRETURN(org.apache.bcel.generic.LRETURN o)`
`void`	`visitLSHL(org.apache.bcel.generic.LSHL o)`
`void`	`visitLSHR(org.apache.bcel.generic.LSHR o)`
`void`	`visitLSTORE(org.apache.bcel.generic.LSTORE o)`
`void`	`visitLSUB(org.apache.bcel.generic.LSUB o)`
`void`	`visitLUSHR(org.apache.bcel.generic.LUSHR o)`
`void`	`visitLXOR(org.apache.bcel.generic.LXOR o)`
`void`	`visitMONITORENTER(org.apache.bcel.generic.MONITORENTER o)`
`void`	`visitMONITOREXIT(org.apache.bcel.generic.MONITOREXIT o)`
`void`	`visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY o)`
`void`	`visitNEW(org.apache.bcel.generic.NEW o)`
`void`	`visitNEWARRAY(org.apache.bcel.generic.NEWARRAY o)`
`void`	`visitNOP(org.apache.bcel.generic.NOP o)`
`void`	`visitPOP(org.apache.bcel.generic.POP o)`
`void`	`visitPOP2(org.apache.bcel.generic.POP2 o)`
`void`	`visitPUTFIELD(org.apache.bcel.generic.PUTFIELD o)`
`void`	`visitPUTSTATIC(org.apache.bcel.generic.PUTSTATIC o)`
`void`	`visitRET(org.apache.bcel.generic.RET o)`
`void`	`visitRETURN(org.apache.bcel.generic.RETURN o)`
`void`	`visitReturnInstruction(org.apache.bcel.generic.ReturnInstruction o)` Assures the generic preconditions of a ReturnInstruction instance.
`void`	`visitSALOAD(org.apache.bcel.generic.SALOAD o)`
`void`	`visitSASTORE(org.apache.bcel.generic.SASTORE o)`
`void`	`visitSIPUSH(org.apache.bcel.generic.SIPUSH o)`
`void`	`visitStackConsumer(org.apache.bcel.generic.StackConsumer o)` Ensures the general preconditions of a StackConsumer instance.
`void`	`visitStackInstruction(org.apache.bcel.generic.StackInstruction o)` Ensures the general preconditions of a StackInstruction instance.
`void`	`visitStackProducer(org.apache.bcel.generic.StackProducer o)` Ensures the general preconditions of a StackProducer instance.
`void`	`visitStoreInstruction(org.apache.bcel.generic.StoreInstruction o)` Assures the generic preconditions of a StoreInstruction instance.
`void`	`visitSWAP(org.apache.bcel.generic.SWAP o)`
`void`	`visitTABLESWITCH(org.apache.bcel.generic.TABLESWITCH o)`

Methods inherited from class org.apache.bcel.generic.EmptyVisitor
visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitConstantPushInstruction, visitConversionInstruction, visitExceptionThrower, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitJsrInstruction, visitPopInstruction, visitPushInstruction, visitSelect, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - LimitedConstraintVisitor
```
public LimitedConstraintVisitor()
```
    The constructor. Constructs a new instance of this class.
- Method Detail
  - setFrame
```
public void setFrame(org.apache.bcel.verifier.structurals.Frame f)
```
    This returns the single instance of the InstConstraintVisitor class. To operate correctly, other values must have been set before actually using the instance. Use this method for performance reasons.
    
    Overrides:
    
    setFrame in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
    
    See Also:
    
    setConstantPoolGen(ConstantPoolGen cpg), setMethodGen(MethodGen mg)
  - setConstantPoolGen
```
public void setConstantPoolGen(org.apache.bcel.generic.ConstantPoolGen cpg)
```
    Sets the ConstantPoolGen instance needed for constraint checking prior to execution.
    
    Overrides:
    
    setConstantPoolGen in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - setMethodGen
```
public void setMethodGen(org.apache.bcel.generic.MethodGen mg)
```
    Sets the MethodGen instance needed for constraint checking prior to execution.
    
    Overrides:
    
    setMethodGen in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLoadClass
```
public void visitLoadClass(org.apache.bcel.generic.LoadClass o)
```
    Assures the generic preconditions of a LoadClass instance. The referenced class is loaded and pass2-verified.
    
    Specified by:
    
    visitLoadClass in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLoadClass in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitStackConsumer
```
public void visitStackConsumer(org.apache.bcel.generic.StackConsumer o)
```
    Ensures the general preconditions of a StackConsumer instance.
    
    Specified by:
    
    visitStackConsumer in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitStackConsumer in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitStackProducer
```
public void visitStackProducer(org.apache.bcel.generic.StackProducer o)
```
    Ensures the general preconditions of a StackProducer instance.
    
    Specified by:
    
    visitStackProducer in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitStackProducer in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitCPInstruction
```
public void visitCPInstruction(org.apache.bcel.generic.CPInstruction o)
```
    Ensures the general preconditions of a CPInstruction instance.
    
    Specified by:
    
    visitCPInstruction in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitCPInstruction in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFieldInstruction
```
public void visitFieldInstruction(org.apache.bcel.generic.FieldInstruction o)
```
    Ensures the general preconditions of a FieldInstruction instance.
    
    Specified by:
    
    visitFieldInstruction in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFieldInstruction in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitInvokeInstruction
```
public void visitInvokeInstruction(org.apache.bcel.generic.InvokeInstruction o)
```
    Ensures the general preconditions of an InvokeInstruction instance.
    
    Specified by:
    
    visitInvokeInstruction in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitInvokeInstruction in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitStackInstruction
```
public void visitStackInstruction(org.apache.bcel.generic.StackInstruction o)
```
    Ensures the general preconditions of a StackInstruction instance.
    
    Specified by:
    
    visitStackInstruction in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitStackInstruction in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLocalVariableInstruction
```
public void visitLocalVariableInstruction(org.apache.bcel.generic.LocalVariableInstruction o)
```
    Assures the generic preconditions of a LocalVariableInstruction instance. That is, the index of the local variable must be valid.
    
    Specified by:
    
    visitLocalVariableInstruction in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLocalVariableInstruction in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLoadInstruction
```
public void visitLoadInstruction(org.apache.bcel.generic.LoadInstruction o)
```
    Assures the generic preconditions of a LoadInstruction instance.
    
    Specified by:
    
    visitLoadInstruction in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLoadInstruction in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitStoreInstruction
```
public void visitStoreInstruction(org.apache.bcel.generic.StoreInstruction o)
```
    Assures the generic preconditions of a StoreInstruction instance.
    
    Specified by:
    
    visitStoreInstruction in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitStoreInstruction in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitReturnInstruction
```
public void visitReturnInstruction(org.apache.bcel.generic.ReturnInstruction o)
```
    Assures the generic preconditions of a ReturnInstruction instance.
    
    Specified by:
    
    visitReturnInstruction in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitReturnInstruction in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitAALOAD
```
public void visitAALOAD(org.apache.bcel.generic.AALOAD o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitAALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitAALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitAASTORE
```
public void visitAASTORE(org.apache.bcel.generic.AASTORE o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitAASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitAASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitACONST_NULL
```
public void visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitACONST_NULL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitACONST_NULL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitALOAD
```
public void visitALOAD(org.apache.bcel.generic.ALOAD o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitANEWARRAY
```
public void visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitANEWARRAY in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitANEWARRAY in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitARETURN
```
public void visitARETURN(org.apache.bcel.generic.ARETURN o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitARETURN in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitARETURN in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitARRAYLENGTH
```
public void visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitARRAYLENGTH in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitARRAYLENGTH in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitASTORE
```
public void visitASTORE(org.apache.bcel.generic.ASTORE o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitATHROW
```
public void visitATHROW(org.apache.bcel.generic.ATHROW o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitATHROW in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitATHROW in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitBALOAD
```
public void visitBALOAD(org.apache.bcel.generic.BALOAD o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitBALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitBALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitBASTORE
```
public void visitBASTORE(org.apache.bcel.generic.BASTORE o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitBASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitBASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitBIPUSH
```
public void visitBIPUSH(org.apache.bcel.generic.BIPUSH o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitBIPUSH in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitBIPUSH in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitBREAKPOINT
```
public void visitBREAKPOINT(org.apache.bcel.generic.BREAKPOINT o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitBREAKPOINT in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitBREAKPOINT in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitCALOAD
```
public void visitCALOAD(org.apache.bcel.generic.CALOAD o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitCALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitCALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitCASTORE
```
public void visitCASTORE(org.apache.bcel.generic.CASTORE o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitCASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitCASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitCHECKCAST
```
public void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitCHECKCAST in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitCHECKCAST in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitD2F
```
public void visitD2F(org.apache.bcel.generic.D2F o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitD2F in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitD2F in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitD2I
```
public void visitD2I(org.apache.bcel.generic.D2I o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitD2I in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitD2I in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitD2L
```
public void visitD2L(org.apache.bcel.generic.D2L o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitD2L in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitD2L in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDADD
```
public void visitDADD(org.apache.bcel.generic.DADD o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDADD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDADD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDALOAD
```
public void visitDALOAD(org.apache.bcel.generic.DALOAD o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDASTORE
```
public void visitDASTORE(org.apache.bcel.generic.DASTORE o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDCMPG
```
public void visitDCMPG(org.apache.bcel.generic.DCMPG o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDCMPG in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDCMPG in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDCMPL
```
public void visitDCMPL(org.apache.bcel.generic.DCMPL o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDCMPL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDCMPL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDCONST
```
public void visitDCONST(org.apache.bcel.generic.DCONST o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDCONST in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDCONST in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDDIV
```
public void visitDDIV(org.apache.bcel.generic.DDIV o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDDIV in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDDIV in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDLOAD
```
public void visitDLOAD(org.apache.bcel.generic.DLOAD o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDLOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDLOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDMUL
```
public void visitDMUL(org.apache.bcel.generic.DMUL o)
```
    Ensures the specific preconditions of the said instruction.
    
    Specified by:
    
    visitDMUL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDMUL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDNEG
```
public void visitDNEG(org.apache.bcel.generic.DNEG o)
```
    Specified by:
    
    visitDNEG in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDNEG in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDREM
```
public void visitDREM(org.apache.bcel.generic.DREM o)
```
    Specified by:
    
    visitDREM in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDREM in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDRETURN
```
public void visitDRETURN(org.apache.bcel.generic.DRETURN o)
```
    Specified by:
    
    visitDRETURN in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDRETURN in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDSTORE
```
public void visitDSTORE(org.apache.bcel.generic.DSTORE o)
```
    Specified by:
    
    visitDSTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDSTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDSUB
```
public void visitDSUB(org.apache.bcel.generic.DSUB o)
```
    Specified by:
    
    visitDSUB in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDSUB in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDUP
```
public void visitDUP(org.apache.bcel.generic.DUP o)
```
    Specified by:
    
    visitDUP in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDUP in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDUP_X1
```
public void visitDUP_X1(org.apache.bcel.generic.DUP_X1 o)
```
    Specified by:
    
    visitDUP_X1 in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDUP_X1 in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDUP_X2
```
public void visitDUP_X2(org.apache.bcel.generic.DUP_X2 o)
```
    Specified by:
    
    visitDUP_X2 in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDUP_X2 in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDUP2
```
public void visitDUP2(org.apache.bcel.generic.DUP2 o)
```
    Specified by:
    
    visitDUP2 in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDUP2 in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDUP2_X1
```
public void visitDUP2_X1(org.apache.bcel.generic.DUP2_X1 o)
```
    Specified by:
    
    visitDUP2_X1 in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDUP2_X1 in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitDUP2_X2
```
public void visitDUP2_X2(org.apache.bcel.generic.DUP2_X2 o)
```
    Specified by:
    
    visitDUP2_X2 in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitDUP2_X2 in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitF2D
```
public void visitF2D(org.apache.bcel.generic.F2D o)
```
    Specified by:
    
    visitF2D in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitF2D in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitF2I
```
public void visitF2I(org.apache.bcel.generic.F2I o)
```
    Specified by:
    
    visitF2I in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitF2I in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitF2L
```
public void visitF2L(org.apache.bcel.generic.F2L o)
```
    Specified by:
    
    visitF2L in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitF2L in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFADD
```
public void visitFADD(org.apache.bcel.generic.FADD o)
```
    Specified by:
    
    visitFADD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFADD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFALOAD
```
public void visitFALOAD(org.apache.bcel.generic.FALOAD o)
```
    Specified by:
    
    visitFALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFASTORE
```
public void visitFASTORE(org.apache.bcel.generic.FASTORE o)
```
    Specified by:
    
    visitFASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFCMPG
```
public void visitFCMPG(org.apache.bcel.generic.FCMPG o)
```
    Specified by:
    
    visitFCMPG in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFCMPG in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFCMPL
```
public void visitFCMPL(org.apache.bcel.generic.FCMPL o)
```
    Specified by:
    
    visitFCMPL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFCMPL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFCONST
```
public void visitFCONST(org.apache.bcel.generic.FCONST o)
```
    Specified by:
    
    visitFCONST in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFCONST in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFDIV
```
public void visitFDIV(org.apache.bcel.generic.FDIV o)
```
    Specified by:
    
    visitFDIV in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFDIV in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFLOAD
```
public void visitFLOAD(org.apache.bcel.generic.FLOAD o)
```
    Specified by:
    
    visitFLOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFLOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFMUL
```
public void visitFMUL(org.apache.bcel.generic.FMUL o)
```
    Specified by:
    
    visitFMUL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFMUL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFNEG
```
public void visitFNEG(org.apache.bcel.generic.FNEG o)
```
    Specified by:
    
    visitFNEG in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFNEG in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFREM
```
public void visitFREM(org.apache.bcel.generic.FREM o)
```
    Specified by:
    
    visitFREM in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFREM in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFRETURN
```
public void visitFRETURN(org.apache.bcel.generic.FRETURN o)
```
    Specified by:
    
    visitFRETURN in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFRETURN in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFSTORE
```
public void visitFSTORE(org.apache.bcel.generic.FSTORE o)
```
    Specified by:
    
    visitFSTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFSTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitFSUB
```
public void visitFSUB(org.apache.bcel.generic.FSUB o)
```
    Specified by:
    
    visitFSUB in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitFSUB in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitGETFIELD
```
public void visitGETFIELD(org.apache.bcel.generic.GETFIELD o)
```
    Specified by:
    
    visitGETFIELD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitGETFIELD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitGETSTATIC
```
public void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC o)
```
    Specified by:
    
    visitGETSTATIC in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitGETSTATIC in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitGOTO
```
public void visitGOTO(org.apache.bcel.generic.GOTO o)
```
    Specified by:
    
    visitGOTO in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitGOTO in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitGOTO_W
```
public void visitGOTO_W(org.apache.bcel.generic.GOTO_W o)
```
    Specified by:
    
    visitGOTO_W in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitGOTO_W in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitI2B
```
public void visitI2B(org.apache.bcel.generic.I2B o)
```
    Specified by:
    
    visitI2B in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitI2B in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitI2C
```
public void visitI2C(org.apache.bcel.generic.I2C o)
```
    Specified by:
    
    visitI2C in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitI2C in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitI2D
```
public void visitI2D(org.apache.bcel.generic.I2D o)
```
    Specified by:
    
    visitI2D in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitI2D in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitI2F
```
public void visitI2F(org.apache.bcel.generic.I2F o)
```
    Specified by:
    
    visitI2F in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitI2F in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitI2L
```
public void visitI2L(org.apache.bcel.generic.I2L o)
```
    Specified by:
    
    visitI2L in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitI2L in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitI2S
```
public void visitI2S(org.apache.bcel.generic.I2S o)
```
    Specified by:
    
    visitI2S in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitI2S in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIADD
```
public void visitIADD(org.apache.bcel.generic.IADD o)
```
    Specified by:
    
    visitIADD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIADD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIALOAD
```
public void visitIALOAD(org.apache.bcel.generic.IALOAD o)
```
    Specified by:
    
    visitIALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIAND
```
public void visitIAND(org.apache.bcel.generic.IAND o)
```
    Specified by:
    
    visitIAND in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIAND in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIASTORE
```
public void visitIASTORE(org.apache.bcel.generic.IASTORE o)
```
    Specified by:
    
    visitIASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitICONST
```
public void visitICONST(org.apache.bcel.generic.ICONST o)
```
    Specified by:
    
    visitICONST in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitICONST in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIDIV
```
public void visitIDIV(org.apache.bcel.generic.IDIV o)
```
    Specified by:
    
    visitIDIV in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIDIV in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIF_ACMPEQ
```
public void visitIF_ACMPEQ(org.apache.bcel.generic.IF_ACMPEQ o)
```
    Specified by:
    
    visitIF_ACMPEQ in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIF_ACMPEQ in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIF_ACMPNE
```
public void visitIF_ACMPNE(org.apache.bcel.generic.IF_ACMPNE o)
```
    Specified by:
    
    visitIF_ACMPNE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIF_ACMPNE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIF_ICMPEQ
```
public void visitIF_ICMPEQ(org.apache.bcel.generic.IF_ICMPEQ o)
```
    Specified by:
    
    visitIF_ICMPEQ in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIF_ICMPEQ in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIF_ICMPGE
```
public void visitIF_ICMPGE(org.apache.bcel.generic.IF_ICMPGE o)
```
    Specified by:
    
    visitIF_ICMPGE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIF_ICMPGE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIF_ICMPGT
```
public void visitIF_ICMPGT(org.apache.bcel.generic.IF_ICMPGT o)
```
    Specified by:
    
    visitIF_ICMPGT in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIF_ICMPGT in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIF_ICMPLE
```
public void visitIF_ICMPLE(org.apache.bcel.generic.IF_ICMPLE o)
```
    Specified by:
    
    visitIF_ICMPLE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIF_ICMPLE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIF_ICMPLT
```
public void visitIF_ICMPLT(org.apache.bcel.generic.IF_ICMPLT o)
```
    Specified by:
    
    visitIF_ICMPLT in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIF_ICMPLT in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIF_ICMPNE
```
public void visitIF_ICMPNE(org.apache.bcel.generic.IF_ICMPNE o)
```
    Specified by:
    
    visitIF_ICMPNE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIF_ICMPNE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIFEQ
```
public void visitIFEQ(org.apache.bcel.generic.IFEQ o)
```
    Specified by:
    
    visitIFEQ in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIFEQ in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIFGE
```
public void visitIFGE(org.apache.bcel.generic.IFGE o)
```
    Specified by:
    
    visitIFGE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIFGE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIFGT
```
public void visitIFGT(org.apache.bcel.generic.IFGT o)
```
    Specified by:
    
    visitIFGT in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIFGT in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIFLE
```
public void visitIFLE(org.apache.bcel.generic.IFLE o)
```
    Specified by:
    
    visitIFLE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIFLE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIFLT
```
public void visitIFLT(org.apache.bcel.generic.IFLT o)
```
    Specified by:
    
    visitIFLT in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIFLT in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIFNE
```
public void visitIFNE(org.apache.bcel.generic.IFNE o)
```
    Specified by:
    
    visitIFNE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIFNE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIFNONNULL
```
public void visitIFNONNULL(org.apache.bcel.generic.IFNONNULL o)
```
    Specified by:
    
    visitIFNONNULL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIFNONNULL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIFNULL
```
public void visitIFNULL(org.apache.bcel.generic.IFNULL o)
```
    Specified by:
    
    visitIFNULL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIFNULL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIINC
```
public void visitIINC(org.apache.bcel.generic.IINC o)
```
    Specified by:
    
    visitIINC in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIINC in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitILOAD
```
public void visitILOAD(org.apache.bcel.generic.ILOAD o)
```
    Specified by:
    
    visitILOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitILOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIMPDEP1
```
public void visitIMPDEP1(org.apache.bcel.generic.IMPDEP1 o)
```
    Specified by:
    
    visitIMPDEP1 in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIMPDEP1 in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIMPDEP2
```
public void visitIMPDEP2(org.apache.bcel.generic.IMPDEP2 o)
```
    Specified by:
    
    visitIMPDEP2 in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIMPDEP2 in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIMUL
```
public void visitIMUL(org.apache.bcel.generic.IMUL o)
```
    Specified by:
    
    visitIMUL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIMUL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitINEG
```
public void visitINEG(org.apache.bcel.generic.INEG o)
```
    Specified by:
    
    visitINEG in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitINEG in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitINSTANCEOF
```
public void visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF o)
```
    Specified by:
    
    visitINSTANCEOF in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitINSTANCEOF in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitINVOKEDYNAMIC
```
public void visitINVOKEDYNAMIC(org.apache.bcel.generic.INVOKEDYNAMIC o)
```
    Specified by:
    
    visitINVOKEDYNAMIC in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitINVOKEDYNAMIC in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitINVOKEINTERFACE
```
public void visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE o)
```
    Specified by:
    
    visitINVOKEINTERFACE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitINVOKEINTERFACE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitINVOKESPECIAL
```
public void visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL o)
```
    Specified by:
    
    visitINVOKESPECIAL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitINVOKESPECIAL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitINVOKESTATIC
```
public void visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC o)
```
    Specified by:
    
    visitINVOKESTATIC in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitINVOKESTATIC in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitINVOKEVIRTUAL
```
public void visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL o)
```
    Specified by:
    
    visitINVOKEVIRTUAL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitINVOKEVIRTUAL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIOR
```
public void visitIOR(org.apache.bcel.generic.IOR o)
```
    Specified by:
    
    visitIOR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIOR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIREM
```
public void visitIREM(org.apache.bcel.generic.IREM o)
```
    Specified by:
    
    visitIREM in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIREM in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIRETURN
```
public void visitIRETURN(org.apache.bcel.generic.IRETURN o)
```
    Specified by:
    
    visitIRETURN in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIRETURN in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitISHL
```
public void visitISHL(org.apache.bcel.generic.ISHL o)
```
    Specified by:
    
    visitISHL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitISHL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitISHR
```
public void visitISHR(org.apache.bcel.generic.ISHR o)
```
    Specified by:
    
    visitISHR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitISHR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitISTORE
```
public void visitISTORE(org.apache.bcel.generic.ISTORE o)
```
    Specified by:
    
    visitISTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitISTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitISUB
```
public void visitISUB(org.apache.bcel.generic.ISUB o)
```
    Specified by:
    
    visitISUB in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitISUB in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIUSHR
```
public void visitIUSHR(org.apache.bcel.generic.IUSHR o)
```
    Specified by:
    
    visitIUSHR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIUSHR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitIXOR
```
public void visitIXOR(org.apache.bcel.generic.IXOR o)
```
    Specified by:
    
    visitIXOR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitIXOR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitJSR
```
public void visitJSR(org.apache.bcel.generic.JSR o)
```
    Specified by:
    
    visitJSR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitJSR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitJSR_W
```
public void visitJSR_W(org.apache.bcel.generic.JSR_W o)
```
    Specified by:
    
    visitJSR_W in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitJSR_W in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitL2D
```
public void visitL2D(org.apache.bcel.generic.L2D o)
```
    Specified by:
    
    visitL2D in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitL2D in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitL2F
```
public void visitL2F(org.apache.bcel.generic.L2F o)
```
    Specified by:
    
    visitL2F in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitL2F in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitL2I
```
public void visitL2I(org.apache.bcel.generic.L2I o)
```
    Specified by:
    
    visitL2I in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitL2I in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLADD
```
public void visitLADD(org.apache.bcel.generic.LADD o)
```
    Specified by:
    
    visitLADD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLADD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLALOAD
```
public void visitLALOAD(org.apache.bcel.generic.LALOAD o)
```
    Specified by:
    
    visitLALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLAND
```
public void visitLAND(org.apache.bcel.generic.LAND o)
```
    Specified by:
    
    visitLAND in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLAND in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLASTORE
```
public void visitLASTORE(org.apache.bcel.generic.LASTORE o)
```
    Specified by:
    
    visitLASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLCMP
```
public void visitLCMP(org.apache.bcel.generic.LCMP o)
```
    Specified by:
    
    visitLCMP in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLCMP in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLCONST
```
public void visitLCONST(org.apache.bcel.generic.LCONST o)
```
    Specified by:
    
    visitLCONST in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLCONST in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLDC
```
public void visitLDC(org.apache.bcel.generic.LDC o)
```
    Specified by:
    
    visitLDC in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLDC in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLDC_W
```
public void visitLDC_W(org.apache.bcel.generic.LDC_W o)
```
    Overrides:
    
    visitLDC_W in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLDC2_W
```
public void visitLDC2_W(org.apache.bcel.generic.LDC2_W o)
```
    Specified by:
    
    visitLDC2_W in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLDC2_W in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLDIV
```
public void visitLDIV(org.apache.bcel.generic.LDIV o)
```
    Specified by:
    
    visitLDIV in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLDIV in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLLOAD
```
public void visitLLOAD(org.apache.bcel.generic.LLOAD o)
```
    Specified by:
    
    visitLLOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLLOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLMUL
```
public void visitLMUL(org.apache.bcel.generic.LMUL o)
```
    Specified by:
    
    visitLMUL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLMUL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLNEG
```
public void visitLNEG(org.apache.bcel.generic.LNEG o)
```
    Specified by:
    
    visitLNEG in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLNEG in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLOOKUPSWITCH
```
public void visitLOOKUPSWITCH(org.apache.bcel.generic.LOOKUPSWITCH o)
```
    Specified by:
    
    visitLOOKUPSWITCH in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLOOKUPSWITCH in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLOR
```
public void visitLOR(org.apache.bcel.generic.LOR o)
```
    Specified by:
    
    visitLOR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLOR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLREM
```
public void visitLREM(org.apache.bcel.generic.LREM o)
```
    Specified by:
    
    visitLREM in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLREM in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLRETURN
```
public void visitLRETURN(org.apache.bcel.generic.LRETURN o)
```
    Specified by:
    
    visitLRETURN in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLRETURN in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLSHL
```
public void visitLSHL(org.apache.bcel.generic.LSHL o)
```
    Specified by:
    
    visitLSHL in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLSHL in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLSHR
```
public void visitLSHR(org.apache.bcel.generic.LSHR o)
```
    Specified by:
    
    visitLSHR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLSHR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLSTORE
```
public void visitLSTORE(org.apache.bcel.generic.LSTORE o)
```
    Specified by:
    
    visitLSTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLSTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLSUB
```
public void visitLSUB(org.apache.bcel.generic.LSUB o)
```
    Specified by:
    
    visitLSUB in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLSUB in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLUSHR
```
public void visitLUSHR(org.apache.bcel.generic.LUSHR o)
```
    Specified by:
    
    visitLUSHR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLUSHR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitLXOR
```
public void visitLXOR(org.apache.bcel.generic.LXOR o)
```
    Specified by:
    
    visitLXOR in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitLXOR in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitMONITORENTER
```
public void visitMONITORENTER(org.apache.bcel.generic.MONITORENTER o)
```
    Specified by:
    
    visitMONITORENTER in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitMONITORENTER in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitMONITOREXIT
```
public void visitMONITOREXIT(org.apache.bcel.generic.MONITOREXIT o)
```
    Specified by:
    
    visitMONITOREXIT in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitMONITOREXIT in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitMULTIANEWARRAY
```
public void visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY o)
```
    Specified by:
    
    visitMULTIANEWARRAY in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitMULTIANEWARRAY in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitNEW
```
public void visitNEW(org.apache.bcel.generic.NEW o)
```
    Specified by:
    
    visitNEW in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitNEW in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitNEWARRAY
```
public void visitNEWARRAY(org.apache.bcel.generic.NEWARRAY o)
```
    Specified by:
    
    visitNEWARRAY in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitNEWARRAY in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitNOP
```
public void visitNOP(org.apache.bcel.generic.NOP o)
```
    Specified by:
    
    visitNOP in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitNOP in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitPOP
```
public void visitPOP(org.apache.bcel.generic.POP o)
```
    Specified by:
    
    visitPOP in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitPOP in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitPOP2
```
public void visitPOP2(org.apache.bcel.generic.POP2 o)
```
    Specified by:
    
    visitPOP2 in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitPOP2 in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitPUTFIELD
```
public void visitPUTFIELD(org.apache.bcel.generic.PUTFIELD o)
```
    Specified by:
    
    visitPUTFIELD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitPUTFIELD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitPUTSTATIC
```
public void visitPUTSTATIC(org.apache.bcel.generic.PUTSTATIC o)
```
    Specified by:
    
    visitPUTSTATIC in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitPUTSTATIC in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitRET
```
public void visitRET(org.apache.bcel.generic.RET o)
```
    Specified by:
    
    visitRET in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitRET in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitRETURN
```
public void visitRETURN(org.apache.bcel.generic.RETURN o)
```
    Specified by:
    
    visitRETURN in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitRETURN in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitSALOAD
```
public void visitSALOAD(org.apache.bcel.generic.SALOAD o)
```
    Specified by:
    
    visitSALOAD in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitSALOAD in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitSASTORE
```
public void visitSASTORE(org.apache.bcel.generic.SASTORE o)
```
    Specified by:
    
    visitSASTORE in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitSASTORE in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitSIPUSH
```
public void visitSIPUSH(org.apache.bcel.generic.SIPUSH o)
```
    Specified by:
    
    visitSIPUSH in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitSIPUSH in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitSWAP
```
public void visitSWAP(org.apache.bcel.generic.SWAP o)
```
    Specified by:
    
    visitSWAP in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitSWAP in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
  - visitTABLESWITCH
```
public void visitTABLESWITCH(org.apache.bcel.generic.TABLESWITCH o)
```
    Specified by:
    
    visitTABLESWITCH in interface org.apache.bcel.generic.Visitor
    
    Overrides:
    
    visitTABLESWITCH in class org.apache.bcel.verifier.structurals.InstConstraintVisitor

Class LimitedConstraintVisitor

Constructor Summary

Method Summary

Methods inherited from class org.apache.bcel.generic.EmptyVisitor

Methods inherited from class java.lang.Object

Constructor Detail

LimitedConstraintVisitor

Method Detail

setFrame

setConstantPoolGen

setMethodGen

visitLoadClass

visitStackConsumer

visitStackProducer

visitCPInstruction

visitFieldInstruction

visitInvokeInstruction

visitStackInstruction

visitLocalVariableInstruction

visitLoadInstruction

visitStoreInstruction

visitReturnInstruction

visitAALOAD

visitAASTORE

visitACONST_NULL

visitALOAD

visitANEWARRAY

visitARETURN

visitARRAYLENGTH

visitASTORE

visitATHROW

visitBALOAD

visitBASTORE

visitBIPUSH

visitBREAKPOINT

visitCALOAD

visitCASTORE

visitCHECKCAST

visitD2F

visitD2I

visitD2L

visitDADD

visitDALOAD

visitDASTORE

visitDCMPG

visitDCMPL

visitDCONST

visitDDIV

visitDLOAD

visitDMUL

visitDNEG

visitDREM

visitDRETURN

visitDSTORE

visitDSUB

visitDUP

visitDUP_X1

visitDUP_X2

visitDUP2

visitDUP2_X1

visitDUP2_X2

visitF2D

visitF2I

visitF2L

visitFADD

visitFALOAD

visitFASTORE

visitFCMPG

visitFCMPL

visitFCONST

visitFDIV

visitFLOAD

visitFMUL

visitFNEG

visitFREM

visitFRETURN

visitFSTORE

visitFSUB

visitGETFIELD

visitGETSTATIC