Package org.tweetyproject.lp.asp.parser

Class ASPParser

java.lang.Object

org.tweetyproject.lp.asp.parser.ASPParser

All Implemented Interfaces:

ASPParserConstants, ASPParserTreeConstants

public class ASPParser
extends Object
implements ASPParserTreeConstants, ASPParserConstants

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
Token	jj_nt	Next token.
Token	token	Current token.
ASPParserTokenManager	token_source	Generated Token Manager.

Fields inherited from interface org.tweetyproject.lp.asp.parser.ASPParserConstants

AGGREGATE_COUNT, AGGREGATE_MAX, AGGREGATE_MIN, AGGREGATE_SUM, AGGREGATE_SUM_PLUS, AGGREGATE_TIMES, ANONYMOUS_VARIABLE, AT, CLINGO_ID, CLINGO_SHOW, COLON, COMMA, COMMENT, CONS, CURLY_CLOSE, CURLY_OPEN, DEFAULT, DIV, DLV_ARITHMETIC_ID, DLV_ID, DOT, EOF, EQUAL, GREATER, GREATER_OR_EQ, ID, LESS, LESS_OR_EQ, MAXIMIZE, META_CONST, META_MAXINT, META_OTHER, MINIMIZE, MINUS, MODULO, MULTI_LINE_COMMENT, NAF, NUMBER, OR, PAREN_CLOSE, PAREN_OPEN, PLUS, QUERY_MARK, SEMICOLON, SQUARE_CLOSE, SQUARE_OPEN, STRING, TIMES, tokenImage, UNEQUAL, VARIABLE, WCONS

Fields inherited from interface org.tweetyproject.lp.asp.parser.ASPParserTreeConstants

JJTAGGREGATE, JJTAGGRELEMENT, JJTAGGRELEMENTLIST, JJTAGGRFUNC, JJTANSWERSET, JJTARITERM, JJTARITHOP, JJTBINOP, JJTBODY, JJTBODYLIST, JJTBUILTINATOM, JJTCHOICE, JJTCHOICEELEMENT, JJTCHOICEELEMENTLIST, JJTCLINGOID, JJTCLINGOMETA, JJTDLVARITHMETICID, JJTDLVID, JJTHEAD, JJTHEADELEMENTSLIST, JJTID, JJTLITERAL, JJTNAFLITERAL, JJTNAFLITERALLIST, jjtNodeName, JJTNUMBER, JJTOPT, JJTOPTELEMENT, JJTOPTELEMENTLIST, JJTOPTFUNC, JJTPROGRAM, JJTQUERY, JJTRULE, JJTRULELIST, JJTSTRING, JJTTERM, JJTTERMLIST, JJTVAR, JJTWEIGHT

Constructor Summary

Constructors

Constructor	Description
ASPParser(InputStream stream)
ASPParser(InputStream stream, String encoding)
ASPParser(Reader stream)
ASPParser(ASPParserTokenManager tm)

Method Summary

Modifier and Type	Method	Description
final ASTAggregate	Aggregate()
final ASTAggrElement	AggregateElement()
final ASTAggrElementList	AggregateElements()
final String	AggregateFunction()
final ASTAnswerSet	AnswerSet()
final ASTAriTerm	AriTerm()
final String	Arithop()
final String	Binop()
final ASTBodyList	Body()
final ASTBody	Body1()
final ASTBuiltInAtom	BuiltinAtom()
final ASTChoice	Choice()
final ASTChoiceElement	ChoiceElement()
final ASTChoiceElementList	ChoiceElements()
final ASTLiteral	ClassicalLiteral()
final void	ClingoIdentifier()
final void	disable_tracing()	Disable tracing.
final ASTHeadElementsList	Disjunction()
final void	DlvArithmeticPredicate()
final void	DlvIdentifier()
final void	enable_tracing()	Enable tracing.
ParseException	generateParseException()
final Token	getNextToken()
final Token	getToken(int index)
final ASTHead	Head()
final void	Identifier()
final void	MetaStatement()
final ASTNAFLiteral	NAFLiteral()
final ASTNAFLiteralList	NAFLiterals()
final void	Number()
final ASTOpt	Optimize()
final ASTOptElement	OptimizeElement()
final ASTOptElementList	OptimizeElements()
final String	OptimizeFunction()
static AnswerSet	parseAnswerSet(Reader reader)
static AnswerSet	parseAnswerSet(String answerSet)
static Program	parseProgram(Reader reader)
static Program	parseProgram(String program)
static ASPRule	parseRule(Reader reader)
static ASPRule	parseRule(String rule)
final ASTProgram	Program()
final ASTQuery	Query()
void	ReInit(InputStream stream)
void	ReInit(InputStream stream, String encoding)
void	ReInit(Reader stream)
void	ReInit(ASPParserTokenManager tm)
final ASTRule	Statement()
final ASTRuleList	Statements()
final void	String()
final ASTTerm	Term()
final ASTTermList	Terms()
final void	Variable()
final ASTWeight	WeightAtLevel()

Methods inherited from class java.lang.Object

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

Field Details

token_source

public ASPParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Details

ASPParser

public ASPParser(InputStream stream)

Parameters:

stream - InputStream

ASPParser

public ASPParser(InputStream stream,
 String encoding)

Parameters:

stream - encoding

encoding - encoding

ASPParser

public ASPParser(Reader stream)

Parameters:

stream - java.io.Reader

ASPParser

public ASPParser(ASPParserTokenManager tm)

Parameters:

tm - ASPParser TokenManager

Method Details

parseProgram

public static Program parseProgram(String program)
                            throws ParseException

Parameters:

program - StringReader

Returns:

StringReader

Throws:

ParseException - StringReader

parseProgram

public static Program parseProgram(Reader reader)
                            throws ParseException

Parameters:

reader - Reader

Returns:

Reader

Throws:

ParseException - Reader

parseRule

public static ASPRule parseRule(String rule)
                         throws ParseException

Parameters:

rule - ASPRule

Returns:

ASPRule

Throws:

ParseException - ASPRule

parseRule

public static ASPRule parseRule(Reader reader)
                         throws ParseException

Parameters:

reader - ASPRule

Returns:

ASPRule

Throws:

ParseException - ASPRule

parseAnswerSet

public static AnswerSet parseAnswerSet(String answerSet)
                                throws ParseException

Parameters:

answerSet - AnswerSet

Returns:

AnswerSet

Throws:

ParseException - AnswerSet

parseAnswerSet

public static AnswerSet parseAnswerSet(Reader reader)
                                throws ParseException

Parameters:

reader - AnswerSet

Returns:

AnswerSet

Throws:

ParseException - AnswerSet

AnswerSet

public final ASTAnswerSet AnswerSet()
                             throws ParseException

Returns:

AnswerSet

Throws:

ParseException - AnwerSet

Program

public final ASTProgram Program()
                         throws ParseException

Returns:

Program

Throws:

ParseException - Program

Statements

public final ASTRuleList Statements()
                             throws ParseException

Returns:

RuleList

Throws:

ParseException - RuleList

Query

public final ASTQuery Query()
                     throws ParseException

Returns:

Query

Throws:

ParseException - Query

Statement

public final ASTRule Statement()
                        throws ParseException

Returns:

Rule

Throws:

ParseException - Rule

Head

public final ASTHead Head()
                   throws ParseException

Returns:

Head

Throws:

ParseException - Head

Body

public final ASTBodyList Body()
                       throws ParseException

Returns:

BodyList

Throws:

ParseException - BodyList

Body1

public final ASTBody Body1()
                    throws ParseException

Returns:

Body

Throws:

ParseException - Body

Disjunction

public final ASTHeadElementsList Disjunction()
                                      throws ParseException

Returns:

HeadElementsList

Throws:

ParseException - HeadElementsList

Choice

public final ASTChoice Choice()
                       throws ParseException

Returns:

Choice

Throws:

ParseException - Choise

ChoiceElements

public final ASTChoiceElementList ChoiceElements()
                                          throws ParseException

Returns:

ChoiceElementList

Throws:

ParseException - ChoiseElementList

ChoiceElement

public final ASTChoiceElement ChoiceElement()
                                     throws ParseException

Returns:

ChoiceElement

Throws:

ParseException - ChoiceElement

Aggregate

public final ASTAggregate Aggregate()
                             throws ParseException

Returns:

Aggregate

Throws:

ParseException - Aggregate

AggregateElements

public final ASTAggrElementList AggregateElements()
                                           throws ParseException

Returns:

AggrElementList

Throws:

ParseException - AggrElementList

AggregateElement

public final ASTAggrElement AggregateElement()
                                      throws ParseException

Returns:

AggrElement

Throws:

ParseException - AggrElement

AggregateFunction

public final String AggregateFunction()
                               throws ParseException

Returns:

AggrFunc

Throws:

ParseException - AggrFunc

MetaStatement

public final void MetaStatement()
                         throws ParseException

Throws:

ParseException - ClingoMeta

Optimize

public final ASTOpt Optimize()
                      throws ParseException

Returns:

Opt

Throws:

ParseException - Opt

OptimizeElements

public final ASTOptElementList OptimizeElements()
                                         throws ParseException

Returns:

OptElementList

Throws:

ParseException - OptElementList

OptimizeElement

public final ASTOptElement OptimizeElement()
                                    throws ParseException

Returns:

OptElement

Throws:

ParseException - OptElement

OptimizeFunction

public final String OptimizeFunction()
                              throws ParseException

Returns:

OptFunc

Throws:

ParseException - OptFunc

WeightAtLevel

public final ASTWeight WeightAtLevel()
                              throws ParseException

Returns:

Weight

Throws:

ParseException - Weight

NAFLiterals

public final ASTNAFLiteralList NAFLiterals()
                                    throws ParseException

Returns:

NAFLiteralList

Throws:

ParseException - NAFLiteralList

NAFLiteral

public final ASTNAFLiteral NAFLiteral()
                               throws ParseException

Returns:

ASTNAFLiteral

Throws:

ParseException - ASTNAFLiteral

ClassicalLiteral

public final ASTLiteral ClassicalLiteral()
                                  throws ParseException

Returns:

ASTLiteral

Throws:

ParseException - ASTListeral

BuiltinAtom

public final ASTBuiltInAtom BuiltinAtom()
                                 throws ParseException

Returns:

ASTBuiltInAtom

Throws:

ParseException - ASTBuiltInAtom

Binop

public final String Binop()
                   throws ParseException

Returns:

Binop

Throws:

ParseException - Binop

Terms

public final ASTTermList Terms()
                        throws ParseException

Returns:

ASTTermList

Throws:

ParseException - ASTTermList

Term

public final ASTTerm Term()
                   throws ParseException

Returns:

ASTTerm

Throws:

ParseException - ASTTerm

AriTerm

public final ASTAriTerm AriTerm()
                         throws ParseException

Returns:

Ariterm

Throws:

ParseException - Ariterm

Arithop

public final String Arithop()
                     throws ParseException

Returns:

Arithop

Throws:

ParseException - Arithop

Number

public final void Number()
                  throws ParseException

Throws:

ParseException - ParseException

Variable

public final void Variable()
                    throws ParseException

Throws:

ParseException - ParseException

Identifier

public final void Identifier()
                      throws ParseException

Throws:

ParseException - Identifier

DlvIdentifier

public final void DlvIdentifier()
                         throws ParseException

Throws:

ParseException - DlvIdentifier

ClingoIdentifier

public final void ClingoIdentifier()
                            throws ParseException

Throws:

ParseException - Parse Exception

DlvArithmeticPredicate

public final void DlvArithmeticPredicate()
                                  throws ParseException

Throws:

ParseException - ParseException

String

public final void String()
                  throws ParseException

Throws:

ParseException - ParseException

ReInit

public void ReInit(InputStream stream)

Parameters:

stream - java.io.Input.Stream

ReInit

public void ReInit(InputStream stream,
 String encoding)

Parameters:

stream - java.io.InputStream

encoding - java.io.InputStream

ReInit

public void ReInit(Reader stream)

Parameters:

stream - java.io.Reader

ReInit

public void ReInit(ASPParserTokenManager tm)

Parameters:

tm - ReInit

getNextToken

public final Token getNextToken()

Returns:

getNextToken

getToken

public final Token getToken(int index)

Parameters:

index - getToken

Returns:

getToken

generateParseException

public ParseException generateParseException()

Returns:

generateParseException

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.