public class JPFClassLoader extends URLClassLoader
Constructor and Description |
---|
JPFClassLoader(URL[] urls) |
JPFClassLoader(URL[] urls,
String[] libs,
ClassLoader parent) |
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) |
close, definePackage, findClass, findResource, findResources, getPermissions, getURLs, newInstance, newInstance
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
public JPFClassLoader(URL[] urls)
public JPFClassLoader(URL[] urls, String[] libs, ClassLoader parent)
protected String findLibrary(String libBaseName)
findLibrary
in class ClassLoader
public void addURL(URL url)
addURL
in class URLClassLoader
public void setNativeLibs(String[] libs)