|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.apache.bcel.generic.EmptyVisitor
org.apache.bcel.verifier.statics.Pass3aVerifier.InstOperandConstraintVisitor
private class Pass3aVerifier.InstOperandConstraintVisitor
This visitor class does the actual checking for the instruction operand's constraints.
Field Summary | |
---|---|
private ConstantPoolGen |
cpg
The ConstantPoolGen instance this Visitor operates on. |
Constructor Summary | |
---|---|
Pass3aVerifier.InstOperandConstraintVisitor(ConstantPoolGen cpg)
The only Constructor. |
Method Summary | |
---|---|
private void |
constraintViolated(Instruction i,
java.lang.String message)
A utility method to always raise an exeption. |
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 |
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(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 |
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 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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private ConstantPoolGen cpg
Constructor Detail |
---|
Pass3aVerifier.InstOperandConstraintVisitor(ConstantPoolGen cpg)
Method Detail |
---|
private int max_locals()
private void constraintViolated(Instruction i, java.lang.String message)
private void indexValid(Instruction i, int idx)
public void visitLoadClass(LoadClass o)
visitLoadClass
in interface Visitor
visitLoadClass
in class EmptyVisitor
public void visitLDC(LDC o)
visitLDC
in interface Visitor
visitLDC
in class EmptyVisitor
public void visitLDC2_W(LDC2_W o)
visitLDC2_W
in interface Visitor
visitLDC2_W
in class EmptyVisitor
public void visitFieldInstruction(FieldInstruction o)
visitFieldInstruction
in interface Visitor
visitFieldInstruction
in class EmptyVisitor
public void visitInvokeInstruction(InvokeInstruction o)
visitInvokeInstruction
in interface Visitor
visitInvokeInstruction
in class EmptyVisitor
public void visitINSTANCEOF(INSTANCEOF o)
visitINSTANCEOF
in interface Visitor
visitINSTANCEOF
in class EmptyVisitor
public void visitCHECKCAST(CHECKCAST o)
visitCHECKCAST
in interface Visitor
visitCHECKCAST
in class EmptyVisitor
public void visitNEW(NEW o)
visitNEW
in interface Visitor
visitNEW
in class EmptyVisitor
public void visitMULTIANEWARRAY(MULTIANEWARRAY o)
visitMULTIANEWARRAY
in interface Visitor
visitMULTIANEWARRAY
in class EmptyVisitor
public void visitANEWARRAY(ANEWARRAY o)
visitANEWARRAY
in interface Visitor
visitANEWARRAY
in class EmptyVisitor
public void visitNEWARRAY(NEWARRAY o)
visitNEWARRAY
in interface Visitor
visitNEWARRAY
in class EmptyVisitor
public void visitILOAD(ILOAD o)
visitILOAD
in interface Visitor
visitILOAD
in class EmptyVisitor
public void visitFLOAD(FLOAD o)
visitFLOAD
in interface Visitor
visitFLOAD
in class EmptyVisitor
public void visitALOAD(ALOAD o)
visitALOAD
in interface Visitor
visitALOAD
in class EmptyVisitor
public void visitISTORE(ISTORE o)
visitISTORE
in interface Visitor
visitISTORE
in class EmptyVisitor
public void visitFSTORE(FSTORE o)
visitFSTORE
in interface Visitor
visitFSTORE
in class EmptyVisitor
public void visitASTORE(ASTORE o)
visitASTORE
in interface Visitor
visitASTORE
in class EmptyVisitor
public void visitIINC(IINC o)
visitIINC
in interface Visitor
visitIINC
in class EmptyVisitor
public void visitRET(RET o)
visitRET
in interface Visitor
visitRET
in class EmptyVisitor
public void visitLLOAD(LLOAD o)
visitLLOAD
in interface Visitor
visitLLOAD
in class EmptyVisitor
public void visitDLOAD(DLOAD o)
visitDLOAD
in interface Visitor
visitDLOAD
in class EmptyVisitor
public void visitLSTORE(LSTORE o)
visitLSTORE
in interface Visitor
visitLSTORE
in class EmptyVisitor
public void visitDSTORE(DSTORE o)
visitDSTORE
in interface Visitor
visitDSTORE
in class EmptyVisitor
public void visitLOOKUPSWITCH(LOOKUPSWITCH o)
visitLOOKUPSWITCH
in interface Visitor
visitLOOKUPSWITCH
in class EmptyVisitor
public void visitTABLESWITCH(TABLESWITCH o)
visitTABLESWITCH
in interface Visitor
visitTABLESWITCH
in class EmptyVisitor
public void visitPUTSTATIC(PUTSTATIC o)
visitPUTSTATIC
in interface Visitor
visitPUTSTATIC
in class EmptyVisitor
public void visitGETSTATIC(GETSTATIC o)
visitGETSTATIC
in interface Visitor
visitGETSTATIC
in class EmptyVisitor
public void visitINVOKEINTERFACE(INVOKEINTERFACE o)
visitINVOKEINTERFACE
in interface Visitor
visitINVOKEINTERFACE
in class EmptyVisitor
public void visitINVOKESPECIAL(INVOKESPECIAL o)
visitINVOKESPECIAL
in interface Visitor
visitINVOKESPECIAL
in class EmptyVisitor
public void visitINVOKESTATIC(INVOKESTATIC o)
visitINVOKESTATIC
in interface Visitor
visitINVOKESTATIC
in class EmptyVisitor
public void visitINVOKEVIRTUAL(INVOKEVIRTUAL o)
visitINVOKEVIRTUAL
in interface Visitor
visitINVOKEVIRTUAL
in class EmptyVisitor
private boolean objarrayequals(java.lang.Object[] o, java.lang.Object[] p)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |