JML

Uses of Class
org.multijava.relaxed.util.RMJAnnotation.Method

Packages that use RMJAnnotation.Method
org.multijava.mjc Implements mjc, a MultiJava compiler. 
org.multijava.relaxed.runtime   
org.multijava.relaxed.util   
 

Uses of RMJAnnotation.Method in org.multijava.mjc
 

Methods in org.multijava.mjc that return RMJAnnotation.Method
 RMJAnnotation.Method[] CSourceDispatcherMethod.getMethodAnnotations(String kind, String baseAnchorClassName, String dispatcherClassName, String ambigErrorClassName)
           
 

Methods in org.multijava.mjc with parameters of type RMJAnnotation.Method
 void CSourceClass.addRMJMethodAnnotation(RMJAnnotation.Method annote)
           
 

Uses of RMJAnnotation.Method in org.multijava.relaxed.runtime
 

Fields in org.multijava.relaxed.runtime declared as RMJAnnotation.Method
private  RMJAnnotation.Method RMJUnreachableSignature._anno
           
 

Methods in org.multijava.relaxed.runtime that return RMJAnnotation.Method
 RMJAnnotation.Method RMJUnreachableSignature.annotation()
           
 

Methods in org.multijava.relaxed.runtime with parameters of type RMJAnnotation.Method
protected  void RMJClassLoader.registerGlueSignature(RMJAnnotation.Method anno)
           
protected  void RMJClassLoader.registerUnreachableSignature(RMJAnnotation.Method anno, Set unloadedClassNames)
           
protected  void RMJClassLoader.registerSignature(RMJAnnotation.Method anno)
           
protected  void RMJClassLoader.registerReachableSignature(RMJAnnotation.Method anno)
           
 String RMJClassLoader.prettyString(RMJAnnotation.Method sig)
           
static Set RMJSignature.unloadedClassNames(RMJAnnotation.Method anno, RMJClassLoader loader)
           
 

Constructors in org.multijava.relaxed.runtime with parameters of type RMJAnnotation.Method
RMJSignature(RMJAnnotation.Method anno, RMJClassLoader loader)
           
RMJUnreachableSignature(RMJAnnotation.Method anno, Set unloadedClasses)
           
 

Uses of RMJAnnotation.Method in org.multijava.relaxed.util
 

Methods in org.multijava.relaxed.util with parameters of type RMJAnnotation.Method
 void RMJAnnotation.add(RMJAnnotation.Method method)
           
 


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.