Top Description Fields Constructors Methods
org.apache.bcel.verifier.structurals

public Class InstConstraintVisitor

extends EmptyVisitor
Class Inheritance
Imports
org.apache.bcel.Const, .Repository, org.apache.bcel.classfile.Constant, .ConstantClass, .ConstantDouble, .ConstantDynamic, .ConstantFieldref, .ConstantFloat, .ConstantInteger, .ConstantLong, .ConstantString, .Field, .JavaClass, org.apache.bcel.generic.*, org.apache.bcel.verifier.VerificationResult, .Verifier, .VerifierFactory, org.apache.bcel.verifier.exc.AssertionViolatedException, .StructuralCodeConstraintException
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

Field Summary

Modifier and TypeField and Description
private ConstantPoolGen
cpg

The ConstantPoolGen we're working on.

private Frame
frame

The Execution Frame we're working on.

private static final ObjectType
GENERIC_ARRAY

private MethodGen
mg

The MethodGen we're working on.

Constructor Summary

AccessConstructor and Description
public
InstConstraintVisitor()

The constructor.

Method Summary

Modifier and TypeMethod and Description
private boolean
arrayrefOfArrayType(final Instruction o, final Type arrayref)

Assures arrayref is of ArrayType or NULL; returns true if and only if arrayref is non-NULL.

private void
constraintViolated(final Instruction violator, final String description)

This method is called by the visitXXX() to notify the acceptor of this InstConstraintVisitor that a constraint violation has occurred.

private ObjectType
getObjectType(final FieldInstruction o)

private void
indexOfInt(final Instruction o, final Type index)

Assures index is of type INT.

private LocalVariables
locals()

The LocalVariables we're working on.

private void
referenceTypeIsInitialized(final Instruction o, final ReferenceType r)

Assures the ReferenceType r is initialized (or Type.NULL).

public void
setConstantPoolGen(final ConstantPoolGen cpg)

Sets the ConstantPoolGen instance needed for constraint checking prior to execution.

public void
setFrame(final Frame f)

This returns the single instance of the InstConstraintVisitor class.

public void
setMethodGen(final MethodGen mg)

Sets the MethodGen instance needed for constraint checking prior to execution.

private OperandStack
stack()

The OperandStack we're working on.

private void
valueOfInt(final Instruction o, final Type value)

Assures value is of type INT.

public void
visitAALOAD(final AALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitAALOAD.

Implements org.apache.bcel.generic.Visitor.visitAALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitAASTORE.

Implements org.apache.bcel.generic.Visitor.visitAASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitACONST_NULL.

Implements org.apache.bcel.generic.Visitor.visitACONST_NULL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitALOAD.

Implements org.apache.bcel.generic.Visitor.visitALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitANEWARRAY.

Implements org.apache.bcel.generic.Visitor.visitANEWARRAY.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitARETURN.

Implements org.apache.bcel.generic.Visitor.visitARETURN.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitARRAYLENGTH.

Implements org.apache.bcel.generic.Visitor.visitARRAYLENGTH.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitASTORE.

Implements org.apache.bcel.generic.Visitor.visitASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitATHROW.

Implements org.apache.bcel.generic.Visitor.visitATHROW.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitBALOAD.

Implements org.apache.bcel.generic.Visitor.visitBALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitBASTORE.

Implements org.apache.bcel.generic.Visitor.visitBASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitBIPUSH.

Implements org.apache.bcel.generic.Visitor.visitBIPUSH.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitBREAKPOINT.

Implements org.apache.bcel.generic.Visitor.visitBREAKPOINT.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitCALOAD.

Implements org.apache.bcel.generic.Visitor.visitCALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitCASTORE.

Implements org.apache.bcel.generic.Visitor.visitCASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitCHECKCAST.

Implements org.apache.bcel.generic.Visitor.visitCHECKCAST.

Ensures the specific preconditions of the said instruction.
public void
visitCPInstruction(final CPInstruction o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitCPInstruction.

Implements org.apache.bcel.generic.Visitor.visitCPInstruction.

Ensures the general preconditions of a CPInstruction instance.
public void
visitD2F(final D2F o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitD2F.

Implements org.apache.bcel.generic.Visitor.visitD2F.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitD2I.

Implements org.apache.bcel.generic.Visitor.visitD2I.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitD2L.

Implements org.apache.bcel.generic.Visitor.visitD2L.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDADD.

Implements org.apache.bcel.generic.Visitor.visitDADD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDALOAD.

Implements org.apache.bcel.generic.Visitor.visitDALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDASTORE.

Implements org.apache.bcel.generic.Visitor.visitDASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDCMPG.

Implements org.apache.bcel.generic.Visitor.visitDCMPG.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDCMPL.

Implements org.apache.bcel.generic.Visitor.visitDCMPL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDCONST.

Implements org.apache.bcel.generic.Visitor.visitDCONST.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDDIV.

Implements org.apache.bcel.generic.Visitor.visitDDIV.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDLOAD.

Implements org.apache.bcel.generic.Visitor.visitDLOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDMUL.

Implements org.apache.bcel.generic.Visitor.visitDMUL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDNEG.

Implements org.apache.bcel.generic.Visitor.visitDNEG.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDREM.

Implements org.apache.bcel.generic.Visitor.visitDREM.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDRETURN.

Implements org.apache.bcel.generic.Visitor.visitDRETURN.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDSTORE.

Implements org.apache.bcel.generic.Visitor.visitDSTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDSUB.

Implements org.apache.bcel.generic.Visitor.visitDSUB.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP.

Implements org.apache.bcel.generic.Visitor.visitDUP.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP2.

Implements org.apache.bcel.generic.Visitor.visitDUP2.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP2_X1.

Implements org.apache.bcel.generic.Visitor.visitDUP2_X1.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP2_X2.

Implements org.apache.bcel.generic.Visitor.visitDUP2_X2.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP_X1.

Implements org.apache.bcel.generic.Visitor.visitDUP_X1.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitDUP_X2.

Implements org.apache.bcel.generic.Visitor.visitDUP_X2.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitF2D.

Implements org.apache.bcel.generic.Visitor.visitF2D.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitF2I.

Implements org.apache.bcel.generic.Visitor.visitF2I.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitF2L.

Implements org.apache.bcel.generic.Visitor.visitF2L.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFADD.

Implements org.apache.bcel.generic.Visitor.visitFADD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFALOAD.

Implements org.apache.bcel.generic.Visitor.visitFALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFASTORE.

Implements org.apache.bcel.generic.Visitor.visitFASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFCMPG.

Implements org.apache.bcel.generic.Visitor.visitFCMPG.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFCMPL.

Implements org.apache.bcel.generic.Visitor.visitFCMPL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFCONST.

Implements org.apache.bcel.generic.Visitor.visitFCONST.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFDIV.

Implements org.apache.bcel.generic.Visitor.visitFDIV.

Ensures the specific preconditions of the said instruction.
public void
visitFieldInstruction(final FieldInstruction o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFieldInstruction.

Implements org.apache.bcel.generic.Visitor.visitFieldInstruction.

Ensures the general preconditions of a FieldInstruction instance.
private Field
visitFieldInstructionInternals(final FieldInstruction o)

public void
visitFLOAD(final FLOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFLOAD.

Implements org.apache.bcel.generic.Visitor.visitFLOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFMUL.

Implements org.apache.bcel.generic.Visitor.visitFMUL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFNEG.

Implements org.apache.bcel.generic.Visitor.visitFNEG.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFREM.

Implements org.apache.bcel.generic.Visitor.visitFREM.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFRETURN.

Implements org.apache.bcel.generic.Visitor.visitFRETURN.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFSTORE.

Implements org.apache.bcel.generic.Visitor.visitFSTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitFSUB.

Implements org.apache.bcel.generic.Visitor.visitFSUB.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitGETFIELD.

Implements org.apache.bcel.generic.Visitor.visitGETFIELD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitGETSTATIC.

Implements org.apache.bcel.generic.Visitor.visitGETSTATIC.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitGOTO.

Implements org.apache.bcel.generic.Visitor.visitGOTO.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitGOTO_W.

Implements org.apache.bcel.generic.Visitor.visitGOTO_W.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2B.

Implements org.apache.bcel.generic.Visitor.visitI2B.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2C.

Implements org.apache.bcel.generic.Visitor.visitI2C.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2D.

Implements org.apache.bcel.generic.Visitor.visitI2D.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2F.

Implements org.apache.bcel.generic.Visitor.visitI2F.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2L.

Implements org.apache.bcel.generic.Visitor.visitI2L.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitI2S.

Implements org.apache.bcel.generic.Visitor.visitI2S.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIADD.

Implements org.apache.bcel.generic.Visitor.visitIADD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIALOAD.

Implements org.apache.bcel.generic.Visitor.visitIALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIAND.

Implements org.apache.bcel.generic.Visitor.visitIAND.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIASTORE.

Implements org.apache.bcel.generic.Visitor.visitIASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitICONST.

Implements org.apache.bcel.generic.Visitor.visitICONST.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIDIV.

Implements org.apache.bcel.generic.Visitor.visitIDIV.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ACMPEQ.

Implements org.apache.bcel.generic.Visitor.visitIF_ACMPEQ.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ACMPNE.

Implements org.apache.bcel.generic.Visitor.visitIF_ACMPNE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPEQ.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPEQ.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPGE.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPGE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPGT.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPGT.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPLE.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPLE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPLT.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPLT.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIF_ICMPNE.

Implements org.apache.bcel.generic.Visitor.visitIF_ICMPNE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFEQ.

Implements org.apache.bcel.generic.Visitor.visitIFEQ.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFGE.

Implements org.apache.bcel.generic.Visitor.visitIFGE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFGT.

Implements org.apache.bcel.generic.Visitor.visitIFGT.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFLE.

Implements org.apache.bcel.generic.Visitor.visitIFLE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFLT.

Implements org.apache.bcel.generic.Visitor.visitIFLT.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFNE.

Implements org.apache.bcel.generic.Visitor.visitIFNE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFNONNULL.

Implements org.apache.bcel.generic.Visitor.visitIFNONNULL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIFNULL.

Implements org.apache.bcel.generic.Visitor.visitIFNULL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIINC.

Implements org.apache.bcel.generic.Visitor.visitIINC.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitILOAD.

Implements org.apache.bcel.generic.Visitor.visitILOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIMPDEP1.

Implements org.apache.bcel.generic.Visitor.visitIMPDEP1.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIMPDEP2.

Implements org.apache.bcel.generic.Visitor.visitIMPDEP2.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIMUL.

Implements org.apache.bcel.generic.Visitor.visitIMUL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitINEG.

Implements org.apache.bcel.generic.Visitor.visitINEG.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitINSTANCEOF.

Implements org.apache.bcel.generic.Visitor.visitINSTANCEOF.

Ensures the specific preconditions of the said instruction.
public void
visitINVOKEDYNAMIC(final INVOKEDYNAMIC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEDYNAMIC.

Implements org.apache.bcel.generic.Visitor.visitINVOKEDYNAMIC.

Ensures the specific preconditions of the said instruction.
public void
visitInvokeInstruction(final InvokeInstruction o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitInvokeInstruction.

Implements org.apache.bcel.generic.Visitor.visitInvokeInstruction.

Ensures the general preconditions of an InvokeInstruction instance.
public void
visitINVOKEINTERFACE(final INVOKEINTERFACE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEINTERFACE.

Implements org.apache.bcel.generic.Visitor.visitINVOKEINTERFACE.

Ensures the specific preconditions of the said instruction.
private int
visitInvokeInternals(final InvokeInstruction o)

public void
visitINVOKESPECIAL(final INVOKESPECIAL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESPECIAL.

Implements org.apache.bcel.generic.Visitor.visitINVOKESPECIAL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESTATIC.

Implements org.apache.bcel.generic.Visitor.visitINVOKESTATIC.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEVIRTUAL.

Implements org.apache.bcel.generic.Visitor.visitINVOKEVIRTUAL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIOR.

Implements org.apache.bcel.generic.Visitor.visitIOR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIREM.

Implements org.apache.bcel.generic.Visitor.visitIREM.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIRETURN.

Implements org.apache.bcel.generic.Visitor.visitIRETURN.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitISHL.

Implements org.apache.bcel.generic.Visitor.visitISHL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitISHR.

Implements org.apache.bcel.generic.Visitor.visitISHR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitISTORE.

Implements org.apache.bcel.generic.Visitor.visitISTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitISUB.

Implements org.apache.bcel.generic.Visitor.visitISUB.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIUSHR.

Implements org.apache.bcel.generic.Visitor.visitIUSHR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitIXOR.

Implements org.apache.bcel.generic.Visitor.visitIXOR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitJSR.

Implements org.apache.bcel.generic.Visitor.visitJSR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitJSR_W.

Implements org.apache.bcel.generic.Visitor.visitJSR_W.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitL2D.

Implements org.apache.bcel.generic.Visitor.visitL2D.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitL2F.

Implements org.apache.bcel.generic.Visitor.visitL2F.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitL2I.

Implements org.apache.bcel.generic.Visitor.visitL2I.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLADD.

Implements org.apache.bcel.generic.Visitor.visitLADD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLALOAD.

Implements org.apache.bcel.generic.Visitor.visitLALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLAND.

Implements org.apache.bcel.generic.Visitor.visitLAND.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLASTORE.

Implements org.apache.bcel.generic.Visitor.visitLASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLCMP.

Implements org.apache.bcel.generic.Visitor.visitLCMP.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLCONST.

Implements org.apache.bcel.generic.Visitor.visitLCONST.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC.

Implements org.apache.bcel.generic.Visitor.visitLDC.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC2_W.

Implements org.apache.bcel.generic.Visitor.visitLDC2_W.

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

Ensures the specific preconditions of the said instruction.

public void
visitLDIV(final LDIV o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLDIV.

Implements org.apache.bcel.generic.Visitor.visitLDIV.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLLOAD.

Implements org.apache.bcel.generic.Visitor.visitLLOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLMUL.

Implements org.apache.bcel.generic.Visitor.visitLMUL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLNEG.

Implements org.apache.bcel.generic.Visitor.visitLNEG.

Ensures the specific preconditions of the said instruction.
public void
visitLoadClass(final LoadClass o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLoadClass.

Implements org.apache.bcel.generic.Visitor.visitLoadClass.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLoadInstruction.

Implements org.apache.bcel.generic.Visitor.visitLoadInstruction.

Assures the generic preconditions of a LoadInstruction instance.
public void
visitLocalVariableInstruction(final LocalVariableInstruction o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLocalVariableInstruction.

Implements org.apache.bcel.generic.Visitor.visitLocalVariableInstruction.

Assures the generic preconditions of a LocalVariableInstruction instance.
public void
visitLOOKUPSWITCH(final LOOKUPSWITCH o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLOOKUPSWITCH.

Implements org.apache.bcel.generic.Visitor.visitLOOKUPSWITCH.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLOR.

Implements org.apache.bcel.generic.Visitor.visitLOR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLREM.

Implements org.apache.bcel.generic.Visitor.visitLREM.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLRETURN.

Implements org.apache.bcel.generic.Visitor.visitLRETURN.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLSHL.

Implements org.apache.bcel.generic.Visitor.visitLSHL.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLSHR.

Implements org.apache.bcel.generic.Visitor.visitLSHR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLSTORE.

Implements org.apache.bcel.generic.Visitor.visitLSTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLSUB.

Implements org.apache.bcel.generic.Visitor.visitLSUB.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLUSHR.

Implements org.apache.bcel.generic.Visitor.visitLUSHR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitLXOR.

Implements org.apache.bcel.generic.Visitor.visitLXOR.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitMONITORENTER.

Implements org.apache.bcel.generic.Visitor.visitMONITORENTER.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitMONITOREXIT.

Implements org.apache.bcel.generic.Visitor.visitMONITOREXIT.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitMULTIANEWARRAY.

Implements org.apache.bcel.generic.Visitor.visitMULTIANEWARRAY.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitNEW.

Implements org.apache.bcel.generic.Visitor.visitNEW.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitNEWARRAY.

Implements org.apache.bcel.generic.Visitor.visitNEWARRAY.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitNOP.

Implements org.apache.bcel.generic.Visitor.visitNOP.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitPOP.

Implements org.apache.bcel.generic.Visitor.visitPOP.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitPOP2.

Implements org.apache.bcel.generic.Visitor.visitPOP2.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitPUTFIELD.

Implements org.apache.bcel.generic.Visitor.visitPUTFIELD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitPUTSTATIC.

Implements org.apache.bcel.generic.Visitor.visitPUTSTATIC.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitRET.

Implements org.apache.bcel.generic.Visitor.visitRET.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitRETURN.

Implements org.apache.bcel.generic.Visitor.visitRETURN.

Ensures the specific preconditions of the said instruction.
public void
visitReturnInstruction(final ReturnInstruction o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitReturnInstruction.

Implements org.apache.bcel.generic.Visitor.visitReturnInstruction.

Assures the generic preconditions of a ReturnInstruction instance.
public void
visitSALOAD(final SALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitSALOAD.

Implements org.apache.bcel.generic.Visitor.visitSALOAD.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitSASTORE.

Implements org.apache.bcel.generic.Visitor.visitSASTORE.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitSIPUSH.

Implements org.apache.bcel.generic.Visitor.visitSIPUSH.

Ensures the specific preconditions of the said instruction.
private void
visitStackAccessor(final Instruction o)

Ensures the general preconditions of an instruction that accesses the stack.

public void
visitStackConsumer(final StackConsumer o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitStackConsumer.

Implements org.apache.bcel.generic.Visitor.visitStackConsumer.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitStackInstruction.

Implements org.apache.bcel.generic.Visitor.visitStackInstruction.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitStackProducer.

Implements org.apache.bcel.generic.Visitor.visitStackProducer.

Ensures the general preconditions of a StackProducer instance.
public void
visitStoreInstruction(final StoreInstruction o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitStoreInstruction.

Implements org.apache.bcel.generic.Visitor.visitStoreInstruction.

Assures the generic preconditions of a StoreInstruction instance.
public void
visitSWAP(final SWAP o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitSWAP.

Implements org.apache.bcel.generic.Visitor.visitSWAP.

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

Overrides org.apache.bcel.generic.EmptyVisitor.visitTABLESWITCH.

Implements org.apache.bcel.generic.Visitor.visitTABLESWITCH.

Ensures the specific preconditions of the said instruction.
Inherited from org.apache.bcel.generic.EmptyVisitor:
visitAllocationInstructionvisitArithmeticInstructionvisitArrayInstructionvisitBranchInstructionvisitConstantPushInstructionvisitConversionInstructionvisitExceptionThrowervisitFieldOrMethodvisitGotoInstructionvisitIfInstructionvisitJsrInstructionvisitPopInstructionvisitPushInstructionvisitSelectvisitTypedInstructionvisitUnconditionalBranchvisitVariableLengthInstruction