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

All Implemented Interfaces:

Visitor

Enclosing class:

Pass3aVerifier
```
private final class Pass3aVerifier.InstOperandConstraintVisitor
extends EmptyVisitor
```
This visitor class does the actual checking for the instruction operand's constraints.

Field Summary

Fields
Modifier and Type Field Description

private ConstantPoolGen constantPoolGen
The ConstantPoolGen instance this Visitor operates on.

Constructor Summary

Constructors
Constructor Description

InstOperandConstraintVisitor(ConstantPoolGen constantPoolGen)
Constructs a new instance.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`private void`	`constraintViolated(Instruction i, java.lang.String message)`	A utility method to always raise an exception.
`private Method`	`getMethod(JavaClass jc, InvokeInstruction invoke)`	Looks for the method referenced by the given invoke instruction in the given class.
`private Method`	`getMethodRecursive(JavaClass jc, InvokeInstruction invoke)`	Looks for the method referenced by the given invoke instruction in the given class or its super classes and super interfaces.
`private ObjectType`	`getObjectType(FieldInstruction o)`
`private void`	`indexValid(Instruction i, int idx)`	A utility method to raise an exception if the index is not a valid constant pool index.
`private int`	`maxLocals()`	Utility method to return the max_locals value of the method verified by the surrounding Pass3aVerifier instance.
`void`	`visitALOAD(ALOAD o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitANEWARRAY(ANEWARRAY o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitASTORE(ASTORE o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitCHECKCAST(CHECKCAST o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitDLOAD(DLOAD o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitDSTORE(DSTORE o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitFieldInstruction(FieldInstruction o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitFLOAD(FLOAD o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitFSTORE(FSTORE o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitGETSTATIC(GETSTATIC o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitIINC(IINC o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitILOAD(ILOAD o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitINSTANCEOF(INSTANCEOF o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitINVOKEDYNAMIC(INVOKEDYNAMIC o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitInvokeInstruction(InvokeInstruction o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitINVOKEINTERFACE(INVOKEINTERFACE o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitINVOKESPECIAL(INVOKESPECIAL o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitINVOKESTATIC(INVOKESTATIC o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitINVOKEVIRTUAL(INVOKEVIRTUAL o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitISTORE(ISTORE o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitLDC(LDC ldc)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitLDC2_W(LDC2_W o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitLLOAD(LLOAD o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitLoadClass(LoadClass loadClass)`	Assures the generic preconditions of a LoadClass instance.
`void`	`visitLOOKUPSWITCH(LOOKUPSWITCH o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitLSTORE(LSTORE o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitMULTIANEWARRAY(MULTIANEWARRAY o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitNEW(NEW o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitNEWARRAY(NEWARRAY o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitPUTSTATIC(PUTSTATIC o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitRET(RET o)`	Checks if the constraints of operands of the said instruction(s) are satisfied.
`void`	`visitTABLESWITCH(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, visitDUP_X1, visitDUP_X2, visitDUP2, visitDUP2_X1, visitDUP2_X2, visitExceptionThrower, visitF2D, visitF2I, visitF2L, visitFADD, visitFALOAD, visitFASTORE, visitFCMPG, visitFCMPL, visitFCONST, visitFDIV, visitFieldOrMethod, visitFMUL, visitFNEG, visitFREM, visitFRETURN, visitFSUB, visitGETFIELD, visitGOTO, visitGOTO_W, 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, visitJSR_W, 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
  - constantPoolGen
```
private final ConstantPoolGen constantPoolGen
```
    The ConstantPoolGen instance this Visitor operates on.
- Constructor Detail
  - InstOperandConstraintVisitor
```
InstOperandConstraintVisitor(ConstantPoolGen constantPoolGen)
```
    Constructs a new instance.
- Method Detail
  - constraintViolated
```
private void constraintViolated(Instruction i,
                                java.lang.String message)
```
    A utility method to always raise an exception.
  - getMethod
```
private Method getMethod(JavaClass jc,
                         InvokeInstruction invoke)
```
    Looks for the method referenced by the given invoke instruction in the given class.
    
    Parameters:
    
    jc - the class that defines the referenced method.
    
    invoke - the instruction that references the method.
    
    Returns:
    
    the referenced method or null if not found.
  - getMethodRecursive
```
private Method getMethodRecursive(JavaClass jc,
                                  InvokeInstruction invoke)
                           throws java.lang.ClassNotFoundException
```
    Looks for the method referenced by the given invoke instruction in the given class or its super classes and super interfaces.
    
    Parameters:
    
    jc - the class that defines the referenced method.
    
    invoke - the instruction that references the method.
    
    Returns:
    
    the referenced method or null if not found.
    
    Throws:
    
    java.lang.ClassNotFoundException
  - getObjectType
```
private ObjectType getObjectType(FieldInstruction o)
```
  - indexValid
```
private void indexValid(Instruction i,
                        int idx)
```
    A utility method to raise an exception if the index is not a valid constant pool index.
  - maxLocals
```
private int maxLocals()
```
    Utility method to return the max_locals value of the method verified by the surrounding Pass3aVerifier instance.
  - visitALOAD
```
public void visitALOAD(ALOAD o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitALOAD in interface Visitor
    
    Overrides:
    
    visitALOAD in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitANEWARRAY
```
public void visitANEWARRAY(ANEWARRAY o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitANEWARRAY in interface Visitor
    
    Overrides:
    
    visitANEWARRAY in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitASTORE
```
public void visitASTORE(ASTORE o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitASTORE in interface Visitor
    
    Overrides:
    
    visitASTORE in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitCHECKCAST
```
public void visitCHECKCAST(CHECKCAST o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitCHECKCAST in interface Visitor
    
    Overrides:
    
    visitCHECKCAST in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitDLOAD
```
public void visitDLOAD(DLOAD o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitDLOAD in interface Visitor
    
    Overrides:
    
    visitDLOAD in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitDSTORE
```
public void visitDSTORE(DSTORE o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitDSTORE in interface Visitor
    
    Overrides:
    
    visitDSTORE in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitFieldInstruction
```
public void visitFieldInstruction(FieldInstruction o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitFieldInstruction in interface Visitor
    
    Overrides:
    
    visitFieldInstruction in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitFLOAD
```
public void visitFLOAD(FLOAD o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitFLOAD in interface Visitor
    
    Overrides:
    
    visitFLOAD in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitFSTORE
```
public void visitFSTORE(FSTORE o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitFSTORE in interface Visitor
    
    Overrides:
    
    visitFSTORE in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitGETSTATIC
```
public void visitGETSTATIC(GETSTATIC o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitGETSTATIC in interface Visitor
    
    Overrides:
    
    visitGETSTATIC in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitIINC
```
public void visitIINC(IINC o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitIINC in interface Visitor
    
    Overrides:
    
    visitIINC in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitILOAD
```
public void visitILOAD(ILOAD o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitILOAD in interface Visitor
    
    Overrides:
    
    visitILOAD in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitINSTANCEOF
```
public void visitINSTANCEOF(INSTANCEOF o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitINSTANCEOF in interface Visitor
    
    Overrides:
    
    visitINSTANCEOF in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitINVOKEDYNAMIC
```
public void visitINVOKEDYNAMIC(INVOKEDYNAMIC o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitINVOKEDYNAMIC in interface Visitor
    
    Overrides:
    
    visitINVOKEDYNAMIC in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitInvokeInstruction
```
public void visitInvokeInstruction(InvokeInstruction o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitInvokeInstruction in interface Visitor
    
    Overrides:
    
    visitInvokeInstruction in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitINVOKEINTERFACE
```
public void visitINVOKEINTERFACE(INVOKEINTERFACE o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitINVOKEINTERFACE in interface Visitor
    
    Overrides:
    
    visitINVOKEINTERFACE in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitINVOKESPECIAL
```
public void visitINVOKESPECIAL(INVOKESPECIAL o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitINVOKESPECIAL in interface Visitor
    
    Overrides:
    
    visitINVOKESPECIAL in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitINVOKESTATIC
```
public void visitINVOKESTATIC(INVOKESTATIC o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitINVOKESTATIC in interface Visitor
    
    Overrides:
    
    visitINVOKESTATIC in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitINVOKEVIRTUAL
```
public void visitINVOKEVIRTUAL(INVOKEVIRTUAL o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitINVOKEVIRTUAL in interface Visitor
    
    Overrides:
    
    visitINVOKEVIRTUAL in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitISTORE
```
public void visitISTORE(ISTORE o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitISTORE in interface Visitor
    
    Overrides:
    
    visitISTORE in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitLDC
```
public void visitLDC(LDC ldc)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitLDC in interface Visitor
    
    Overrides:
    
    visitLDC in class EmptyVisitor
    
    Parameters:
    
    ldc - the instruction.
  - visitLDC2_W
```
public void visitLDC2_W(LDC2_W o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitLDC2_W in interface Visitor
    
    Overrides:
    
    visitLDC2_W in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitLLOAD
```
public void visitLLOAD(LLOAD o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitLLOAD in interface Visitor
    
    Overrides:
    
    visitLLOAD in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitLoadClass
```
public void visitLoadClass(LoadClass loadClass)
```
    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
    
    Parameters:
    
    loadClass - the load class.
  - visitLOOKUPSWITCH
```
public void visitLOOKUPSWITCH(LOOKUPSWITCH o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitLOOKUPSWITCH in interface Visitor
    
    Overrides:
    
    visitLOOKUPSWITCH in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitLSTORE
```
public void visitLSTORE(LSTORE o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitLSTORE in interface Visitor
    
    Overrides:
    
    visitLSTORE in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitMULTIANEWARRAY
```
public void visitMULTIANEWARRAY(MULTIANEWARRAY o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitMULTIANEWARRAY in interface Visitor
    
    Overrides:
    
    visitMULTIANEWARRAY in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitNEW
```
public void visitNEW(NEW o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitNEW in interface Visitor
    
    Overrides:
    
    visitNEW in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitNEWARRAY
```
public void visitNEWARRAY(NEWARRAY o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitNEWARRAY in interface Visitor
    
    Overrides:
    
    visitNEWARRAY in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitPUTSTATIC
```
public void visitPUTSTATIC(PUTSTATIC o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitPUTSTATIC in interface Visitor
    
    Overrides:
    
    visitPUTSTATIC in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitRET
```
public void visitRET(RET o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitRET in interface Visitor
    
    Overrides:
    
    visitRET in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.
  - visitTABLESWITCH
```
public void visitTABLESWITCH(TABLESWITCH o)
```
    Checks if the constraints of operands of the said instruction(s) are satisfied.
    
    Specified by:
    
    visitTABLESWITCH in interface Visitor
    
    Overrides:
    
    visitTABLESWITCH in class EmptyVisitor
    
    Parameters:
    
    o - the instruction.

Class Pass3aVerifier.InstOperandConstraintVisitor

Field Summary

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Field Detail

constantPoolGen

Constructor Detail

InstOperandConstraintVisitor

Method Detail

constraintViolated

getMethod

getMethodRecursive

getObjectType

indexValid

maxLocals

visitALOAD

visitANEWARRAY

visitASTORE

visitCHECKCAST

visitDLOAD

visitDSTORE

visitFieldInstruction

visitFLOAD

visitFSTORE

visitGETSTATIC

visitIINC

visitILOAD

visitINSTANCEOF

visitINVOKEDYNAMIC

visitInvokeInstruction

visitINVOKEINTERFACE

visitINVOKESPECIAL

visitINVOKESTATIC

visitINVOKEVIRTUAL

visitISTORE

visitLDC

visitLDC2_W

visitLLOAD

visitLoadClass

visitLOOKUPSWITCH

visitLSTORE

visitMULTIANEWARRAY

visitNEW

visitNEWARRAY

visitPUTSTATIC

visitRET

visitTABLESWITCH