|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ClassLoader | |
java.io | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
java.lang | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
java.security | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
java.util | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
org.jmlspecs.racwrap.runner | |
org.multijava.mjc | Implements mjc, a MultiJava compiler. |
org.multijava.relaxed.runtime |
Uses of ClassLoader in java.io |
Methods in java.io that return ClassLoader | |
private static ClassLoader |
ObjectInputStream.latestUserDefinedLoader()
|
Uses of ClassLoader in java.lang |
Fields in java.lang declared as ClassLoader | |
private static ClassLoader |
ClassLoader.scl
|
private ClassLoader |
ClassLoader.parent
|
private ClassLoader |
Thread.contextClassLoader
|
Methods in java.lang that return ClassLoader | |
ClassLoader |
Class.getClassLoader()
|
(package private) ClassLoader |
Class.getClassLoader0()
|
(package private) static ClassLoader |
ClassLoader.getCallerClassLoader()
|
ClassLoader |
ClassLoader.getParent()
|
static ClassLoader |
ClassLoader.getSystemClassLoader()
|
protected ClassLoader |
SecurityManager.currentClassLoader()
Deprecated. |
ClassLoader |
Thread.getContextClassLoader()
|
Methods in java.lang with parameters of type ClassLoader | |
static Class |
Class.forName(String name,
boolean initialize,
ClassLoader loader)
|
(package private) boolean |
ClassLoader.isAncestor(ClassLoader)
|
(package private) static long |
ClassLoader.findNative(ClassLoader,
String)
|
void |
Thread.setContextClassLoader(ClassLoader)
|
Constructors in java.lang with parameters of type ClassLoader | |
ClassLoader(ClassLoader)
|
Uses of ClassLoader in java.security |
Fields in java.security declared as ClassLoader | |
private ClassLoader |
ProtectionDomain.classloader
|
Methods in java.security that return ClassLoader | |
ClassLoader |
ProtectionDomain.getClassLoader()
|
Constructors in java.security with parameters of type ClassLoader | |
ProtectionDomain(CodeSource,
PermissionCollection,
ClassLoader,
Principal[])
|
Uses of ClassLoader in java.util |
Methods in java.util with parameters of type ClassLoader | |
static ResourceBundle |
ResourceBundle.getBundle(String baseName,
Locale locale,
ClassLoader loader)
|
Uses of ClassLoader in org.jmlspecs.racwrap.runner |
Subclasses of ClassLoader in org.jmlspecs.racwrap.runner | |
class |
ChxClassLoader
ChxClassLoader is the custom classloader that will load the wrapper classes when needed. |
Fields in org.jmlspecs.racwrap.runner declared as ClassLoader | |
private ClassLoader |
Main.loader
|
private ClassLoader |
Runner.cloader
|
Methods in org.jmlspecs.racwrap.runner with parameters of type ClassLoader | |
void |
Main.runProgram(String name,
String[] args,
ClassLoader loader)
Run the program |
Constructors in org.jmlspecs.racwrap.runner with parameters of type ClassLoader | |
Main(String name,
String[] args,
ClassLoader loader)
|
Uses of ClassLoader in org.multijava.mjc |
Fields in org.multijava.mjc declared as ClassLoader | |
private ClassLoader |
FunctionalTestSuite.TestCase.tempLoader
|
Uses of ClassLoader in org.multijava.relaxed.runtime |
Subclasses of ClassLoader in org.multijava.relaxed.runtime | |
class |
RMJClassLoader
|
class |
RMJPreloader
|
Constructors in org.multijava.relaxed.runtime with parameters of type ClassLoader | |
RMJClassLoader(ClassLoader parent)
|
|
RMJPreloader(ClassLoader parent)
|
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |