DLV.parser
Class QueryParser
java.lang.Object
DLV.parser.QueryParser
- All Implemented Interfaces:
- QueryParserConstants
public class QueryParser
- extends java.lang.Object
- implements QueryParserConstants
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 |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
token_source
public QueryParserTokenManager token_source
token
public Token token
jj_nt
public Token jj_nt
lookingAhead
public boolean lookingAhead
QueryParser
public QueryParser(java.io.InputStream stream)
QueryParser
public QueryParser(java.io.Reader stream)
QueryParser
public QueryParser(QueryParserTokenManager tm)
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()