JML

org.jmlspecs.checker
Class JavadocJmlParser

java.lang.Object
  extended byantlr.Parser
      extended byantlr.LLkParser
          extended byorg.jmlspecs.checker.JavadocJmlParser
All Implemented Interfaces:
JavadocJmlTokenTypes

public class JavadocJmlParser
extends antlr.LLkParser
implements JavadocJmlTokenTypes


Field Summary
static String[] _tokenNames
           
 
Fields inherited from class antlr.LLkParser
 
Fields inherited from class antlr.Parser
astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth
 
Fields inherited from interface org.jmlspecs.checker.JavadocJmlTokenTypes
AFFIRM, ASSIGN, AT, BACKWARD_IMPLIES, BAND, BAND_ASSIGN, BNOT, BOR, BOR_ASSIGN, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CHARACTER_LITERAL, COLON, COMMA, DEC, DOT, DOT_DOT, EMBEDDED_JML_START, EOF, EQUAL, EQUIV, GE, GT, IDENT, IMPLIES, INC, INFORMAL_DESC, INTEGER_LITERAL, JAVADOC_CLOSE, JAVADOC_OPEN, L_ARROW, LAND, LBRACK, LCURLY, LCURLY_VBAR, LE, LITERAL__nowarn, LITERAL__nowarn_op, LITERAL__warn, LITERAL__warn_op, LITERAL_abrupt_behavior, LITERAL_abrupt_behaviour, LITERAL_abstract, LITERAL_accessible, LITERAL_accessible_redundantly, LITERAL_also, LITERAL_assert, LITERAL_assert_redundantly, LITERAL_assignable, LITERAL_assignable_redundantly, LITERAL_assume, LITERAL_assume_redundantly, LITERAL_axiom, LITERAL_behavior, LITERAL_behaviour, LITERAL_boolean, LITERAL_break, LITERAL_breaks, LITERAL_breaks_redundantly, LITERAL_BS_bigint, LITERAL_BS_bigint_math, LITERAL_BS_duration, LITERAL_BS_elemtype, LITERAL_BS_everything, LITERAL_BS_exists, LITERAL_BS_forall, LITERAL_BS_fresh, LITERAL_BS_into, LITERAL_BS_invariant_for, LITERAL_BS_is_initialized, LITERAL_BS_java_math, LITERAL_BS_lblneg, LITERAL_BS_lblpos, LITERAL_BS_lockset, LITERAL_BS_max, LITERAL_BS_min, LITERAL_BS_nonnullelements, LITERAL_BS_not_assigned, LITERAL_BS_not_modified, LITERAL_BS_not_specified, LITERAL_BS_nothing, LITERAL_BS_nowarn, LITERAL_BS_nowarn_op, LITERAL_BS_num_of, LITERAL_BS_old, LITERAL_BS_only_accessed, LITERAL_BS_only_assigned, LITERAL_BS_only_called, LITERAL_BS_only_captured, LITERAL_BS_other, LITERAL_BS_pre, LITERAL_BS_product, LITERAL_BS_reach, LITERAL_BS_real, LITERAL_BS_result, LITERAL_BS_safe_math, LITERAL_BS_same, LITERAL_BS_space, LITERAL_BS_such_that, LITERAL_BS_sum, LITERAL_BS_TYPE, LITERAL_BS_type, LITERAL_BS_typeof, LITERAL_BS_warn, LITERAL_BS_warn_op, LITERAL_BS_working_space, LITERAL_byte, LITERAL_callable, LITERAL_callable_redundantly, LITERAL_captures, LITERAL_captures_redundantly, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_choose, LITERAL_choose_if, LITERAL_class, LITERAL_code, LITERAL_code_bigint_math, LITERAL_code_contract, LITERAL_code_java_math, LITERAL_code_safe_math, LITERAL_const, LITERAL_constraint, LITERAL_constraint_redundantly, LITERAL_constructor, LITERAL_continue, LITERAL_continues, LITERAL_continues_redundantly, LITERAL_debug, LITERAL_decreases, LITERAL_decreases_redundantly, LITERAL_decreasing, LITERAL_decreasing_redundantly, LITERAL_default, LITERAL_diverges, LITERAL_diverges_redundantly, LITERAL_do, LITERAL_double, LITERAL_duration, LITERAL_duration_redundantly, LITERAL_else, LITERAL_ensures, LITERAL_ensures_redundantly, LITERAL_example, LITERAL_exceptional_behavior, LITERAL_exceptional_behaviour, LITERAL_exceptional_example, LITERAL_exsures, LITERAL_exsures_redundantly, LITERAL_extends, LITERAL_false, LITERAL_field, LITERAL_final, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_for_example, LITERAL_forall, LITERAL_ghost, LITERAL_goto, LITERAL_helper, LITERAL_hence_by, LITERAL_hence_by_redundantly, LITERAL_if, LITERAL_implements, LITERAL_implies_that, LITERAL_import, LITERAL_in, LITERAL_in_redundantly, LITERAL_initializer, LITERAL_initially, LITERAL_instance, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_invariant, LITERAL_invariant_redundantly, LITERAL_long, LITERAL_loop_invariant, LITERAL_loop_invariant_redundantly, LITERAL_maintaining, LITERAL_maintaining_redundantly, LITERAL_maps, LITERAL_maps_redundantly, LITERAL_measured_by, LITERAL_measured_by_redundantly, LITERAL_method, LITERAL_model, LITERAL_model_program, LITERAL_modifiable, LITERAL_modifiable_redundantly, LITERAL_modifies, LITERAL_modifies_redundantly, LITERAL_monitored, LITERAL_monitors_for, LITERAL_native, LITERAL_new, LITERAL_non_null, LITERAL_non_null_by_default, LITERAL_normal_behavior, LITERAL_normal_behaviour, LITERAL_normal_example, LITERAL_null, LITERAL_nullable, LITERAL_nullable_by_default, LITERAL_old, LITERAL_or, LITERAL_package, LITERAL_peer, LITERAL_post, LITERAL_post_redundantly, LITERAL_pre, LITERAL_pre_redundantly, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_pure, LITERAL_query, LITERAL_readable, LITERAL_readonly, LITERAL_refine, LITERAL_refines, LITERAL_rep, LITERAL_represents, LITERAL_represents_redundantly, LITERAL_requires, LITERAL_requires_redundantly, LITERAL_resend, LITERAL_return, LITERAL_returns, LITERAL_returns_redundantly, LITERAL_secret, LITERAL_set, LITERAL_short, LITERAL_signals, LITERAL_signals_only, LITERAL_signals_only_redundantly, LITERAL_signals_redundantly, LITERAL_spec_bigint_math, LITERAL_spec_java_math, LITERAL_spec_protected, LITERAL_spec_public, LITERAL_spec_safe_math, LITERAL_static, LITERAL_static_initializer, LITERAL_strictfp, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_U_peer, LITERAL_U_readonly, LITERAL_U_rep, LITERAL_uninitialized, LITERAL_unreachable, LITERAL_void, LITERAL_volatile, LITERAL_weakly, LITERAL_when, LITERAL_when_redundantly, LITERAL_while, LITERAL_working_space, LITERAL_working_space_redundantly, LITERAL_writable, LNOT, LOR, LPAREN, LT, MINUS, MINUS_ASSIGN, NOT_EQUAL, NOT_EQUIV, NULL_TREE_LOOKAHEAD, PERCENT, PERCENT_ASSIGN, PLUS, PLUS_ASSIGN, QUESTION, R_ARROW, RBRACK, RCURLY, REAL_LITERAL, REST_OF_LINE, RPAREN, SEMI, SL, SL_ASSIGN, SLASH, SLASH_ASSIGN, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STRING_LITERAL, SUBTYPE_OF, VBAR_RCURLY
 
Constructor Summary
  JavadocJmlParser(antlr.ParserSharedInputState state)
           
  JavadocJmlParser(antlr.TokenBuffer tokenBuf)
           
protected JavadocJmlParser(antlr.TokenBuffer tokenBuf, int k)
           
  JavadocJmlParser(antlr.TokenStream lexer)
           
protected JavadocJmlParser(antlr.TokenStream lexer, int k)
           
 
Method Summary
 String description()
           
 JavadocComment docComment()
           
 
Methods inherited from class antlr.LLkParser
consume, LA, LT, traceIn, traceOut
 
Methods inherited from class antlr.Parser
addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_tokenNames

public static final String[] _tokenNames
Constructor Detail

JavadocJmlParser

protected JavadocJmlParser(antlr.TokenBuffer tokenBuf,
                           int k)

JavadocJmlParser

public JavadocJmlParser(antlr.TokenBuffer tokenBuf)

JavadocJmlParser

protected JavadocJmlParser(antlr.TokenStream lexer,
                           int k)

JavadocJmlParser

public JavadocJmlParser(antlr.TokenStream lexer)

JavadocJmlParser

public JavadocJmlParser(antlr.ParserSharedInputState state)
Method Detail

docComment

public final JavadocComment docComment()
                                throws antlr.RecognitionException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

description

public final String description()
                         throws antlr.RecognitionException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

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.