de.uni_tuebingen.sfb.lichtenstein.formulas.parsing
Class fsqLexer

java.lang.Object
  extended by org.antlr.runtime.BaseRecognizer
      extended by org.antlr.runtime.Lexer
          extended by de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer
All Implemented Interfaces:
org.antlr.runtime.TokenSource

public class fsqLexer
extends org.antlr.runtime.Lexer


Field Summary
static int CATEGORY
           
static int CLOSE
           
static int CONJUNCTION
           
static int CONTAINMENT
           
protected  de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer.DFA6 dfa6
           
static int DISJUNCTION
           
static int DOMINANCE
           
static int EOF
           
static int EQUALITY
           
static int EQUIVALENCE
           
static int FIRST_ORDER_EXISTENTIAL
           
static int FIRST_ORDER_UNIVERSAL
           
static int FUNCTION
           
static int IDENTIFIER
           
static int IMMEDIATE_DOMINANCE
           
static int IMMEDIATE_PRECEDENCE
           
static int IMPLICATION
           
static int LEMMA
           
static int LINE_COMMENT
           
static int MORPHOLOGY
           
static int NEGATION
           
static int NEWLINE
           
static int OPEN
           
static int PRECEDENCE
           
static int PROPER_DOMINANCE
           
static int SECOND_ORDER_EXISTENTIAL
           
static int SECOND_ORDER_UNIVERSAL
           
static int SENTENCE
           
static int WHITESPACE
           
static int WORD
           
static int WS
           
 
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)
           
 
Method Summary
 String getGrammarFileName()
           
 void mCATEGORY()
           
 void mCLOSE()
           
 void mCONJUNCTION()
           
 void mCONTAINMENT()
           
 void mDISJUNCTION()
           
 void mDOMINANCE()
           
 void mEQUALITY()
           
 void mEQUIVALENCE()
           
 void mFIRST_ORDER_EXISTENTIAL()
           
 void mFIRST_ORDER_UNIVERSAL()
           
 void mFUNCTION()
           
 void mIDENTIFIER()
           
 void mIMMEDIATE_DOMINANCE()
           
 void mIMMEDIATE_PRECEDENCE()
           
 void mIMPLICATION()
           
 void mLEMMA()
           
 void mLINE_COMMENT()
           
 void mMORPHOLOGY()
           
 void mNEGATION()
           
 void mNEWLINE()
           
 void mOPEN()
           
 void mPRECEDENCE()
           
 void mPROPER_DOMINANCE()
           
 void mSECOND_ORDER_EXISTENTIAL()
           
 void mSECOND_ORDER_UNIVERSAL()
           
 void mSENTENCE()
           
 void mTokens()
           
 void mWHITESPACE()
           
 void mWORD()
           
 void mWS()
           
 
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
 

Field Detail

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
Constructor Detail

fsqLexer

public fsqLexer()

fsqLexer

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

fsqLexer

public fsqLexer(org.antlr.runtime.CharStream input,
                org.antlr.runtime.RecognizerSharedState state)
Method Detail

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   Creative Commons License