org.apache.bcel.verifier.statics

Class Pass3aVerifier.InstOperandConstraintVisitor

private class Pass3aVerifier.InstOperandConstraintVisitor extends EmptyVisitor

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

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.

Field Detail

cpg

private ConstantPoolGen cpg

The ConstantPoolGen instance this Visitor operates on.

Constructor Detail

InstOperandConstraintVisitor

InstOperandConstraintVisitor(ConstantPoolGen cpg)

The only Constructor.

Method Detail

constraintViolated

private void constraintViolated(Instruction i, String message)

A utility method to always raise an exeption.

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.

max_locals

private int max_locals()

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

objarrayequals

private boolean objarrayequals(Object[] o, Object[] p)

A utility method like equals(Object) for arrays. The equality of the elements is based on their equals(Object) method instead of their object identity.