JML

org.jmlspecs.jmldoc.jmldoc_142
Class JmlClassDoc

java.lang.Object
  extended byorg.multijava.mjdoc.mjdoc_142.MjDoc
      extended byorg.multijava.mjdoc.mjdoc_142.MjProgramElementDoc
          extended byorg.multijava.mjdoc.mjdoc_142.MjClassDoc
              extended byorg.jmlspecs.jmldoc.jmldoc_142.JmlClassDoc
All Implemented Interfaces:
com.sun.javadoc.ClassDoc, Comparable, com.sun.javadoc.Doc, com.sun.javadoc.ProgramElementDoc, com.sun.javadoc.Type

public class JmlClassDoc
extends org.multijava.mjdoc.mjdoc_142.MjClassDoc


Nested Class Summary
 
Nested classes inherited from class org.multijava.mjdoc.mjdoc_142.MjClassDoc
org.multijava.mjdoc.mjdoc_142.MjClassDoc.MemberFilter, org.multijava.mjdoc.mjdoc_142.MjClassDoc.MjMemberFilter
 
Field Summary
 
Fields inherited from class org.multijava.mjdoc.mjdoc_142.MjClassDoc
addDefaultConstructors, memberFilter
 
Fields inherited from class org.multijava.mjdoc.mjdoc_142.MjProgramElementDoc
 
Fields inherited from class org.multijava.mjdoc.mjdoc_142.MjDoc
parser
 
Constructor Summary
JmlClassDoc(CClass cc)
          Constructs an object from a CClass object (to be used when source code is not available).
 
Method Summary
 int compare(org.multijava.mjdoc.mjdoc_142.MjClassDoc d)
           
 com.sun.javadoc.ClassDoc[] innerClasses()
          Returns an array of all the nested classes and nested interfaces of this class.
 
Methods inherited from class org.multijava.mjdoc.mjdoc_142.MjClassDoc
addTLMethod, allmethods, asClassDoc, cclass, compareString, constructors, constructors, constructorsD, definesSerializableFields, dimension, fields, fields, findClass, findMethod, findMethod, findMethodRecursive, importedClasses, importedPackages, innerClasses, interfaces, isAbstract, isClass, isError, isException, isExternalizable, isInterface, isOrdinaryClass, isSerializable, jtype, longModifiers, methods, methods, methodsList, name, qualifiedName, qualifiedTypeName, serializableFields, serializationMethods, setJtype, subclassOf, subclassOf, superclass, toString, typeName
 
Methods inherited from class org.multijava.mjdoc.mjdoc_142.MjProgramElementDoc
containingClass, containingPackage, isFinal, isPackagePrivate, isPrivate, isProtected, isPublic, isStatic, modifiers, modifierSpecifier
 
Methods inherited from class org.multijava.mjdoc.mjdoc_142.MjDoc
commentText, compareTo, firstSentenceTags, getRawCommentText, inlineTags, isConstructor, isField, isIncluded, isMethod, notImplemented, position, seeTags, setIncluded, setRawCommentText, setRawCommentText, setRawCommentText, setRawCommentText, tags, tags, tags
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface com.sun.javadoc.ProgramElementDoc
containingClass, containingPackage, isFinal, isPackagePrivate, isPrivate, isProtected, isPublic, isStatic, modifiers, modifierSpecifier
 
Methods inherited from interface com.sun.javadoc.Doc
commentText, compareTo, firstSentenceTags, getRawCommentText, inlineTags, isConstructor, isField, isIncluded, isMethod, position, seeTags, setRawCommentText, tags, tags
 

Constructor Detail

JmlClassDoc

public JmlClassDoc(CClass cc)
Constructs an object from a CClass object (to be used when source code is not available).

Method Detail

innerClasses

public com.sun.javadoc.ClassDoc[] innerClasses()
Returns an array of all the nested classes and nested interfaces of this class.

Specified by:
innerClasses in interface com.sun.javadoc.ClassDoc
Overrides:
innerClasses in class org.multijava.mjdoc.mjdoc_142.MjClassDoc

compare

public int compare(org.multijava.mjdoc.mjdoc_142.MjClassDoc d)
Overrides:
compare in class org.multijava.mjdoc.mjdoc_142.MjClassDoc

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.