org.jmlspecs.jmldoc.jmldoc_142
Class JmlClassDoc

java.lang.Object
  org.multijava.mjdoc.mjdoc_142.MjDoc
      org.multijava.mjdoc.mjdoc_142.MjProgramElementDoc
          org.multijava.mjdoc.mjdoc_142.MjClassDoc
              org.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 MjClassDoc

Nested Class Summary

 

Nested classes inherited from class org.multijava.mjdoc.mjdoc_142.MjClassDoc

MjClassDoc.MemberFilter, 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(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).

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 MjClassDoc

compare

public int compare(MjClassDoc d)

Overrides:

compare in class MjClassDoc