bcel API: Class InstConstraintVisitor

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | 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

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,v 1.1.1.1 2001/10/29 20:00:41 jvanzyl Exp $
Author:: Enver Haase
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 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

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