Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
JVMAnnotationParser
parser that reads annotation classfiles and extracts default value entries
Java annotations form a different type system.
|
Constructor and Description |
---|
AnnotationInfo(String name,
ClassLoaderInfo classLoader,
AnnotationParser parser) |