org.jmlspecs.checker
Class JmlParserUtility

java.lang.Object
  org.multijava.mjc.ParserUtility
      org.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)

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