org.apache.bcel.verifier.structurals

Class InstConstraintVisitor

public class InstConstraintVisitor extends EmptyVisitor implements Visitor

A Visitor class testing for valid preconditions of JVM instructions. The instance of this class will throw a StructuralCodeConstraintException instance if an instruction is visitXXX()ed which has preconditions that are not satisfied. TODO: Currently, the JVM's behaviour concerning monitors (MONITORENTER, MONITOREXIT) is not modeled in JustIce.

See Also: StructuralCodeConstraintException LinkingConstraintException

Constructor Summary
InstConstraintVisitor()
The constructor.
Method Summary
voidsetConstantPoolGen(ConstantPoolGen cpg)
Sets the ConstantPoolGen instance needed for constraint checking prior to execution.
voidsetFrame(Frame f)
This returns the single instance of the InstConstraintVisitor class.
voidsetMethodGen(MethodGen mg)
Sets the MethodGen instance needed for constraint checking prior to execution.
voidvisitAALOAD(AALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitAASTORE(AASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitACONST_NULL(ACONST_NULL o)
Ensures the specific preconditions of the said instruction.
voidvisitALOAD(ALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitANEWARRAY(ANEWARRAY o)
Ensures the specific preconditions of the said instruction.
voidvisitARETURN(ARETURN o)
Ensures the specific preconditions of the said instruction.
voidvisitARRAYLENGTH(ARRAYLENGTH o)
Ensures the specific preconditions of the said instruction.
voidvisitASTORE(ASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitATHROW(ATHROW o)
Ensures the specific preconditions of the said instruction.
voidvisitBALOAD(BALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitBASTORE(BASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitBIPUSH(BIPUSH o)
Ensures the specific preconditions of the said instruction.
voidvisitBREAKPOINT(BREAKPOINT o)
Ensures the specific preconditions of the said instruction.
voidvisitCALOAD(CALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitCASTORE(CASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitCHECKCAST(CHECKCAST o)
Ensures the specific preconditions of the said instruction.
voidvisitCPInstruction(CPInstruction o)
Ensures the general preconditions of a CPInstruction instance.
voidvisitD2F(D2F o)
Ensures the specific preconditions of the said instruction.
voidvisitD2I(D2I o)
Ensures the specific preconditions of the said instruction.
voidvisitD2L(D2L o)
Ensures the specific preconditions of the said instruction.
voidvisitDADD(DADD o)
Ensures the specific preconditions of the said instruction.
voidvisitDALOAD(DALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitDASTORE(DASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitDCMPG(DCMPG o)
Ensures the specific preconditions of the said instruction.
voidvisitDCMPL(DCMPL o)
Ensures the specific preconditions of the said instruction.
voidvisitDCONST(DCONST o)
Ensures the specific preconditions of the said instruction.
voidvisitDDIV(DDIV o)
Ensures the specific preconditions of the said instruction.
voidvisitDLOAD(DLOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitDMUL(DMUL o)
Ensures the specific preconditions of the said instruction.
voidvisitDNEG(DNEG o)
Ensures the specific preconditions of the said instruction.
voidvisitDREM(DREM o)
Ensures the specific preconditions of the said instruction.
voidvisitDRETURN(DRETURN o)
Ensures the specific preconditions of the said instruction.
voidvisitDSTORE(DSTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitDSUB(DSUB o)
Ensures the specific preconditions of the said instruction.
voidvisitDUP(DUP o)
Ensures the specific preconditions of the said instruction.
voidvisitDUP2(DUP2 o)
Ensures the specific preconditions of the said instruction.
voidvisitDUP2_X1(DUP2_X1 o)
Ensures the specific preconditions of the said instruction.
voidvisitDUP2_X2(DUP2_X2 o)
Ensures the specific preconditions of the said instruction.
voidvisitDUP_X1(DUP_X1 o)
Ensures the specific preconditions of the said instruction.
voidvisitDUP_X2(DUP_X2 o)
Ensures the specific preconditions of the said instruction.
voidvisitF2D(F2D o)
Ensures the specific preconditions of the said instruction.
voidvisitF2I(F2I o)
Ensures the specific preconditions of the said instruction.
voidvisitF2L(F2L o)
Ensures the specific preconditions of the said instruction.
voidvisitFADD(FADD o)
Ensures the specific preconditions of the said instruction.
voidvisitFALOAD(FALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitFASTORE(FASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitFCMPG(FCMPG o)
Ensures the specific preconditions of the said instruction.
voidvisitFCMPL(FCMPL o)
Ensures the specific preconditions of the said instruction.
voidvisitFCONST(FCONST o)
Ensures the specific preconditions of the said instruction.
voidvisitFDIV(FDIV o)
Ensures the specific preconditions of the said instruction.
voidvisitFieldInstruction(FieldInstruction o)
Ensures the general preconditions of a FieldInstruction instance.
voidvisitFLOAD(FLOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitFMUL(FMUL o)
Ensures the specific preconditions of the said instruction.
voidvisitFNEG(FNEG o)
Ensures the specific preconditions of the said instruction.
voidvisitFREM(FREM o)
Ensures the specific preconditions of the said instruction.
voidvisitFRETURN(FRETURN o)
Ensures the specific preconditions of the said instruction.
voidvisitFSTORE(FSTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitFSUB(FSUB o)
Ensures the specific preconditions of the said instruction.
voidvisitGETFIELD(GETFIELD o)
Ensures the specific preconditions of the said instruction.
voidvisitGETSTATIC(GETSTATIC o)
Ensures the specific preconditions of the said instruction.
voidvisitGOTO(GOTO o)
Ensures the specific preconditions of the said instruction.
voidvisitGOTO_W(GOTO_W o)
Ensures the specific preconditions of the said instruction.
voidvisitI2B(I2B o)
Ensures the specific preconditions of the said instruction.
voidvisitI2C(I2C o)
Ensures the specific preconditions of the said instruction.
voidvisitI2D(I2D o)
Ensures the specific preconditions of the said instruction.
voidvisitI2F(I2F o)
Ensures the specific preconditions of the said instruction.
voidvisitI2L(I2L o)
Ensures the specific preconditions of the said instruction.
voidvisitI2S(I2S o)
Ensures the specific preconditions of the said instruction.
voidvisitIADD(IADD o)
Ensures the specific preconditions of the said instruction.
voidvisitIALOAD(IALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitIAND(IAND o)
Ensures the specific preconditions of the said instruction.
voidvisitIASTORE(IASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitICONST(ICONST o)
Ensures the specific preconditions of the said instruction.
voidvisitIDIV(IDIV o)
Ensures the specific preconditions of the said instruction.
voidvisitIFEQ(IFEQ o)
Ensures the specific preconditions of the said instruction.
voidvisitIFGE(IFGE o)
Ensures the specific preconditions of the said instruction.
voidvisitIFGT(IFGT o)
Ensures the specific preconditions of the said instruction.
voidvisitIFLE(IFLE o)
Ensures the specific preconditions of the said instruction.
voidvisitIFLT(IFLT o)
Ensures the specific preconditions of the said instruction.
voidvisitIFNE(IFNE o)
Ensures the specific preconditions of the said instruction.
voidvisitIFNONNULL(IFNONNULL o)
Ensures the specific preconditions of the said instruction.
voidvisitIFNULL(IFNULL o)
Ensures the specific preconditions of the said instruction.
voidvisitIF_ACMPEQ(IF_ACMPEQ o)
Ensures the specific preconditions of the said instruction.
voidvisitIF_ACMPNE(IF_ACMPNE o)
Ensures the specific preconditions of the said instruction.
voidvisitIF_ICMPEQ(IF_ICMPEQ o)
Ensures the specific preconditions of the said instruction.
voidvisitIF_ICMPGE(IF_ICMPGE o)
Ensures the specific preconditions of the said instruction.
voidvisitIF_ICMPGT(IF_ICMPGT o)
Ensures the specific preconditions of the said instruction.
voidvisitIF_ICMPLE(IF_ICMPLE o)
Ensures the specific preconditions of the said instruction.
voidvisitIF_ICMPLT(IF_ICMPLT o)
Ensures the specific preconditions of the said instruction.
voidvisitIF_ICMPNE(IF_ICMPNE o)
Ensures the specific preconditions of the said instruction.
voidvisitIINC(IINC o)
Ensures the specific preconditions of the said instruction.
voidvisitILOAD(ILOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitIMPDEP1(IMPDEP1 o)
Ensures the specific preconditions of the said instruction.
voidvisitIMPDEP2(IMPDEP2 o)
Ensures the specific preconditions of the said instruction.
voidvisitIMUL(IMUL o)
Ensures the specific preconditions of the said instruction.
voidvisitInvokeInstruction(InvokeInstruction o)
Ensures the general preconditions of an InvokeInstruction instance.
voidvisitINEG(INEG o)
Ensures the specific preconditions of the said instruction.
voidvisitINSTANCEOF(INSTANCEOF o)
Ensures the specific preconditions of the said instruction.
voidvisitINVOKEINTERFACE(INVOKEINTERFACE o)
Ensures the specific preconditions of the said instruction.
voidvisitINVOKESPECIAL(INVOKESPECIAL o)
Ensures the specific preconditions of the said instruction.
voidvisitINVOKESTATIC(INVOKESTATIC o)
Ensures the specific preconditions of the said instruction.
voidvisitINVOKEVIRTUAL(INVOKEVIRTUAL o)
Ensures the specific preconditions of the said instruction.
voidvisitIOR(IOR o)
Ensures the specific preconditions of the said instruction.
voidvisitIREM(IREM o)
Ensures the specific preconditions of the said instruction.
voidvisitIRETURN(IRETURN o)
Ensures the specific preconditions of the said instruction.
voidvisitISHL(ISHL o)
Ensures the specific preconditions of the said instruction.
voidvisitISHR(ISHR o)
Ensures the specific preconditions of the said instruction.
voidvisitISTORE(ISTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitISUB(ISUB o)
Ensures the specific preconditions of the said instruction.
voidvisitIUSHR(IUSHR o)
Ensures the specific preconditions of the said instruction.
voidvisitIXOR(IXOR o)
Ensures the specific preconditions of the said instruction.
voidvisitJSR(JSR o)
Ensures the specific preconditions of the said instruction.
voidvisitJSR_W(JSR_W o)
Ensures the specific preconditions of the said instruction.
voidvisitL2D(L2D o)
Ensures the specific preconditions of the said instruction.
voidvisitL2F(L2F o)
Ensures the specific preconditions of the said instruction.
voidvisitL2I(L2I o)
Ensures the specific preconditions of the said instruction.
voidvisitLADD(LADD o)
Ensures the specific preconditions of the said instruction.
voidvisitLALOAD(LALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitLAND(LAND o)
Ensures the specific preconditions of the said instruction.
voidvisitLASTORE(LASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitLCMP(LCMP o)
Ensures the specific preconditions of the said instruction.
voidvisitLCONST(LCONST o)
Ensures the specific preconditions of the said instruction.
voidvisitLDC(LDC o)
Ensures the specific preconditions of the said instruction.
voidvisitLDC2_W(LDC2_W o)
Ensures the specific preconditions of the said instruction.
voidvisitLDC_W(LDC_W o)
Ensures the specific preconditions of the said instruction.
voidvisitLDIV(LDIV o)
Ensures the specific preconditions of the said instruction.
voidvisitLLOAD(LLOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitLMUL(LMUL o)
Ensures the specific preconditions of the said instruction.
voidvisitLNEG(LNEG o)
Ensures the specific preconditions of the said instruction.
voidvisitLoadClass(LoadClass o)
Assures the generic preconditions of a LoadClass instance.
voidvisitLoadInstruction(LoadInstruction o)
Assures the generic preconditions of a LoadInstruction instance.
voidvisitLocalVariableInstruction(LocalVariableInstruction o)
Assures the generic preconditions of a LocalVariableInstruction instance.
voidvisitLOOKUPSWITCH(LOOKUPSWITCH o)
Ensures the specific preconditions of the said instruction.
voidvisitLOR(LOR o)
Ensures the specific preconditions of the said instruction.
voidvisitLREM(LREM o)
Ensures the specific preconditions of the said instruction.
voidvisitLRETURN(LRETURN o)
Ensures the specific preconditions of the said instruction.
voidvisitLSHL(LSHL o)
Ensures the specific preconditions of the said instruction.
voidvisitLSHR(LSHR o)
Ensures the specific preconditions of the said instruction.
voidvisitLSTORE(LSTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitLSUB(LSUB o)
Ensures the specific preconditions of the said instruction.
voidvisitLUSHR(LUSHR o)
Ensures the specific preconditions of the said instruction.
voidvisitLXOR(LXOR o)
Ensures the specific preconditions of the said instruction.
voidvisitMONITORENTER(MONITORENTER o)
Ensures the specific preconditions of the said instruction.
voidvisitMONITOREXIT(MONITOREXIT o)
Ensures the specific preconditions of the said instruction.
voidvisitMULTIANEWARRAY(MULTIANEWARRAY o)
Ensures the specific preconditions of the said instruction.
voidvisitNEW(NEW o)
Ensures the specific preconditions of the said instruction.
voidvisitNEWARRAY(NEWARRAY o)
Ensures the specific preconditions of the said instruction.
voidvisitNOP(NOP o)
Ensures the specific preconditions of the said instruction.
voidvisitPOP(POP o)
Ensures the specific preconditions of the said instruction.
voidvisitPOP2(POP2 o)
Ensures the specific preconditions of the said instruction.
voidvisitPUTFIELD(PUTFIELD o)
Ensures the specific preconditions of the said instruction.
voidvisitPUTSTATIC(PUTSTATIC o)
Ensures the specific preconditions of the said instruction.
voidvisitReturnInstruction(ReturnInstruction o)
Assures the generic preconditions of a ReturnInstruction instance.
voidvisitRET(RET o)
Ensures the specific preconditions of the said instruction.
voidvisitRETURN(RETURN o)
Ensures the specific preconditions of the said instruction.
voidvisitSALOAD(SALOAD o)
Ensures the specific preconditions of the said instruction.
voidvisitSASTORE(SASTORE o)
Ensures the specific preconditions of the said instruction.
voidvisitSIPUSH(SIPUSH o)
Ensures the specific preconditions of the said instruction.
voidvisitStackConsumer(StackConsumer o)
Ensures the general preconditions of a StackConsumer instance.
voidvisitStackInstruction(StackInstruction o)
Ensures the general preconditions of a StackInstruction instance.
voidvisitStackProducer(StackProducer o)
Ensures the general preconditions of a StackProducer instance.
voidvisitStoreInstruction(StoreInstruction o)
Assures the generic preconditions of a StoreInstruction instance.
voidvisitSWAP(SWAP o)
Ensures the specific preconditions of the said instruction.
voidvisitTABLESWITCH(TABLESWITCH o)
Ensures the specific preconditions of the said instruction.

Constructor Detail

InstConstraintVisitor

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

Method Detail

setConstantPoolGen

public void setConstantPoolGen(ConstantPoolGen cpg)
Sets the ConstantPoolGen instance needed for constraint checking prior to execution.

setFrame

public void setFrame(Frame f)
This returns the single instance of the InstConstraintVisitor class. To operate correctly, other values must have been set before actually using the instance. Use this method for performance reasons.

See Also: InstConstraintVisitor InstConstraintVisitor

setMethodGen

public void setMethodGen(MethodGen mg)
Sets the MethodGen instance needed for constraint checking prior to execution.

visitAALOAD

public void visitAALOAD(AALOAD o)
Ensures the specific preconditions of the said instruction.

visitAASTORE

public void visitAASTORE(AASTORE o)
Ensures the specific preconditions of the said instruction.

visitACONST_NULL

public void visitACONST_NULL(ACONST_NULL o)
Ensures the specific preconditions of the said instruction.

visitALOAD

public void visitALOAD(ALOAD o)
Ensures the specific preconditions of the said instruction.

visitANEWARRAY

public void visitANEWARRAY(ANEWARRAY o)
Ensures the specific preconditions of the said instruction.

visitARETURN

public void visitARETURN(ARETURN o)
Ensures the specific preconditions of the said instruction.

visitARRAYLENGTH

public void visitARRAYLENGTH(ARRAYLENGTH o)
Ensures the specific preconditions of the said instruction.

visitASTORE

public void visitASTORE(ASTORE o)
Ensures the specific preconditions of the said instruction.

visitATHROW

public void visitATHROW(ATHROW o)
Ensures the specific preconditions of the said instruction.

visitBALOAD

public void visitBALOAD(BALOAD o)
Ensures the specific preconditions of the said instruction.

visitBASTORE

public void visitBASTORE(BASTORE o)
Ensures the specific preconditions of the said instruction.

visitBIPUSH

public void visitBIPUSH(BIPUSH o)
Ensures the specific preconditions of the said instruction.

visitBREAKPOINT

public void visitBREAKPOINT(BREAKPOINT o)
Ensures the specific preconditions of the said instruction.

visitCALOAD

public void visitCALOAD(CALOAD o)
Ensures the specific preconditions of the said instruction.

visitCASTORE

public void visitCASTORE(CASTORE o)
Ensures the specific preconditions of the said instruction.

visitCHECKCAST

public void visitCHECKCAST(CHECKCAST o)
Ensures the specific preconditions of the said instruction.

visitCPInstruction

public void visitCPInstruction(CPInstruction o)
Ensures the general preconditions of a CPInstruction instance.

visitD2F

public void visitD2F(D2F o)
Ensures the specific preconditions of the said instruction.

visitD2I

public void visitD2I(D2I o)
Ensures the specific preconditions of the said instruction.

visitD2L

public void visitD2L(D2L o)
Ensures the specific preconditions of the said instruction.

visitDADD

public void visitDADD(DADD o)
Ensures the specific preconditions of the said instruction.

visitDALOAD

public void visitDALOAD(DALOAD o)
Ensures the specific preconditions of the said instruction.

visitDASTORE

public void visitDASTORE(DASTORE o)
Ensures the specific preconditions of the said instruction.

visitDCMPG

public void visitDCMPG(DCMPG o)
Ensures the specific preconditions of the said instruction.

visitDCMPL

public void visitDCMPL(DCMPL o)
Ensures the specific preconditions of the said instruction.

visitDCONST

public void visitDCONST(DCONST o)
Ensures the specific preconditions of the said instruction.

visitDDIV

public void visitDDIV(DDIV o)
Ensures the specific preconditions of the said instruction.

visitDLOAD

public void visitDLOAD(DLOAD o)
Ensures the specific preconditions of the said instruction.

visitDMUL

public void visitDMUL(DMUL o)
Ensures the specific preconditions of the said instruction.

visitDNEG

public void visitDNEG(DNEG o)
Ensures the specific preconditions of the said instruction.

visitDREM

public void visitDREM(DREM o)
Ensures the specific preconditions of the said instruction.

visitDRETURN

public void visitDRETURN(DRETURN o)
Ensures the specific preconditions of the said instruction.

visitDSTORE

public void visitDSTORE(DSTORE o)
Ensures the specific preconditions of the said instruction.

visitDSUB

public void visitDSUB(DSUB o)
Ensures the specific preconditions of the said instruction.

visitDUP

public void visitDUP(DUP o)
Ensures the specific preconditions of the said instruction.

visitDUP2

public void visitDUP2(DUP2 o)
Ensures the specific preconditions of the said instruction.

visitDUP2_X1

public void visitDUP2_X1(DUP2_X1 o)
Ensures the specific preconditions of the said instruction.

visitDUP2_X2

public void visitDUP2_X2(DUP2_X2 o)
Ensures the specific preconditions of the said instruction.

visitDUP_X1

public void visitDUP_X1(DUP_X1 o)
Ensures the specific preconditions of the said instruction.

visitDUP_X2

public void visitDUP_X2(DUP_X2 o)
Ensures the specific preconditions of the said instruction.

visitF2D

public void visitF2D(F2D o)
Ensures the specific preconditions of the said instruction.

visitF2I

public void visitF2I(F2I o)
Ensures the specific preconditions of the said instruction.

visitF2L

public void visitF2L(F2L o)
Ensures the specific preconditions of the said instruction.

visitFADD

public void visitFADD(FADD o)
Ensures the specific preconditions of the said instruction.

visitFALOAD

public void visitFALOAD(FALOAD o)
Ensures the specific preconditions of the said instruction.

visitFASTORE

public void visitFASTORE(FASTORE o)
Ensures the specific preconditions of the said instruction.

visitFCMPG

public void visitFCMPG(FCMPG o)
Ensures the specific preconditions of the said instruction.

visitFCMPL

public void visitFCMPL(FCMPL o)
Ensures the specific preconditions of the said instruction.

visitFCONST

public void visitFCONST(FCONST o)
Ensures the specific preconditions of the said instruction.

visitFDIV

public void visitFDIV(FDIV o)
Ensures the specific preconditions of the said instruction.

visitFieldInstruction

public void visitFieldInstruction(FieldInstruction o)
Ensures the general preconditions of a FieldInstruction instance.

visitFLOAD

public void visitFLOAD(FLOAD o)
Ensures the specific preconditions of the said instruction.

visitFMUL

public void visitFMUL(FMUL o)
Ensures the specific preconditions of the said instruction.

visitFNEG

public void visitFNEG(FNEG o)
Ensures the specific preconditions of the said instruction.

visitFREM

public void visitFREM(FREM o)
Ensures the specific preconditions of the said instruction.

visitFRETURN

public void visitFRETURN(FRETURN o)
Ensures the specific preconditions of the said instruction.

visitFSTORE

public void visitFSTORE(FSTORE o)
Ensures the specific preconditions of the said instruction.

visitFSUB

public void visitFSUB(FSUB o)
Ensures the specific preconditions of the said instruction.

visitGETFIELD

public void visitGETFIELD(GETFIELD o)
Ensures the specific preconditions of the said instruction.

visitGETSTATIC

public void visitGETSTATIC(GETSTATIC o)
Ensures the specific preconditions of the said instruction.

visitGOTO

public void visitGOTO(GOTO o)
Ensures the specific preconditions of the said instruction.

visitGOTO_W

public void visitGOTO_W(GOTO_W o)
Ensures the specific preconditions of the said instruction.

visitI2B

public void visitI2B(I2B o)
Ensures the specific preconditions of the said instruction.

visitI2C

public void visitI2C(I2C o)
Ensures the specific preconditions of the said instruction.

visitI2D

public void visitI2D(I2D o)
Ensures the specific preconditions of the said instruction.

visitI2F

public void visitI2F(I2F o)
Ensures the specific preconditions of the said instruction.

visitI2L

public void visitI2L(I2L o)
Ensures the specific preconditions of the said instruction.

visitI2S

public void visitI2S(I2S o)
Ensures the specific preconditions of the said instruction.

visitIADD

public void visitIADD(IADD o)
Ensures the specific preconditions of the said instruction.

visitIALOAD

public void visitIALOAD(IALOAD o)
Ensures the specific preconditions of the said instruction.

visitIAND

public void visitIAND(IAND o)
Ensures the specific preconditions of the said instruction.

visitIASTORE

public void visitIASTORE(IASTORE o)
Ensures the specific preconditions of the said instruction.

visitICONST

public void visitICONST(ICONST o)
Ensures the specific preconditions of the said instruction.

visitIDIV

public void visitIDIV(IDIV o)
Ensures the specific preconditions of the said instruction.

visitIFEQ

public void visitIFEQ(IFEQ o)
Ensures the specific preconditions of the said instruction.

visitIFGE

public void visitIFGE(IFGE o)
Ensures the specific preconditions of the said instruction.

visitIFGT

public void visitIFGT(IFGT o)
Ensures the specific preconditions of the said instruction.

visitIFLE

public void visitIFLE(IFLE o)
Ensures the specific preconditions of the said instruction.

visitIFLT

public void visitIFLT(IFLT o)
Ensures the specific preconditions of the said instruction.

visitIFNE

public void visitIFNE(IFNE o)
Ensures the specific preconditions of the said instruction.

visitIFNONNULL

public void visitIFNONNULL(IFNONNULL o)
Ensures the specific preconditions of the said instruction.

visitIFNULL

public void visitIFNULL(IFNULL o)
Ensures the specific preconditions of the said instruction.

visitIF_ACMPEQ

public void visitIF_ACMPEQ(IF_ACMPEQ o)
Ensures the specific preconditions of the said instruction.

visitIF_ACMPNE

public void visitIF_ACMPNE(IF_ACMPNE o)
Ensures the specific preconditions of the said instruction.

visitIF_ICMPEQ

public void visitIF_ICMPEQ(IF_ICMPEQ o)
Ensures the specific preconditions of the said instruction.

visitIF_ICMPGE

public void visitIF_ICMPGE(IF_ICMPGE o)
Ensures the specific preconditions of the said instruction.

visitIF_ICMPGT

public void visitIF_ICMPGT(IF_ICMPGT o)
Ensures the specific preconditions of the said instruction.

visitIF_ICMPLE

public void visitIF_ICMPLE(IF_ICMPLE o)
Ensures the specific preconditions of the said instruction.

visitIF_ICMPLT

public void visitIF_ICMPLT(IF_ICMPLT o)
Ensures the specific preconditions of the said instruction.

visitIF_ICMPNE

public void visitIF_ICMPNE(IF_ICMPNE o)
Ensures the specific preconditions of the said instruction.

visitIINC

public void visitIINC(IINC o)
Ensures the specific preconditions of the said instruction.

visitILOAD

public void visitILOAD(ILOAD o)
Ensures the specific preconditions of the said instruction.

visitIMPDEP1

public void visitIMPDEP1(IMPDEP1 o)
Ensures the specific preconditions of the said instruction.

visitIMPDEP2

public void visitIMPDEP2(IMPDEP2 o)
Ensures the specific preconditions of the said instruction.

visitIMUL

public void visitIMUL(IMUL o)
Ensures the specific preconditions of the said instruction.

visitInvokeInstruction

public void visitInvokeInstruction(InvokeInstruction o)
Ensures the general preconditions of an InvokeInstruction instance.

visitINEG

public void visitINEG(INEG o)
Ensures the specific preconditions of the said instruction.

visitINSTANCEOF

public void visitINSTANCEOF(INSTANCEOF o)
Ensures the specific preconditions of the said instruction.

visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(INVOKEINTERFACE o)
Ensures the specific preconditions of the said instruction.

visitINVOKESPECIAL

public void visitINVOKESPECIAL(INVOKESPECIAL o)
Ensures the specific preconditions of the said instruction.

visitINVOKESTATIC

public void visitINVOKESTATIC(INVOKESTATIC o)
Ensures the specific preconditions of the said instruction.

visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(INVOKEVIRTUAL o)
Ensures the specific preconditions of the said instruction.

visitIOR

public void visitIOR(IOR o)
Ensures the specific preconditions of the said instruction.

visitIREM

public void visitIREM(IREM o)
Ensures the specific preconditions of the said instruction.

visitIRETURN

public void visitIRETURN(IRETURN o)
Ensures the specific preconditions of the said instruction.

visitISHL

public void visitISHL(ISHL o)
Ensures the specific preconditions of the said instruction.

visitISHR

public void visitISHR(ISHR o)
Ensures the specific preconditions of the said instruction.

visitISTORE

public void visitISTORE(ISTORE o)
Ensures the specific preconditions of the said instruction.

visitISUB

public void visitISUB(ISUB o)
Ensures the specific preconditions of the said instruction.

visitIUSHR

public void visitIUSHR(IUSHR o)
Ensures the specific preconditions of the said instruction.

visitIXOR

public void visitIXOR(IXOR o)
Ensures the specific preconditions of the said instruction.

visitJSR

public void visitJSR(JSR o)
Ensures the specific preconditions of the said instruction.

visitJSR_W

public void visitJSR_W(JSR_W o)
Ensures the specific preconditions of the said instruction.

visitL2D

public void visitL2D(L2D o)
Ensures the specific preconditions of the said instruction.

visitL2F

public void visitL2F(L2F o)
Ensures the specific preconditions of the said instruction.

visitL2I

public void visitL2I(L2I o)
Ensures the specific preconditions of the said instruction.

visitLADD

public void visitLADD(LADD o)
Ensures the specific preconditions of the said instruction.

visitLALOAD

public void visitLALOAD(LALOAD o)
Ensures the specific preconditions of the said instruction.

visitLAND

public void visitLAND(LAND o)
Ensures the specific preconditions of the said instruction.

visitLASTORE

public void visitLASTORE(LASTORE o)
Ensures the specific preconditions of the said instruction.

visitLCMP

public void visitLCMP(LCMP o)
Ensures the specific preconditions of the said instruction.

visitLCONST

public void visitLCONST(LCONST o)
Ensures the specific preconditions of the said instruction.

visitLDC

public void visitLDC(LDC o)
Ensures the specific preconditions of the said instruction.

visitLDC2_W

public void visitLDC2_W(LDC2_W o)
Ensures the specific preconditions of the said instruction.

visitLDC_W

public void visitLDC_W(LDC_W o)
Ensures the specific preconditions of the said instruction.

visitLDIV

public void visitLDIV(LDIV o)
Ensures the specific preconditions of the said instruction.

visitLLOAD

public void visitLLOAD(LLOAD o)
Ensures the specific preconditions of the said instruction.

visitLMUL

public void visitLMUL(LMUL o)
Ensures the specific preconditions of the said instruction.

visitLNEG

public void visitLNEG(LNEG o)
Ensures the specific preconditions of the said instruction.

visitLoadClass

public void visitLoadClass(LoadClass o)
Assures the generic preconditions of a LoadClass instance. The referenced class is loaded and pass2-verified.

visitLoadInstruction

public void visitLoadInstruction(LoadInstruction o)
Assures the generic preconditions of a LoadInstruction instance.

visitLocalVariableInstruction

public void visitLocalVariableInstruction(LocalVariableInstruction o)
Assures the generic preconditions of a LocalVariableInstruction instance. That is, the index of the local variable must be valid.

visitLOOKUPSWITCH

public void visitLOOKUPSWITCH(LOOKUPSWITCH o)
Ensures the specific preconditions of the said instruction.

visitLOR

public void visitLOR(LOR o)
Ensures the specific preconditions of the said instruction.

visitLREM

public void visitLREM(LREM o)
Ensures the specific preconditions of the said instruction.

visitLRETURN

public void visitLRETURN(LRETURN o)
Ensures the specific preconditions of the said instruction.

visitLSHL

public void visitLSHL(LSHL o)
Ensures the specific preconditions of the said instruction.

visitLSHR

public void visitLSHR(LSHR o)
Ensures the specific preconditions of the said instruction.

visitLSTORE

public void visitLSTORE(LSTORE o)
Ensures the specific preconditions of the said instruction.

visitLSUB

public void visitLSUB(LSUB o)
Ensures the specific preconditions of the said instruction.

visitLUSHR

public void visitLUSHR(LUSHR o)
Ensures the specific preconditions of the said instruction.

visitLXOR

public void visitLXOR(LXOR o)
Ensures the specific preconditions of the said instruction.

visitMONITORENTER

public void visitMONITORENTER(MONITORENTER o)
Ensures the specific preconditions of the said instruction.

visitMONITOREXIT

public void visitMONITOREXIT(MONITOREXIT o)
Ensures the specific preconditions of the said instruction.

visitMULTIANEWARRAY

public void visitMULTIANEWARRAY(MULTIANEWARRAY o)
Ensures the specific preconditions of the said instruction.

visitNEW

public void visitNEW(NEW o)
Ensures the specific preconditions of the said instruction.

visitNEWARRAY

public void visitNEWARRAY(NEWARRAY o)
Ensures the specific preconditions of the said instruction.

visitNOP

public void visitNOP(NOP o)
Ensures the specific preconditions of the said instruction.

visitPOP

public void visitPOP(POP o)
Ensures the specific preconditions of the said instruction.

visitPOP2

public void visitPOP2(POP2 o)
Ensures the specific preconditions of the said instruction.

visitPUTFIELD

public void visitPUTFIELD(PUTFIELD o)
Ensures the specific preconditions of the said instruction.

visitPUTSTATIC

public void visitPUTSTATIC(PUTSTATIC o)
Ensures the specific preconditions of the said instruction.

visitReturnInstruction

public void visitReturnInstruction(ReturnInstruction o)
Assures the generic preconditions of a ReturnInstruction instance.

visitRET

public void visitRET(RET o)
Ensures the specific preconditions of the said instruction.

visitRETURN

public void visitRETURN(RETURN o)
Ensures the specific preconditions of the said instruction.

visitSALOAD

public void visitSALOAD(SALOAD o)
Ensures the specific preconditions of the said instruction.

visitSASTORE

public void visitSASTORE(SASTORE o)
Ensures the specific preconditions of the said instruction.

visitSIPUSH

public void visitSIPUSH(SIPUSH o)
Ensures the specific preconditions of the said instruction.

visitStackConsumer

public void visitStackConsumer(StackConsumer o)
Ensures the general preconditions of a StackConsumer instance.

visitStackInstruction

public void visitStackInstruction(StackInstruction o)
Ensures the general preconditions of a StackInstruction instance.

visitStackProducer

public void visitStackProducer(StackProducer o)
Ensures the general preconditions of a StackProducer instance.

visitStoreInstruction

public void visitStoreInstruction(StoreInstruction o)
Assures the generic preconditions of a StoreInstruction instance.

visitSWAP

public void visitSWAP(SWAP o)
Ensures the specific preconditions of the said instruction.

visitTABLESWITCH

public void visitTABLESWITCH(TABLESWITCH o)
Ensures the specific preconditions of the said instruction.