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