InstConstraintVisitor (jakarta-bcel 5.2 API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.apache.bcel.verifier.structurals
Class InstConstraintVisitor

java.lang.Object
  org.apache.bcel.generic.EmptyVisitor
      org.apache.bcel.verifier.structurals.InstConstraintVisitor

All Implemented Interfaces:: Visitor

public class InstConstraintVisitor
extends EmptyVisitor
implements Visitor
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 $
See Also:: StructuralCodeConstraintException, LinkingConstraintException

Constructor Summary
`InstConstraintVisitor()` The constructor.

Method Summary
`void`	`setConstantPoolGen(ConstantPoolGen cpg)` Sets the ConstantPoolGen instance needed for constraint checking prior to execution.
`void`	`setFrame(Frame f)` This returns the single instance of the InstConstraintVisitor class.
`void`	`setMethodGen(MethodGen mg)` Sets the MethodGen instance needed for constraint checking prior to execution.
`void`	`visitAALOAD(AALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitAASTORE(AASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitACONST_NULL(ACONST_NULL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitALOAD(ALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitANEWARRAY(ANEWARRAY o)` Ensures the specific preconditions of the said instruction.
`void`	`visitARETURN(ARETURN o)` Ensures the specific preconditions of the said instruction.
`void`	`visitARRAYLENGTH(ARRAYLENGTH o)` Ensures the specific preconditions of the said instruction.
`void`	`visitASTORE(ASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitATHROW(ATHROW o)` Ensures the specific preconditions of the said instruction.
`void`	`visitBALOAD(BALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitBASTORE(BASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitBIPUSH(BIPUSH o)` Ensures the specific preconditions of the said instruction.
`void`	`visitBREAKPOINT(BREAKPOINT o)` Ensures the specific preconditions of the said instruction.
`void`	`visitCALOAD(CALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitCASTORE(CASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitCHECKCAST(CHECKCAST o)` Ensures the specific preconditions of the said instruction.
`void`	`visitCPInstruction(CPInstruction o)` Ensures the general preconditions of a CPInstruction instance.
`void`	`visitD2F(D2F o)` Ensures the specific preconditions of the said instruction.
`void`	`visitD2I(D2I o)` Ensures the specific preconditions of the said instruction.
`void`	`visitD2L(D2L o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDADD(DADD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDALOAD(DALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDASTORE(DASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDCMPG(DCMPG o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDCMPL(DCMPL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDCONST(DCONST o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDDIV(DDIV o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDLOAD(DLOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDMUL(DMUL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDNEG(DNEG o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDREM(DREM o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDRETURN(DRETURN o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDSTORE(DSTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDSUB(DSUB o)` Ensures the specific preconditions of the said instruction.
`void`	`visitDUP_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`	`visitDUP(DUP 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`	`visitDUP2(DUP2 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_W(GOTO_W o)` Ensures the specific preconditions of the said instruction.
`void`	`visitGOTO(GOTO o)` Ensures the specific preconditions of the said instruction.
`void`	`visitI2B(I2B o)` Ensures the specific preconditions of the said instruction.
`void`	`visitI2C(I2C o)` Ensures the specific preconditions of the said instruction.
`void`	`visitI2D(I2D o)` Ensures the specific preconditions of the said instruction.
`void`	`visitI2F(I2F o)` Ensures the specific preconditions of the said instruction.
`void`	`visitI2L(I2L o)` Ensures the specific preconditions of the said instruction.
`void`	`visitI2S(I2S o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIADD(IADD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIALOAD(IALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIAND(IAND o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIASTORE(IASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitICONST(ICONST o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIDIV(IDIV o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIF_ACMPEQ(IF_ACMPEQ o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIF_ACMPNE(IF_ACMPNE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIF_ICMPEQ(IF_ICMPEQ o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIF_ICMPGE(IF_ICMPGE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIF_ICMPGT(IF_ICMPGT o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIF_ICMPLE(IF_ICMPLE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIF_ICMPLT(IF_ICMPLT o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIF_ICMPNE(IF_ICMPNE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIFEQ(IFEQ o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIFGE(IFGE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIFGT(IFGT o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIFLE(IFLE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIFLT(IFLT o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIFNE(IFNE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIFNONNULL(IFNONNULL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIFNULL(IFNULL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIINC(IINC o)` Ensures the specific preconditions of the said instruction.
`void`	`visitILOAD(ILOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIMPDEP1(IMPDEP1 o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIMPDEP2(IMPDEP2 o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIMUL(IMUL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitINEG(INEG o)` Ensures the specific preconditions of the said instruction.
`void`	`visitINSTANCEOF(INSTANCEOF o)` Ensures the specific preconditions of the said instruction.
`void`	`visitInvokeInstruction(InvokeInstruction o)` Ensures the general preconditions of an InvokeInstruction instance.
`void`	`visitINVOKEINTERFACE(INVOKEINTERFACE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitINVOKESPECIAL(INVOKESPECIAL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitINVOKESTATIC(INVOKESTATIC o)` Ensures the specific preconditions of the said instruction.
`void`	`visitINVOKEVIRTUAL(INVOKEVIRTUAL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIOR(IOR o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIREM(IREM o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIRETURN(IRETURN o)` Ensures the specific preconditions of the said instruction.
`void`	`visitISHL(ISHL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitISHR(ISHR o)` Ensures the specific preconditions of the said instruction.
`void`	`visitISTORE(ISTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitISUB(ISUB o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIUSHR(IUSHR o)` Ensures the specific preconditions of the said instruction.
`void`	`visitIXOR(IXOR o)` Ensures the specific preconditions of the said instruction.
`void`	`visitJSR_W(JSR_W o)` Ensures the specific preconditions of the said instruction.
`void`	`visitJSR(JSR 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_W(LDC_W 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`	`visitLDIV(LDIV o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLLOAD(LLOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLMUL(LMUL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLNEG(LNEG o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLoadClass(LoadClass o)` Assures the generic preconditions of a LoadClass instance.
`void`	`visitLoadInstruction(LoadInstruction o)` Assures the generic preconditions of a LoadInstruction instance.
`void`	`visitLocalVariableInstruction(LocalVariableInstruction o)` Assures the generic preconditions of a LocalVariableInstruction instance.
`void`	`visitLOOKUPSWITCH(LOOKUPSWITCH o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLOR(LOR o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLREM(LREM o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLRETURN(LRETURN o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLSHL(LSHL o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLSHR(LSHR o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLSTORE(LSTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLSUB(LSUB o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLUSHR(LUSHR o)` Ensures the specific preconditions of the said instruction.
`void`	`visitLXOR(LXOR o)` Ensures the specific preconditions of the said instruction.
`void`	`visitMONITORENTER(MONITORENTER o)` Ensures the specific preconditions of the said instruction.
`void`	`visitMONITOREXIT(MONITOREXIT o)` Ensures the specific preconditions of the said instruction.
`void`	`visitMULTIANEWARRAY(MULTIANEWARRAY o)` Ensures the specific preconditions of the said instruction.
`void`	`visitNEW(NEW o)` Ensures the specific preconditions of the said instruction.
`void`	`visitNEWARRAY(NEWARRAY o)` Ensures the specific preconditions of the said instruction.
`void`	`visitNOP(NOP o)` Ensures the specific preconditions of the said instruction.
`void`	`visitPOP(POP o)` Ensures the specific preconditions of the said instruction.
`void`	`visitPOP2(POP2 o)` Ensures the specific preconditions of the said instruction.
`void`	`visitPUTFIELD(PUTFIELD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitPUTSTATIC(PUTSTATIC o)` Ensures the specific preconditions of the said instruction.
`void`	`visitRET(RET o)` Ensures the specific preconditions of the said instruction.
`void`	`visitRETURN(RETURN o)` Ensures the specific preconditions of the said instruction.
`void`	`visitReturnInstruction(ReturnInstruction o)` Assures the generic preconditions of a ReturnInstruction instance.
`void`	`visitSALOAD(SALOAD o)` Ensures the specific preconditions of the said instruction.
`void`	`visitSASTORE(SASTORE o)` Ensures the specific preconditions of the said instruction.
`void`	`visitSIPUSH(SIPUSH o)` Ensures the specific preconditions of the said instruction.
`void`	`visitStackConsumer(StackConsumer o)` Ensures the general preconditions of a StackConsumer instance.
`void`	`visitStackInstruction(StackInstruction o)` Ensures the general preconditions of a StackInstruction instance.
`void`	`visitStackProducer(StackProducer o)` Ensures the general preconditions of a StackProducer instance.
`void`	`visitStoreInstruction(StoreInstruction o)` Assures the generic preconditions of a StoreInstruction instance.
`void`	`visitSWAP(SWAP o)` Ensures the specific preconditions of the said instruction.
`void`	`visitTABLESWITCH(TABLESWITCH o)` Ensures the specific preconditions of the said instruction.

Methods inherited from class org.apache.bcel.generic.EmptyVisitor
`visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitConstantPushInstruction, visitConversionInstruction, visitExceptionThrower, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitJsrInstruction, visitPopInstruction, visitPushInstruction, visitSelect, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction`

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

visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitConstantPushInstruction, visitConversionInstruction, visitExceptionThrower, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitJsrInstruction, visitPopInstruction, visitPushInstruction, visitSelect, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Methods inherited from interface org.apache.bcel.generic.Visitor
`visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitConstantPushInstruction, visitConversionInstruction, visitExceptionThrower, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitJsrInstruction, visitPopInstruction, visitPushInstruction, visitSelect, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction`

Methods inherited from interface org.apache.bcel.generic.Visitor

visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitConstantPushInstruction, visitConversionInstruction, visitExceptionThrower, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitJsrInstruction, visitPopInstruction, visitPushInstruction, visitSelect, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction

Constructor Detail

InstConstraintVisitor

public InstConstraintVisitor()

The constructor. Constructs a new instance of this class.

Method Detail

setFrame

public void setFrame(Frame f)

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

See Also:: setConstantPoolGen(ConstantPoolGen cpg), setMethodGen(MethodGen mg)

setConstantPoolGen

public void setConstantPoolGen(ConstantPoolGen cpg)

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

setMethodGen

public void setMethodGen(MethodGen mg)

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

visitLoadClass

public void visitLoadClass(LoadClass o)

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

Specified by:: visitLoadClass in interface Visitor
Overrides:: visitLoadClass in class EmptyVisitor

visitStackConsumer

public void visitStackConsumer(StackConsumer o)

Ensures the general preconditions of a StackConsumer instance.

Specified by:: visitStackConsumer in interface Visitor
Overrides:: visitStackConsumer in class EmptyVisitor

visitStackProducer

public void visitStackProducer(StackProducer o)

Ensures the general preconditions of a StackProducer instance.

Specified by:: visitStackProducer in interface Visitor
Overrides:: visitStackProducer in class EmptyVisitor

visitCPInstruction

public void visitCPInstruction(CPInstruction o)

Ensures the general preconditions of a CPInstruction instance.

Specified by:: visitCPInstruction in interface Visitor
Overrides:: visitCPInstruction in class EmptyVisitor

visitFieldInstruction

public void visitFieldInstruction(FieldInstruction o)

Ensures the general preconditions of a FieldInstruction instance.

Specified by:: visitFieldInstruction in interface Visitor
Overrides:: visitFieldInstruction in class EmptyVisitor

visitInvokeInstruction

public void visitInvokeInstruction(InvokeInstruction o)

Ensures the general preconditions of an InvokeInstruction instance.

Specified by:: visitInvokeInstruction in interface Visitor
Overrides:: visitInvokeInstruction in class EmptyVisitor

visitStackInstruction

public void visitStackInstruction(StackInstruction o)

Ensures the general preconditions of a StackInstruction instance.

Specified by:: visitStackInstruction in interface Visitor
Overrides:: visitStackInstruction in class EmptyVisitor

visitLocalVariableInstruction

public void visitLocalVariableInstruction(LocalVariableInstruction o)

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

Specified by:: visitLocalVariableInstruction in interface Visitor
Overrides:: visitLocalVariableInstruction in class EmptyVisitor

visitLoadInstruction

public void visitLoadInstruction(LoadInstruction o)

Assures the generic preconditions of a LoadInstruction instance.

Specified by:: visitLoadInstruction in interface Visitor
Overrides:: visitLoadInstruction in class EmptyVisitor

visitStoreInstruction

public void visitStoreInstruction(StoreInstruction o)

Assures the generic preconditions of a StoreInstruction instance.

Specified by:: visitStoreInstruction in interface Visitor
Overrides:: visitStoreInstruction in class EmptyVisitor

visitReturnInstruction

public void visitReturnInstruction(ReturnInstruction o)

Assures the generic preconditions of a ReturnInstruction instance.

Specified by:: visitReturnInstruction in interface Visitor
Overrides:: visitReturnInstruction in class EmptyVisitor