Class 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.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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 Detail

      • NoConstraintsVisitor

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

      • 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