com.evelopers.unimod.analysis
Class DNFTree

java.lang.Object
  antlr.TreeParser
      com.evelopers.unimod.analysis.DNFTree

All Implemented Interfaces:

DNFTreeTokenTypes

public class DNFTree

extends antlr.TreeParser

implements DNFTreeTokenTypes

Transforms AST to DNF tree

Field Summary

static java.lang.String[]	_tokenNames
static antlr.collections.impl.BitSet	_tokenSet_0

Fields inherited from class antlr.TreeParser

_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, traceDepth

Fields inherited from interface com.evelopers.unimod.analysis.DNFTreeTokenTypes

AND, CONST_BOOL, CONST_BOOL_OR_IDENT, CONST_NUM, DIGIT, EOF, EQUAL, FALSE, GE, GT, IDENT, LE, LETTER, LPAREN, LT, NAME, NEQUAL, NOT, NULL_TREE_LOOKAHEAD, OR, RPAREN, TRUE, WS

Constructor Summary

DNFTree()

Method Summary

(package private) static antlr.collections.AST	associativelyOpenBrackets(antlr.collections.AST ast)
void	lit(antlr.collections.AST _t)
ASTTermSimplifier	o_term(antlr.collections.AST _t)
void	o(antlr.collections.AST _t)
static antlr.collections.AST	optimize(antlr.collections.AST ast)
void	s_neg(antlr.collections.AST _t)
void	s(antlr.collections.AST _t)
void	t(antlr.collections.AST _t)
(package private) static antlr.collections.AST	toLiterals(antlr.collections.AST ast)
(package private) static antlr.collections.AST	toTerms(antlr.collections.AST ast)
void	u(antlr.collections.AST _t)
void	v(antlr.collections.AST _t)
void	x(antlr.collections.AST _t)

Methods inherited from class antlr.TreeParser

getAST, getASTFactory, getTokenName, getTokenNames, match, match, matchNot, panic, reportError, reportError, reportWarning, setASTFactory, setASTNodeClass, setASTNodeType, traceIn, traceIndent, traceOut

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

Constructor Detail

DNFTree

public DNFTree()

Method Detail

optimize

public static antlr.collections.AST optimize(antlr.collections.AST ast)
                                      throws antlr.RecognitionException,
                                             InterpreterException

Throws:

antlr.RecognitionException

InterpreterException

toLiterals

static antlr.collections.AST toLiterals(antlr.collections.AST ast)
                                 throws antlr.RecognitionException

Throws:

antlr.RecognitionException

associativelyOpenBrackets

static antlr.collections.AST associativelyOpenBrackets(antlr.collections.AST ast)
                                                throws antlr.RecognitionException

Throws:

antlr.RecognitionException

toTerms

static antlr.collections.AST toTerms(antlr.collections.AST ast)
                              throws antlr.RecognitionException

Throws:

antlr.RecognitionException

s

public final void s(antlr.collections.AST _t)
             throws antlr.RecognitionException

Throws:

antlr.RecognitionException

s_neg

public final void s_neg(antlr.collections.AST _t)
                 throws antlr.RecognitionException

Throws:

antlr.RecognitionException

v

public final void v(antlr.collections.AST _t)
             throws antlr.RecognitionException

Throws:

antlr.RecognitionException

t

public final void t(antlr.collections.AST _t)
             throws antlr.RecognitionException

Throws:

antlr.RecognitionException

lit

public final void lit(antlr.collections.AST _t)
               throws antlr.RecognitionException

Throws:

antlr.RecognitionException

x

public final void x(antlr.collections.AST _t)
             throws antlr.RecognitionException

Throws:

antlr.RecognitionException

u

public final void u(antlr.collections.AST _t)
             throws antlr.RecognitionException

Throws:

antlr.RecognitionException

o

public final void o(antlr.collections.AST _t)
             throws antlr.RecognitionException,
                    InterpreterException

Throws:

antlr.RecognitionException

InterpreterException

o_term

public final ASTTermSimplifier o_term(antlr.collections.AST _t)
                               throws antlr.RecognitionException,
                                      InterpreterException

Throws:

antlr.RecognitionException

InterpreterException