JML

Uses of Class
java.lang.ClassNotFoundException

Packages that use ClassNotFoundException
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.math JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.net 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.relaxed.runtime   
 

Uses of ClassNotFoundException in java.io
 

Methods in java.io that throw ClassNotFoundException
 void ObjectInputStream.defaultReadObject()
           
 ObjectInputStream.GetField ObjectInputStream.readFields()
           
protected  ObjectStreamClass ObjectInputStream.readClassDescriptor()
           
 Object ObjectInputStream.readObject()
           
protected  Object ObjectInputStream.readObjectOverride()
           
 Object ObjectInputStream.readUnshared()
           
protected  Class ObjectInputStream.resolveClass(ObjectStreamClass)
           
protected  Class ObjectInputStream.resolveProxyClass(String[])
           
abstract  Object ObjectInput.readObject()
           
 

Uses of ClassNotFoundException in java.lang
 

Methods in java.lang that throw ClassNotFoundException
static Class Class.forName(String className)
           
static Class Class.forName(String name, boolean initialize, ClassLoader loader)
           
private  Class ClassLoader.findBootstrapClass(String)
           
private  Class ClassLoader.findBootstrapClass0(String)
           
protected  Class ClassLoader.findClass(String)
           
protected  Class ClassLoader.findSystemClass(String)
           
 Class ClassLoader.loadClass(String)
           
private  Class ClassLoader.loadClassInternal(String)
           
protected  Class ClassLoader.loadClass(String, boolean)
           
 

Uses of ClassNotFoundException in java.math
 

Methods in java.math that throw ClassNotFoundException
private  void BigDecimal.readObject(ObjectInputStream)
           
 

Uses of ClassNotFoundException in java.net
 

Methods in java.net that throw ClassNotFoundException
private  ContentHandler URLConnection.lookupContentHandlerClassFor(String)
           
 

Uses of ClassNotFoundException in java.util
 

Methods in java.util that throw ClassNotFoundException
private  void Random.readObject(ObjectInputStream)
           
(package private)  void TreeMap.readTreeSet(int size, ObjectInputStream s, Object defaultVal)
           
 

Uses of ClassNotFoundException in org.jmlspecs.racwrap.runner
 

Methods in org.jmlspecs.racwrap.runner that throw ClassNotFoundException
 Class ChxClassLoader.loadClass(String name)
          Alias for loadClass(name, null);
 Class ChxClassLoader.loadClass(String name, boolean resolve)
          This classloader does *not* follow the Java ClassLoader delegation model.
 

Uses of ClassNotFoundException in org.multijava.relaxed.runtime
 

Methods in org.multijava.relaxed.runtime that throw ClassNotFoundException
static void RMJClassLoader.main(String[] args)
           
 void RMJClassLoader.loaderMain(String[] args)
           
protected  void RMJClassLoader.registerAllGlue()
           
protected  void RMJClassLoader.runProgram(Class cls, String[] args)
           
 Class RMJClassLoader.loadClass(String name)
           
protected  Class RMJClassLoader.loadUserClass(String name)
           
 byte[] RMJClassLoader.readClassByteCode(String name)
           
protected  Class RMJClassLoader.loadSystemClass(String name)
           
protected  void RMJClassLoader.registerSystemLoadAncestors(Class cls)
           
protected  void RMJClassLoader.registerSystemLoad(Class cls)
           
protected  void RMJClassLoader.processLoadedClass(Class cls, RMJAnnotation anno)
           
protected  void RMJClassLoader.registerGlueAnchor(String glueAnchorClassName)
           
protected  RMJAnnotation RMJClassLoader.readGlueAnchorAnnotations(String glueAnchorClassName)
           
protected  void RMJClassLoader.verifyNonAmbiguityAndLoadExternalMethods()
           
protected  void RMJClassLoader.loadDispatcherClass(RMJSignature sig)
           
protected  void RMJClassLoader.loadErrorSig(RMJErrorSignature esig)
           
(package private)  Class RMJClassLoader.lookupClass(String className)
           
static void RMJPreloader.main(String[] args)
           
protected  void RMJPreloader.runProgram(Class mainCls, String[] args)
           
 Class RMJPreloader.loadClass(String name)
           
protected  void RMJPreloader.traverseClass(Class cls)
           
 


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.