Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes. This package is the central data representation for serialization, de-serialization, analysis, verification etc.
It consists mainly of two different UMod-Models: LLJava with this source and Verify with this source.
The API doc of this package refers with [JVM] to Lindholm, Yelling, The Java® Virtual Machine Specification -- Java SE 7 Edition.