Package oracle.toplink.libraries.asm.tree.analysis

Interface Summary

Interpreter	A semantic bytecode interpreter.
Value	An immutable symbolic value for semantic interpretation of bytecode.

Class Summary

Analyzer	A semantic bytecode analyzer.
BasicInterpreter	An Interpreter for BasicValue values.
BasicValue	A Value that is represented by its type in a seven types type sytem.
BasicVerifier	An extended BasicInterpreter that checks that bytecode instructions are correctly used.
DataflowInterpreter	An Interpreter for DataflowValue values.
DataflowValue	A Value that is represented by its type in a two types type system.
Frame	A symbolic execution stack frame.
SimpleVerifier	An extended BasicVerifier that performs more precise verifications.

Exception Summary

AnalyzerException

Thrown if a problem occurs during the analysis of a method.