JML

org.jmlspecs.checker
Class JmlParserUtility

java.lang.Object
  extended byorg.multijava.mjc.ParserUtility
      extended byorg.jmlspecs.checker.JmlParserUtility
All Implemented Interfaces:
TroubleReporter

public class JmlParserUtility
extends ParserUtility

This class is derived from ...mjc.ParserUtility; its purpose is to supply a different JavadocParser than the one in org.multijava.mjc.


Field Summary
 
Fields inherited from class org.multijava.mjc.ParserUtility
allowGeneric, allowMultiJava, allowRelaxedMultiJava, allowUniverseKeywords, compiler, parseJavadocs, parsingController
 
Constructor Summary
JmlParserUtility(Main compiler, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean parseJavadocs)
           
 
Method Summary
 JavadocComment getJavadocComment(antlr.Token tok)
          Supplies an AST for the javadoc style comment preceding the given token.
 
Methods inherited from class org.multijava.mjc.ParserUtility
beautifyParserError, buildTokenReference, buildTokenReference, buildTokenReference, flushJavadocTokensWithWarning, flushJavadocTokensWithWarning, getCompiler, getJavadocComment, getModifierName, getModifierNames, getStatementComment, getUnmatchedTypeLT, modifiersInPreferredOrder, reportTrouble, setUnmatchedTypeLT, wrapIfEmptyNonNullWrapper
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JmlParserUtility

public JmlParserUtility(Main compiler,
                        ParsingController parsingController,
                        boolean allowGeneric,
                        boolean allowMultiJava,
                        boolean allowRelaxedMultiJava,
                        boolean allowUniverseKeywords,
                        boolean parseJavadocs)
Method Detail

getJavadocComment

public JavadocComment getJavadocComment(antlr.Token tok)
                                 throws antlr.TokenStreamException,
                                        antlr.RecognitionException
Supplies an AST for the javadoc style comment preceding the given token.

Overrides:
getJavadocComment in class ParserUtility
Throws:
antlr.TokenStreamException
antlr.RecognitionException

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.