com.ibm.bluej.consistency.grammar

Class ConsistencyLexer

java.lang.Object

org.antlr.runtime.BaseRecognizer

org.antlr.runtime.Lexer

com.ibm.bluej.consistency.grammar.ConsistencyLexer

All Implemented Interfaces:

org.antlr.runtime.TokenSource

public class ConsistencyLexer
extends org.antlr.runtime.Lexer

Field Summary

Fields

Modifier and Type	Field and Description
static int	AND
static int	AT
static int	BACKSLASH
static int	BETA_BEGIN
static int	BETAFUNC
static int	COMMA
static int	CONDITIONSEP
static int	DECLAREMARKER
static int	DEFMARKER
static int	DIGIT
static int	EOF
static int	FACTORFUNC
static int	FORALLCONDITION
static int	LEFT_BRACE
static int	LEFT_BRACK
static int	LEFT_PAREN
static int	LETTER
static int	LINE_COMMENT
static int	MAKECONSTMARKER
static int	NAME
static int	NEGATION
static int	NEWLINE
static int	NUMBER
static int	OBJECTIVEMARKER
static int	OPERATOR
static int	PARAM_BEGIN
static int	PROPOSEMARKER
static int	RANDOMCONDITION
static int	RIGHT_BRACE
static int	RIGHT_BRACK
static int	RIGHT_PAREN
static int	SIGN
static int	SPACE
static int	STRINGCONST
static int	SUBPROPOSEMARKER
static int	TESTMARKER
static int	WEIGHTEDMAXCONDITION

Fields inherited from class org.antlr.runtime.BaseRecognizer

DEFAULT_TOKEN_CHANNEL, HIDDEN, INITIAL_FOLLOW_STACK_SIZE, MEMO_RULE_FAILED, MEMO_RULE_UNKNOWN, NEXT_TOKEN_RULE_NAME

Constructor Summary

Constructors

Constructor and Description
ConsistencyLexer()
ConsistencyLexer(org.antlr.runtime.CharStream input)
ConsistencyLexer(org.antlr.runtime.CharStream input, org.antlr.runtime.RecognizerSharedState state)

Method Summary

Methods

Modifier and Type	Method and Description
org.antlr.runtime.Lexer[]	getDelegates()
java.lang.String	getGrammarFileName()
void	mAND()
void	mAT()
void	mBACKSLASH()
void	mBETA_BEGIN()
void	mBETAFUNC()
void	mCOMMA()
void	mCONDITIONSEP()
void	mDECLAREMARKER()
void	mDEFMARKER()
void	mDIGIT()
void	mFACTORFUNC()
void	mFORALLCONDITION()
void	mLEFT_BRACE()
void	mLEFT_BRACK()
void	mLEFT_PAREN()
void	mLETTER()
void	mLINE_COMMENT()
void	mMAKECONSTMARKER()
void	mNAME()
void	mNEGATION()
void	mNEWLINE()
void	mNUMBER()
void	mOBJECTIVEMARKER()
void	mOPERATOR()
void	mPARAM_BEGIN()
void	mPROPOSEMARKER()
void	mRANDOMCONDITION()
void	mRIGHT_BRACE()
void	mRIGHT_BRACK()
void	mRIGHT_PAREN()
void	mSIGN()
void	mSPACE()
void	mSTRINGCONST()
void	mSUBPROPOSEMARKER()
void	mTESTMARKER()
void	mTokens()
void	mWEIGHTEDMAXCONDITION()

Methods inherited from class org.antlr.runtime.Lexer

emit, emit, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getCharStream, getEOFToken, getErrorMessage, getLine, getSourceName, getText, match, match, matchAny, matchRange, nextToken, recover, reportError, reset, setCharStream, setText, skip, traceIn, traceOut

Methods inherited from class org.antlr.runtime.BaseRecognizer

alreadyParsedRule, beginResync, consumeUntil, consumeUntil, displayRecognitionError, emitErrorMessage, endResync, failed, getBacktrackingLevel, getErrorHeader, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, getTokenNames, match, matchAny, memoize, mismatchIsMissingToken, mismatchIsUnwantedToken, recover, recoverFromMismatchedSet, setBacktrackingLevel, toStrings, traceIn, traceOut

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EOF

public static final int EOF

See Also:

Constant Field Values

AND

public static final int AND

See Also:

Constant Field Values

AT

public static final int AT

See Also:

Constant Field Values

BACKSLASH

public static final int BACKSLASH

See Also:

Constant Field Values

BETAFUNC

public static final int BETAFUNC

See Also:

Constant Field Values

BETA_BEGIN

public static final int BETA_BEGIN

See Also:

Constant Field Values

COMMA

public static final int COMMA

See Also:

Constant Field Values

CONDITIONSEP

public static final int CONDITIONSEP

See Also:

Constant Field Values

DECLAREMARKER

public static final int DECLAREMARKER

See Also:

Constant Field Values

DEFMARKER

public static final int DEFMARKER

See Also:

Constant Field Values

DIGIT

public static final int DIGIT

See Also:

Constant Field Values

FACTORFUNC

public static final int FACTORFUNC

See Also:

Constant Field Values

FORALLCONDITION

public static final int FORALLCONDITION

See Also:

Constant Field Values

LEFT_BRACE

public static final int LEFT_BRACE

See Also:

Constant Field Values

LEFT_BRACK

public static final int LEFT_BRACK

See Also:

Constant Field Values

LEFT_PAREN

public static final int LEFT_PAREN

See Also:

Constant Field Values

LETTER

public static final int LETTER

See Also:

Constant Field Values

LINE_COMMENT

public static final int LINE_COMMENT

See Also:

Constant Field Values

MAKECONSTMARKER

public static final int MAKECONSTMARKER

See Also:

Constant Field Values

NAME

public static final int NAME

See Also:

Constant Field Values

NEGATION

public static final int NEGATION

See Also:

Constant Field Values

NEWLINE

public static final int NEWLINE

See Also:

Constant Field Values

NUMBER

public static final int NUMBER

See Also:

Constant Field Values

OBJECTIVEMARKER

public static final int OBJECTIVEMARKER

See Also:

Constant Field Values

OPERATOR

public static final int OPERATOR

See Also:

Constant Field Values

PARAM_BEGIN

public static final int PARAM_BEGIN

See Also:

Constant Field Values

PROPOSEMARKER

public static final int PROPOSEMARKER

See Also:

Constant Field Values

RANDOMCONDITION

public static final int RANDOMCONDITION

See Also:

Constant Field Values

RIGHT_BRACE

public static final int RIGHT_BRACE

See Also:

Constant Field Values

RIGHT_BRACK

public static final int RIGHT_BRACK

See Also:

Constant Field Values

RIGHT_PAREN

public static final int RIGHT_PAREN

See Also:

Constant Field Values

SIGN

public static final int SIGN

See Also:

Constant Field Values

SPACE

public static final int SPACE

See Also:

Constant Field Values

STRINGCONST

public static final int STRINGCONST

See Also:

Constant Field Values

SUBPROPOSEMARKER

public static final int SUBPROPOSEMARKER

See Also:

Constant Field Values

TESTMARKER

public static final int TESTMARKER

See Also:

Constant Field Values

WEIGHTEDMAXCONDITION

public static final int WEIGHTEDMAXCONDITION

See Also:

Constant Field Values

Constructor Detail

ConsistencyLexer

public ConsistencyLexer()

ConsistencyLexer

public ConsistencyLexer(org.antlr.runtime.CharStream input)

ConsistencyLexer

public ConsistencyLexer(org.antlr.runtime.CharStream input,
                org.antlr.runtime.RecognizerSharedState state)

Method Detail

getDelegates

public org.antlr.runtime.Lexer[] getDelegates()

getGrammarFileName

public java.lang.String getGrammarFileName()

Overrides:

getGrammarFileName in class org.antlr.runtime.BaseRecognizer

mAND

public final void mAND()
                throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mAT

public final void mAT()
               throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mBACKSLASH

public final void mBACKSLASH()
                      throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mBETAFUNC

public final void mBETAFUNC()
                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mBETA_BEGIN

public final void mBETA_BEGIN()
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mCOMMA

public final void mCOMMA()
                  throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mCONDITIONSEP

public final void mCONDITIONSEP()
                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mDECLAREMARKER

public final void mDECLAREMARKER()
                          throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mDEFMARKER

public final void mDEFMARKER()
                      throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mFACTORFUNC

public final void mFACTORFUNC()
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mFORALLCONDITION

public final void mFORALLCONDITION()
                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mLEFT_BRACE

public final void mLEFT_BRACE()
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mLEFT_BRACK

public final void mLEFT_BRACK()
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mLEFT_PAREN

public final void mLEFT_PAREN()
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mMAKECONSTMARKER

public final void mMAKECONSTMARKER()
                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mNEGATION

public final void mNEGATION()
                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mOBJECTIVEMARKER

public final void mOBJECTIVEMARKER()
                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mPARAM_BEGIN

public final void mPARAM_BEGIN()
                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mPROPOSEMARKER

public final void mPROPOSEMARKER()
                          throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mRANDOMCONDITION

public final void mRANDOMCONDITION()
                            throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mRIGHT_BRACE

public final void mRIGHT_BRACE()
                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mRIGHT_BRACK

public final void mRIGHT_BRACK()
                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mRIGHT_PAREN

public final void mRIGHT_PAREN()
                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mSPACE

public final void mSPACE()
                  throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mSUBPROPOSEMARKER

public final void mSUBPROPOSEMARKER()
                             throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mTESTMARKER

public final void mTESTMARKER()
                       throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mWEIGHTEDMAXCONDITION

public final void mWEIGHTEDMAXCONDITION()
                                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mNAME

public final void mNAME()
                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mNUMBER

public final void mNUMBER()
                   throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mSTRINGCONST

public final void mSTRINGCONST()
                        throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mOPERATOR

public final void mOPERATOR()
                     throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mNEWLINE

public final void mNEWLINE()
                    throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mLINE_COMMENT

public final void mLINE_COMMENT()
                         throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mLETTER

public final void mLETTER()
                   throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mDIGIT

public final void mDIGIT()
                  throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mSIGN

public final void mSIGN()
                 throws org.antlr.runtime.RecognitionException

Throws:

org.antlr.runtime.RecognitionException

mTokens

public void mTokens()
             throws org.antlr.runtime.RecognitionException

Specified by:

mTokens in class org.antlr.runtime.Lexer

Throws:

org.antlr.runtime.RecognitionException