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