gov.nasa.jpf

Class JPFClassLoader

java.lang.Object

java.lang.ClassLoader

java.security.SecureClassLoader

java.net.URLClassLoader

gov.nasa.jpf.JPFClassLoader

public class JPFClassLoader
extends 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(URL[] urls)
JPFClassLoader(URL[] urls, String[] libs, ClassLoader parent)

Method Summary

Methods

Modifier and Type	Method and Description
void	addURL(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 String	findLibrary(String libBaseName)
void	setNativeLibs(String[] libs)

Methods inherited from class java.net.URLClassLoader

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

Methods inherited from class java.lang.ClassLoader

clearAssertionStatus, defineClass, defineClass, defineClass, defineClass, definePackage, findLoadedClass, findSystemClass, getClassLoadingLock, getPackage, getPackages, getParent, getResource, getResourceAsStream, 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(URL[] urls)

JPFClassLoader

public JPFClassLoader(URL[] urls,
              String[] libs,
              ClassLoader parent)

Method Detail

findLibrary

protected String findLibrary(String libBaseName)

Overrides:

findLibrary in class ClassLoader

addURL

public void addURL(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 URLClassLoader

setNativeLibs

public void setNativeLibs(String[] libs)