Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.apache.bcel.generic.EmptyVisitor
org.apache.bcel.verifier.statics.Pass3aVerifier.InstOperandConstraintVisitor
private class Pass3aVerifier.InstOperandConstraintVisitor
extends EmptyVisitor
Field Summary | |
private ConstantPoolGen |
|
Constructor Summary | |
|
Method Summary | |
private void |
|
private void |
|
private int |
|
private boolean |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void | |
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void | |
void |
|
void |
|
void |
|
void |
|
void |
|
void |
|
void | |
void |
|
void |
|
void | |
void |
|
(package private) InstOperandConstraintVisitor(ConstantPoolGen cpg)
The only Constructor.
private void constraintViolated(Instruction i, 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(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.
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
public void visitIINC(IINC o)
Checks if the constraints of operands of the said instruction(s) are satisfied.
- Overrides:
- visitIINC in interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
public void visitLDC(LDC o)
Checks if the constraints of operands of the said instruction(s) are satisfied.
- Overrides:
- visitLDC in interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
public void visitLoadClass(LoadClass o)
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 interface EmptyVisitor
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 interface EmptyVisitor
public void visitNEW(NEW o)
Checks if the constraints of operands of the said instruction(s) are satisfied.
- Overrides:
- visitNEW in interface EmptyVisitor
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 interface EmptyVisitor
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 interface EmptyVisitor
public void visitRET(RET o)
Checks if the constraints of operands of the said instruction(s) are satisfied.
- Overrides:
- visitRET in interface EmptyVisitor
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 interface EmptyVisitor