JML

org.multijava.util.compiler
Class JavadocComment

java.lang.Object
  extended byorg.multijava.util.compiler.JavaStyleComment
      extended byorg.multijava.util.compiler.JavadocComment

public class JavadocComment
extends JavaStyleComment

A simple character constant


Field Summary
 
Fields inherited from class org.multijava.util.compiler.JavaStyleComment
EMPTY, text
 
Constructor Summary
JavadocComment(String text, boolean spaceBefore, boolean spaceAfter)
          Construct a node in the parsing tree
 
Method Summary
 String getParams()
           
 boolean isDeprecated()
          Return if this javadoc comment contains a deprecated clause
 String toString()
           
 
Methods inherited from class org.multijava.util.compiler.JavaStyleComment
getText, hadSpaceAfter, hadSpaceBefore, isLineComment
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JavadocComment

public JavadocComment(String text,
                      boolean spaceBefore,
                      boolean spaceAfter)
Construct a node in the parsing tree

Parameters:
text - the string representation of this comment
Method Detail

isDeprecated

public boolean isDeprecated()
Return if this javadoc comment contains a deprecated clause


getParams

public String getParams()

toString

public String toString()
Overrides:
toString in class Object

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.