Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

wugle.expression.logic
Class PropositionalLogicLexer

java.lang.Object
  |
  +--antlr.CharScanner
        |
        +--wugle.expression.logic.PropositionalLogicLexer
All Implemented Interfaces:
PropositionalLogicLexerTokenTypes, antlr.TokenStream
public class PropositionalLogicLexer
extends antlr.CharScanner
implements PropositionalLogicLexerTokenTypes, antlr.TokenStream

Lexer for a propositional logic string. A PropositionalLogicLexer creates a token stream, i.e. scans a stream of input data according to the given propositional grammar.

Version:
0.1.4
Author:
Franz Prilmeier

Field Summary
 
Fields inherited from class antlr.CharScanner
_returnToken, caseSensitive, caseSensitiveLiterals, commitToPath, EOF_CHAR, hashString, inputState, literals, saveConsumedInput, tabsize, text, tokenObjectClass, traceDepth
 
Fields inherited from interface wugle.expression.logic.PropositionalLogicLexerTokenTypes
AND, EOF, FALSE, IFF, IMPLIES, LITERAL, LITERAL_LETTER, LPAREN, NOT, NULL_TREE_LOOKAHEAD, OR, RPAREN, TRUE, WHITESPACE, XOR
 
Constructor Summary
PropositionalLogicLexer(antlr.InputBuffer ib)
           
PropositionalLogicLexer(java.io.InputStream in)
           
PropositionalLogicLexer(antlr.LexerSharedInputState state)
           
PropositionalLogicLexer(java.io.Reader in)
           
 
Method Summary
 void mAND(boolean _createToken)
           
 void mFALSE(boolean _createToken)
           
 void mIFF(boolean _createToken)
           
 void mIMPLIES(boolean _createToken)
           
protected  void mLITERAL_LETTER(boolean _createToken)
           
 void mLITERAL(boolean _createToken)
           
 void mLPAREN(boolean _createToken)
           
 void mNOT(boolean _createToken)
           
 void mOR(boolean _createToken)
           
 void mRPAREN(boolean _createToken)
           
 void mTRUE(boolean _createToken)
           
 void mWHITESPACE(boolean _createToken)
           
 void mXOR(boolean _createToken)
           
 antlr.Token nextToken()
           
 
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, setTabSize, setText, setTokenObjectClass, tab, 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
 

Constructor Detail

PropositionalLogicLexer

public PropositionalLogicLexer(java.io.InputStream in)

PropositionalLogicLexer

public PropositionalLogicLexer(java.io.Reader in)

PropositionalLogicLexer

public PropositionalLogicLexer(antlr.InputBuffer ib)

PropositionalLogicLexer

public PropositionalLogicLexer(antlr.LexerSharedInputState state)
Method Detail

nextToken

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

mOR

public final void mOR(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mXOR

public final void mXOR(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mAND

public final void mAND(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mIMPLIES

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

mIFF

public final void mIFF(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNOT

public final void mNOT(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mTRUE

public final void mTRUE(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mFALSE

public final void mFALSE(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLPAREN

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

mRPAREN

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

mLITERAL

public final void mLITERAL(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLITERAL_LETTER

protected final void mLITERAL_LETTER(boolean _createToken)
                              throws antlr.RecognitionException,
                                     antlr.CharStreamException,
                                     antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mWHITESPACE

public final void mWHITESPACE(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD