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