gov.nasa.jpf.vm

Class SystemClassLoaderInfo

java.lang.Object

gov.nasa.jpf.vm.ClassLoaderInfo

gov.nasa.jpf.vm.SystemClassLoaderInfo

All Implemented Interfaces:

Restorable<ClassLoaderInfo>, java.lang.Cloneable, java.lang.Comparable<ClassLoaderInfo>, java.lang.Iterable<ClassInfo>

Direct Known Subclasses:

JVMSystemClassLoaderInfo

public abstract class SystemClassLoaderInfo
extends ClassLoaderInfo

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<Attributor>	attributors list of configurable Attributors for ClassInfos, MethodInfos and FieldInfos that are consulted after creating the ClassInfo but before notifying classLoaded() listeners
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, config, cp, defaultAssertionStatus, globalCLids, id, ID_FIELD, isDefaultSet, loadedAnnotations, loadedClasses, objRef, packageAssertionStatus, parent, resolvedAnnotations, resolvedClasses, roundTripRequired, statics

Constructor Summary

Constructors

Constructor and Description
SystemClassLoaderInfo(VM vm, int appId)

Method Summary

Modifier and Type	Method and Description
void	addAttributor(Attributor a)
protected ClassInfo	getCharArrayClassInfo()
protected ClassInfo	getClassClassInfo()
protected ClassInfo	getClassLoaderClassInfo()
protected ClassInfo	getEnumClassInfo()
protected ClassInfo	getObjectClassInfo()
protected java.io.File[]	getPathElements(Config conf, java.lang.String keyBase, int appId)
protected ClassInfo	getReferenceClassInfo()
ClassInfo	getResolvedClassInfo(java.lang.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()
SystemClassLoaderInfo	getSystemClassLoader()
protected ClassInfo	getThreadClassInfo()
protected ClassInfo	getThreadGroupClassInfo()
protected ClassInfo	getWeakReferenceClassInfo()
protected void	initializeAttributors(VM vm, int appId)
protected abstract void	initializeSystemClassPath(VM vm, int appId)
boolean	isSystemClassLoader()
ClassInfo	loadClass(java.lang.String cname)
protected ClassInfo	loadSystemClass(java.lang.String typeName)
protected void	setAttributes(ClassInfo ci) to be called on each ClassInfo created in the realm of this SystemClassLoader
protected void	setClassLoaderObject(ElementInfo ei)
protected void	updateCachedClassInfos(ClassInfo ci)

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

addClassPathElement, addResolvedClass, clearAssertionStatus, compareTo, computeId, createClassFileContainer, createClassInfo, createClassInfo, createStatics, desiredAssertionStatus, findResource, findResources, getAlreadyResolvedClassInfo, getClassInfo, getClassInfo, getClassLoaderObjectRef, getClassPath, getClassPathElements, getCurrentClassLoader, getCurrentClassLoader, getCurrentResolvedClassInfo, getCurrentSystemClassLoader, getDefinedClassInfo, getElementInfo, getId, getInitializedClassInfo, getMatch, getMemento, getMemento, getModifiableElementInfo, getNumberOfLoadedClasses, getPackages, getResolvedAnnotationInfo, getResolvedAnnotationProxy, getResolvedClassInfo, getResolvedFuncObjType, 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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

attributors

protected java.util.List<Attributor> attributors

list of configurable Attributors for ClassInfos, MethodInfos and FieldInfos that are consulted after creating the ClassInfo but before notifying classLoaded() listeners

Constructor Detail

SystemClassLoaderInfo

public SystemClassLoaderInfo(VM vm,
                             int appId)

Method Detail

initializeSystemClassPath

protected abstract void initializeSystemClassPath(VM vm,
                                                  int appId)

initializeAttributors

protected void initializeAttributors(VM vm,
                                     int appId)

addAttributor

public void addAttributor(Attributor a)

setAttributes

protected void setAttributes(ClassInfo ci)

to be called on each ClassInfo created in the realm of this SystemClassLoader

Overrides:

setAttributes in class ClassLoaderInfo

getPathElements

protected java.io.File[] getPathElements(Config conf,
                                         java.lang.String keyBase,
                                         int appId)

getSystemClassLoader

public SystemClassLoaderInfo getSystemClassLoader()

Overrides:

getSystemClassLoader in class ClassLoaderInfo

getResolvedClassInfo

public ClassInfo getResolvedClassInfo(java.lang.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(java.lang.String cname)

Overrides:

loadClass in class ClassLoaderInfo

loadSystemClass

protected ClassInfo loadSystemClass(java.lang.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()