JML

Uses of Class
java.lang.ClassLoader

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

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.