|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.objectweb.asm.tree.analysis.Interpreter<BasicValue>
org.objectweb.asm.tree.analysis.BasicInterpreter
org.objectweb.asm.tree.analysis.BasicVerifier
public class BasicVerifier
An extended BasicInterpreter
that checks that bytecode instructions
are correctly used.
Field Summary |
---|
Fields inherited from class org.objectweb.asm.tree.analysis.Interpreter |
---|
api |
Constructor Summary | |
---|---|
|
BasicVerifier()
|
protected |
BasicVerifier(int api)
|
Method Summary | |
---|---|
BasicValue |
binaryOperation(AbstractInsnNode insn,
BasicValue value1,
BasicValue value2)
Interprets a bytecode instruction with two arguments. |
BasicValue |
copyOperation(AbstractInsnNode insn,
BasicValue value)
Interprets a bytecode instruction that moves a value on the stack or to or from local variables. |
protected BasicValue |
getElementValue(BasicValue objectArrayValue)
|
protected boolean |
isArrayValue(BasicValue value)
|
protected boolean |
isSubTypeOf(BasicValue value,
BasicValue expected)
|
BasicValue |
naryOperation(AbstractInsnNode insn,
List<? extends BasicValue> values)
Interprets a bytecode instruction with a variable number of arguments. |
void |
returnOperation(AbstractInsnNode insn,
BasicValue value,
BasicValue expected)
Interprets a bytecode return instruction. |
BasicValue |
ternaryOperation(AbstractInsnNode insn,
BasicValue value1,
BasicValue value2,
BasicValue value3)
Interprets a bytecode instruction with three arguments. |
BasicValue |
unaryOperation(AbstractInsnNode insn,
BasicValue value)
Interprets a bytecode instruction with a single argument. |
Methods inherited from class org.objectweb.asm.tree.analysis.BasicInterpreter |
---|
merge, newOperation, newValue |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BasicVerifier()
protected BasicVerifier(int api)
Method Detail |
---|
public BasicValue copyOperation(AbstractInsnNode insn, BasicValue value) throws AnalyzerException
Interpreter
copyOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value
- the value that must be moved by the instruction.
AnalyzerException
- if an error occured during the interpretation.public BasicValue unaryOperation(AbstractInsnNode insn, BasicValue value) throws AnalyzerException
Interpreter
unaryOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value
- the argument of the instruction to be interpreted.
AnalyzerException
- if an error occured during the interpretation.public BasicValue binaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2) throws AnalyzerException
Interpreter
binaryOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value1
- the first argument of the instruction to be interpreted.value2
- the second argument of the instruction to be interpreted.
AnalyzerException
- if an error occured during the interpretation.public BasicValue ternaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2, BasicValue value3) throws AnalyzerException
Interpreter
ternaryOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value1
- the first argument of the instruction to be interpreted.value2
- the second argument of the instruction to be interpreted.value3
- the third argument of the instruction to be interpreted.
AnalyzerException
- if an error occured during the interpretation.public BasicValue naryOperation(AbstractInsnNode insn, List<? extends BasicValue> values) throws AnalyzerException
Interpreter
naryOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.values
- the arguments of the instruction to be interpreted.
AnalyzerException
- if an error occured during the interpretation.public void returnOperation(AbstractInsnNode insn, BasicValue value, BasicValue expected) throws AnalyzerException
Interpreter
returnOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value
- the argument of the instruction to be interpreted.expected
- the expected return type of the analyzed method.
AnalyzerException
- if an error occured during the interpretation.protected boolean isArrayValue(BasicValue value)
protected BasicValue getElementValue(BasicValue objectArrayValue) throws AnalyzerException
AnalyzerException
protected boolean isSubTypeOf(BasicValue value, BasicValue expected)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |