UtJmlLexer (UTJML documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

UTJML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.utep.cs.utjml.compiler
Class UtJmlLexer

java.lang.Object
  antlr.CharScanner
      edu.utep.cs.utjml.compiler.UtJmlLexer

All Implemented Interfaces:: antlr.TokenStream, UtJmlLexerTokenTypes

public class UtJmlLexer
extends antlr.CharScanner
implements UtJmlLexerTokenTypes, antlr.TokenStream
extends antlr.CharScanner
implements UtJmlLexerTokenTypes, antlr.TokenStream

This is the top level JML scanner. It processes the normal (Multi)Java lexicon and switches to annotation lexers for processing the additional keywords that can appear inside 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_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`

Fields inherited from class antlr.CharScanner
`_returnToken, caseSensitive, caseSensitiveLiterals, commitToPath, EOF_CHAR, hashString, inputState, literals, saveConsumedInput, tabsize, text, tokenObjectClass, traceDepth`

Fields inherited from interface edu.utep.cs.utjml.compiler.UtJmlLexerTokenTypes
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, 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_call_sequence, LITERAL_call_sequence_redundantly, 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

Fields inherited from interface edu.utep.cs.utjml.compiler.UtJmlLexerTokenTypes

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, 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_call_sequence, LITERAL_call_sequence_redundantly, 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
`UtJmlLexer(antlr.InputBuffer ib)`
`UtJmlLexer(InputStream in)`
`UtJmlLexer(antlr.LexerSharedInputState state)`
`UtJmlLexer(ParsingController parsingController, TokenStreamSelector lexingController, boolean allowJavaAssert, boolean allowResend, boolean allowUniverseKeywords, TroubleReporter reporter)`
`UtJmlLexer(Reader in)`

Method Summary
`void`	`inAnnotation()` Called to specify that the whole file is an annotation, that is, it is a jml file rather than a spec or java file.
`void`	`mASSIGN(boolean _createToken)`
`void`	`mAT(boolean _createToken)`
`void`	`mBACKWARD_IMPLIES(boolean _createToken)`
`void`	`mBAND_ASSIGN(boolean _createToken)`
`void`	`mBAND(boolean _createToken)`
`void`	`mBNOT(boolean _createToken)`
`void`	`mBOR_ASSIGN(boolean _createToken)`
`void`	`mBOR(boolean _createToken)`
`void`	`mBSR_ASSIGN(boolean _createToken)`
`void`	`mBSR(boolean _createToken)`
`void`	`mBXOR_ASSIGN(boolean _createToken)`
`void`	`mBXOR(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`	`mL_ARROW(boolean _createToken)`
`void`	`mLAND(boolean _createToken)`
`void`	`mLBRACK(boolean _createToken)`
`void`	`mLCURLY_VBAR(boolean _createToken)`
`void`	`mLCURLY(boolean _createToken)`
`void`	`mLE(boolean _createToken)`
`void`	`mLNOT(boolean _createToken)`
`void`	`mLOR(boolean _createToken)`
`void`	`mLPAREN(boolean _createToken)`
`void`	`mLT(boolean _createToken)`
`void`	`mMINUS_ASSIGN(boolean _createToken)`
`void`	`mMINUS(boolean _createToken)`
`protected void`	`mML_COMMENT_REST(boolean _createToken)`
`void`	`mML_COMMENT(boolean _createToken)`
`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_LIST(boolean _createToken, ArrayList list)`
`protected void`	`mNOWARN_LABEL(boolean _createToken)`
`protected void`	`mOPTIONAL_PLUS(boolean _createToken)`
`void`	`mPERCENT_ASSIGN(boolean _createToken)`
`void`	`mPERCENT(boolean _createToken)`
`void`	`mPLUS_ASSIGN(boolean _createToken)`
`void`	`mPLUS(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_ASSIGN(boolean _createToken)`
`void`	`mSL_COMMENT(boolean _createToken)`
`void`	`mSL(boolean _createToken)`
`void`	`mSLASH_ASSIGN(boolean _createToken)`
`void`	`mSLASH(boolean _createToken)`
`void`	`mSR_ASSIGN(boolean _createToken)`
`void`	`mSR(boolean _createToken)`
`void`	`mSTAR_ASSIGN(boolean _createToken)`
`void`	`mSTAR(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 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

_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

Constructor Detail

UtJmlLexer

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

UtJmlLexer

public UtJmlLexer(InputStream in)

UtJmlLexer

public UtJmlLexer(Reader in)

UtJmlLexer

public UtJmlLexer(antlr.InputBuffer ib)

UtJmlLexer

public UtJmlLexer(antlr.LexerSharedInputState state)

Method Detail

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)

inAnnotation

public void inAnnotation()

Called to specify that the whole file is an annotation, that is, it is a jml file rather than a spec or java file.

nextToken

public antlr.Token nextToken()
                      throws antlr.TokenStreamException

Specified by:: nextToken in interface antlr.TokenStream

Throws:: 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

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

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

mNEWLINE

protected final void mNEWLINE(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

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

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

mIDENT

public final void mIDENT(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

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

mWS

public final void mWS(boolean _createToken)
               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

public final void mMINUS(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

public final void mPERCENT(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

public final void mPLUS(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

public final void mSLASH(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

public final void mSTAR(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

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

mML_EMPTY_COMMENT

public final void mML_EMPTY_COMMENT(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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

UTJML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso 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 JML project.

edu.utep.cs.utjml.compiler Class UtJmlLexer

_tokenSet_0

_tokenSet_1

_tokenSet_2

_tokenSet_3

_tokenSet_4

_tokenSet_5

_tokenSet_6

_tokenSet_7

_tokenSet_8

_tokenSet_9

_tokenSet_10

_tokenSet_11

_tokenSet_12

_tokenSet_13

_tokenSet_14

UtJmlLexer

UtJmlLexer

UtJmlLexer

UtJmlLexer

UtJmlLexer

tab

setTabSize

tabSize

inAnnotation

nextToken

mSUBTYPE_OF

mLPAREN

mRPAREN

mSEMI

mLCURLY

mRCURLY

mL_ARROW

mR_ARROW

mEQUIV

mNOT_EQUIV

mIMPLIES

mBACKWARD_IMPLIES

mLCURLY_VBAR

mVBAR_RCURLY

mSL_COMMENT

mNEWLINE

mML_COMMENT

mML_COMMENT_REST

mOPTIONAL_PLUS

mJAVADOC_OPEN

mIDENT

mINFORMAL_DESC

mNOWARN_LABEL_LIST

mWS

mNOWARN_LABEL

mCOMMA

mSKIP_TO_SEMI

mINTEGER_LITERAL

mEXPONENT

mFLOAT_SUFFIX

mHEX_DIGIT

mASSIGN

mAT

mBAND

mBAND_ASSIGN

mBNOT

mBOR

mBOR_ASSIGN

mBSR

mBSR_ASSIGN

mBXOR

mBXOR_ASSIGN

mCOLON

mDEC

mEQUAL

mGE

mGT

mINC

mLAND

mLBRACK

mLE

mLNOT

mLOR

mLT

edu.utep.cs.utjml.compiler
Class UtJmlLexer