DLV.parser
Class QueryParser

java.lang.Object
  extended by DLV.parser.QueryParser
All Implemented Interfaces:
QueryParserConstants

public class QueryParser
extends java.lang.Object
implements QueryParserConstants


Field Summary
 Token jj_nt
           
 boolean lookingAhead
           
 Token token
           
 QueryParserTokenManager token_source
           
 
Fields inherited from interface DLV.parser.QueryParserConstants
BRAV, CAUT, DEFAULT, DIGIT, EOF, EV, GRAFFAAP, GRAFFACH, IDENTIFIER, LETTER, PARAP, PARCH, STOPLIST, STRING_LITERAL, tokenImage, TRATTO, VIRGOLA
 
Constructor Summary
QueryParser(java.io.InputStream stream)
           
QueryParser(QueryParserTokenManager tm)
           
QueryParser(java.io.Reader stream)
           
 
Method Summary
 void bodyEvidence()
           
 void disable_tracing()
           
 void enable_tracing()
           
 ParseException generateParseException()
           
 Token getNextToken()
           
 Predicate getQueryResult()
           
 Token getToken(int index)
           
 void groundAtom()
           
 void groundQuery()
           
static void main(java.lang.String[] args)
           
 void nonGroundLine()
           
 void nonGroundQuery()
           
 void Program()
          LA GRAMMATICA INIZIA QUI *
 void ReInit(java.io.InputStream stream)
           
 void ReInit(QueryParserTokenManager tm)
           
 void ReInit(java.io.Reader stream)
           
 void start()
           
 void Statement()
           
 void trueOrFalse()
           
 java.lang.String value()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

token_source

public QueryParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

lookingAhead

public boolean lookingAhead
Constructor Detail

QueryParser

public QueryParser(java.io.InputStream stream)

QueryParser

public QueryParser(java.io.Reader stream)

QueryParser

public QueryParser(QueryParserTokenManager tm)
Method Detail

main

public static void main(java.lang.String[] args)

Program

public final void Program()
                   throws ParseException
LA GRAMMATICA INIZIA QUI *

Throws:
ParseException

Statement

public final void Statement()
                     throws ParseException
Throws:
ParseException

value

public final java.lang.String value()
                             throws ParseException
Throws:
ParseException

nonGroundLine

public final void nonGroundLine()
                         throws ParseException
Throws:
ParseException

nonGroundQuery

public final void nonGroundQuery()
                          throws ParseException
Throws:
ParseException

groundQuery

public final void groundQuery()
                       throws ParseException
Throws:
ParseException

groundAtom

public final void groundAtom()
                      throws ParseException
Throws:
ParseException

bodyEvidence

public final void bodyEvidence()
                        throws ParseException
Throws:
ParseException

trueOrFalse

public final void trueOrFalse()
                       throws ParseException
Throws:
ParseException

getQueryResult

public Predicate getQueryResult()
                         throws ParseException
Throws:
ParseException

start

public void start()
           throws ParseException,
                  ParserException
Throws:
ParseException
ParserException

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(QueryParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()