de.uni_tuebingen.sfb.lichtenstein.formulas.parsing
Class fsqLexer
java.lang.Object
org.antlr.runtime.BaseRecognizer
org.antlr.runtime.Lexer
de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer
- All Implemented Interfaces:
- org.antlr.runtime.TokenSource
public class fsqLexer
- extends org.antlr.runtime.Lexer
Fields inherited from class org.antlr.runtime.Lexer |
input |
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, state |
Constructor Summary |
fsqLexer()
|
fsqLexer(org.antlr.runtime.CharStream input)
|
fsqLexer(org.antlr.runtime.CharStream input,
org.antlr.runtime.RecognizerSharedState state)
|
Methods inherited from class org.antlr.runtime.Lexer |
emit, emit, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getCharStream, 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, combineFollows, computeContextSensitiveRuleFOLLOW, computeErrorRecoverySet, consumeUntil, consumeUntil, displayRecognitionError, emitErrorMessage, endResync, getBacktrackingLevel, getCurrentInputSymbol, getErrorHeader, getMissingSymbol, getNumberOfSyntaxErrors, getRuleInvocationStack, getRuleInvocationStack, getRuleMemoization, getRuleMemoizationCacheSize, getTokenErrorDisplay, getTokenNames, match, matchAny, memoize, mismatch, mismatchIsMissingToken, mismatchIsUnwantedToken, pushFollow, recover, recoverFromMismatchedSet, recoverFromMismatchedToken, toStrings, traceIn, traceOut |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FUNCTION
public static final int FUNCTION
- See Also:
- Constant Field Values
EQUALITY
public static final int EQUALITY
- See Also:
- Constant Field Values
LINE_COMMENT
public static final int LINE_COMMENT
- See Also:
- Constant Field Values
FIRST_ORDER_EXISTENTIAL
public static final int FIRST_ORDER_EXISTENTIAL
- See Also:
- Constant Field Values
CONJUNCTION
public static final int CONJUNCTION
- See Also:
- Constant Field Values
WHITESPACE
public static final int WHITESPACE
- See Also:
- Constant Field Values
CATEGORY
public static final int CATEGORY
- See Also:
- Constant Field Values
IMMEDIATE_DOMINANCE
public static final int IMMEDIATE_DOMINANCE
- See Also:
- Constant Field Values
CONTAINMENT
public static final int CONTAINMENT
- See Also:
- Constant Field Values
EOF
public static final int EOF
- See Also:
- Constant Field Values
LEMMA
public static final int LEMMA
- See Also:
- Constant Field Values
MORPHOLOGY
public static final int MORPHOLOGY
- See Also:
- Constant Field Values
OPEN
public static final int OPEN
- See Also:
- Constant Field Values
WORD
public static final int WORD
- See Also:
- Constant Field Values
SECOND_ORDER_EXISTENTIAL
public static final int SECOND_ORDER_EXISTENTIAL
- See Also:
- Constant Field Values
DISJUNCTION
public static final int DISJUNCTION
- See Also:
- Constant Field Values
WS
public static final int WS
- See Also:
- Constant Field Values
NEWLINE
public static final int NEWLINE
- See Also:
- Constant Field Values
NEGATION
public static final int NEGATION
- See Also:
- Constant Field Values
SECOND_ORDER_UNIVERSAL
public static final int SECOND_ORDER_UNIVERSAL
- See Also:
- Constant Field Values
CLOSE
public static final int CLOSE
- See Also:
- Constant Field Values
SENTENCE
public static final int SENTENCE
- See Also:
- Constant Field Values
PROPER_DOMINANCE
public static final int PROPER_DOMINANCE
- See Also:
- Constant Field Values
IDENTIFIER
public static final int IDENTIFIER
- See Also:
- Constant Field Values
EQUIVALENCE
public static final int EQUIVALENCE
- See Also:
- Constant Field Values
FIRST_ORDER_UNIVERSAL
public static final int FIRST_ORDER_UNIVERSAL
- See Also:
- Constant Field Values
IMPLICATION
public static final int IMPLICATION
- See Also:
- Constant Field Values
IMMEDIATE_PRECEDENCE
public static final int IMMEDIATE_PRECEDENCE
- See Also:
- Constant Field Values
DOMINANCE
public static final int DOMINANCE
- See Also:
- Constant Field Values
PRECEDENCE
public static final int PRECEDENCE
- See Also:
- Constant Field Values
dfa6
protected de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer.DFA6 dfa6
fsqLexer
public fsqLexer()
fsqLexer
public fsqLexer(org.antlr.runtime.CharStream input)
fsqLexer
public fsqLexer(org.antlr.runtime.CharStream input,
org.antlr.runtime.RecognizerSharedState state)
getGrammarFileName
public String getGrammarFileName()
- Overrides:
getGrammarFileName
in class org.antlr.runtime.BaseRecognizer
mOPEN
public final void mOPEN()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mCLOSE
public final void mCLOSE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mFUNCTION
public final void mFUNCTION()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mCATEGORY
public final void mCATEGORY()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mWORD
public final void mWORD()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mLEMMA
public final void mLEMMA()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mMORPHOLOGY
public final void mMORPHOLOGY()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mSENTENCE
public final void mSENTENCE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mEQUALITY
public final void mEQUALITY()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mPROPER_DOMINANCE
public final void mPROPER_DOMINANCE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mIMMEDIATE_DOMINANCE
public final void mIMMEDIATE_DOMINANCE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mDOMINANCE
public final void mDOMINANCE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mIMMEDIATE_PRECEDENCE
public final void mIMMEDIATE_PRECEDENCE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mPRECEDENCE
public final void mPRECEDENCE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mCONTAINMENT
public final void mCONTAINMENT()
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
mIMPLICATION
public final void mIMPLICATION()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mEQUIVALENCE
public final void mEQUIVALENCE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mDISJUNCTION
public final void mDISJUNCTION()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mCONJUNCTION
public final void mCONJUNCTION()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mSECOND_ORDER_UNIVERSAL
public final void mSECOND_ORDER_UNIVERSAL()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mSECOND_ORDER_EXISTENTIAL
public final void mSECOND_ORDER_EXISTENTIAL()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mFIRST_ORDER_UNIVERSAL
public final void mFIRST_ORDER_UNIVERSAL()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mFIRST_ORDER_EXISTENTIAL
public final void mFIRST_ORDER_EXISTENTIAL()
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
mNEWLINE
public final void mNEWLINE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mWS
public final void mWS()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mWHITESPACE
public final void mWHITESPACE()
throws org.antlr.runtime.RecognitionException
- Throws:
org.antlr.runtime.RecognitionException
mIDENTIFIER
public final void mIDENTIFIER()
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
© Copyright 2008 Hendrik Maryns