gov.nasa.jpf

Class JPFClassLoader

java.lang.Object

java.lang.ClassLoader

java.security.SecureClassLoader

java.net.URLClassLoader

gov.nasa.jpf.JPFClassLoader

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable

public class JPFClassLoader
extends java.net.URLClassLoader

classloader that is used by Config to instantiate from JPF configured paths. This is a standard parent-first loader to avoid multiple class instances when using our Run*.jar tools The main reason for having our own classloader is dynamically configured resource and library lookup

Constructor Summary

Constructors

Constructor and Description
JPFClassLoader(java.net.URL[] urls)
JPFClassLoader(java.net.URL[] urls, java.lang.String[] libs, java.lang.ClassLoader parent)

Method Summary

Modifier and Type	Method and Description
void	addURL(java.net.URL url) we make it public since we add paths dynamically during JPF init Note this is ignored according to the javadocs if the provided url is already in the classpath.
protected java.lang.String	findLibrary(java.lang.String libBaseName)
void	setNativeLibs(java.lang.String[] libs)

Methods inherited from class java.net.URLClassLoader

close, definePackage, findClass, findResource, findResources, getPermissions, getResourceAsStream, getURLs, newInstance, newInstance

Methods inherited from class java.security.SecureClassLoader

defineClass, defineClass

Methods inherited from class java.lang.ClassLoader

clearAssertionStatus, defineClass, defineClass, defineClass, defineClass, definePackage, findLoadedClass, findSystemClass, getClassLoadingLock, getPackage, getPackages, getParent, getResource, getResources, getSystemClassLoader, getSystemResource, getSystemResourceAsStream, getSystemResources, loadClass, loadClass, registerAsParallelCapable, resolveClass, setClassAssertionStatus, setDefaultAssertionStatus, setPackageAssertionStatus, setSigners

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JPFClassLoader

public JPFClassLoader(java.net.URL[] urls)

JPFClassLoader

public JPFClassLoader(java.net.URL[] urls,
                      java.lang.String[] libs,
                      java.lang.ClassLoader parent)

Method Detail

findLibrary

protected java.lang.String findLibrary(java.lang.String libBaseName)

Overrides:

findLibrary in class java.lang.ClassLoader

addURL

public void addURL(java.net.URL url)

we make it public since we add paths dynamically during JPF init Note this is ignored according to the javadocs if the provided url is already in the classpath. We do rely on this feature since me might add jpf.jar several times during bootstrap

Overrides:

addURL in class java.net.URLClassLoader

setNativeLibs

public void setNativeLibs(java.lang.String[] libs)