org.jmlspecs.checker
Class JavadocJmlParser

java.lang.Object
  antlr.Parser
      antlr.LLkParser
          org.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

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)

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