org.apache.bcel.verifier.statics
private class Pass3aVerifier.InstOperandConstraintVisitor extends EmptyVisitor
Field Summary | |
---|---|
ConstantPoolGen | cpg The ConstantPoolGen instance this Visitor operates on. |
Constructor Summary | |
---|---|
InstOperandConstraintVisitor(ConstantPoolGen cpg) The only Constructor. |
Method Summary | |
---|---|
void | constraintViolated(Instruction i, String message)
A utility method to always raise an exeption. |
void | indexValid(Instruction i, int idx)
A utility method to raise an exception if the index is not
a valid constant pool index. |
int | max_locals()
Utility method to return the max_locals value of the method verified
by the surrounding Pass3aVerifier instance. |
boolean | objarrayequals(Object[] o, Object[] p)
A utility method like equals(Object) for arrays.
|
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 | visitInvokeInstruction(InvokeInstruction 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 | 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 o) 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 o)
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. |