Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
AnnotationInfo |
ClassLoaderInfo.getResolvedAnnotationInfo(String typeName) |
ClassInfo |
ClassLoaderInfo.getResolvedClassInfo(String className)
obtain ClassInfo object for given class name
if the requested class or any of its superclasses and interfaces
is not found this method will throw a ClassInfoException.
|
ClassInfo |
ClassLoaderInfo.getResolvedClassInfo(String className,
byte[] data,
int offset,
int length)
this is for user defined ClassLoaders that explicitly provide the class file data
|
protected Set<ClassInfo> |
ClassInfo.loadInterfaces(String[] ifcNames) |
protected ClassInfo |
ClassInfo.loadSuperClass(String superName) |