| 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) |