Package | Description |
---|---|
gov.nasa.jpf | |
java.net | |
sun.misc |
Modifier and Type | Class and Description |
---|---|
class |
JPFClassLoader
classloader that is used by Config to instantiate from JPF configured
paths.
|
Modifier and Type | Method and Description |
---|---|
static URLClassLoader |
URLClassLoader.newInstance(URL[] urls) |
static URLClassLoader |
URLClassLoader.newInstance(URL[] urls,
ClassLoader parent) |
Modifier and Type | Method and Description |
---|---|
sun.misc.URLClassPath |
JavaNetAccess.getURLClassPath(URLClassLoader ucl) |