Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.tool | |
gov.nasa.jpf.vm | |
java.lang | |
java.net | |
java.security |
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 |
---|---|
ClassLoader |
Config.getClassLoader() |
Modifier and Type | Method and Description |
---|---|
JPFClassLoader |
Config.initClassLoader(ClassLoader parent) |
void |
Config.setClassLoader(ClassLoader newLoader) |
Constructor and Description |
---|
JPFClassLoader(URL[] urls,
String[] libs,
ClassLoader parent) |
Modifier and Type | Method and Description |
---|---|
static void |
RunJPF.showBuild(ClassLoader cl) |
static void |
RunJPF.showVersion(ClassLoader cl) |
Modifier and Type | Field and Description |
---|---|
protected static ClassLoader |
ClassInfo.thisClassLoader
ClassLoader that loaded this class.
|
Modifier and Type | Method and Description |
---|---|
ClassLoader |
Class.getClassLoader() |
ClassLoader |
Thread.getContextClassLoader() |
ClassLoader |
ClassLoader.getParent() |
static ClassLoader |
ClassLoader.getSystemClassLoader() |
Modifier and Type | Method and Description |
---|---|
static Class<?> |
Class.forName(String clsName,
boolean initialize,
ClassLoader loader) |
void |
Thread.setContextClassLoader(ClassLoader cl) |
Constructor and Description |
---|
ClassLoader(ClassLoader parent) |
Modifier and Type | Class and Description |
---|---|
class |
URLClassLoader |
Modifier and Type | Method and Description |
---|---|
static URLClassLoader |
URLClassLoader.newInstance(URL[] urls,
ClassLoader parent) |
Constructor and Description |
---|
URLClassLoader(URL[] urls,
ClassLoader parent) |
URLClassLoader(URL[] urls,
ClassLoader parent,
URLStreamHandlerFactory factory) |
Modifier and Type | Class and Description |
---|---|
class |
SecureClassLoader
This is just a dummy implementation of java.security.SecureClassLoader
|
Constructor and Description |
---|
SecureClassLoader(ClassLoader parent) |