Package org.tweetyproject.lp.asp.parser
Class ASPParser
java.lang.Object
org.tweetyproject.lp.asp.parser.ASPParser
- All Implemented Interfaces:
ASPParserConstants
,ASPParserTreeConstants
- Author:
- Anna Gessler
-
Field Summary
Modifier and TypeFieldDescriptionNext token.Current token.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
ConstructorDescriptionASPParser(InputStream stream)
ASPParser(InputStream stream, String encoding)
-
Method Summary
Modifier and TypeMethodDescriptionAriTerm()
Arithop()
Binop()
Body()
Body1()
Choice()
void
void
Disable tracing.void
void
void
Enable tracing.getToken(int index)
Head()
void
void
void
Number()
Optimize()
static AnswerSet
parseAnswerSet(Reader reader)
static AnswerSet
parseAnswerSet(String answerSet)
static Program
parseProgram(Reader reader)
static Program
parseProgram(String program)
static ASPRule
static ASPRule
Program()
Query()
void
ReInit(InputStream stream)
void
ReInit(InputStream stream, String encoding)
void
void
void
String()
Term()
Terms()
void
Variable()
-
Field Details
-
token_source
Generated Token Manager. -
token
Current token. -
jj_nt
Next token.
-
-
Constructor Details
-
ASPParser
- Parameters:
stream
- InputStream
-
ASPParser
- Parameters:
stream
- encodingencoding
- encoding
-
ASPParser
- Parameters:
stream
- java.io.Reader
-
ASPParser
- Parameters:
tm
- ASPParser TokenManager
-
-
Method Details
-
parseProgram
- Parameters:
program
- StringReader- Returns:
- StringReader
- Throws:
ParseException
- StringReader
-
parseProgram
- Parameters:
reader
- Reader- Returns:
- Reader
- Throws:
ParseException
- Reader
-
parseRule
- Parameters:
rule
- ASPRule- Returns:
- ASPRule
- Throws:
ParseException
- ASPRule
-
parseRule
- Parameters:
reader
- ASPRule- Returns:
- ASPRule
- Throws:
ParseException
- ASPRule
-
parseAnswerSet
- Parameters:
answerSet
- AnswerSet- Returns:
- AnswerSet
- Throws:
ParseException
- AnswerSet
-
parseAnswerSet
- Parameters:
reader
- AnswerSet- Returns:
- AnswerSet
- Throws:
ParseException
- AnswerSet
-
AnswerSet
- Returns:
- AnswerSet
- Throws:
ParseException
- AnwerSet
-
Program
- Returns:
- Program
- Throws:
ParseException
- Program
-
Statements
- Returns:
- RuleList
- Throws:
ParseException
- RuleList
-
Query
- Returns:
- Query
- Throws:
ParseException
- Query
-
Statement
- Returns:
- Rule
- Throws:
ParseException
- Rule
-
Head
- Returns:
- Head
- Throws:
ParseException
- Head
-
Body
- Returns:
- BodyList
- Throws:
ParseException
- BodyList
-
Body1
- Returns:
- Body
- Throws:
ParseException
- Body
-
Disjunction
- Returns:
- HeadElementsList
- Throws:
ParseException
- HeadElementsList
-
Choice
- Returns:
- Choice
- Throws:
ParseException
- Choise
-
ChoiceElements
- Returns:
- ChoiceElementList
- Throws:
ParseException
- ChoiseElementList
-
ChoiceElement
- Returns:
- ChoiceElement
- Throws:
ParseException
- ChoiceElement
-
Aggregate
- Returns:
- Aggregate
- Throws:
ParseException
- Aggregate
-
AggregateElements
- Returns:
- AggrElementList
- Throws:
ParseException
- AggrElementList
-
AggregateElement
- Returns:
- AggrElement
- Throws:
ParseException
- AggrElement
-
AggregateFunction
- Returns:
- AggrFunc
- Throws:
ParseException
- AggrFunc
-
MetaStatement
- Throws:
ParseException
- ClingoMeta
-
Optimize
- Returns:
- Opt
- Throws:
ParseException
- Opt
-
OptimizeElements
- Returns:
- OptElementList
- Throws:
ParseException
- OptElementList
-
OptimizeElement
- Returns:
- OptElement
- Throws:
ParseException
- OptElement
-
OptimizeFunction
- Returns:
- OptFunc
- Throws:
ParseException
- OptFunc
-
WeightAtLevel
- Returns:
- Weight
- Throws:
ParseException
- Weight
-
NAFLiterals
- Returns:
- NAFLiteralList
- Throws:
ParseException
- NAFLiteralList
-
NAFLiteral
- Returns:
- ASTNAFLiteral
- Throws:
ParseException
- ASTNAFLiteral
-
ClassicalLiteral
- Returns:
- ASTLiteral
- Throws:
ParseException
- ASTListeral
-
BuiltinAtom
- Returns:
- ASTBuiltInAtom
- Throws:
ParseException
- ASTBuiltInAtom
-
Binop
- Returns:
- Binop
- Throws:
ParseException
- Binop
-
Terms
- Returns:
- ASTTermList
- Throws:
ParseException
- ASTTermList
-
Term
- Returns:
- ASTTerm
- Throws:
ParseException
- ASTTerm
-
AriTerm
- Returns:
- Ariterm
- Throws:
ParseException
- Ariterm
-
Arithop
- Returns:
- Arithop
- Throws:
ParseException
- Arithop
-
Number
- Throws:
ParseException
- ParseException
-
Variable
- Throws:
ParseException
- ParseException
-
Identifier
- Throws:
ParseException
- Identifier
-
DlvIdentifier
- Throws:
ParseException
- DlvIdentifier
-
ClingoIdentifier
- Throws:
ParseException
- Parse Exception
-
DlvArithmeticPredicate
- Throws:
ParseException
- ParseException
-
String
- Throws:
ParseException
- ParseException
-
ReInit
- Parameters:
stream
- java.io.Input.Stream
-
ReInit
- Parameters:
stream
- java.io.InputStreamencoding
- java.io.InputStream
-
ReInit
- Parameters:
stream
- java.io.Reader
-
ReInit
- Parameters:
tm
- ReInit
-
getNextToken
- Returns:
- getNextToken
-
getToken
- Parameters:
index
- getToken- Returns:
- getToken
-
generateParseException
- Returns:
- generateParseException
-
enable_tracing
public final void enable_tracing()Enable tracing. -
disable_tracing
public final void disable_tracing()Disable tracing.
-