net.sf.tweety.lp.asp.parser

Class ASPParser

java.lang.Object

net.sf.tweety.lp.asp.parser.ASPParser

All Implemented Interfaces:

ASPParserConstants, ASPParserTreeConstants

public class ASPParser
extends Object
implements ASPParserTreeConstants, ASPParserConstants

Parser for DLV conform disjunctive logic programs using the answer set semantics. The parser also provides methods to parse the answer sets given by the DLV and clasp solver. The parser is capable of parsing a disjunctive logic program using the following BNF: - PROGRAM := (RULE|COMMENT)* - RULE := HEAD (':-' (ELEMENTLST)? )?. - HEAD := ELEMENT (';' ELEMENT)* - ELEMENT := (ATOM|ARITHMETIC|COMPARATIVE) - ATOM := ('-')? IDENTIFIER ( '(' (TERMLST)? ')')? - ARITHMETIC := (TERM '=' TERM ARITHMETICOP TERM) | (ARITHMETICOP '(' TERMLST ')' | ('#' IDENTIFIER '(' TERMLST ')' - COMPARATIVE := (COMPAREOP '(' TERM ',' TERM ')) | (TERM COMPAREOP TERM) - COMPAREOP := '<' | '<=' | '=' | '==' | '!=' | '>=' | '>' - ARITHMETICOP := '+' | '-' | '*' | '/' - TERMLST := TERM (',' TERM)* - TERM := SIMPLETERM | NUMBER | SETTERM | LISTTERM - SIMPLETERM := CONSTANT | VARIABLE - ARIMETHICINT := VARIABLE | NUMBER - SETTERM := '{' TERMLST '}' - LISTTERM := '(' (TERMLST | (TERM '|' TERM )) ')' - NUMBER := (DIGIT)+ - IDENTIFIER := VARIABLE | CONSTANT - VARIABLE := ["_", "A"-"Z"] (LETTER)* - CONSTANT := ["a"-"z"] (LETTER)* - LETTER := ["_","a"-"z","A"-"Z"] - DIGIT := ["0"-"9"]

Field Summary

Fields

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

Fields inherited from interface net.sf.tweety.lp.asp.parser.ASPParserTreeConstants

JJTAGGREGATE, JJTANSWERSET, JJTANSWERSETLIST, JJTARITHMETIC, JJTARITHMETICINTEGER, JJTARITHMETICOP, JJTATOM, JJTCOMPARATIVE, JJTCOMPAREOP, JJTDEFATOM, JJTELEMENTLST, JJTFUNCTIONALTERM, JJTHEAD, JJTIDENTIFIER, JJTIDLST, JJTLISTTAIL, JJTLISTTERM, jjtNodeName, JJTNUMBER, JJTPROGRAM, JJTRULE, JJTSETTERM, JJTSIMPLETERM, JJTSPECID, JJTSYMBOLICSET, JJTTERM, JJTTERMLST, JJTVOID

Fields inherited from interface net.sf.tweety.lp.asp.parser.ASPParserConstants

COMMA, COMMENT, CONSTANT, CPAR_CLOSE, CPAR_OPEN, DEFAULT, DEFNOT, DIGIT, DIV, DOT, EOF, EQUAL, EQUAL_OLD, GREATER, GREATEREQ, IMPL, LESS, LESSEQ, LETTER, MUL, NEG, NOTEQUAL, NUMBER, OR, PAR_CLOSE, PAR_OPEN, PIPE, PLUS, SPECIAL_PREFIX, tokenImage, VARIABLE, ZPAR_CLOSE, ZPAR_OPEN

Constructor Summary

Constructors

Constructor and Description
ASPParser(ASPParserTokenManager tm) Constructor with generated Token Manager.
ASPParser(InputStream stream) Constructor with InputStream.
ASPParser(InputStream stream, String encoding) Constructor with InputStream and supplied encoding
ASPParser(Reader stream) Constructor.

Method Summary

Modifier and Type	Method and Description
ASTAggregate	Aggregate()
ASTAnswerSet	AnswerSet()
ASTAnswerSetList	AnswerSetList()
ASTArithmetic	Arithmetic()
ASTArithmeticInteger	ArithmeticInteger()
String	ArithmeticOperator()
ASTAtom	Atom()
ASTComparative	Comparative()
String	CompareOperator()
ASTDefAtom	DefAtom()
void	disable_tracing() Disable tracing.
void	Element()
ASTElementLst	ElementLst()
void	ElementNoAggregate()
void	enable_tracing() Enable tracing.
ASTFunctionalTerm	FunctionalTerm()
ParseException	generateParseException() Generate ParseException.
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
ASTHead	Head()
void	HeadOr()
void	Identifier()
void	IdentifierLst()
ASTListTail	ListTail()
ASTListTerm	ListTerm()
void	Number()
static AnswerSet	parseAnswerSet(Reader reader)
static AnswerSet	parseAnswerSet(String answerSet)
static AnswerSetList	parseAnswerSetList(Reader reader)
static AnswerSetList	parseAnswerSetList(String answerSetList)
static Program	parseProgram(Reader reader)
static Program	parseProgram(String program)
static Rule	parseRule(Reader reader)
static Rule	parseRule(String rule)
ASTProgram	Program()
void	ReInit(ASPParserTokenManager tm) Reinitialise.
void	ReInit(InputStream stream) Reinitialise.
void	ReInit(InputStream stream, String encoding) Reinitialise.
void	ReInit(Reader stream) Reinitialise.
ASTRule	Rule()
ASTSetTerm	SetTerm()
ASTSimpleTerm	SimpleTerm()
void	SpecId()
ASTSymbolicSet	SymbolicSet()
ASTTerm	Term()
ASTTermLst	TermLst()

Methods inherited from class java.lang.Object

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

Field Detail

jjtree

protected JJTASPParserState jjtree

token_source

public ASPParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

ASPParser

public ASPParser(InputStream stream)

Constructor with InputStream.

ASPParser

public ASPParser(InputStream stream,
                 String encoding)

Constructor with InputStream and supplied encoding

ASPParser

public ASPParser(Reader stream)

Constructor.

ASPParser

public ASPParser(ASPParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parseProgram

public static Program parseProgram(String program)
                            throws ParseException

Throws:

ParseException

parseProgram

public static Program parseProgram(Reader reader)
                            throws ParseException

Throws:

ParseException

parseRule

public static Rule parseRule(String rule)
                      throws ParseException

Throws:

ParseException

parseRule

public static Rule parseRule(Reader reader)
                      throws ParseException

Throws:

ParseException

parseAnswerSetList

public static AnswerSetList parseAnswerSetList(String answerSetList)
                                        throws ParseException

Throws:

ParseException

parseAnswerSetList

public static AnswerSetList parseAnswerSetList(Reader reader)
                                        throws ParseException

Throws:

ParseException

parseAnswerSet

public static AnswerSet parseAnswerSet(String answerSet)
                                throws ParseException

Throws:

ParseException

parseAnswerSet

public static AnswerSet parseAnswerSet(Reader reader)
                                throws ParseException

Throws:

ParseException

AnswerSetList

public final ASTAnswerSetList AnswerSetList()
                                     throws ParseException

Throws:

ParseException

AnswerSet

public final ASTAnswerSet AnswerSet()
                             throws ParseException

Throws:

ParseException

Program

public final ASTProgram Program()
                         throws ParseException

Throws:

ParseException

Rule

public final ASTRule Rule()
                   throws ParseException

Throws:

ParseException

Head

public final ASTHead Head()
                   throws ParseException

Throws:

ParseException

ElementLst

public final ASTElementLst ElementLst()
                               throws ParseException

Throws:

ParseException

Aggregate

public final ASTAggregate Aggregate()
                             throws ParseException

Throws:

ParseException

SymbolicSet

public final ASTSymbolicSet SymbolicSet()
                                 throws ParseException

Throws:

ParseException

ElementNoAggregate

public final void ElementNoAggregate()
                              throws ParseException

Throws:

ParseException

Element

public final void Element()
                   throws ParseException

Throws:

ParseException

Arithmetic

public final ASTArithmetic Arithmetic()
                               throws ParseException

Throws:

ParseException

Comparative

public final ASTComparative Comparative()
                                 throws ParseException

Throws:

ParseException

DefAtom

public final ASTDefAtom DefAtom()
                         throws ParseException

Throws:

ParseException

Atom

public final ASTAtom Atom()
                   throws ParseException

Throws:

ParseException

FunctionalTerm

public final ASTFunctionalTerm FunctionalTerm()
                                       throws ParseException

Throws:

ParseException

SetTerm

public final ASTSetTerm SetTerm()
                         throws ParseException

Throws:

ParseException

ListTail

public final ASTListTail ListTail()
                           throws ParseException

Throws:

ParseException

ListTerm

public final ASTListTerm ListTerm()
                           throws ParseException

Throws:

ParseException

TermLst

public final ASTTermLst TermLst()
                         throws ParseException

Throws:

ParseException

Term

public final ASTTerm Term()
                   throws ParseException

Throws:

ParseException

SimpleTerm

public final ASTSimpleTerm SimpleTerm()
                               throws ParseException

Throws:

ParseException

ArithmeticInteger

public final ASTArithmeticInteger ArithmeticInteger()
                                             throws ParseException

Throws:

ParseException

Number

public final void Number()
                  throws ParseException

Throws:

ParseException

HeadOr

public final void HeadOr()
                  throws ParseException

Throws:

ParseException

IdentifierLst

public final void IdentifierLst()
                         throws ParseException

Throws:

ParseException

SpecId

public final void SpecId()
                  throws ParseException

Throws:

ParseException

Identifier

public final void Identifier()
                      throws ParseException

Throws:

ParseException

CompareOperator

public final String CompareOperator()
                             throws ParseException

Throws:

ParseException

ArithmeticOperator

public final String ArithmeticOperator()
                                throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
                   String encoding)

Reinitialise.

ReInit

public void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(ASPParserTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.