Pass3aVerifier.InstOperandConstraintVisitor

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> apache >> bcel >> verifier >> [ statics overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of org.apache.bcel.verifier.statics.Pass3aVerifier

SOURCE |

Download org.apache.bcel.verifier.statics.Pass3aVerifier

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.apache.bcel.verifier.statics
Class Pass3aVerifier.InstOperandConstraintVisitor

java.lang.Object
  org.apache.bcel.generic.EmptyVisitor
      org.apache.bcel.verifier.statics.Pass3aVerifier.InstOperandConstraintVisitor

All Implemented Interfaces:: org.apache.bcel.generic.Visitor

Enclosing class:: Pass3aVerifier

private class Pass3aVerifier.InstOperandConstraintVisitor
extends org.apache.bcel.generic.EmptyVisitor

This visitor class does the actual checking for the instruction operand's constraints.

Field Summary

private org.apache.bcel.generic.ConstantPoolGen cpg
          The ConstantPoolGen instance this Visitor operates on.

Constructor Summary

(package private) Pass3aVerifier.InstOperandConstraintVisitor(org.apache.bcel.generic.ConstantPoolGen cpg)
          The only Constructor.

Method Summary

private void constraintViolated(org.apache.bcel.generic.Instruction i, java.lang.String message)
          A utility method to always raise an exeption.

private void indexValid(org.apache.bcel.generic.Instruction i, int idx)
          A utility method to raise an exception if the index is not a valid constant pool index.

private int max_locals()
          Utility method to return the max_locals value of the method verified by the surrounding Pass3aVerifier instance.

private boolean objarrayequals(java.lang.Object[] o, java.lang.Object[] p)
          A utility method like equals(Object) for arrays.

void visitALOAD(org.apache.bcel.generic.ALOAD o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitANEWARRAY(org.apache.bcel.generic.ANEWARRAY o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitASTORE(org.apache.bcel.generic.ASTORE o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitDLOAD(org.apache.bcel.generic.DLOAD o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitDSTORE(org.apache.bcel.generic.DSTORE o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitFieldInstruction(org.apache.bcel.generic.FieldInstruction o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitFLOAD(org.apache.bcel.generic.FLOAD o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitFSTORE(org.apache.bcel.generic.FSTORE o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitIINC(org.apache.bcel.generic.IINC o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitILOAD(org.apache.bcel.generic.ILOAD o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitINSTANCEOF(org.apache.bcel.generic.INSTANCEOF o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitInvokeInstruction(org.apache.bcel.generic.InvokeInstruction o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitISTORE(org.apache.bcel.generic.ISTORE o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitLDC(org.apache.bcel.generic.LDC o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitLDC2_W(org.apache.bcel.generic.LDC2_W o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitLLOAD(org.apache.bcel.generic.LLOAD o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitLoadClass(org.apache.bcel.generic.LoadClass o)
          Assures the generic preconditions of a LoadClass instance.

void visitLOOKUPSWITCH(org.apache.bcel.generic.LOOKUPSWITCH o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitLSTORE(org.apache.bcel.generic.LSTORE o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitMULTIANEWARRAY(org.apache.bcel.generic.MULTIANEWARRAY o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitNEW(org.apache.bcel.generic.NEW o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitNEWARRAY(org.apache.bcel.generic.NEWARRAY o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitPUTSTATIC(org.apache.bcel.generic.PUTSTATIC o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitRET(org.apache.bcel.generic.RET o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

void visitTABLESWITCH(org.apache.bcel.generic.TABLESWITCH o)
          Checks if the constraints of operands of the said instruction(s) are satisfied.

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

visitAALOAD, visitAASTORE, visitACONST_NULL, visitAllocationInstruction, visitARETURN, visitArithmeticInstruction, visitArrayInstruction, visitARRAYLENGTH, visitATHROW, visitBALOAD, visitBASTORE, visitBIPUSH, visitBranchInstruction, visitBREAKPOINT, visitCALOAD, visitCASTORE, visitConstantPushInstruction, visitConversionInstruction, visitCPInstruction, visitD2F, visitD2I, visitD2L, visitDADD, visitDALOAD, visitDASTORE, visitDCMPG, visitDCMPL, visitDCONST, visitDDIV, visitDMUL, visitDNEG, visitDREM, visitDRETURN, visitDSUB, visitDUP_X1, visitDUP_X2, visitDUP, visitDUP2_X1, visitDUP2_X2, visitDUP2, visitExceptionThrower, visitF2D, visitF2I, visitF2L, visitFADD, visitFALOAD, visitFASTORE, visitFCMPG, visitFCMPL, visitFCONST, visitFDIV, visitFieldOrMethod, visitFMUL, visitFNEG, visitFREM, visitFRETURN, visitFSUB, visitGETFIELD, visitGOTO_W, visitGOTO, visitGotoInstruction, visitI2B, visitI2C, visitI2D, visitI2F, visitI2L, visitI2S, visitIADD, visitIALOAD, visitIAND, visitIASTORE, visitICONST, visitIDIV, visitIF_ACMPEQ, visitIF_ACMPNE, visitIF_ICMPEQ, visitIF_ICMPGE, visitIF_ICMPGT, visitIF_ICMPLE, visitIF_ICMPLT, visitIF_ICMPNE, visitIFEQ, visitIFGE, visitIFGT, visitIfInstruction, visitIFLE, visitIFLT, visitIFNE, visitIFNONNULL, visitIFNULL, visitIMPDEP1, visitIMPDEP2, visitIMUL, visitINEG, visitIOR, visitIREM, visitIRETURN, visitISHL, visitISHR, visitISUB, visitIUSHR, visitIXOR, visitJSR_W, visitJSR, visitJsrInstruction, visitL2D, visitL2F, visitL2I, visitLADD, visitLALOAD, visitLAND, visitLASTORE, visitLCMP, visitLCONST, visitLDIV, visitLMUL, visitLNEG, visitLoadInstruction, visitLocalVariableInstruction, visitLOR, visitLREM, visitLRETURN, visitLSHL, visitLSHR, visitLSUB, visitLUSHR, visitLXOR, visitMONITORENTER, visitMONITOREXIT, visitNOP, visitPOP, visitPOP2, visitPopInstruction, visitPushInstruction, visitPUTFIELD, visitRETURN, visitReturnInstruction, visitSALOAD, visitSASTORE, visitSelect, visitSIPUSH, visitStackConsumer, visitStackInstruction, visitStackProducer, visitStoreInstruction, visitSWAP, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

cpg

private org.apache.bcel.generic.ConstantPoolGen cpg

The ConstantPoolGen instance this Visitor operates on.

Constructor Detail

Pass3aVerifier.InstOperandConstraintVisitor

Pass3aVerifier.InstOperandConstraintVisitor(org.apache.bcel.generic.ConstantPoolGen cpg)

The only Constructor.

Method Detail

max_locals

private int max_locals()

Utility method to return the max_locals value of the method verified by the surrounding Pass3aVerifier instance.

constraintViolated

private void constraintViolated(org.apache.bcel.generic.Instruction i,
                                java.lang.String message)

A utility method to always raise an exeption.

indexValid

private void indexValid(org.apache.bcel.generic.Instruction i,
                        int idx)

A utility method to raise an exception if the index is not a valid constant pool index.

visitLoadClass

public void visitLoadClass(org.apache.bcel.generic.LoadClass o)

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