org.apache.bcel.verifier.structurals

Class InstConstraintVisitor

Implemented Interfaces:
Visitor

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.

Version:
$Id: InstConstraintVisitor.java,v 1.5 2003/02/12 10:15:29 enver Exp $

Author:
Enver Haase

See Also:
StructuralCodeConstraintException, LinkingConstraintException

Nested Class Summary

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
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
visitFieldInstruction(FieldInstruction o)
Ensures the general preconditions of a FieldInstruction instance.
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
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
visitInvokeInstruction(InvokeInstruction o)
Ensures the general preconditions of an InvokeInstruction instance.
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
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
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
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
visitRET(RET o)
Ensures the specific preconditions of the said instruction.
void
visitRETURN(RETURN o)
Ensures the specific preconditions of the said instruction.
void
visitReturnInstruction(ReturnInstruction o)
Assures the generic preconditions of a ReturnInstruction instance.
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
visitSWAP(SWAP 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
visitTABLESWITCH(TABLESWITCH o)
Ensures the specific preconditions of the said instruction.

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

visitAALOAD, visitAASTORE, visitACONST_NULL, visitALOAD, visitANEWARRAY, visitARETURN, visitARRAYLENGTH, visitASTORE, visitATHROW, visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBALOAD, visitBASTORE, visitBIPUSH, visitBREAKPOINT, visitBranchInstruction, visitCALOAD, visitCASTORE, visitCHECKCAST, visitCPInstruction, visitConstantPushInstruction, visitConversionInstruction, visitD2F, visitD2I, visitD2L, visitDADD, visitDALOAD, visitDASTORE, visitDCMPG, visitDCMPL, visitDCONST, visitDDIV, visitDLOAD, visitDMUL, visitDNEG, visitDREM, visitDRETURN, visitDSTORE, visitDSUB, visitDUP, visitDUP2, visitDUP2_X1, visitDUP2_X2, visitDUP_X1, visitDUP_X2, visitExceptionThrower, visitF2D, visitF2I, visitF2L, visitFADD, visitFALOAD, visitFASTORE, visitFCMPG, visitFCMPL, visitFCONST, visitFDIV, visitFLOAD, visitFMUL, visitFNEG, visitFREM, visitFRETURN, visitFSTORE, visitFSUB, visitFieldInstruction, visitFieldOrMethod, visitGETFIELD, visitGETSTATIC, visitGOTO, visitGOTO_W, visitGotoInstruction, visitI2B, visitI2C, visitI2D, visitI2F, visitI2L, visitI2S, visitIADD, visitIALOAD, visitIAND, visitIASTORE, visitICONST, visitIDIV, visitIFEQ, visitIFGE, visitIFGT, visitIFLE, visitIFLT, visitIFNE, visitIFNONNULL, visitIFNULL, visitIF_ACMPEQ, visitIF_ACMPNE, visitIF_ICMPEQ, visitIF_ICMPGE, visitIF_ICMPGT, visitIF_ICMPLE, visitIF_ICMPLT, visitIF_ICMPNE, visitIINC, visitILOAD, visitIMPDEP1, visitIMPDEP2, visitIMUL, visitINEG, visitINSTANCEOF, visitINVOKEINTERFACE, visitINVOKESPECIAL, visitINVOKESTATIC, visitINVOKEVIRTUAL, visitIOR, visitIREM, visitIRETURN, visitISHL, visitISHR, visitISTORE, visitISUB, visitIUSHR, visitIXOR, visitIfInstruction, visitInvokeInstruction, visitJSR, visitJSR_W, visitJsrInstruction, visitL2D, visitL2F, visitL2I, visitLADD, visitLALOAD, visitLAND, visitLASTORE, visitLCMP, visitLCONST, visitLDC, visitLDC2_W, visitLDIV, visitLLOAD, visitLMUL, visitLNEG, visitLOOKUPSWITCH, visitLOR, visitLREM, visitLRETURN, visitLSHL, visitLSHR, visitLSTORE, visitLSUB, visitLUSHR, visitLXOR, visitLoadClass, visitLoadInstruction, visitLocalVariableInstruction, visitMONITORENTER, visitMONITOREXIT, visitMULTIANEWARRAY, visitNEW, visitNEWARRAY, visitNOP, visitPOP, visitPOP2, visitPUTFIELD, visitPUTSTATIC, visitPopInstruction, visitPushInstruction, visitRET, visitRETURN, visitReturnInstruction, visitSALOAD, visitSASTORE, visitSIPUSH, visitSWAP, visitSelect, visitStackConsumer, visitStackInstruction, visitStackProducer, visitStoreInstruction, visitTABLESWITCH, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction

Constructor Details

InstConstraintVisitor

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

Method Details

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:
setConstantPoolGen(ConstantPoolGen cpg), setMethodGen(MethodGen mg)


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.
Specified by:
visitAALOAD in interface Visitor
Overrides:
visitAALOAD in interface EmptyVisitor


visitAASTORE

public void visitAASTORE(AASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitAASTORE in interface Visitor
Overrides:
visitAASTORE in interface EmptyVisitor


visitACONST_NULL

public void visitACONST_NULL(ACONST_NULL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitACONST_NULL in interface Visitor
Overrides:
visitACONST_NULL in interface EmptyVisitor


visitALOAD

public void visitALOAD(ALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitALOAD in interface Visitor
Overrides:
visitALOAD in interface EmptyVisitor


visitANEWARRAY

public void visitANEWARRAY(ANEWARRAY o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitANEWARRAY in interface Visitor
Overrides:
visitANEWARRAY in interface EmptyVisitor


visitARETURN

public void visitARETURN(ARETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitARETURN in interface Visitor
Overrides:
visitARETURN in interface EmptyVisitor


visitARRAYLENGTH

public void visitARRAYLENGTH(ARRAYLENGTH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitARRAYLENGTH in interface Visitor
Overrides:
visitARRAYLENGTH in interface EmptyVisitor


visitASTORE

public void visitASTORE(ASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitASTORE in interface Visitor
Overrides:
visitASTORE in interface EmptyVisitor


visitATHROW

public void visitATHROW(ATHROW o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitATHROW in interface Visitor
Overrides:
visitATHROW in interface EmptyVisitor


visitBALOAD

public void visitBALOAD(BALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitBALOAD in interface Visitor
Overrides:
visitBALOAD in interface EmptyVisitor


visitBASTORE

public void visitBASTORE(BASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitBASTORE in interface Visitor
Overrides:
visitBASTORE in interface EmptyVisitor


visitBIPUSH

public void visitBIPUSH(BIPUSH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitBIPUSH in interface Visitor
Overrides:
visitBIPUSH in interface EmptyVisitor


visitBREAKPOINT

public void visitBREAKPOINT(BREAKPOINT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitBREAKPOINT in interface Visitor
Overrides:
visitBREAKPOINT in interface EmptyVisitor


visitCALOAD

public void visitCALOAD(CALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitCALOAD in interface Visitor
Overrides:
visitCALOAD in interface EmptyVisitor


visitCASTORE

public void visitCASTORE(CASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitCASTORE in interface Visitor
Overrides:
visitCASTORE in interface EmptyVisitor


visitCHECKCAST

public void visitCHECKCAST(CHECKCAST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitCHECKCAST in interface Visitor
Overrides:
visitCHECKCAST in interface EmptyVisitor


visitCPInstruction

public void visitCPInstruction(CPInstruction o)
Ensures the general preconditions of a CPInstruction instance.
Specified by:
visitCPInstruction in interface Visitor
Overrides:
visitCPInstruction in interface EmptyVisitor


visitD2F

public void visitD2F(D2F o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitD2F in interface Visitor
Overrides:
visitD2F in interface EmptyVisitor


visitD2I

public void visitD2I(D2I o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitD2I in interface Visitor
Overrides:
visitD2I in interface EmptyVisitor


visitD2L

public void visitD2L(D2L o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitD2L in interface Visitor
Overrides:
visitD2L in interface EmptyVisitor


visitDADD

public void visitDADD(DADD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDADD in interface Visitor
Overrides:
visitDADD in interface EmptyVisitor


visitDALOAD

public void visitDALOAD(DALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDALOAD in interface Visitor
Overrides:
visitDALOAD in interface EmptyVisitor


visitDASTORE

public void visitDASTORE(DASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDASTORE in interface Visitor
Overrides:
visitDASTORE in interface EmptyVisitor


visitDCMPG

public void visitDCMPG(DCMPG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDCMPG in interface Visitor
Overrides:
visitDCMPG in interface EmptyVisitor


visitDCMPL

public void visitDCMPL(DCMPL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDCMPL in interface Visitor
Overrides:
visitDCMPL in interface EmptyVisitor


visitDCONST

public void visitDCONST(DCONST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDCONST in interface Visitor
Overrides:
visitDCONST in interface EmptyVisitor


visitDDIV

public void visitDDIV(DDIV o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDDIV in interface Visitor
Overrides:
visitDDIV in interface EmptyVisitor


visitDLOAD

public void visitDLOAD(DLOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDLOAD in interface Visitor
Overrides:
visitDLOAD in interface EmptyVisitor


visitDMUL

public void visitDMUL(DMUL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDMUL in interface Visitor
Overrides:
visitDMUL in interface EmptyVisitor


visitDNEG

public void visitDNEG(DNEG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDNEG in interface Visitor
Overrides:
visitDNEG in interface EmptyVisitor


visitDREM

public void visitDREM(DREM o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDREM in interface Visitor
Overrides:
visitDREM in interface EmptyVisitor


visitDRETURN

public void visitDRETURN(DRETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDRETURN in interface Visitor
Overrides:
visitDRETURN in interface EmptyVisitor


visitDSTORE

public void visitDSTORE(DSTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDSTORE in interface Visitor
Overrides:
visitDSTORE in interface EmptyVisitor


visitDSUB

public void visitDSUB(DSUB o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDSUB in interface Visitor
Overrides:
visitDSUB in interface EmptyVisitor


visitDUP

public void visitDUP(DUP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP in interface Visitor
Overrides:
visitDUP in interface EmptyVisitor


visitDUP2

public void visitDUP2(DUP2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP2 in interface Visitor
Overrides:
visitDUP2 in interface EmptyVisitor


visitDUP2_X1

public void visitDUP2_X1(DUP2_X1 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP2_X1 in interface Visitor
Overrides:
visitDUP2_X1 in interface EmptyVisitor


visitDUP2_X2

public void visitDUP2_X2(DUP2_X2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP2_X2 in interface Visitor
Overrides:
visitDUP2_X2 in interface EmptyVisitor


visitDUP_X1

public void visitDUP_X1(DUP_X1 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP_X1 in interface Visitor
Overrides:
visitDUP_X1 in interface EmptyVisitor


visitDUP_X2

public void visitDUP_X2(DUP_X2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP_X2 in interface Visitor
Overrides:
visitDUP_X2 in interface EmptyVisitor


visitF2D

public void visitF2D(F2D o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitF2D in interface Visitor
Overrides:
visitF2D in interface EmptyVisitor


visitF2I

public void visitF2I(F2I o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitF2I in interface Visitor
Overrides:
visitF2I in interface EmptyVisitor


visitF2L

public void visitF2L(F2L o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitF2L in interface Visitor
Overrides:
visitF2L in interface EmptyVisitor


visitFADD

public void visitFADD(FADD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFADD in interface Visitor
Overrides:
visitFADD in interface EmptyVisitor


visitFALOAD

public void visitFALOAD(FALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFALOAD in interface Visitor
Overrides:
visitFALOAD in interface EmptyVisitor


visitFASTORE

public void visitFASTORE(FASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFASTORE in interface Visitor
Overrides:
visitFASTORE in interface EmptyVisitor


visitFCMPG

public void visitFCMPG(FCMPG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFCMPG in interface Visitor
Overrides:
visitFCMPG in interface EmptyVisitor


visitFCMPL

public void visitFCMPL(FCMPL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFCMPL in interface Visitor
Overrides:
visitFCMPL in interface EmptyVisitor


visitFCONST

public void visitFCONST(FCONST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFCONST in interface Visitor
Overrides:
visitFCONST in interface EmptyVisitor


visitFDIV

public void visitFDIV(FDIV o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFDIV in interface Visitor
Overrides:
visitFDIV in interface EmptyVisitor


visitFLOAD

public void visitFLOAD(FLOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFLOAD in interface Visitor
Overrides:
visitFLOAD in interface EmptyVisitor


visitFMUL

public void visitFMUL(FMUL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFMUL in interface Visitor
Overrides:
visitFMUL in interface EmptyVisitor


visitFNEG

public void visitFNEG(FNEG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFNEG in interface Visitor
Overrides:
visitFNEG in interface EmptyVisitor


visitFREM

public void visitFREM(FREM o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFREM in interface Visitor
Overrides:
visitFREM in interface EmptyVisitor


visitFRETURN

public void visitFRETURN(FRETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFRETURN in interface Visitor
Overrides:
visitFRETURN in interface EmptyVisitor


visitFSTORE

public void visitFSTORE(FSTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFSTORE in interface Visitor
Overrides:
visitFSTORE in interface EmptyVisitor


visitFSUB

public void visitFSUB(FSUB o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFSUB in interface Visitor
Overrides:
visitFSUB in interface EmptyVisitor


visitFieldInstruction

public void visitFieldInstruction(FieldInstruction o)
Ensures the general preconditions of a FieldInstruction instance.
Specified by:
visitFieldInstruction in interface Visitor
Overrides:
visitFieldInstruction in interface EmptyVisitor


visitGETFIELD

public void visitGETFIELD(GETFIELD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitGETFIELD in interface Visitor
Overrides:
visitGETFIELD in interface EmptyVisitor


visitGETSTATIC

public void visitGETSTATIC(GETSTATIC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitGETSTATIC in interface Visitor
Overrides:
visitGETSTATIC in interface EmptyVisitor


visitGOTO

public void visitGOTO(GOTO o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitGOTO in interface Visitor
Overrides:
visitGOTO in interface EmptyVisitor


visitGOTO_W

public void visitGOTO_W(GOTO_W o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitGOTO_W in interface Visitor
Overrides:
visitGOTO_W in interface EmptyVisitor


visitI2B

public void visitI2B(I2B o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2B in interface Visitor
Overrides:
visitI2B in interface EmptyVisitor


visitI2C

public void visitI2C(I2C o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2C in interface Visitor
Overrides:
visitI2C in interface EmptyVisitor


visitI2D

public void visitI2D(I2D o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2D in interface Visitor
Overrides:
visitI2D in interface EmptyVisitor


visitI2F

public void visitI2F(I2F o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2F in interface Visitor
Overrides:
visitI2F in interface EmptyVisitor


visitI2L

public void visitI2L(I2L o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2L in interface Visitor
Overrides:
visitI2L in interface EmptyVisitor


visitI2S

public void visitI2S(I2S o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2S in interface Visitor
Overrides:
visitI2S in interface EmptyVisitor


visitIADD

public void visitIADD(IADD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIADD in interface Visitor
Overrides:
visitIADD in interface EmptyVisitor


visitIALOAD

public void visitIALOAD(IALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIALOAD in interface Visitor
Overrides:
visitIALOAD in interface EmptyVisitor


visitIAND

public void visitIAND(IAND o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIAND in interface Visitor
Overrides:
visitIAND in interface EmptyVisitor


visitIASTORE

public void visitIASTORE(IASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIASTORE in interface Visitor
Overrides:
visitIASTORE in interface EmptyVisitor


visitICONST

public void visitICONST(ICONST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitICONST in interface Visitor
Overrides:
visitICONST in interface EmptyVisitor


visitIDIV

public void visitIDIV(IDIV o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIDIV in interface Visitor
Overrides:
visitIDIV in interface EmptyVisitor


visitIFEQ

public void visitIFEQ(IFEQ o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFEQ in interface Visitor
Overrides:
visitIFEQ in interface EmptyVisitor


visitIFGE

public void visitIFGE(IFGE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFGE in interface Visitor
Overrides:
visitIFGE in interface EmptyVisitor


visitIFGT

public void visitIFGT(IFGT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFGT in interface Visitor
Overrides:
visitIFGT in interface EmptyVisitor


visitIFLE

public void visitIFLE(IFLE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFLE in interface Visitor
Overrides:
visitIFLE in interface EmptyVisitor


visitIFLT

public void visitIFLT(IFLT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFLT in interface Visitor
Overrides:
visitIFLT in interface EmptyVisitor


visitIFNE

public void visitIFNE(IFNE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFNE in interface Visitor
Overrides:
visitIFNE in interface EmptyVisitor


visitIFNONNULL

public void visitIFNONNULL(IFNONNULL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFNONNULL in interface Visitor
Overrides:
visitIFNONNULL in interface EmptyVisitor


visitIFNULL

public void visitIFNULL(IFNULL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFNULL in interface Visitor
Overrides:
visitIFNULL in interface EmptyVisitor


visitIF_ACMPEQ

public void visitIF_ACMPEQ(IF_ACMPEQ o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ACMPEQ in interface Visitor
Overrides:
visitIF_ACMPEQ in interface EmptyVisitor


visitIF_ACMPNE

public void visitIF_ACMPNE(IF_ACMPNE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ACMPNE in interface Visitor
Overrides:
visitIF_ACMPNE in interface EmptyVisitor


visitIF_ICMPEQ

public void visitIF_ICMPEQ(IF_ICMPEQ o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPEQ in interface Visitor
Overrides:
visitIF_ICMPEQ in interface EmptyVisitor


visitIF_ICMPGE

public void visitIF_ICMPGE(IF_ICMPGE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPGE in interface Visitor
Overrides:
visitIF_ICMPGE in interface EmptyVisitor


visitIF_ICMPGT

public void visitIF_ICMPGT(IF_ICMPGT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPGT in interface Visitor
Overrides:
visitIF_ICMPGT in interface EmptyVisitor


visitIF_ICMPLE

public void visitIF_ICMPLE(IF_ICMPLE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPLE in interface Visitor
Overrides:
visitIF_ICMPLE in interface EmptyVisitor


visitIF_ICMPLT

public void visitIF_ICMPLT(IF_ICMPLT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPLT in interface Visitor
Overrides:
visitIF_ICMPLT in interface EmptyVisitor


visitIF_ICMPNE

public void visitIF_ICMPNE(IF_ICMPNE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPNE in interface Visitor
Overrides:
visitIF_ICMPNE in interface EmptyVisitor


visitIINC

public void visitIINC(IINC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIINC in interface Visitor
Overrides:
visitIINC in interface EmptyVisitor


visitILOAD

public void visitILOAD(ILOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitILOAD in interface Visitor
Overrides:
visitILOAD in interface EmptyVisitor


visitIMPDEP1

public void visitIMPDEP1(IMPDEP1 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIMPDEP1 in interface Visitor
Overrides:
visitIMPDEP1 in interface EmptyVisitor


visitIMPDEP2

public void visitIMPDEP2(IMPDEP2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIMPDEP2 in interface Visitor
Overrides:
visitIMPDEP2 in interface EmptyVisitor


visitIMUL

public void visitIMUL(IMUL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIMUL in interface Visitor
Overrides:
visitIMUL in interface EmptyVisitor


visitINEG

public void visitINEG(INEG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINEG in interface Visitor
Overrides:
visitINEG in interface EmptyVisitor


visitINSTANCEOF

public void visitINSTANCEOF(INSTANCEOF o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINSTANCEOF in interface Visitor
Overrides:
visitINSTANCEOF in interface EmptyVisitor


visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(INVOKEINTERFACE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINVOKEINTERFACE in interface Visitor
Overrides:
visitINVOKEINTERFACE in interface EmptyVisitor


visitINVOKESPECIAL

public void visitINVOKESPECIAL(INVOKESPECIAL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINVOKESPECIAL in interface Visitor
Overrides:
visitINVOKESPECIAL in interface EmptyVisitor


visitINVOKESTATIC

public void visitINVOKESTATIC(INVOKESTATIC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINVOKESTATIC in interface Visitor
Overrides:
visitINVOKESTATIC in interface EmptyVisitor


visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(INVOKEVIRTUAL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINVOKEVIRTUAL in interface Visitor
Overrides:
visitINVOKEVIRTUAL in interface EmptyVisitor


visitIOR

public void visitIOR(IOR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIOR in interface Visitor
Overrides:
visitIOR in interface EmptyVisitor


visitIREM

public void visitIREM(IREM o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIREM in interface Visitor
Overrides:
visitIREM in interface EmptyVisitor


visitIRETURN

public void visitIRETURN(IRETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIRETURN in interface Visitor
Overrides:
visitIRETURN in interface EmptyVisitor


visitISHL

public void visitISHL(ISHL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitISHL in interface Visitor
Overrides:
visitISHL in interface EmptyVisitor


visitISHR

public void visitISHR(ISHR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitISHR in interface Visitor
Overrides:
visitISHR in interface EmptyVisitor


visitISTORE

public void visitISTORE(ISTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitISTORE in interface Visitor
Overrides:
visitISTORE in interface EmptyVisitor


visitISUB

public void visitISUB(ISUB o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitISUB in interface Visitor
Overrides:
visitISUB in interface EmptyVisitor


visitIUSHR

public void visitIUSHR(IUSHR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIUSHR in interface Visitor
Overrides:
visitIUSHR in interface EmptyVisitor


visitIXOR

public void visitIXOR(IXOR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIXOR in interface Visitor
Overrides:
visitIXOR in interface EmptyVisitor


visitInvokeInstruction

public void visitInvokeInstruction(InvokeInstruction o)
Ensures the general preconditions of an InvokeInstruction instance.
Specified by:
visitInvokeInstruction in interface Visitor
Overrides:
visitInvokeInstruction in interface EmptyVisitor


visitJSR

public void visitJSR(JSR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitJSR in interface Visitor
Overrides:
visitJSR in interface EmptyVisitor


visitJSR_W

public void visitJSR_W(JSR_W o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitJSR_W in interface Visitor
Overrides:
visitJSR_W in interface EmptyVisitor


visitL2D

public void visitL2D(L2D o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitL2D in interface Visitor
Overrides:
visitL2D in interface EmptyVisitor


visitL2F

public void visitL2F(L2F o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitL2F in interface Visitor
Overrides:
visitL2F in interface EmptyVisitor


visitL2I

public void visitL2I(L2I o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitL2I in interface Visitor
Overrides:
visitL2I in interface EmptyVisitor


visitLADD

public void visitLADD(LADD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLADD in interface Visitor
Overrides:
visitLADD in interface EmptyVisitor


visitLALOAD

public void visitLALOAD(LALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLALOAD in interface Visitor
Overrides:
visitLALOAD in interface EmptyVisitor


visitLAND

public void visitLAND(LAND o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLAND in interface Visitor
Overrides:
visitLAND in interface EmptyVisitor


visitLASTORE

public void visitLASTORE(LASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLASTORE in interface Visitor
Overrides:
visitLASTORE in interface EmptyVisitor


visitLCMP

public void visitLCMP(LCMP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLCMP in interface Visitor
Overrides:
visitLCMP in interface EmptyVisitor


visitLCONST

public void visitLCONST(LCONST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLCONST in interface Visitor
Overrides:
visitLCONST in interface EmptyVisitor


visitLDC

public void visitLDC(LDC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLDC in interface Visitor
Overrides:
visitLDC in interface EmptyVisitor


visitLDC2_W

public void visitLDC2_W(LDC2_W o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLDC2_W in interface Visitor
Overrides:
visitLDC2_W in interface EmptyVisitor


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.
Specified by:
visitLDIV in interface Visitor
Overrides:
visitLDIV in interface EmptyVisitor


visitLLOAD

public void visitLLOAD(LLOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLLOAD in interface Visitor
Overrides:
visitLLOAD in interface EmptyVisitor


visitLMUL

public void visitLMUL(LMUL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLMUL in interface Visitor
Overrides:
visitLMUL in interface EmptyVisitor


visitLNEG

public void visitLNEG(LNEG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLNEG in interface Visitor
Overrides:
visitLNEG in interface EmptyVisitor


visitLOOKUPSWITCH

public void visitLOOKUPSWITCH(LOOKUPSWITCH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLOOKUPSWITCH in interface Visitor
Overrides:
visitLOOKUPSWITCH in interface EmptyVisitor


visitLOR

public void visitLOR(LOR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLOR in interface Visitor
Overrides:
visitLOR in interface EmptyVisitor


visitLREM

public void visitLREM(LREM o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLREM in interface Visitor
Overrides:
visitLREM in interface EmptyVisitor


visitLRETURN

public void visitLRETURN(LRETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLRETURN in interface Visitor
Overrides:
visitLRETURN in interface EmptyVisitor


visitLSHL

public void visitLSHL(LSHL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLSHL in interface Visitor
Overrides:
visitLSHL in interface EmptyVisitor


visitLSHR

public void visitLSHR(LSHR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLSHR in interface Visitor
Overrides:
visitLSHR in interface EmptyVisitor


visitLSTORE

public void visitLSTORE(LSTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLSTORE in interface Visitor
Overrides:
visitLSTORE in interface EmptyVisitor


visitLSUB

public void visitLSUB(LSUB o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLSUB in interface Visitor
Overrides:
visitLSUB in interface EmptyVisitor


visitLUSHR

public void visitLUSHR(LUSHR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLUSHR in interface Visitor
Overrides:
visitLUSHR in interface EmptyVisitor


visitLXOR

public void visitLXOR(LXOR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLXOR in interface Visitor
Overrides:
visitLXOR in interface EmptyVisitor


visitLoadClass

public void visitLoadClass(LoadClass o)
Assures the generic preconditions of a LoadClass instance. The referenced class is loaded and pass2-verified.
Specified by:
visitLoadClass in interface Visitor
Overrides:
visitLoadClass in interface EmptyVisitor


visitLoadInstruction

public void visitLoadInstruction(LoadInstruction o)
Assures the generic preconditions of a LoadInstruction instance.
Specified by:
visitLoadInstruction in interface Visitor
Overrides:
visitLoadInstruction in interface EmptyVisitor


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.
Specified by:
visitLocalVariableInstruction in interface Visitor
Overrides:
visitLocalVariableInstruction in interface EmptyVisitor


visitMONITORENTER

public void visitMONITORENTER(MONITORENTER o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitMONITORENTER in interface Visitor
Overrides:
visitMONITORENTER in interface EmptyVisitor


visitMONITOREXIT

public void visitMONITOREXIT(MONITOREXIT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitMONITOREXIT in interface Visitor
Overrides:
visitMONITOREXIT in interface EmptyVisitor


visitMULTIANEWARRAY

public void visitMULTIANEWARRAY(MULTIANEWARRAY o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitMULTIANEWARRAY in interface Visitor
Overrides:
visitMULTIANEWARRAY in interface EmptyVisitor


visitNEW

public void visitNEW(NEW o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitNEW in interface Visitor
Overrides:
visitNEW in interface EmptyVisitor


visitNEWARRAY

public void visitNEWARRAY(NEWARRAY o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitNEWARRAY in interface Visitor
Overrides:
visitNEWARRAY in interface EmptyVisitor


visitNOP

public void visitNOP(NOP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitNOP in interface Visitor
Overrides:
visitNOP in interface EmptyVisitor


visitPOP

public void visitPOP(POP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitPOP in interface Visitor
Overrides:
visitPOP in interface EmptyVisitor


visitPOP2

public void visitPOP2(POP2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitPOP2 in interface Visitor
Overrides:
visitPOP2 in interface EmptyVisitor


visitPUTFIELD

public void visitPUTFIELD(PUTFIELD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitPUTFIELD in interface Visitor
Overrides:
visitPUTFIELD in interface EmptyVisitor


visitPUTSTATIC

public void visitPUTSTATIC(PUTSTATIC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitPUTSTATIC in interface Visitor
Overrides:
visitPUTSTATIC in interface EmptyVisitor


visitRET

public void visitRET(RET o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitRET in interface Visitor
Overrides:
visitRET in interface EmptyVisitor


visitRETURN

public void visitRETURN(RETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitRETURN in interface Visitor
Overrides:
visitRETURN in interface EmptyVisitor


visitReturnInstruction

public void visitReturnInstruction(ReturnInstruction o)
Assures the generic preconditions of a ReturnInstruction instance.
Specified by:
visitReturnInstruction in interface Visitor
Overrides:
visitReturnInstruction in interface EmptyVisitor


visitSALOAD

public void visitSALOAD(SALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitSALOAD in interface Visitor
Overrides:
visitSALOAD in interface EmptyVisitor


visitSASTORE

public void visitSASTORE(SASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitSASTORE in interface Visitor
Overrides:
visitSASTORE in interface EmptyVisitor


visitSIPUSH

public void visitSIPUSH(SIPUSH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitSIPUSH in interface Visitor
Overrides:
visitSIPUSH in interface EmptyVisitor


visitSWAP

public void visitSWAP(SWAP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitSWAP in interface Visitor
Overrides:
visitSWAP in interface EmptyVisitor


visitStackConsumer

public void visitStackConsumer(StackConsumer o)
Ensures the general preconditions of a StackConsumer instance.
Specified by:
visitStackConsumer in interface Visitor
Overrides:
visitStackConsumer in interface EmptyVisitor


visitStackInstruction

public void visitStackInstruction(StackInstruction o)
Ensures the general preconditions of a StackInstruction instance.
Specified by:
visitStackInstruction in interface Visitor
Overrides:
visitStackInstruction in interface EmptyVisitor


visitStackProducer

public void visitStackProducer(StackProducer o)
Ensures the general preconditions of a StackProducer instance.
Specified by:
visitStackProducer in interface Visitor
Overrides:
visitStackProducer in interface EmptyVisitor


visitStoreInstruction

public void visitStoreInstruction(StoreInstruction o)
Assures the generic preconditions of a StoreInstruction instance.
Specified by:
visitStoreInstruction in interface Visitor
Overrides:
visitStoreInstruction in interface EmptyVisitor


visitTABLESWITCH

public void visitTABLESWITCH(TABLESWITCH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitTABLESWITCH in interface Visitor
Overrides:
visitTABLESWITCH in interface EmptyVisitor