Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
AnnotationInfo |
JVMClassFileContainer.createAnnotationInfo(String typeName,
ClassLoaderInfo classLoader,
byte[] data) |
ClassInfo |
JVMClassFileContainer.createClassInfo(String typeName,
ClassLoaderInfo classLoader,
String url,
byte[] data) |
ClassInfo |
DefaultJVMClassFactory.createClassInfo(String typeName,
ClassLoaderInfo classLoader,
String url,
byte[] data,
int offset,
int length) |
Constructor and Description |
---|
JVMClassInfo(ClassInfo ciAnnotation,
String proxyName,
ClassLoaderInfo cli,
String url) |
JVMClassInfo(String name,
ClassLoaderInfo classLoader,
ClassParser parser,
String classFileUrl) |
Modifier and Type | Class and Description |
---|---|
class |
SystemClassLoaderInfo |
Modifier and Type | Field and Description |
---|---|
protected ClassLoaderInfo |
ClassInfo.classLoader
The classloader that defined (directly loaded) this class
|
protected ClassLoaderInfo |
AnnotationInfo.classLoader
this records if the associated class file has been loaded.
|
protected ClassLoaderInfo |
ClassLoaderInfo.parent |
Modifier and Type | Method and Description |
---|---|
ClassLoaderInfo |
ClassLoaderList.get(int i) |
protected ClassLoaderInfo |
KernelState.getClassLoader(int gid)
Returns the ClassLoader with the given globalId
|
protected ClassLoaderInfo |
VM.getClassLoader(int gid)
Returns the ClassLoader with the given globalId
|
ClassLoaderInfo |
ClassInfo.getClassLoaderInfo()
Returns the class loader that
|
ClassLoaderInfo |
ClassInfoException.getClassLoaderInfo() |
ClassLoaderInfo |
AnnotationInfo.getClassLoaderInfo() |
ClassLoaderInfo |
MJIEnv.getClassLoaderInfo(int clObjRef)
It returns the ClassLoaderInfo corresponding to the given classloader object
reference
|
ClassLoaderInfo |
ClassLoaderList.getClassLoaderInfoWithId(int id) |
static ClassLoaderInfo |
ClassLoaderInfo.getCurrentClassLoader() |
static ClassLoaderInfo |
ClassLoaderInfo.getCurrentClassLoader(ThreadInfo ti) |
ClassLoaderInfo |
MJIEnv.getSystemClassLoaderInfo() |
Modifier and Type | Method and Description |
---|---|
Memento<ClassLoaderInfo> |
ClassLoaderInfo.getMemento() |
Memento<ClassLoaderInfo> |
MementoFactory.getMemento(ClassLoaderInfo cl) |
Memento<ClassLoaderInfo> |
DefaultMementoRestorer.getMemento(ClassLoaderInfo cl) |
Memento<ClassLoaderInfo> |
ClassLoaderInfo.getMemento(MementoFactory factory) |
Map<String,ClassLoaderInfo> |
ClassLoaderInfo.getPackages() |
Iterator<ClassLoaderInfo> |
ClassLoaderList.iterator() |
Modifier and Type | Method and Description |
---|---|
void |
ClassLoaderList.add(ClassLoaderInfo cli) |
void |
KernelState.addClassLoader(ClassLoaderInfo cl)
Adds the given loader to the list of existing class loaders.
|
ClassInfo |
ClassInfo.cloneFor(ClassLoaderInfo cl)
It creates an instance from a original ClassInfo instance.
|
protected AnnotationInfo |
AnnotationInfo.cloneFor(ClassLoaderInfo cl) |
int |
ClassLoaderInfo.compareTo(ClassLoaderInfo that)
Comparison for sorting based on index.
|
protected static String |
ClassInfo.computeClassFileUrl(ClassFileMatch match,
String typeName,
ClassLoaderInfo cl) |
AnnotationInfo |
ClassFileMatch.createAnnotationInfo(ClassLoaderInfo classLoader) |
abstract AnnotationInfo |
ClassFileContainer.createAnnotationInfo(String typeName,
ClassLoaderInfo classLoader,
byte[] data) |
ClassInfo |
ClassFileMatch.createClassInfo(ClassLoaderInfo classLoader) |
abstract ClassInfo |
ClassFileContainer.createClassInfo(String typeName,
ClassLoaderInfo classLoader,
String url,
byte[] data) |
ClassInfo |
ClassFactory.createClassInfo(String typeName,
ClassLoaderInfo classLoader,
String url,
byte[] buffer,
int offset,
int length)
create a ClassInfo from raw data
|
static int |
JPF_java_lang_ClassLoader.createPackageObject(MJIEnv env,
ClassInfo pkgClass,
String pkgName,
ClassLoaderInfo cl) |
Memento<ClassLoaderInfo> |
MementoFactory.getMemento(ClassLoaderInfo cl) |
Memento<ClassLoaderInfo> |
DefaultMementoRestorer.getMemento(ClassLoaderInfo cl) |
void |
VM.registerClassLoader(ClassLoaderInfo cl) |
Constructor and Description |
---|
AnnotationInfo(String name,
ClassLoaderInfo classLoader,
AnnotationParser parser) |
ClassInfo(ClassInfo annotationCls,
String name,
ClassLoaderInfo classLoader,
String url)
createAndInitialize a fully synthetic implementation of an Annotation proxy
|
ClassInfo(String builtinClassName,
ClassLoaderInfo classLoader)
ClassInfo ctor used for builtin types (arrays and primitive types)
idx.e.
|
ClassInfo(String name,
ClassLoaderInfo classLoader,
ClassParser parser,
String classFileUrl) |
ClassInfoException(String details,
ClassLoaderInfo cl,
String exceptionClass,
String faildClass) |
ClassInfoException(String details,
ClassLoaderInfo cl,
String exceptionClass,
String faildClass,
Throwable cause) |
ClassLoaderInfo(VM vm,
int objRef,
ClassPath cp,
ClassLoaderInfo parent)
for all other classloaders, which require an already instantiated ClassLoader object
|