JML

org.jmlspecs.checker
Class JmlMLLexer

java.lang.Object
  extended byantlr.CharScanner
      extended byorg.jmlspecs.checker.JmlMLLexer
All Implemented Interfaces:
JmlMLLexerTokenTypes, antlr.TokenStream

public class JmlMLLexer
extends antlr.CharScanner
implements JmlMLLexerTokenTypes, antlr.TokenStream

This is the scanner for multi-line JML annotations.


Field Summary
static antlr.collections.impl.BitSet _tokenSet_0
           
static antlr.collections.impl.BitSet _tokenSet_1
           
static antlr.collections.impl.BitSet _tokenSet_10
           
static antlr.collections.impl.BitSet _tokenSet_11
           
static antlr.collections.impl.BitSet _tokenSet_12
           
static antlr.collections.impl.BitSet _tokenSet_13
           
static antlr.collections.impl.BitSet _tokenSet_14
           
static antlr.collections.impl.BitSet _tokenSet_15
           
static antlr.collections.impl.BitSet _tokenSet_16
           
static antlr.collections.impl.BitSet _tokenSet_2
           
static antlr.collections.impl.BitSet _tokenSet_3
           
static antlr.collections.impl.BitSet _tokenSet_4
           
static antlr.collections.impl.BitSet _tokenSet_5
           
static antlr.collections.impl.BitSet _tokenSet_6
           
static antlr.collections.impl.BitSet _tokenSet_7
           
static antlr.collections.impl.BitSet _tokenSet_8
           
static antlr.collections.impl.BitSet _tokenSet_9
           
private  boolean allowAnnotations
          Flag indicates whether annotations should be allowed.
private  boolean allowJavaAssert
           
private  boolean allowResend
           
private  boolean allowUniverseKeywords
           
private  char[] charCache
          Used to convert token text from String to char[].
private  boolean inAnnotation
          Flag indicates whether we are lexing within an annotation.
private  boolean inJMLExpression
          Flag indicates whether we are lexing within a JML expression.
private  boolean inQuantifier
          Flag indicates whether we are lexing within a JML quantifier expression.
private  TokenStreamSelector lexingController
          Used to switch lexers when moving in and out of annotations.
private  int parenCount
          Count of the number of left parens without matching right parens found within a JML expression.
private  ParsingController parsingController
          Used to switch lexers for nested languages (i.e., javadoc).
private  TroubleReporter reporter
          Used to report warnings during lexing.
private  int tabSize
          The amount by which the column number is incremented when a tab character is detected in the input stream.
 
Fields inherited from class antlr.CharScanner
_returnToken, caseSensitive, caseSensitiveLiterals, commitToPath, EOF_CHAR, hashString, inputState, literals, saveConsumedInput, tabsize, text, tokenObjectClass, traceDepth
 
Fields inherited from interface org.jmlspecs.checker.JmlMLLexerTokenTypes
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, EOF, EQUAL, EQUIV, ESC, EXPONENT, FLOAT_SUFFIX, GE, GT, HEX_DIGIT, IDENT, IMPLIES, INC, INFORMAL_DESC, INTEGER_LITERAL, JAVADOC_OPEN, JML_CLOSE, 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, ML_COMMENT, ML_COMMENT_REST, ML_EMPTY_COMMENT, NEWLINE, NON_NL_WS, NOT_EQUAL, NOT_EQUIV, NOWARN_LABEL, NOWARN_LABEL_LIST, NULL_TREE_LOOKAHEAD, OPTIONAL_PLUS, PERCENT, PERCENT_ASSIGN, PLUS, PLUS_ASSIGN, QUESTION, R_ARROW, RBRACK, RCURLY, REAL_LITERAL, RPAREN, SEMI, SKIP_TO_SEMI, SL, SL_ASSIGN, SL_COMMENT, SLASH, SLASH_ASSIGN, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STRING_LITERAL, SUBTYPE_OF, VBAR_RCURLY, VOCAB, WS
 
Constructor Summary
JmlMLLexer(antlr.InputBuffer ib)
           
JmlMLLexer(antlr.LexerSharedInputState state)
           
JmlMLLexer(InputStream in)
           
JmlMLLexer(Reader in)
           
JmlMLLexer(ParsingController parsingController, TokenStreamSelector lexingController, boolean allowJavaAssert, boolean allowResend, boolean allowUniverseKeywords, TroubleReporter reporter)
           
 
Method Summary
private  antlr.Token checkReservedTokens(antlr.Token tok)
          If tok represents a conditionally reserved word that is not reserved during this lexical analysis, then returns null, otherwise returns tok.
 void mASSIGN(boolean _createToken)
           
 void mAT(boolean _createToken)
           
 void mBACKWARD_IMPLIES(boolean _createToken)
           
 void mBAND(boolean _createToken)
           
 void mBAND_ASSIGN(boolean _createToken)
           
 void mBNOT(boolean _createToken)
           
 void mBOR(boolean _createToken)
           
 void mBOR_ASSIGN(boolean _createToken)
           
 void mBSR(boolean _createToken)
           
 void mBSR_ASSIGN(boolean _createToken)
           
 void mBXOR(boolean _createToken)
           
 void mBXOR_ASSIGN(boolean _createToken)
           
 void mCHARACTER_LITERAL(boolean _createToken)
           
 void mCOLON(boolean _createToken)
           
 void mCOMMA(boolean _createToken)
           
 void mDEC(boolean _createToken)
           
 void mEQUAL(boolean _createToken)
           
 void mEQUIV(boolean _createToken)
           
protected  void mESC(boolean _createToken)
           
protected  void mEXPONENT(boolean _createToken)
           
protected  void mFLOAT_SUFFIX(boolean _createToken)
           
 void mGE(boolean _createToken)
           
 void mGT(boolean _createToken)
           
protected  void mHEX_DIGIT(boolean _createToken)
           
 void mIDENT(boolean _createToken)
           
 void mIMPLIES(boolean _createToken)
           
 void mINC(boolean _createToken)
           
 void mINFORMAL_DESC(boolean _createToken)
           
 void mINTEGER_LITERAL(boolean _createToken)
           
 void mJAVADOC_OPEN(boolean _createToken)
           
 void mJML_CLOSE(boolean _createToken)
           
private static long[] mk_tokenSet_0()
           
private static long[] mk_tokenSet_1()
           
private static long[] mk_tokenSet_10()
           
private static long[] mk_tokenSet_11()
           
private static long[] mk_tokenSet_12()
           
private static long[] mk_tokenSet_13()
           
private static long[] mk_tokenSet_14()
           
private static long[] mk_tokenSet_15()
           
private static long[] mk_tokenSet_16()
           
private static long[] mk_tokenSet_2()
           
private static long[] mk_tokenSet_3()
           
private static long[] mk_tokenSet_4()
           
private static long[] mk_tokenSet_5()
           
private static long[] mk_tokenSet_6()
           
private static long[] mk_tokenSet_7()
           
private static long[] mk_tokenSet_8()
           
private static long[] mk_tokenSet_9()
           
 void mL_ARROW(boolean _createToken)
           
 void mLAND(boolean _createToken)
           
 void mLBRACK(boolean _createToken)
           
 void mLCURLY(boolean _createToken)
           
 void mLCURLY_VBAR(boolean _createToken)
           
 void mLE(boolean _createToken)
           
 void mLNOT(boolean _createToken)
           
 void mLOR(boolean _createToken)
           
 void mLPAREN(boolean _createToken)
           
 void mLT(boolean _createToken)
           
 void mMINUS(boolean _createToken)
           
 void mMINUS_ASSIGN(boolean _createToken)
           
 void mML_COMMENT(boolean _createToken)
           
protected  void mML_COMMENT_REST(boolean _createToken)
           
protected  void mML_EMPTY_COMMENT(boolean _createToken)
           
protected  void mNEWLINE(boolean _createToken)
           
protected  void mNON_NL_WS(boolean _createToken)
           
 void mNOT_EQUAL(boolean _createToken)
           
 void mNOT_EQUIV(boolean _createToken)
           
protected  void mNOWARN_LABEL(boolean _createToken)
           
protected  void mNOWARN_LABEL_LIST(boolean _createToken, ArrayList list)
           
protected  void mOPTIONAL_PLUS(boolean _createToken)
           
 void mPERCENT(boolean _createToken)
           
 void mPERCENT_ASSIGN(boolean _createToken)
           
 void mPLUS(boolean _createToken)
           
 void mPLUS_ASSIGN(boolean _createToken)
           
 void mQUESTION(boolean _createToken)
           
 void mR_ARROW(boolean _createToken)
           
 void mRBRACK(boolean _createToken)
           
 void mRCURLY(boolean _createToken)
           
 void mRPAREN(boolean _createToken)
           
 void mSEMI(boolean _createToken)
           
protected  void mSKIP_TO_SEMI(boolean _createToken)
           
 void mSL(boolean _createToken)
           
 void mSL_ASSIGN(boolean _createToken)
           
 void mSL_COMMENT(boolean _createToken)
           
 void mSLASH(boolean _createToken)
           
 void mSLASH_ASSIGN(boolean _createToken)
           
 void mSR(boolean _createToken)
           
 void mSR_ASSIGN(boolean _createToken)
           
 void mSTAR(boolean _createToken)
           
 void mSTAR_ASSIGN(boolean _createToken)
           
 void mSTRING_LITERAL(boolean _createToken)
           
 void mSUBTYPE_OF(boolean _createToken)
           
 void mVBAR_RCURLY(boolean _createToken)
           
protected  void mVOCAB(boolean _createToken)
           
 void mWS(boolean _createToken)
           
 antlr.Token nextToken()
           
 void setTabSize(int ts)
          Sets the amount by which the column number is incremented when a tab character is detected in the input stream.
 void tab()
          Called by the scanner when a tab is detected in the input stream.
 int tabSize()
          Indicates the amount by which the column number is incremented when a tab character is detected in the input stream.
 
Methods inherited from class antlr.CharScanner
append, append, commit, consume, consumeUntil, consumeUntil, getCaseSensitive, getCaseSensitiveLiterals, getColumn, getCommitToPath, getFilename, getInputBuffer, getInputState, getLine, getTabSize, getText, getTokenObject, LA, makeToken, mark, match, match, match, matchNot, matchRange, newline, panic, panic, reportError, reportError, reportWarning, resetText, rewind, setCaseSensitive, setColumn, setCommitToPath, setFilename, setInputState, setLine, setText, setTokenObjectClass, testLiteralsTable, testLiteralsTable, toLower, traceIn, traceIndent, traceOut, uponEOF
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

tabSize

private int tabSize
The amount by which the column number is incremented when a tab character is detected in the input stream.


parsingController

private ParsingController parsingController
Used to switch lexers for nested languages (i.e., javadoc). Aliases should be established in all lexers that share the same input stream.


lexingController

private TokenStreamSelector lexingController
Used to switch lexers when moving in and out of annotations. Aliases should be established in all lexers that share the same input stream.


charCache

private char[] charCache
Used to convert token text from String to char[].


inAnnotation

private boolean inAnnotation
Flag indicates whether we are lexing within an annotation. A different definition of IDENT (allowing leading '\') is used in this case and a different keyword table is consulted for resolving IDENTs.


inJMLExpression

private boolean inJMLExpression
Flag indicates whether we are lexing within a JML expression. Used to switch between keyword tables for resolving IDENTs.


inQuantifier

private boolean inQuantifier
Flag indicates whether we are lexing within a JML quantifier expression. Used to detect whether or not a ';' indicates the end of a JML expression.


parenCount

private int parenCount
Count of the number of left parens without matching right parens found within a JML expression. Used to detect whether or not a ';' indicates the end of a JML expression.


allowAnnotations

private final boolean allowAnnotations
Flag indicates whether annotations should be allowed. Used to prohibit nested annotations.

 private invariant allowAnnotations <==> (* this is not an annotation lexer *);
 


allowJavaAssert

private boolean allowJavaAssert

allowResend

private boolean allowResend

allowUniverseKeywords

private boolean allowUniverseKeywords

reporter

private TroubleReporter reporter
Used to report warnings during lexing.


_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0

_tokenSet_1

public static final antlr.collections.impl.BitSet _tokenSet_1

_tokenSet_2

public static final antlr.collections.impl.BitSet _tokenSet_2

_tokenSet_3

public static final antlr.collections.impl.BitSet _tokenSet_3

_tokenSet_4

public static final antlr.collections.impl.BitSet _tokenSet_4

_tokenSet_5

public static final antlr.collections.impl.BitSet _tokenSet_5

_tokenSet_6

public static final antlr.collections.impl.BitSet _tokenSet_6

_tokenSet_7

public static final antlr.collections.impl.BitSet _tokenSet_7

_tokenSet_8

public static final antlr.collections.impl.BitSet _tokenSet_8

_tokenSet_9

public static final antlr.collections.impl.BitSet _tokenSet_9

_tokenSet_10

public static final antlr.collections.impl.BitSet _tokenSet_10

_tokenSet_11

public static final antlr.collections.impl.BitSet _tokenSet_11

_tokenSet_12

public static final antlr.collections.impl.BitSet _tokenSet_12

_tokenSet_13

public static final antlr.collections.impl.BitSet _tokenSet_13

_tokenSet_14

public static final antlr.collections.impl.BitSet _tokenSet_14

_tokenSet_15

public static final antlr.collections.impl.BitSet _tokenSet_15

_tokenSet_16

public static final antlr.collections.impl.BitSet _tokenSet_16
Constructor Detail

JmlMLLexer

public JmlMLLexer(ParsingController parsingController,
                  TokenStreamSelector lexingController,
                  boolean allowJavaAssert,
                  boolean allowResend,
                  boolean allowUniverseKeywords,
                  TroubleReporter reporter)

JmlMLLexer

public JmlMLLexer(InputStream in)

JmlMLLexer

public JmlMLLexer(Reader in)

JmlMLLexer

public JmlMLLexer(antlr.InputBuffer ib)

JmlMLLexer

public JmlMLLexer(antlr.LexerSharedInputState state)
Method Detail

checkReservedTokens

private antlr.Token checkReservedTokens(antlr.Token tok)
If tok represents a conditionally reserved word that is not reserved during this lexical analysis, then returns null, otherwise returns tok. For reserved words whose non-reserved use will be deprecated (e.g., 'assert'), throws an .


tab

public void tab()
Called by the scanner when a tab is detected in the input stream. Advances the column number according to tabSize.

Overrides:
tab in class antlr.CharScanner
See Also:
setTabSize(int), tabSize()

setTabSize

public void setTabSize(int ts)
Sets the amount by which the column number is incremented when a tab character is detected in the input stream.

Overrides:
setTabSize in class antlr.CharScanner
See Also:
tabSize()

tabSize

public int tabSize()
Indicates the amount by which the column number is incremented when a tab character is detected in the input stream.

See Also:
setTabSize(int)

nextToken

public antlr.Token nextToken()
                      throws antlr.TokenStreamException
Specified by:
nextToken in interface antlr.TokenStream
Throws:
antlr.TokenStreamException

mPLUS

public final void mPLUS(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mMINUS

public final void mMINUS(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSTAR

public final void mSTAR(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSLASH

public final void mSLASH(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mPERCENT

public final void mPERCENT(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mWS

public final void mWS(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNON_NL_WS

protected final void mNON_NL_WS(boolean _createToken)
                         throws antlr.RecognitionException,
                                antlr.CharStreamException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNEWLINE

protected final void mNEWLINE(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mOPTIONAL_PLUS

protected final void mOPTIONAL_PLUS(boolean _createToken)
                             throws antlr.RecognitionException,
                                    antlr.CharStreamException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mJAVADOC_OPEN

public final void mJAVADOC_OPEN(boolean _createToken)
                         throws antlr.RecognitionException,
                                antlr.CharStreamException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mML_COMMENT_REST

protected final void mML_COMMENT_REST(boolean _createToken)
                               throws antlr.RecognitionException,
                                      antlr.CharStreamException,
                                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mML_EMPTY_COMMENT

protected final void mML_EMPTY_COMMENT(boolean _createToken)
                                throws antlr.RecognitionException,
                                       antlr.CharStreamException,
                                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mJML_CLOSE

public final void mJML_CLOSE(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mINFORMAL_DESC

public final void mINFORMAL_DESC(boolean _createToken)
                          throws antlr.RecognitionException,
                                 antlr.CharStreamException,
                                 antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLPAREN

public final void mLPAREN(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mRPAREN

public final void mRPAREN(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSEMI

public final void mSEMI(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLCURLY

public final void mLCURLY(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mRCURLY

public final void mRCURLY(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mL_ARROW

public final void mL_ARROW(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mR_ARROW

public final void mR_ARROW(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mEQUIV

public final void mEQUIV(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNOT_EQUIV

public final void mNOT_EQUIV(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mIMPLIES

public final void mIMPLIES(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBACKWARD_IMPLIES

public final void mBACKWARD_IMPLIES(boolean _createToken)
                             throws antlr.RecognitionException,
                                    antlr.CharStreamException,
                                    antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSUBTYPE_OF

public final void mSUBTYPE_OF(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLCURLY_VBAR

public final void mLCURLY_VBAR(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mVBAR_RCURLY

public final void mVBAR_RCURLY(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSL_COMMENT

public final void mSL_COMMENT(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mML_COMMENT

public final void mML_COMMENT(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mIDENT

public final void mIDENT(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNOWARN_LABEL_LIST

protected final void mNOWARN_LABEL_LIST(boolean _createToken,
                                        ArrayList list)
                                 throws antlr.RecognitionException,
                                        antlr.CharStreamException,
                                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNOWARN_LABEL

protected final void mNOWARN_LABEL(boolean _createToken)
                            throws antlr.RecognitionException,
                                   antlr.CharStreamException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mCOMMA

public final void mCOMMA(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSKIP_TO_SEMI

protected final void mSKIP_TO_SEMI(boolean _createToken)
                            throws antlr.RecognitionException,
                                   antlr.CharStreamException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mINTEGER_LITERAL

public final void mINTEGER_LITERAL(boolean _createToken)
                            throws antlr.RecognitionException,
                                   antlr.CharStreamException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mEXPONENT

protected final void mEXPONENT(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mFLOAT_SUFFIX

protected final void mFLOAT_SUFFIX(boolean _createToken)
                            throws antlr.RecognitionException,
                                   antlr.CharStreamException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mHEX_DIGIT

protected final void mHEX_DIGIT(boolean _createToken)
                         throws antlr.RecognitionException,
                                antlr.CharStreamException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mASSIGN

public final void mASSIGN(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mAT

public final void mAT(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBAND

public final void mBAND(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBAND_ASSIGN

public final void mBAND_ASSIGN(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBNOT

public final void mBNOT(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBOR

public final void mBOR(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBOR_ASSIGN

public final void mBOR_ASSIGN(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBSR

public final void mBSR(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBSR_ASSIGN

public final void mBSR_ASSIGN(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBXOR

public final void mBXOR(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mBXOR_ASSIGN

public final void mBXOR_ASSIGN(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mCOLON

public final void mCOLON(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mDEC

public final void mDEC(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mEQUAL

public final void mEQUAL(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mGE

public final void mGE(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mGT

public final void mGT(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mINC

public final void mINC(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLAND

public final void mLAND(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLBRACK

public final void mLBRACK(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLE

public final void mLE(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLNOT

public final void mLNOT(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLOR

public final void mLOR(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLT

public final void mLT(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mMINUS_ASSIGN

public final void mMINUS_ASSIGN(boolean _createToken)
                         throws antlr.RecognitionException,
                                antlr.CharStreamException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNOT_EQUAL

public final void mNOT_EQUAL(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mPERCENT_ASSIGN

public final void mPERCENT_ASSIGN(boolean _createToken)
                           throws antlr.RecognitionException,
                                  antlr.CharStreamException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mPLUS_ASSIGN

public final void mPLUS_ASSIGN(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mQUESTION

public final void mQUESTION(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mRBRACK

public final void mRBRACK(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSL

public final void mSL(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSLASH_ASSIGN

public final void mSLASH_ASSIGN(boolean _createToken)
                         throws antlr.RecognitionException,
                                antlr.CharStreamException,
                                antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSL_ASSIGN

public final void mSL_ASSIGN(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSR

public final void mSR(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSR_ASSIGN

public final void mSR_ASSIGN(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSTAR_ASSIGN

public final void mSTAR_ASSIGN(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mCHARACTER_LITERAL

public final void mCHARACTER_LITERAL(boolean _createToken)
                              throws antlr.RecognitionException,
                                     antlr.CharStreamException,
                                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mESC

protected final void mESC(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSTRING_LITERAL

public final void mSTRING_LITERAL(boolean _createToken)
                           throws antlr.RecognitionException,
                                  antlr.CharStreamException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mVOCAB

protected final void mVOCAB(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mk_tokenSet_0

private static final long[] mk_tokenSet_0()

mk_tokenSet_1

private static final long[] mk_tokenSet_1()

mk_tokenSet_2

private static final long[] mk_tokenSet_2()

mk_tokenSet_3

private static final long[] mk_tokenSet_3()

mk_tokenSet_4

private static final long[] mk_tokenSet_4()

mk_tokenSet_5

private static final long[] mk_tokenSet_5()

mk_tokenSet_6

private static final long[] mk_tokenSet_6()

mk_tokenSet_7

private static final long[] mk_tokenSet_7()

mk_tokenSet_8

private static final long[] mk_tokenSet_8()

mk_tokenSet_9

private static final long[] mk_tokenSet_9()

mk_tokenSet_10

private static final long[] mk_tokenSet_10()

mk_tokenSet_11

private static final long[] mk_tokenSet_11()

mk_tokenSet_12

private static final long[] mk_tokenSet_12()

mk_tokenSet_13

private static final long[] mk_tokenSet_13()

mk_tokenSet_14

private static final long[] mk_tokenSet_14()

mk_tokenSet_15

private static final long[] mk_tokenSet_15()

mk_tokenSet_16

private static final long[] mk_tokenSet_16()

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.