SystemClassLoaderInfo (JPF API)

java.lang.Object
- gov.nasa.jpf.vm.ClassLoaderInfo
- - gov.nasa.jpf.vm.SystemClassLoaderInfo

All Implemented Interfaces:

Restorable<ClassLoaderInfo>, Cloneable, Comparable<ClassLoaderInfo>, Iterable<ClassInfo>
```
public class SystemClassLoaderInfo
extends ClassLoaderInfo
```
Author:

Nastaran Shafiei Represents the JPF system classloader which models the following hierarchy. ---------------- | Bootstrap CL | ---------------- | ---------------- | Extension CL | ---------------- | ------------------ | Application CL | ------------------ Since in the standard VM user does not have any control over the built-in classloaders hierarchy, in JPF, we model all three by an instance of SystemClassLoader which is responsible to load classes from Java API, standard extensions packages, and the local file system.

Field Summary

Fields
Modifier and Type	Field and Description
`protected ClassInfo`	`charArrayClassInfo`
`protected ClassInfo`	`classClassInfo`
`protected ClassInfo`	`classLoaderClassInfo`
`protected ClassInfo`	`enumClassInfo`
`protected ClassInfo`	`objectClassInfo`
`protected ClassInfo`	`refClassInfo`
`protected ClassInfo`	`stringClassInfo`
`protected ClassInfo`	`threadClassInfo`
`protected ClassInfo`	`threadGroupClassInfo`
`protected int`	`unCachedClasses`
`protected ClassInfo`	`weakRefClassInfo`

Fields inherited from class gov.nasa.jpf.vm.ClassLoaderInfo
classAssertionStatus, classInfo, cp, defaultAssertionStatus, id, isDefaultSet, objRef, packageAssertionStatus, parent, resolvedAnnotations, resolvedClasses, roundTripRequired, statics

Constructor Summary

Constructors
Constructor and Description

SystemClassLoaderInfo(VM vm, int appId)

Constructors
Constructor and Description
`SystemClassLoaderInfo(VM vm, int appId)`

Method Summary

Methods
Modifier and Type	Method and Description
`protected ClassPath`	`createSystemClassPath(VM vm, int appId)`
`protected ClassInfo`	`getCharArrayClassInfo()`
`protected ClassInfo`	`getClassClassInfo()`
`protected ClassInfo`	`getClassLoaderClassInfo()`
`protected ClassInfo`	`getEnumClassInfo()`
`protected ClassInfo`	`getObjectClassInfo()`
`protected ClassInfo`	`getReferenceClassInfo()`
`ClassInfo`	`getResolvedClassInfo(String clsName)` 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.
`protected ClassInfo`	`getStringClassInfo()`
`protected ClassInfo`	`getThreadClassInfo()`
`protected ClassInfo`	`getThreadGroupClassInfo()`
`protected ClassInfo`	`getWeakReferenceClassInfo()`
`boolean`	`isSystemClassLoader()`
`ClassInfo`	`loadClass(String cname)`
`protected ClassInfo`	`loadSystemClass(String typeName)`
`protected void`	`setClassLoaderObject(ElementInfo ei)`
`protected void`	`updateCachedClassInfos(ClassInfo ci)`

Methods inherited from class gov.nasa.jpf.vm.ClassLoaderInfo
addResolvedClass, clearAssertionStatus, compareTo, computeId, createStatics, desiredAssertionStatus, findResource, findResources, getAlreadyResolvedClassInfo, getClassFactory, getClassInfo, getClassInfo, getClassLoaderObjectRef, getClassPath, getClassPathElements, getCurrentClassLoader, getCurrentClassLoader, getCurrentResolvedClassInfo, getCurrentSystemClassLoader, getDefinedClassInfo, getElementInfo, getId, getInitializedClassInfo, getMatch, getMemento, getMemento, getModifiableElementInfo, getNumberOfLoadedClasses, getPackages, getResolvedAnnotationInfo, getResolvedAnnotationProxy, getResolvedClassInfo, getResourceURL, getStatics, getSystemResolvedClassInfo, hasResolved, isAlive, isRoundTripRequired, iterator, loadClassOnJPF, loadClassOnJVM, pushloadClassFrame, setClassAssertionStatus, setDefaultAssertionStatus, setPackageAssertionStatus, tryGetResolvedClassInfo

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - classLoaderClassInfo
```
protected ClassInfo classLoaderClassInfo
```
  - objectClassInfo
```
protected ClassInfo objectClassInfo
```
  - classClassInfo
```
protected ClassInfo classClassInfo
```
  - stringClassInfo
```
protected ClassInfo stringClassInfo
```
  - weakRefClassInfo
```
protected ClassInfo weakRefClassInfo
```
  - refClassInfo
```
protected ClassInfo refClassInfo
```
  - enumClassInfo
```
protected ClassInfo enumClassInfo
```
  - threadClassInfo
```
protected ClassInfo threadClassInfo
```
  - threadGroupClassInfo
```
protected ClassInfo threadGroupClassInfo
```
  - charArrayClassInfo
```
protected ClassInfo charArrayClassInfo
```
  - unCachedClasses
```
protected int unCachedClasses
```
- Constructor Detail
  - SystemClassLoaderInfo
```
public SystemClassLoaderInfo(VM vm,
                     int appId)
```
- Method Detail
  - createSystemClassPath
```
protected ClassPath createSystemClassPath(VM vm,
                              int appId)
```
  - getResolvedClassInfo
```
public ClassInfo getResolvedClassInfo(String clsName)
```
    Description copied from class: ClassLoaderInfo
    
    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. Loading of respective superclasses and interfaces happens recursively from here. Returned ClassInfo objects are not registered yet, i.e. still have to be added to the ClassLoaderInfo's statics, and don't have associated java.lang.Class objects until registerClass(ti) is called. Before any field or method access, the class also has to be initialized, which can include overlayed execution of <clinit> declaredMethods, which is done by calling initializeClass(ti,insn) this is for loading classes from the file system
    
    Overrides:
    
    getResolvedClassInfo in class ClassLoaderInfo
  - isSystemClassLoader
```
public boolean isSystemClassLoader()
```
    Overrides:
    
    isSystemClassLoader in class ClassLoaderInfo
  - loadClass
```
public ClassInfo loadClass(String cname)
```
    Overrides:
    
    loadClass in class ClassLoaderInfo
  - loadSystemClass
```
protected ClassInfo loadSystemClass(String typeName)
```
    Overrides:
    
    loadSystemClass in class ClassLoaderInfo
  - setClassLoaderObject
```
protected void setClassLoaderObject(ElementInfo ei)
```
  - updateCachedClassInfos
```
protected void updateCachedClassInfos(ClassInfo ci)
```
  - getObjectClassInfo
```
protected ClassInfo getObjectClassInfo()
```
  - getClassClassInfo
```
protected ClassInfo getClassClassInfo()
```
  - getClassLoaderClassInfo
```
protected ClassInfo getClassLoaderClassInfo()
```
  - getStringClassInfo
```
protected ClassInfo getStringClassInfo()
```
  - getCharArrayClassInfo
```
protected ClassInfo getCharArrayClassInfo()
```
  - getEnumClassInfo
```
protected ClassInfo getEnumClassInfo()
```
  - getThreadClassInfo
```
protected ClassInfo getThreadClassInfo()
```
  - getThreadGroupClassInfo
```
protected ClassInfo getThreadGroupClassInfo()
```
  - getReferenceClassInfo
```
protected ClassInfo getReferenceClassInfo()
```
  - getWeakReferenceClassInfo
```
protected ClassInfo getWeakReferenceClassInfo()
```

Class SystemClassLoaderInfo

Field Summary

Fields inherited from class gov.nasa.jpf.vm.ClassLoaderInfo

Constructor Summary

Method Summary

Methods inherited from class gov.nasa.jpf.vm.ClassLoaderInfo

Methods inherited from class java.lang.Object

Field Detail

classLoaderClassInfo

objectClassInfo

classClassInfo

stringClassInfo

weakRefClassInfo

refClassInfo

enumClassInfo

threadClassInfo

threadGroupClassInfo

charArrayClassInfo

unCachedClasses

Constructor Detail

SystemClassLoaderInfo

Method Detail

createSystemClassPath

getResolvedClassInfo

isSystemClassLoader

loadClass

loadSystemClass

setClassLoaderObject

updateCachedClassInfos

getObjectClassInfo

getClassClassInfo

getClassLoaderClassInfo

getStringClassInfo

getCharArrayClassInfo

getEnumClassInfo

getThreadClassInfo

getThreadGroupClassInfo

getReferenceClassInfo

getWeakReferenceClassInfo