Package org.plumelib.bcelutil

Class NoConstraintsVisitor

java.lang.Object
org.apache.bcel.generic.EmptyVisitor
org.apache.bcel.verifier.structurals.InstConstraintVisitor
org.plumelib.bcelutil.NoConstraintsVisitor
All Implemented Interfaces:
org.apache.bcel.generic.Visitor
public class NoConstraintsVisitor extends org.apache.bcel.verifier.structurals.InstConstraintVisitor
This class is dummy instruction constraint visitor that does no constraint checking at all. It is used by StackVer as a replacement for org.apache.bcel.verifier.structurals.InstConstraintVisitor. InstConstraintVisitor appears to be quite out of date and incorrectly fails on many valid class files. Hence, StackVer assumes the method is valid and is only interested in the result of the symbolic execution in order to capture the state of the local variables and stack at the start of each byte code instruction.

  • Constructor Summary

    Constructors
    Constructor
    Description
    NoConstraintsVisitor()
    The constructor.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    setConstantPoolGen(org.apache.bcel.generic.ConstantPoolGen cpg)
     
    void
    setFrame(org.apache.bcel.verifier.structurals.Frame f)
     
    void
    setMethodGen(org.apache.bcel.generic.MethodGen mg)
     
    void
    visitAALOAD(org.apache.bcel.generic.AALOAD o)
     
    void
    visitAASTORE(org.apache.bcel.generic.AASTORE o)
     
    void
    visitACONST_NULL(org.apache.bcel.generic.ACONST_NULL o)
     
    void
    visitALOAD(org.apache.bcel.generic.ALOAD o)
     
    void
    visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY o)
     
    void
    visitARETURN(org.apache.bcel.generic.ARETURN o)
     
    void
    visitARRAYLENGTH(org.apache.bcel.generic.ARRAYLENGTH o)
     
    void
    visitASTORE(org.apache.bcel.generic.ASTORE o)
     
    void
    visitATHROW(org.apache.bcel.generic.ATHROW o)
     
    void
    visitBALOAD(org.apache.bcel.generic.BALOAD o)
     
    void
    visitBASTORE(org.apache.bcel.generic.BASTORE o)
     
    void
    visitBIPUSH(org.apache.bcel.generic.BIPUSH o)
     
    void
    visitBREAKPOINT(org.apache.bcel.generic.BREAKPOINT o)
     
    void
    visitCALOAD(org.apache.bcel.generic.CALOAD o)
     
    void
    visitCASTORE(org.apache.bcel.generic.CASTORE o)
     
    void
    visitCHECKCAST(org.apache.bcel.generic.CHECKCAST o)
     
    void
    visitCPInstruction(org.apache.bcel.generic.CPInstruction o)
     
    void
    visitD2F(org.apache.bcel.generic.D2F o)
     
    void
    visitD2I(org.apache.bcel.generic.D2I o)
     
    void
    visitD2L(org.apache.bcel.generic.D2L o)
     
    void
    visitDADD(org.apache.bcel.generic.DADD o)
     
    void
    visitDALOAD(org.apache.bcel.generic.DALOAD o)
     
    void
    visitDASTORE(org.apache.bcel.generic.DASTORE o)
     
    void
    visitDCMPG(org.apache.bcel.generic.DCMPG o)
     
    void
    visitDCMPL(org.apache.bcel.generic.DCMPL o)
     
    void
    visitDCONST(org.apache.bcel.generic.DCONST o)
     
    void
    visitDDIV(org.apache.bcel.generic.DDIV o)
     
    void
    visitDLOAD(org.apache.bcel.generic.DLOAD o)
     
    void
    visitDMUL(org.apache.bcel.generic.DMUL o)
     
    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(org.apache.bcel.generic.DUP o)
     
    void
    visitDUP_X1(org.apache.bcel.generic.DUP_X1 o)
     
    void
    visitDUP_X2(org.apache.bcel.generic.DUP_X2 o)
     
    void
    visitDUP2(org.apache.bcel.generic.DUP2 o)
     
    void
    visitDUP2_X1(org.apache.bcel.generic.DUP2_X1 o)
     
    void
    visitDUP2_X2(org.apache.bcel.generic.DUP2_X2 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)
     
    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(org.apache.bcel.generic.GOTO o)
     
    void
    visitGOTO_W(org.apache.bcel.generic.GOTO_W 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)
     
    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(org.apache.bcel.generic.JSR o)
     
    void
    visitJSR_W(org.apache.bcel.generic.JSR_W 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(org.apache.bcel.generic.LDC o)
     
    void
    visitLDC_W(org.apache.bcel.generic.LDC_W 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)
     
    void
    visitLoadInstruction(org.apache.bcel.generic.LoadInstruction o)
     
    void
    visitLocalVariableInstruction(org.apache.bcel.generic.LocalVariableInstruction o)
     
    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)
     
    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)
     
    void
    visitStackInstruction(org.apache.bcel.generic.StackInstruction o)
     
    void
    visitStackProducer(org.apache.bcel.generic.StackProducer o)
     
    void
    visitStoreInstruction(org.apache.bcel.generic.StoreInstruction o)
     
    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 Details

    • NoConstraintsVisitor

      public NoConstraintsVisitor()
      The constructor. Constructs a new instance of this class.

  • Method Details

    • setFrame

      public void setFrame(org.apache.bcel.verifier.structurals.Frame f)
      Overrides:
      setFrame in class org.apache.bcel.verifier.structurals.InstConstraintVisitor

    • setConstantPoolGen

      public void setConstantPoolGen(org.apache.bcel.generic.ConstantPoolGen cpg)
      Overrides:
      setConstantPoolGen in class org.apache.bcel.verifier.structurals.InstConstraintVisitor

    • setMethodGen

      public void setMethodGen(org.apache.bcel.generic.MethodGen mg)
      Overrides:
      setMethodGen in class org.apache.bcel.verifier.structurals.InstConstraintVisitor

    • visitLoadClass

      public void visitLoadClass(org.apache.bcel.generic.LoadClass o)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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)
      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