Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
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
|
Modifier and Type | Method and Description |
---|---|
ClassParser |
DefaultJVMClassFactory.createClassParser(byte[] data,
int offset) |
Constructor and Description |
---|
JVMClassInfo(ClassParser parser) |
JVMClassInfo(String name,
ClassLoaderInfo classLoader,
ClassParser parser,
String classFileUrl) |
Modifier and Type | Method and Description |
---|---|
ClassParser |
ClassFactory.createClassParser(byte[] data,
int offet)
return a ClassParser for binary class file data
this is the default parser if we don't have a container but only binary data
|
Constructor and Description |
---|
ClassInfo(ClassParser parser) |
ClassInfo(String name,
ClassLoaderInfo classLoader,
ClassParser parser,
String classFileUrl) |