Package | Description |
---|---|
gov.nasa.jpf.jvm |
Modifier and Type | Class and Description |
---|---|
class |
ClassFileParser
a class parser that reads Java class file formats
This is actually more of an adapter between the Java specific ClassFile (which does the real parsing),
and the Java agnostic ClassInfo, which is only accessed through its initialization API since it resides
in another package
|
class |
JVMAnnotationParser
parser that reads annotation classfiles and extracts default value entries
Java annotations form a different type system.
|