org.apache.bcel.verifier.structurals

Class InstConstraintVisitor

public class InstConstraintVisitor extends EmptyVisitor implements Visitor

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

Version: $Id: InstConstraintVisitor.java 386056 2006-03-15 11:31:56Z tcurdt $

Author: Enver Haase

Field Summary
ConstantPoolGen	cpg The ConstantPoolGen we're working on.
Frame	frame The Execution Frame we're working on.
static ObjectType	GENERIC_ARRAY
MethodGen	mg The MethodGen we're working on.

Constructor Summary
	InstConstraintVisitor() The constructor.

Method Summary
boolean	arrayrefOfArrayType(Instruction o, Type arrayref) Assures arrayref is of ArrayType or NULL; returns true if and only if arrayref is non-NULL.
void	constraintViolated(Instruction violator, String description) This method is called by the visitXXX() to notify the acceptor of this InstConstraintVisitor that a constraint violation has occured.
void	indexOfInt(Instruction o, Type index) Assures index is of type INT.
LocalVariables	locals() The LocalVariables we're working on.
void	referenceTypeIsInitialized(Instruction o, ReferenceType r) Assures the ReferenceType r is initialized (or Type.NULL).
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.
OperandStack	stack() The OperandStack we're working on.
void	valueOfInt(Instruction o, Type value) Assures value is of type INT.
void	visitAALOAD(AALOAD o) Ensures the specific preconditions of the said instruction.
void	visitAASTORE(AASTORE o) Ensures the specific preconditions of the said instruction.
void	visitACONST_NULL(ACONST_NULL o) Ensures the specific preconditions of the said instruction.
void	visitALOAD(ALOAD o) Ensures the specific preconditions of the said instruction.
void	visitANEWARRAY(ANEWARRAY o) Ensures the specific preconditions of the said instruction.
void	visitARETURN(ARETURN o) Ensures the specific preconditions of the said instruction.
void	visitARRAYLENGTH(ARRAYLENGTH o) Ensures the specific preconditions of the said instruction.
void	visitASTORE(ASTORE o) Ensures the specific preconditions of the said instruction.
void	visitATHROW(ATHROW o) Ensures the specific preconditions of the said instruction.
void	visitBALOAD(BALOAD o) Ensures the specific preconditions of the said instruction.
void	visitBASTORE(BASTORE o) Ensures the specific preconditions of the said instruction.
void	visitBIPUSH(BIPUSH o) Ensures the specific preconditions of the said instruction.
void	visitBREAKPOINT(BREAKPOINT o) Ensures the specific preconditions of the said instruction.
void	visitCALOAD(CALOAD o) Ensures the specific preconditions of the said instruction.
void	visitCASTORE(CASTORE o) Ensures the specific preconditions of the said instruction.
void	visitCHECKCAST(CHECKCAST o) Ensures the specific preconditions of the said instruction.
void	visitCPInstruction(CPInstruction o) Ensures the general preconditions of a CPInstruction instance.
void	visitD2F(D2F o) Ensures the specific preconditions of the said instruction.
void	visitD2I(D2I o) Ensures the specific preconditions of the said instruction.
void	visitD2L(D2L o) Ensures the specific preconditions of the said instruction.
void	visitDADD(DADD o) Ensures the specific preconditions of the said instruction.
void	visitDALOAD(DALOAD o) Ensures the specific preconditions of the said instruction.
void	visitDASTORE(DASTORE o) Ensures the specific preconditions of the said instruction.
void	visitDCMPG(DCMPG o) Ensures the specific preconditions of the said instruction.
void	visitDCMPL(DCMPL o) Ensures the specific preconditions of the said instruction.
void	visitDCONST(DCONST o) Ensures the specific preconditions of the said instruction.
void	visitDDIV(DDIV o) Ensures the specific preconditions of the said instruction.
void	visitDLOAD(DLOAD o) Ensures the specific preconditions of the said instruction.
void	visitDMUL(DMUL o) Ensures the specific preconditions of the said instruction.
void	visitDNEG(DNEG o) Ensures the specific preconditions of the said instruction.
void	visitDREM(DREM o) Ensures the specific preconditions of the said instruction.
void	visitDRETURN(DRETURN o) Ensures the specific preconditions of the said instruction.
void	visitDSTORE(DSTORE o) Ensures the specific preconditions of the said instruction.
void	visitDSUB(DSUB o) Ensures the specific preconditions of the said instruction.
void	visitDUP(DUP o) Ensures the specific preconditions of the said instruction.
void	visitDUP2(DUP2 o) Ensures the specific preconditions of the said instruction.
void	visitDUP2_X1(DUP2_X1 o) Ensures the specific preconditions of the said instruction.
void	visitDUP2_X2(DUP2_X2 o) Ensures the specific preconditions of the said instruction.
void	visitDUP_X1(DUP_X1 o) Ensures the specific preconditions of the said instruction.
void	visitDUP_X2(DUP_X2 o) Ensures the specific preconditions of the said instruction.
void	visitF2D(F2D o) Ensures the specific preconditions of the said instruction.
void	visitF2I(F2I o) Ensures the specific preconditions of the said instruction.
void	visitF2L(F2L o) Ensures the specific preconditions of the said instruction.
void	visitFADD(FADD o) Ensures the specific preconditions of the said instruction.
void	visitFALOAD(FALOAD o) Ensures the specific preconditions of the said instruction.
void	visitFASTORE(FASTORE o) Ensures the specific preconditions of the said instruction.
void	visitFCMPG(FCMPG o) Ensures the specific preconditions of the said instruction.
void	visitFCMPL(FCMPL o) Ensures the specific preconditions of the said instruction.
void	visitFCONST(FCONST o) Ensures the specific preconditions of the said instruction.
void	visitFDIV(FDIV o) Ensures the specific preconditions of the said instruction.
void	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	visitIFEQ(IFEQ o) Ensures the specific preconditions of the said instruction.
void	visitIFGE(IFGE o) Ensures the specific preconditions of the said instruction.
void	visitIFGT(IFGT o) Ensures the specific preconditions of the said instruction.
void	visitIFLE(IFLE o) Ensures the specific preconditions of the said instruction.
void	visitIFLT(IFLT o) Ensures the specific preconditions of the said instruction.
void	visitIFNE(IFNE o) Ensures the specific preconditions of the said instruction.
void	visitIFNONNULL(IFNONNULL o) Ensures the specific preconditions of the said instruction.
void	visitIFNULL(IFNULL o) Ensures the specific preconditions of the said instruction.
void	visitIF_ACMPEQ(IF_ACMPEQ o) Ensures the specific preconditions of the said instruction.
void	visitIF_ACMPNE(IF_ACMPNE o) Ensures the specific preconditions of the said instruction.
void	visitIF_ICMPEQ(IF_ICMPEQ o) Ensures the specific preconditions of the said instruction.
void	visitIF_ICMPGE(IF_ICMPGE o) Ensures the specific preconditions of the said instruction.
void	visitIF_ICMPGT(IF_ICMPGT o) Ensures the specific preconditions of the said instruction.
void	visitIF_ICMPLE(IF_ICMPLE o) Ensures the specific preconditions of the said instruction.
void	visitIF_ICMPLT(IF_ICMPLT o) Ensures the specific preconditions of the said instruction.
void	visitIF_ICMPNE(IF_ICMPNE o) Ensures the specific preconditions of the said instruction.
void	visitIINC(IINC o) Ensures the specific preconditions of the said instruction.
void	visitILOAD(ILOAD o) Ensures the specific preconditions of the said instruction.
void	visitIMPDEP1(IMPDEP1 o) Ensures the specific preconditions of the said instruction.
void	visitIMPDEP2(IMPDEP2 o) Ensures the specific preconditions of the said instruction.
void	visitIMUL(IMUL o) Ensures the specific preconditions of the said instruction.
void	visitInvokeInstruction(InvokeInstruction o) Ensures the general preconditions of an InvokeInstruction instance.
void	visitINEG(INEG o) Ensures the specific preconditions of the said instruction.
void	visitINSTANCEOF(INSTANCEOF o) Ensures the specific preconditions of the said instruction.
void	visitINVOKEINTERFACE(INVOKEINTERFACE o) Ensures the specific preconditions of the said instruction.
void	visitINVOKESPECIAL(INVOKESPECIAL o) Ensures the specific preconditions of the said instruction.
void	visitINVOKESTATIC(INVOKESTATIC o) Ensures the specific preconditions of the said instruction.
void	visitINVOKEVIRTUAL(INVOKEVIRTUAL o) Ensures the specific preconditions of the said instruction.
void	visitIOR(IOR o) Ensures the specific preconditions of the said instruction.
void	visitIREM(IREM o) Ensures the specific preconditions of the said instruction.
void	visitIRETURN(IRETURN o) Ensures the specific preconditions of the said instruction.
void	visitISHL(ISHL o) Ensures the specific preconditions of the said instruction.
void	visitISHR(ISHR o) Ensures the specific preconditions of the said instruction.
void	visitISTORE(ISTORE o) Ensures the specific preconditions of the said instruction.
void	visitISUB(ISUB o) Ensures the specific preconditions of the said instruction.
void	visitIUSHR(IUSHR o) Ensures the specific preconditions of the said instruction.
void	visitIXOR(IXOR o) Ensures the specific preconditions of the said instruction.
void	visitJSR(JSR o) Ensures the specific preconditions of the said instruction.
void	visitJSR_W(JSR_W o) Ensures the specific preconditions of the said instruction.
void	visitL2D(L2D o) Ensures the specific preconditions of the said instruction.
void	visitL2F(L2F o) Ensures the specific preconditions of the said instruction.
void	visitL2I(L2I o) Ensures the specific preconditions of the said instruction.
void	visitLADD(LADD o) Ensures the specific preconditions of the said instruction.
void	visitLALOAD(LALOAD o) Ensures the specific preconditions of the said instruction.
void	visitLAND(LAND o) Ensures the specific preconditions of the said instruction.
void	visitLASTORE(LASTORE o) Ensures the specific preconditions of the said instruction.
void	visitLCMP(LCMP o) Ensures the specific preconditions of the said instruction.
void	visitLCONST(LCONST o) Ensures the specific preconditions of the said instruction.
void	visitLDC(LDC o) Ensures the specific preconditions of the said instruction.
void	visitLDC2_W(LDC2_W o) Ensures the specific preconditions of the said instruction.
void	visitLDC_W(LDC_W o) Ensures the specific preconditions of the said instruction.
void	visitLDIV(LDIV o) Ensures the specific preconditions of the said instruction.
void	visitLLOAD(LLOAD o) Ensures the specific preconditions of the said instruction.
void	visitLMUL(LMUL o) Ensures the specific preconditions of the said instruction.
void	visitLNEG(LNEG o) Ensures the specific preconditions of the said instruction.
void	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	visitReturnInstruction(ReturnInstruction o) Assures the generic preconditions of a ReturnInstruction instance.
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	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.
void	_visitStackAccessor(Instruction o) Ensures the general preconditions of an instruction that accesses the stack.

Field Detail

cpg

private ConstantPoolGen cpg

The ConstantPoolGen we're working on.

See Also: InstConstraintVisitor

frame

private Frame frame

The Execution Frame we're working on.

GENERIC_ARRAY

private static ObjectType GENERIC_ARRAY

mg

private MethodGen mg

The MethodGen we're working on.

See Also: InstConstraintVisitor

Constructor Detail

InstConstraintVisitor

public InstConstraintVisitor()

The constructor. Constructs a new instance of this class.

Method Detail

arrayrefOfArrayType

private boolean arrayrefOfArrayType(Instruction o, Type arrayref)

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

Throws: org.apache.bcel.verifier.exc.StructuralCodeConstraintException if the above constraint is violated.

constraintViolated

private void constraintViolated(Instruction violator, String description)

This method is called by the visitXXX() to notify the acceptor of this InstConstraintVisitor that a constraint violation has occured. This is done by throwing an instance of a StructuralCodeConstraintException.

Throws: org.apache.bcel.verifier.exc.StructuralCodeConstraintException always.

indexOfInt

private void indexOfInt(Instruction o, Type index)

Assures index is of type INT.

Throws: org.apache.bcel.verifier.exc.StructuralCodeConstraintException if the above constraint is not satisfied.

locals

private LocalVariables locals()

The LocalVariables we're working on.

See Also: InstConstraintVisitor

referenceTypeIsInitialized

private void referenceTypeIsInitialized(Instruction o, ReferenceType r)

Assures the ReferenceType r is initialized (or Type.NULL). Formally, this means (!(r instanceof UninitializedObjectType)), because there are no uninitialized array types.

Throws: org.apache.bcel.verifier.exc.StructuralCodeConstraintException if the above constraint is not satisfied.

setConstantPoolGen

public void setConstantPoolGen(ConstantPoolGen cpg)

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

setFrame

public void setFrame(Frame f)

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

setMethodGen

public void setMethodGen(MethodGen mg)

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

stack

private OperandStack stack()

The OperandStack we're working on.

See Also: InstConstraintVisitor

valueOfInt

private void valueOfInt(Instruction o, Type value)

Assures value is of type INT.

visitAALOAD

public void visitAALOAD(AALOAD o)

Ensures the specific preconditions of the said instruction.

visitAASTORE

public void visitAASTORE(AASTORE o)

Ensures the specific preconditions of the said instruction.

visitACONST_NULL

public void visitACONST_NULL(ACONST_NULL o)

Ensures the specific preconditions of the said instruction.

visitALOAD

public void visitALOAD(ALOAD o)

Ensures the specific preconditions of the said instruction.

visitANEWARRAY

public void visitANEWARRAY(ANEWARRAY o)

Ensures the specific preconditions of the said instruction.

visitARETURN

public void visitARETURN(ARETURN o)

Ensures the specific preconditions of the said instruction.

visitARRAYLENGTH

public void visitARRAYLENGTH(ARRAYLENGTH o)

Ensures the specific preconditions of the said instruction.

visitASTORE

public void visitASTORE(ASTORE o)

Ensures the specific preconditions of the said instruction.

visitATHROW

public void visitATHROW(ATHROW o)

Ensures the specific preconditions of the said instruction.

visitBALOAD

public void visitBALOAD(BALOAD o)

Ensures the specific preconditions of the said instruction.

visitBASTORE

public void visitBASTORE(BASTORE o)

Ensures the specific preconditions of the said instruction.

visitBIPUSH

public void visitBIPUSH(BIPUSH o)

Ensures the specific preconditions of the said instruction.

visitBREAKPOINT

public void visitBREAKPOINT(BREAKPOINT o)

Ensures the specific preconditions of the said instruction.

visitCALOAD

public void visitCALOAD(CALOAD o)

Ensures the specific preconditions of the said instruction.

visitCASTORE

public void visitCASTORE(CASTORE o)

Ensures the specific preconditions of the said instruction.

visitCHECKCAST

public void visitCHECKCAST(CHECKCAST o)

Ensures the specific preconditions of the said instruction.

visitCPInstruction

public void visitCPInstruction(CPInstruction o)

Ensures the general preconditions of a CPInstruction instance.

visitD2F

public void visitD2F(D2F o)

Ensures the specific preconditions of the said instruction.

visitD2I

public void visitD2I(D2I o)

Ensures the specific preconditions of the said instruction.

visitD2L

public void visitD2L(D2L o)

Ensures the specific preconditions of the said instruction.

visitDADD

public void visitDADD(DADD o)

Ensures the specific preconditions of the said instruction.

visitDALOAD

public void visitDALOAD(DALOAD o)

Ensures the specific preconditions of the said instruction.

visitDASTORE

public void visitDASTORE(DASTORE o)

Ensures the specific preconditions of the said instruction.

visitDCMPG

public void visitDCMPG(DCMPG o)

Ensures the specific preconditions of the said instruction.

visitDCMPL

public void visitDCMPL(DCMPL o)

Ensures the specific preconditions of the said instruction.

visitDCONST

public void visitDCONST(DCONST o)

Ensures the specific preconditions of the said instruction.

visitDDIV

public void visitDDIV(DDIV o)

Ensures the specific preconditions of the said instruction.

visitDLOAD

public void visitDLOAD(DLOAD o)

Ensures the specific preconditions of the said instruction.

visitDMUL

public void visitDMUL(DMUL o)

Ensures the specific preconditions of the said instruction.

visitDNEG

public void visitDNEG(DNEG o)

Ensures the specific preconditions of the said instruction.

visitDREM

public void visitDREM(DREM o)

Ensures the specific preconditions of the said instruction.

visitDRETURN

public void visitDRETURN(DRETURN o)

Ensures the specific preconditions of the said instruction.

visitDSTORE

public void visitDSTORE(DSTORE o)

Ensures the specific preconditions of the said instruction.

visitDSUB

public void visitDSUB(DSUB o)

Ensures the specific preconditions of the said instruction.

visitDUP

public void visitDUP(DUP o)

Ensures the specific preconditions of the said instruction.

visitDUP2

public void visitDUP2(DUP2 o)

Ensures the specific preconditions of the said instruction.

visitDUP2_X1

public void visitDUP2_X1(DUP2_X1 o)

Ensures the specific preconditions of the said instruction.

visitDUP2_X2

public void visitDUP2_X2(DUP2_X2 o)

Ensures the specific preconditions of the said instruction.

visitDUP_X1

public void visitDUP_X1(DUP_X1 o)

Ensures the specific preconditions of the said instruction.

visitDUP_X2

public void visitDUP_X2(DUP_X2 o)

Ensures the specific preconditions of the said instruction.

visitF2D

public void visitF2D(F2D o)

Ensures the specific preconditions of the said instruction.

visitF2I

public void visitF2I(F2I o)

Ensures the specific preconditions of the said instruction.

visitF2L

public void visitF2L(F2L o)

Ensures the specific preconditions of the said instruction.

visitFADD

public void visitFADD(FADD o)

Ensures the specific preconditions of the said instruction.

visitFALOAD

public void visitFALOAD(FALOAD o)

Ensures the specific preconditions of the said instruction.

visitFASTORE

public void visitFASTORE(FASTORE o)

Ensures the specific preconditions of the said instruction.

visitFCMPG

public void visitFCMPG(FCMPG o)

Ensures the specific preconditions of the said instruction.

visitFCMPL

public void visitFCMPL(FCMPL o)

Ensures the specific preconditions of the said instruction.

visitFCONST

public void visitFCONST(FCONST o)

Ensures the specific preconditions of the said instruction.

visitFDIV

public void visitFDIV(FDIV o)

Ensures the specific preconditions of the said instruction.

visitFieldInstruction

public void visitFieldInstruction(FieldInstruction o)

Ensures the general preconditions of a FieldInstruction instance.

visitFLOAD

public void visitFLOAD(FLOAD o)

Ensures the specific preconditions of the said instruction.

visitFMUL

public void visitFMUL(FMUL o)

Ensures the specific preconditions of the said instruction.

visitFNEG

public void visitFNEG(FNEG o)

Ensures the specific preconditions of the said instruction.

visitFREM

public void visitFREM(FREM o)

Ensures the specific preconditions of the said instruction.

visitFRETURN

public void visitFRETURN(FRETURN o)

Ensures the specific preconditions of the said instruction.

visitFSTORE

public void visitFSTORE(FSTORE o)

Ensures the specific preconditions of the said instruction.

visitFSUB

public void visitFSUB(FSUB o)

Ensures the specific preconditions of the said instruction.

visitGETFIELD

public void visitGETFIELD(GETFIELD o)

Ensures the specific preconditions of the said instruction.

visitGETSTATIC

public void visitGETSTATIC(GETSTATIC o)

Ensures the specific preconditions of the said instruction.

visitGOTO

public void visitGOTO(GOTO o)

Ensures the specific preconditions of the said instruction.

visitGOTO_W

public void visitGOTO_W(GOTO_W o)

Ensures the specific preconditions of the said instruction.

visitI2B

public void visitI2B(I2B o)

Ensures the specific preconditions of the said instruction.

visitI2C

public void visitI2C(I2C o)

Ensures the specific preconditions of the said instruction.

visitI2D

public void visitI2D(I2D o)

Ensures the specific preconditions of the said instruction.

visitI2F

public void visitI2F(I2F o)

Ensures the specific preconditions of the said instruction.

visitI2L

public void visitI2L(I2L o)

Ensures the specific preconditions of the said instruction.

visitI2S

public void visitI2S(I2S o)

Ensures the specific preconditions of the said instruction.

visitIADD

public void visitIADD(IADD o)

Ensures the specific preconditions of the said instruction.

visitIALOAD

public void visitIALOAD(IALOAD o)

Ensures the specific preconditions of the said instruction.

visitIAND

public void visitIAND(IAND o)

Ensures the specific preconditions of the said instruction.

visitIASTORE

public void visitIASTORE(IASTORE o)

Ensures the specific preconditions of the said instruction.

visitICONST

public void visitICONST(ICONST o)

Ensures the specific preconditions of the said instruction.

visitIDIV

public void visitIDIV(IDIV o)

Ensures the specific preconditions of the said instruction.

visitIFEQ

public void visitIFEQ(IFEQ o)

Ensures the specific preconditions of the said instruction.

visitIFGE

public void visitIFGE(IFGE o)

Ensures the specific preconditions of the said instruction.

visitIFGT

public void visitIFGT(IFGT o)

Ensures the specific preconditions of the said instruction.

visitIFLE

public void visitIFLE(IFLE o)

Ensures the specific preconditions of the said instruction.

visitIFLT

public void visitIFLT(IFLT o)

Ensures the specific preconditions of the said instruction.

visitIFNE

public void visitIFNE(IFNE o)

Ensures the specific preconditions of the said instruction.

visitIFNONNULL

public void visitIFNONNULL(IFNONNULL o)

Ensures the specific preconditions of the said instruction.

visitIFNULL

public void visitIFNULL(IFNULL o)

Ensures the specific preconditions of the said instruction.

visitIF_ACMPEQ

public void visitIF_ACMPEQ(IF_ACMPEQ o)

Ensures the specific preconditions of the said instruction.

visitIF_ACMPNE

public void visitIF_ACMPNE(IF_ACMPNE o)

Ensures the specific preconditions of the said instruction.

visitIF_ICMPEQ

public void visitIF_ICMPEQ(IF_ICMPEQ o)

Ensures the specific preconditions of the said instruction.

visitIF_ICMPGE

public void visitIF_ICMPGE(IF_ICMPGE o)

Ensures the specific preconditions of the said instruction.

visitIF_ICMPGT

public void visitIF_ICMPGT(IF_ICMPGT o)

Ensures the specific preconditions of the said instruction.

visitIF_ICMPLE

public void visitIF_ICMPLE(IF_ICMPLE o)

Ensures the specific preconditions of the said instruction.

visitIF_ICMPLT

public void visitIF_ICMPLT(IF_ICMPLT o)

Ensures the specific preconditions of the said instruction.

visitIF_ICMPNE

public void visitIF_ICMPNE(IF_ICMPNE o)

Ensures the specific preconditions of the said instruction.

visitIINC

public void visitIINC(IINC o)

Ensures the specific preconditions of the said instruction.

visitILOAD

public void visitILOAD(ILOAD o)

Ensures the specific preconditions of the said instruction.

visitIMPDEP1

public void visitIMPDEP1(IMPDEP1 o)

Ensures the specific preconditions of the said instruction.

visitIMPDEP2

public void visitIMPDEP2(IMPDEP2 o)

Ensures the specific preconditions of the said instruction.

visitIMUL

public void visitIMUL(IMUL o)

Ensures the specific preconditions of the said instruction.

visitInvokeInstruction

public void visitInvokeInstruction(InvokeInstruction o)

Ensures the general preconditions of an InvokeInstruction instance.

visitINEG

public void visitINEG(INEG o)

Ensures the specific preconditions of the said instruction.

visitINSTANCEOF

public void visitINSTANCEOF(INSTANCEOF o)

Ensures the specific preconditions of the said instruction.

visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(INVOKEINTERFACE o)

Ensures the specific preconditions of the said instruction.

visitINVOKESPECIAL

public void visitINVOKESPECIAL(INVOKESPECIAL o)

Ensures the specific preconditions of the said instruction.

visitINVOKESTATIC

public void visitINVOKESTATIC(INVOKESTATIC o)

Ensures the specific preconditions of the said instruction.

visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(INVOKEVIRTUAL o)

Ensures the specific preconditions of the said instruction.

visitIOR

public void visitIOR(IOR o)

Ensures the specific preconditions of the said instruction.

visitIREM

public void visitIREM(IREM o)

Ensures the specific preconditions of the said instruction.

visitIRETURN

public void visitIRETURN(IRETURN o)

Ensures the specific preconditions of the said instruction.

visitISHL

public void visitISHL(ISHL o)

Ensures the specific preconditions of the said instruction.

visitISHR

public void visitISHR(ISHR o)

Ensures the specific preconditions of the said instruction.

visitISTORE

public void visitISTORE(ISTORE o)

Ensures the specific preconditions of the said instruction.

visitISUB

public void visitISUB(ISUB o)

Ensures the specific preconditions of the said instruction.

visitIUSHR

public void visitIUSHR(IUSHR o)

Ensures the specific preconditions of the said instruction.

visitIXOR

public void visitIXOR(IXOR o)

Ensures the specific preconditions of the said instruction.

visitJSR

public void visitJSR(JSR o)

Ensures the specific preconditions of the said instruction.

visitJSR_W

public void visitJSR_W(JSR_W o)

Ensures the specific preconditions of the said instruction.

visitL2D

public void visitL2D(L2D o)

Ensures the specific preconditions of the said instruction.

visitL2F

public void visitL2F(L2F o)

Ensures the specific preconditions of the said instruction.

visitL2I

public void visitL2I(L2I o)

Ensures the specific preconditions of the said instruction.

visitLADD

public void visitLADD(LADD o)

Ensures the specific preconditions of the said instruction.

visitLALOAD

public void visitLALOAD(LALOAD o)

Ensures the specific preconditions of the said instruction.

visitLAND

public void visitLAND(LAND o)

Ensures the specific preconditions of the said instruction.

visitLASTORE

public void visitLASTORE(LASTORE o)

Ensures the specific preconditions of the said instruction.

visitLCMP

public void visitLCMP(LCMP o)

Ensures the specific preconditions of the said instruction.

visitLCONST

public void visitLCONST(LCONST o)

Ensures the specific preconditions of the said instruction.

visitLDC

public void visitLDC(LDC o)

Ensures the specific preconditions of the said instruction.

visitLDC2_W

public void visitLDC2_W(LDC2_W o)

Ensures the specific preconditions of the said instruction.

visitLDC_W

public void visitLDC_W(LDC_W o)

Ensures the specific preconditions of the said instruction.

visitLDIV

public void visitLDIV(LDIV o)

Ensures the specific preconditions of the said instruction.

visitLLOAD

public void visitLLOAD(LLOAD o)

Ensures the specific preconditions of the said instruction.

visitLMUL

public void visitLMUL(LMUL o)

Ensures the specific preconditions of the said instruction.

visitLNEG

public void visitLNEG(LNEG o)

Ensures the specific preconditions of the said instruction.

visitLoadClass

public void visitLoadClass(LoadClass o)

Assures the generic preconditions of a LoadClass instance. The referenced class is loaded and pass2-verified.

visitLoadInstruction

public void visitLoadInstruction(LoadInstruction o)

Assures the generic preconditions of a LoadInstruction instance.

visitLocalVariableInstruction

public void visitLocalVariableInstruction(LocalVariableInstruction o)

Assures the generic preconditions of a LocalVariableInstruction instance. That is, the index of the local variable must be valid.

visitLOOKUPSWITCH

public void visitLOOKUPSWITCH(LOOKUPSWITCH o)

Ensures the specific preconditions of the said instruction.

visitLOR

public void visitLOR(LOR o)

Ensures the specific preconditions of the said instruction.

visitLREM

public void visitLREM(LREM o)

Ensures the specific preconditions of the said instruction.

visitLRETURN

public void visitLRETURN(LRETURN o)

Ensures the specific preconditions of the said instruction.

visitLSHL

public void visitLSHL(LSHL o)

Ensures the specific preconditions of the said instruction.

visitLSHR

public void visitLSHR(LSHR o)

Ensures the specific preconditions of the said instruction.

visitLSTORE

public void visitLSTORE(LSTORE o)

Ensures the specific preconditions of the said instruction.

visitLSUB

public void visitLSUB(LSUB o)

Ensures the specific preconditions of the said instruction.

visitLUSHR

public void visitLUSHR(LUSHR o)

Ensures the specific preconditions of the said instruction.

visitLXOR

public void visitLXOR(LXOR o)

Ensures the specific preconditions of the said instruction.

visitMONITORENTER

public void visitMONITORENTER(MONITORENTER o)

Ensures the specific preconditions of the said instruction.

visitMONITOREXIT

public void visitMONITOREXIT(MONITOREXIT o)

Ensures the specific preconditions of the said instruction.

visitMULTIANEWARRAY

public void visitMULTIANEWARRAY(MULTIANEWARRAY o)

Ensures the specific preconditions of the said instruction.

visitNEW

public void visitNEW(NEW o)

Ensures the specific preconditions of the said instruction.

visitNEWARRAY

public void visitNEWARRAY(NEWARRAY o)

Ensures the specific preconditions of the said instruction.

visitNOP

public void visitNOP(NOP o)

Ensures the specific preconditions of the said instruction.

visitPOP

public void visitPOP(POP o)

Ensures the specific preconditions of the said instruction.

visitPOP2

public void visitPOP2(POP2 o)

Ensures the specific preconditions of the said instruction.

visitPUTFIELD

public void visitPUTFIELD(PUTFIELD o)

Ensures the specific preconditions of the said instruction.

visitPUTSTATIC

public void visitPUTSTATIC(PUTSTATIC o)

Ensures the specific preconditions of the said instruction.

visitReturnInstruction

public void visitReturnInstruction(ReturnInstruction o)

Assures the generic preconditions of a ReturnInstruction instance.

visitRET

public void visitRET(RET o)

Ensures the specific preconditions of the said instruction.

visitRETURN

public void visitRETURN(RETURN o)

Ensures the specific preconditions of the said instruction.

visitSALOAD

public void visitSALOAD(SALOAD o)

Ensures the specific preconditions of the said instruction.

visitSASTORE

public void visitSASTORE(SASTORE o)

Ensures the specific preconditions of the said instruction.

visitSIPUSH

public void visitSIPUSH(SIPUSH o)

Ensures the specific preconditions of the said instruction.

visitStackConsumer

public void visitStackConsumer(StackConsumer o)

Ensures the general preconditions of a StackConsumer instance.

visitStackInstruction

public void visitStackInstruction(StackInstruction o)

Ensures the general preconditions of a StackInstruction instance.

visitStackProducer

public void visitStackProducer(StackProducer o)

Ensures the general preconditions of a StackProducer instance.

visitStoreInstruction

public void visitStoreInstruction(StoreInstruction o)

Assures the generic preconditions of a StoreInstruction instance.

visitSWAP

public void visitSWAP(SWAP o)

Ensures the specific preconditions of the said instruction.

visitTABLESWITCH

public void visitTABLESWITCH(TABLESWITCH o)

Ensures the specific preconditions of the said instruction.

_visitStackAccessor

private void _visitStackAccessor(Instruction o)

Ensures the general preconditions of an instruction that accesses the stack. This method is here because BCEL has no such superinterface for the stack accessing instructions; and there are funny unexpected exceptions in the semantices of the superinterfaces and superclasses provided. E.g. SWAP is a StackConsumer, but DUP_X1 is not a StackProducer. Therefore, this method is called by all StackProducer, StackConsumer, and StackInstruction instances via their visitXXX() method. Unfortunately, as the superclasses and superinterfaces overlap, some instructions cause this method to be called two or three times. [TODO: Fix this.]