gov.nasa.jpf.vm

Class ClassLoaderInfo

java.lang.Object

gov.nasa.jpf.vm.ClassLoaderInfo

All Implemented Interfaces:

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

Direct Known Subclasses:

SystemClassLoaderInfo

public class ClassLoaderInfo
extends java.lang.Object
implements java.lang.Iterable<ClassInfo>, java.lang.Comparable<ClassLoaderInfo>, java.lang.Cloneable, Restorable<ClassLoaderInfo>

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<java.lang.String,java.lang.Boolean>	classAssertionStatus
protected ClassInfo	classInfo
protected static Config	config
protected ClassPath	cp
protected boolean	defaultAssertionStatus
protected static SparseIntVector	globalCLids
protected int	id
protected static java.lang.String	ID_FIELD
protected boolean	isDefaultSet
protected static java.util.Map<java.lang.String,AnnotationInfo>	loadedAnnotations map from annotation class file URLs to AnnotationInfos, which have a separate JPF internal representation.
protected static java.util.Map<java.lang.String,ClassInfo>	loadedClasses Map from class file URLs to first ClassInfo that was read from it.
protected int	objRef
protected java.util.Map<java.lang.String,java.lang.Boolean>	packageAssertionStatus
protected ClassLoaderInfo	parent
protected java.util.Map<java.lang.String,AnnotationInfo>	resolvedAnnotations
protected java.util.Map<java.lang.String,ClassInfo>	resolvedClasses
protected boolean	roundTripRequired
protected Statics	statics

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ClassLoaderInfo(VM vm) for use from SystemClassLoaderInfo ctor, which doesn't have a ClassLoader object yet and has to set cp and id itself
protected	ClassLoaderInfo(VM vm, int objRef, ClassPath cp, ClassLoaderInfo parent) for all other classloaders, which require an already instantiated ClassLoader object

Method Summary

Modifier and Type	Method and Description
void	addClassPathElement(java.lang.String path)
protected void	addResolvedClass(ClassInfo ci)
void	clearAssertionStatus()
int	compareTo(ClassLoaderInfo that) Comparison for sorting based on index.
protected int	computeId(int objRef)
protected ClassFileContainer	createClassFileContainer(java.lang.String path)
protected ClassInfo	createClassInfo(java.lang.String typeName, ClassFileMatch match, ClassLoaderInfo definingLoader)
protected ClassInfo	createClassInfo(java.lang.String typeName, java.lang.String url, byte[] data, ClassLoaderInfo definingLoader)
protected Statics	createStatics(VM vm)
protected boolean	desiredAssertionStatus(java.lang.String cname)
java.lang.String	findResource(java.lang.String resourceName) Finds the first Resource in the classpath which has the specified name.
java.lang.String[]	findResources(java.lang.String resourceName) Finds all resources in the classpath with the given name.
protected ClassInfo	getAlreadyResolvedClassInfo(java.lang.String cname)
ClassInfo	getClassInfo() Returns the type of the corresponding class loader object
ClassInfo	getClassInfo(int id)
int	getClassLoaderObjectRef() Returns the object reference.
ClassPath	getClassPath()
java.lang.String[]	getClassPathElements()
static ClassLoaderInfo	getCurrentClassLoader()
static ClassLoaderInfo	getCurrentClassLoader(ThreadInfo ti)
static ClassInfo	getCurrentResolvedClassInfo(java.lang.String clsName)
static SystemClassLoaderInfo	getCurrentSystemClassLoader()
protected ClassInfo	getDefinedClassInfo(java.lang.String typeName)
ElementInfo	getElementInfo(java.lang.String typeName)
int	getId() this is our internal, search global id that is used for the canonical root set
ClassInfo	getInitializedClassInfo(java.lang.String clsName, ThreadInfo ti) this one is for clients that need to synchronously get an initialized classinfo.
protected ClassFileMatch	getMatch(java.lang.String typeName)
Memento<ClassLoaderInfo>	getMemento()
Memento<ClassLoaderInfo>	getMemento(MementoFactory factory)
ElementInfo	getModifiableElementInfo(java.lang.String typeName)
static int	getNumberOfLoadedClasses()
java.util.Map<java.lang.String,ClassLoaderInfo>	getPackages()
AnnotationInfo	getResolvedAnnotationInfo(java.lang.String typeName)
ClassInfo	getResolvedAnnotationProxy(ClassInfo ciAnnotation)
ClassInfo	getResolvedClassInfo(java.lang.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	getResolvedClassInfo(java.lang.String className, byte[] data, int offset, int length) this is for user defined ClassLoaders that explicitly provide the class file data
ClassInfo	getResolvedFuncObjType(int bsIdx, ClassInfo fiClassInfo, java.lang.String samUniqueName, BootstrapMethodInfo bmi, java.lang.String[] freeVariableTypeNames) This method returns a type which implements the given functional interface and contains a method that captures the behavior of the lambda expression.
protected java.lang.String	getResourceURL(java.lang.String path, java.lang.String resource)
Statics	getStatics()
SystemClassLoaderInfo	getSystemClassLoader()
static ClassInfo	getSystemResolvedClassInfo(java.lang.String clsName)
protected boolean	hasResolved(java.lang.String cname)
boolean	isAlive() For now, this always returns true, and it used while the classloader is being serialized.
protected boolean	isRoundTripRequired() For optimizing the class loading mechanism, if the class loader class and the classes of the whole parents hierarchy are descendant of URLClassLoader and do not override the ClassLoader.loadClass() & URLClassLoader.findClass, resolving the class is done natively within JPF
boolean	isSystemClassLoader()
java.util.Iterator<ClassInfo>	iterator() Returns an iterator over the classes that are defined (directly loaded) by this classloader.
ClassInfo	loadClass(java.lang.String cname)
protected ClassInfo	loadClassOnJPF(java.lang.String typeName)
protected ClassInfo	loadClassOnJVM(java.lang.String cname)
protected ClassInfo	loadSystemClass(java.lang.String clsName)
protected void	pushloadClassFrame(java.lang.String typeName)
protected void	setAttributes(ClassInfo ci)
void	setClassAssertionStatus(java.lang.String cname, boolean enabled)
void	setDefaultAssertionStatus(boolean enabled)
void	setPackageAssertionStatus(java.lang.String pname, boolean enabled)
ClassInfo	tryGetResolvedClassInfo(java.lang.String className) obtain ClassInfo from context that does not care about resolution, i.e.

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

ID_FIELD

protected static final java.lang.String ID_FIELD

See Also:

Constant Field Values

config

protected static Config config

globalCLids

protected static SparseIntVector globalCLids

loadedClasses

protected static java.util.Map<java.lang.String,ClassInfo> loadedClasses

Map from class file URLs to first ClassInfo that was read from it. This search global map is used to make sure we only read class files once

loadedAnnotations

protected static java.util.Map<java.lang.String,AnnotationInfo> loadedAnnotations

map from annotation class file URLs to AnnotationInfos, which have a separate JPF internal representation. Again, using a global map ensures we only read the related class files once

resolvedClasses

protected java.util.Map<java.lang.String,ClassInfo> resolvedClasses

resolvedAnnotations

protected java.util.Map<java.lang.String,AnnotationInfo> resolvedAnnotations

cp

protected ClassPath cp

classInfo

protected ClassInfo classInfo

statics

protected Statics statics

roundTripRequired

protected boolean roundTripRequired

id

protected int id

objRef

protected int objRef

parent

protected ClassLoaderInfo parent

classAssertionStatus

protected java.util.Map<java.lang.String,java.lang.Boolean> classAssertionStatus

packageAssertionStatus

protected java.util.Map<java.lang.String,java.lang.Boolean> packageAssertionStatus

defaultAssertionStatus

protected boolean defaultAssertionStatus

isDefaultSet

protected boolean isDefaultSet

Constructor Detail

ClassLoaderInfo

protected ClassLoaderInfo(VM vm)

for use from SystemClassLoaderInfo ctor, which doesn't have a ClassLoader object yet and has to set cp and id itself

ClassLoaderInfo

protected ClassLoaderInfo(VM vm,
                          int objRef,
                          ClassPath cp,
                          ClassLoaderInfo parent)

for all other classloaders, which require an already instantiated ClassLoader object

Method Detail

getNumberOfLoadedClasses

public static int getNumberOfLoadedClasses()

getCurrentResolvedClassInfo

public static ClassInfo getCurrentResolvedClassInfo(java.lang.String clsName)

getSystemResolvedClassInfo

public static ClassInfo getSystemResolvedClassInfo(java.lang.String clsName)

getMemento

public Memento<ClassLoaderInfo> getMemento(MementoFactory factory)

Specified by:

getMemento in interface Restorable<ClassLoaderInfo>

getMemento

public Memento<ClassLoaderInfo> getMemento()

createStatics

protected Statics createStatics(VM vm)

getId

public int getId()

this is our internal, search global id that is used for the canonical root set

getClassInfo

public ClassInfo getClassInfo()

Returns the type of the corresponding class loader object

getClassLoaderObjectRef

public int getClassLoaderObjectRef()

Returns the object reference.

computeId

protected int computeId(int objRef)

isRoundTripRequired

protected boolean isRoundTripRequired()

For optimizing the class loading mechanism, if the class loader class and the classes of the whole parents hierarchy are descendant of URLClassLoader and do not override the ClassLoader.loadClass() & URLClassLoader.findClass, resolving the class is done natively within JPF

isSystemClassLoader

public boolean isSystemClassLoader()

getCurrentClassLoader

public static ClassLoaderInfo getCurrentClassLoader()

getCurrentClassLoader

public static ClassLoaderInfo getCurrentClassLoader(ThreadInfo ti)

getCurrentSystemClassLoader

public static SystemClassLoaderInfo getCurrentSystemClassLoader()

getSystemClassLoader

public SystemClassLoaderInfo getSystemClassLoader()

loadSystemClass

protected ClassInfo loadSystemClass(java.lang.String clsName)

createClassInfo

protected ClassInfo createClassInfo(java.lang.String typeName,
                                    ClassFileMatch match,
                                    ClassLoaderInfo definingLoader)
                             throws ClassParseException

Throws:

ClassParseException

createClassInfo

protected ClassInfo createClassInfo(java.lang.String typeName,
                                    java.lang.String url,
                                    byte[] data,
                                    ClassLoaderInfo definingLoader)
                             throws ClassParseException

Throws:

ClassParseException

setAttributes

protected void setAttributes(ClassInfo ci)

getResolvedClassInfo

public ClassInfo getResolvedClassInfo(java.lang.String className)
                               throws ClassInfoException

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

Throws:

ClassInfoException

getResolvedClassInfo

public ClassInfo getResolvedClassInfo(java.lang.String className,
                                      byte[] data,
                                      int offset,
                                      int length)
                               throws ClassInfoException

this is for user defined ClassLoaders that explicitly provide the class file data

Throws:

ClassInfoException

getResolvedAnnotationInfo

public AnnotationInfo getResolvedAnnotationInfo(java.lang.String typeName)
                                         throws ClassInfoException

Throws:

ClassInfoException

getResolvedAnnotationProxy

public ClassInfo getResolvedAnnotationProxy(ClassInfo ciAnnotation)

getResolvedFuncObjType

public ClassInfo getResolvedFuncObjType(int bsIdx,
                                        ClassInfo fiClassInfo,
                                        java.lang.String samUniqueName,
                                        BootstrapMethodInfo bmi,
                                        java.lang.String[] freeVariableTypeNames)

This method returns a type which implements the given functional interface and contains a method that captures the behavior of the lambda expression.

getAlreadyResolvedClassInfo

protected ClassInfo getAlreadyResolvedClassInfo(java.lang.String cname)

addResolvedClass

protected void addResolvedClass(ClassInfo ci)

hasResolved

protected boolean hasResolved(java.lang.String cname)

getInitializedClassInfo

public ClassInfo getInitializedClassInfo(java.lang.String clsName,
                                         ThreadInfo ti)

this one is for clients that need to synchronously get an initialized classinfo. NOTE: we don't handle clinits here. If there is one, this will throw an exception. NO STATIC BLOCKS / FIELDS ALLOWED

tryGetResolvedClassInfo

public ClassInfo tryGetResolvedClassInfo(java.lang.String className)

obtain ClassInfo from context that does not care about resolution, i.e. does not check for NoClassInfoExceptions

Parameters:

className - fully qualified classname to get a ClassInfo for

Returns:

null if class was not found

getClassInfo

public ClassInfo getClassInfo(int id)

loadClass

public ClassInfo loadClass(java.lang.String cname)

loadClassOnJVM

protected ClassInfo loadClassOnJVM(java.lang.String cname)

loadClassOnJPF

protected ClassInfo loadClassOnJPF(java.lang.String typeName)

pushloadClassFrame

protected void pushloadClassFrame(java.lang.String typeName)

getDefinedClassInfo

protected ClassInfo getDefinedClassInfo(java.lang.String typeName)

getElementInfo

public ElementInfo getElementInfo(java.lang.String typeName)

getModifiableElementInfo

public ElementInfo getModifiableElementInfo(java.lang.String typeName)

getMatch

protected ClassFileMatch getMatch(java.lang.String typeName)

findResource

public java.lang.String findResource(java.lang.String resourceName)

Finds the first Resource in the classpath which has the specified name. Returns null if no Resource is found.

findResources

public java.lang.String[] findResources(java.lang.String resourceName)

Finds all resources in the classpath with the given name. Returns an enumeration of the URL objects.

getResourceURL

protected java.lang.String getResourceURL(java.lang.String path,
                                          java.lang.String resource)

getStatics

public Statics getStatics()

getClassPath

public ClassPath getClassPath()

getClassPathElements

public java.lang.String[] getClassPathElements()

createClassFileContainer

protected ClassFileContainer createClassFileContainer(java.lang.String path)

addClassPathElement

public void addClassPathElement(java.lang.String path)

compareTo

public int compareTo(ClassLoaderInfo that)

Comparison for sorting based on index.

Specified by:

compareTo in interface java.lang.Comparable<ClassLoaderInfo>

iterator

public java.util.Iterator<ClassInfo> iterator()

Returns an iterator over the classes that are defined (directly loaded) by this classloader.

Specified by:

iterator in interface java.lang.Iterable<ClassInfo>

isAlive

public boolean isAlive()

For now, this always returns true, and it used while the classloader is being serialized. That is going to be changed if we ever consider unloading the classes. For now, it is just added in analogy to ThreadInfo

getPackages

public java.util.Map<java.lang.String,ClassLoaderInfo> getPackages()

desiredAssertionStatus

protected boolean desiredAssertionStatus(java.lang.String cname)

setDefaultAssertionStatus

public void setDefaultAssertionStatus(boolean enabled)

setClassAssertionStatus

public void setClassAssertionStatus(java.lang.String cname,
                                    boolean enabled)

setPackageAssertionStatus

public void setPackageAssertionStatus(java.lang.String pname,
                                      boolean enabled)

clearAssertionStatus

public void clearAssertionStatus()