wugle.expression.logic
Class PropositionalLogicParser

java.lang.Object
  |
  +--antlr.Parser
        |
        +--antlr.LLkParser
              |
              +--wugle.expression.logic.PropositionalLogicParser

All Implemented Interfaces:

PropositionalLogicLexerTokenTypes

public class PropositionalLogicParser

extends antlr.LLkParser

implements PropositionalLogicLexerTokenTypes

Parser for a lexed propositional logic string. A PropositionalLogicLexer tries to parse a token stream according to the given propositional logic grammar.

Version:

0.1.4

Author:

Franz Prilmeier

Field Summary

static java.lang.String[]	_tokenNames
static antlr.collections.impl.BitSet	_tokenSet_0
static antlr.collections.impl.BitSet	_tokenSet_1
static antlr.collections.impl.BitSet	_tokenSet_2
static antlr.collections.impl.BitSet	_tokenSet_3
static antlr.collections.impl.BitSet	_tokenSet_4

Fields inherited from class antlr.LLkParser

Fields inherited from class antlr.Parser

astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, 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

	PropositionalLogicParser(antlr.ParserSharedInputState state)
	PropositionalLogicParser(antlr.TokenBuffer tokenBuf)
protected	PropositionalLogicParser(antlr.TokenBuffer tokenBuf, int k)
	PropositionalLogicParser(antlr.TokenStream lexer)
protected	PropositionalLogicParser(antlr.TokenStream lexer, int k)

Method Summary

protected void	buildTokenTypeASTClassMap()
void	conjunctiveExpression()
void	constant()
void	disjunctiveExpression()
void	expression()
void	factor()
void	impliesExpression()
void	literal()
void	negationExpression()
void	sentence()

Methods inherited from class antlr.LLkParser

consume, LA, LT, traceIn, traceOut

Methods inherited from class antlr.Parser

addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent

Methods inherited from class java.lang.Object

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

Field Detail

_tokenNames

public static final java.lang.String[] _tokenNames

_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

Constructor Detail

PropositionalLogicParser

protected PropositionalLogicParser(antlr.TokenBuffer tokenBuf,
                                   int k)

PropositionalLogicParser

public PropositionalLogicParser(antlr.TokenBuffer tokenBuf)

PropositionalLogicParser

protected PropositionalLogicParser(antlr.TokenStream lexer,
                                   int k)

PropositionalLogicParser

public PropositionalLogicParser(antlr.TokenStream lexer)

PropositionalLogicParser

public PropositionalLogicParser(antlr.ParserSharedInputState state)

Method Detail

sentence

public final void sentence()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

expression

public final void expression()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

impliesExpression

public final void impliesExpression()
                             throws antlr.RecognitionException,
                                    antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

disjunctiveExpression

public final void disjunctiveExpression()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

conjunctiveExpression

public final void conjunctiveExpression()
                                 throws antlr.RecognitionException,
                                        antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

negationExpression

public final void negationExpression()
                              throws antlr.RecognitionException,
                                     antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

factor

public final void factor()
                  throws antlr.RecognitionException,
                         antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

literal

public final void literal()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

constant

public final void constant()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

buildTokenTypeASTClassMap

protected void buildTokenTypeASTClassMap()