Package net.sf.tweety.lp.asp.parser
Class ASPCore2Parser
- java.lang.Object
-
- net.sf.tweety.lp.asp.parser.ASPCore2Parser
-
- All Implemented Interfaces:
ASPCore2ParserConstants
,ASPCore2ParserTreeConstants
public class ASPCore2Parser extends java.lang.Object implements ASPCore2ParserTreeConstants, ASPCore2ParserConstants
Parser for ASP programs in the ASP-Core-2 syntax https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf. This parser also supports most of the (Clingo) and DLV input syntaxes and provides additional methods for parsing answer sets given by the DLV and Clingo solvers.
The EBNF grammar for ASP-Core-2 is given as follows:
PROGRAM ::== (STATEMENT)* (QUERY)?
QUERY ::== LITERAL "?"
STATEMENT ::== ":-" BODY_ELEMENTS "." | HEAD (":-" BODY_ELEMENTS)? "." | ":~" BODY_ELEMENTS "." | OPTIMIZE "."
HEAD ::== (LITERAL "|")* LITERAL | CHOICE
BODY_ELEMENTS ::== (BODY_ELEMENTS ",")? BODY_ELEMENT
BODY_ELEMENT ::== NAF_LITERAL | ("not")? AGGREGATE
CHOICE ::== (TERM BINOP)? "{" CHOICE_ELEMENTS "}" (BINOP TERM)?
CHOICE_ELEMENTS ::== (CHOICE_ELEMENTS ";")? CHOICE_ELEMENT
CHOICE_ELEMENT ::== LITERAL (":" NAF_LITERALS)?
AGGREGATE ::== (TERM BINOP)? AGGREGATE_FUNCTION "{" AGGREGATE_ELEMENTS "}" (BINOP TERM)?
AGGREGATE_ELEMENTS ::== (AGGREGATE_ELEMENTS ";")? AGGREGATE_ELEMENT
AGGREGATE_ELEMENT ::== (Terms)? (":" NAF_LITERALS)?
AGGREGATE_FUNCTION ::== "#max" | "#min" | "#count" | "#sum"
OPTIMIZE ::== OPTIMIZE_FUNCTION "{" (OPTIMIZE_ELEMENTS)? "}"
OPTIMIZE_ELEMENTS ::== (OPTIMIZE_ELEMENTS ";")? OPTIMIZE_ELEMENT
OPTIMIZE_ELEMENT ::== WEIGHT_AT_LEVEL (":" NAF_LITERALS)?
OPTIMIZE_FUNCTION ::== "#maximize" | "#maximise" | "#minimize"| "#minimise"
WEIGHT_AT_LEVEL ::== TERM ("@" TERM)? ("," TERMS)?
NAF_LITERALS ::== (NAF_LITERALS ",")? NAF_LITERAL
NAF_LITERAL ::== ("not")? LITERAL | BUILTIN_ATOM
LITERAL ::== ("-")? ID ("(" Terms ")")?
BUILTIN_ATOM ::== TERM BINOP TERM
BINOP ::== "=" | "!=" | "<>" | "<" | ">" | "<=" | ">="
TERMS ::== (TERMS ",")? TERM
TERM ::== ID ("(" TERMS ")")? | NUMBER | STRING | VARIABLE | "_" | "(" TERM ")" | "-" TERM | TERM ARITHOP TERM
ARITHOP ::== "+" | "-" | "*" | "/"
where ID is a sequence of letters, numbers, and "_" that starts with a lowercase letter, VARIABLE is a sequence of letters, numbers, and "_" that starts with an uppercase letter, STRING is a sequence of arbitrary characters surrounded by quotation marks ("...") and NUMBER is a sequence of numbers.
Single-line comments (starting with "%") and multi-line-comments (starting with "%*", ending with "*%") are ignored by the parser.
The following constructs from Clingo are supported additionally to the ASP-Core-2 syntax:
- show statements: "#show " ID "/" NUMBER
Other Clingo meta-statements (#include, #external, #program, #script and #const) are currently not supported.
The following constructs from DLV are supported additionally to the ASP-Core-2 syntax:
- TODO- Author:
- Anna Gessler
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description (package private) static class
ASPCore2Parser.JJCalls
private static class
ASPCore2Parser.LookaheadSuccess
-
Field Summary
Fields Modifier and Type Field Description private ASPCore2Parser.JJCalls[]
jj_2_rtns
private int
jj_endpos
private java.util.List<int[]>
jj_expentries
private int[]
jj_expentry
private int
jj_gc
private int
jj_gen
(package private) SimpleCharStream
jj_input_stream
private int
jj_kind
private int
jj_la
private int[]
jj_la1
private static int[]
jj_la1_0
private static int[]
jj_la1_1
private Token
jj_lastpos
private int[]
jj_lasttokens
private ASPCore2Parser.LookaheadSuccess
jj_ls
Token
jj_nt
Next token.private int
jj_ntk
private boolean
jj_rescan
private Token
jj_scanpos
protected JJTASPCore2ParserState
jjtree
private static ASPCore2Parser
oneThreadParser
Token
token
Current token.ASPCore2ParserTokenManager
token_source
Generated Token Manager.private static InstantiateVisitor
visitor
-
Fields inherited from interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
AGGREGATE_COUNT, AGGREGATE_MAX, AGGREGATE_MIN, AGGREGATE_SUM, ANONYMOUS_VARIABLE, AT, CLINGO_SHOW, COLON, COMMA, COMMENT, CONS, CURLY_CLOSE, CURLY_OPEN, DEFAULT, DIV, DOT, EOF, EQUAL, GREATER, GREATER_OR_EQ, ID, LESS, LESS_OR_EQ, MAXIMIZE, MINIMIZE, MINUS, 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 net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants
JJTAGGREGATE, JJTAGGRELEMENT, JJTAGGRELEMENTLIST, JJTAGGRFUNC, JJTANSWERSET, JJTARITERM, JJTARITHOP, JJTBINOP, JJTBODY, JJTBODYLIST, JJTBUILTINATOM, JJTCHOICE, JJTCHOICEELEMENT, JJTCHOICEELEMENTLIST, JJTCLINGOMETA, 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 ASPCore2Parser(java.io.InputStream stream)
ASPCore2Parser(java.io.InputStream stream, java.lang.String encoding)
ASPCore2Parser(java.io.Reader stream)
ASPCore2Parser(ASPCore2ParserTokenManager tm)
-
Method Summary
Modifier and Type Method Description ASTAggregate
Aggregate()
ASTAggrElement
AggregateElement()
ASTAggrElementList
AggregateElements()
java.lang.String
AggregateFunction()
ASTAnswerSet
AnswerSet()
ASTAriTerm
AriTerm()
java.lang.String
Arithop()
java.lang.String
Binop()
ASTBodyList
Body()
ASTBody
Body1()
ASTBuiltInAtom
BuiltinAtom()
ASTChoice
Choice()
ASTChoiceElement
ChoiceElement()
ASTChoiceElementList
ChoiceElements()
ASTLiteral
ClassicalLiteral()
void
ClingoMetaStatement()
void
disable_tracing()
Disable tracing.ASTHeadElementsList
Disjunction()
void
enable_tracing()
Enable tracing.ParseException
generateParseException()
Token
getNextToken()
Token
getToken(int index)
ASTHead
Head()
void
Identifier()
private boolean
jj_2_1(int xla)
private boolean
jj_2_10(int xla)
private boolean
jj_2_11(int xla)
private boolean
jj_2_12(int xla)
private boolean
jj_2_13(int xla)
private boolean
jj_2_2(int xla)
private boolean
jj_2_3(int xla)
private boolean
jj_2_4(int xla)
private boolean
jj_2_5(int xla)
private boolean
jj_2_6(int xla)
private boolean
jj_2_7(int xla)
private boolean
jj_2_8(int xla)
private boolean
jj_2_9(int xla)
private boolean
jj_3_1()
private boolean
jj_3_10()
private boolean
jj_3_11()
private boolean
jj_3_12()
private boolean
jj_3_13()
private boolean
jj_3_2()
private boolean
jj_3_3()
private boolean
jj_3_4()
private boolean
jj_3_5()
private boolean
jj_3_6()
private boolean
jj_3_7()
private boolean
jj_3_8()
private boolean
jj_3_9()
private boolean
jj_3R_10()
private boolean
jj_3R_11()
private boolean
jj_3R_12()
private boolean
jj_3R_13()
private boolean
jj_3R_14()
private boolean
jj_3R_15()
private boolean
jj_3R_16()
private boolean
jj_3R_17()
private boolean
jj_3R_18()
private boolean
jj_3R_19()
private boolean
jj_3R_20()
private boolean
jj_3R_21()
private boolean
jj_3R_22()
private boolean
jj_3R_23()
private boolean
jj_3R_24()
private boolean
jj_3R_25()
private boolean
jj_3R_26()
private boolean
jj_3R_27()
private boolean
jj_3R_28()
private boolean
jj_3R_29()
private boolean
jj_3R_30()
private boolean
jj_3R_31()
private boolean
jj_3R_32()
private boolean
jj_3R_33()
private boolean
jj_3R_34()
private boolean
jj_3R_35()
private boolean
jj_3R_36()
private boolean
jj_3R_37()
private boolean
jj_3R_38()
private boolean
jj_3R_39()
private boolean
jj_3R_40()
private boolean
jj_3R_41()
private boolean
jj_3R_42()
private boolean
jj_3R_43()
private boolean
jj_3R_44()
private boolean
jj_3R_45()
private boolean
jj_3R_46()
private boolean
jj_3R_47()
private boolean
jj_3R_48()
private boolean
jj_3R_49()
private boolean
jj_3R_50()
private boolean
jj_3R_51()
private boolean
jj_3R_52()
private boolean
jj_3R_53()
private boolean
jj_3R_54()
private boolean
jj_3R_55()
private boolean
jj_3R_56()
private boolean
jj_3R_57()
private boolean
jj_3R_58()
private boolean
jj_3R_59()
private boolean
jj_3R_60()
private boolean
jj_3R_61()
private boolean
jj_3R_62()
private boolean
jj_3R_63()
private boolean
jj_3R_64()
private boolean
jj_3R_65()
private boolean
jj_3R_66()
private boolean
jj_3R_67()
private boolean
jj_3R_68()
private boolean
jj_3R_69()
private boolean
jj_3R_70()
private boolean
jj_3R_71()
private boolean
jj_3R_72()
private boolean
jj_3R_73()
private boolean
jj_3R_74()
private boolean
jj_3R_75()
private boolean
jj_3R_76()
private boolean
jj_3R_77()
private boolean
jj_3R_78()
private boolean
jj_3R_79()
private boolean
jj_3R_80()
private boolean
jj_3R_81()
private boolean
jj_3R_82()
private boolean
jj_3R_83()
private boolean
jj_3R_84()
private boolean
jj_3R_85()
private boolean
jj_3R_86()
private boolean
jj_3R_87()
private boolean
jj_3R_88()
private boolean
jj_3R_89()
private boolean
jj_3R_90()
private boolean
jj_3R_91()
private boolean
jj_3R_92()
private boolean
jj_3R_93()
private boolean
jj_3R_94()
private boolean
jj_3R_95()
private boolean
jj_3R_96()
private boolean
jj_3R_97()
private boolean
jj_3R_98()
private void
jj_add_error_token(int kind, int pos)
private Token
jj_consume_token(int kind)
private static void
jj_la1_init_0()
private static void
jj_la1_init_1()
private int
jj_ntk()
private void
jj_rescan_token()
private void
jj_save(int index, int xla)
private boolean
jj_scan_token(int kind)
ASTNAFLiteral
NAFLiteral()
ASTNAFLiteralList
NAFLiterals()
void
Number()
ASTOpt
Optimize()
ASTOptElement
OptimizeElement()
ASTOptElementList
OptimizeElements()
java.lang.String
OptimizeFunction()
static AnswerSet
parseAnswerSet(java.io.Reader reader)
static AnswerSet
parseAnswerSet(java.lang.String answerSet)
static Program
parseProgram(java.io.Reader reader)
static Program
parseProgram(java.lang.String program)
static ASPRule
parseRule(java.io.Reader reader)
static ASPRule
parseRule(java.lang.String rule)
ASTProgram
Program()
ASTQuery
Query()
void
ReInit(java.io.InputStream stream)
void
ReInit(java.io.InputStream stream, java.lang.String encoding)
void
ReInit(java.io.Reader stream)
void
ReInit(ASPCore2ParserTokenManager tm)
ASTRule
Statement()
ASTRuleList
Statements()
void
String()
ASTTerm
Term()
ASTTermList
Terms()
void
Variable()
ASTWeight
WeightAtLevel()
-
-
-
Field Detail
-
jjtree
protected JJTASPCore2ParserState jjtree
-
oneThreadParser
private static ASPCore2Parser oneThreadParser
-
visitor
private static InstantiateVisitor visitor
-
token_source
public ASPCore2ParserTokenManager token_source
Generated Token Manager.
-
jj_input_stream
SimpleCharStream jj_input_stream
-
token
public Token token
Current token.
-
jj_nt
public Token jj_nt
Next token.
-
jj_ntk
private int jj_ntk
-
jj_scanpos
private Token jj_scanpos
-
jj_lastpos
private Token jj_lastpos
-
jj_la
private int jj_la
-
jj_gen
private int jj_gen
-
jj_la1
private final int[] jj_la1
-
jj_la1_0
private static int[] jj_la1_0
-
jj_la1_1
private static int[] jj_la1_1
-
jj_2_rtns
private final ASPCore2Parser.JJCalls[] jj_2_rtns
-
jj_rescan
private boolean jj_rescan
-
jj_gc
private int jj_gc
-
jj_ls
private final ASPCore2Parser.LookaheadSuccess jj_ls
-
jj_expentries
private java.util.List<int[]> jj_expentries
-
jj_expentry
private int[] jj_expentry
-
jj_kind
private int jj_kind
-
jj_lasttokens
private int[] jj_lasttokens
-
jj_endpos
private int jj_endpos
-
-
Constructor Detail
-
ASPCore2Parser
public ASPCore2Parser(java.io.InputStream stream)
-
ASPCore2Parser
public ASPCore2Parser(java.io.InputStream stream, java.lang.String encoding)
-
ASPCore2Parser
public ASPCore2Parser(java.io.Reader stream)
-
ASPCore2Parser
public ASPCore2Parser(ASPCore2ParserTokenManager tm)
-
-
Method Detail
-
parseProgram
public static Program parseProgram(java.lang.String program) throws ParseException
- Throws:
ParseException
-
parseProgram
public static Program parseProgram(java.io.Reader reader) throws ParseException
- Throws:
ParseException
-
parseRule
public static ASPRule parseRule(java.lang.String rule) throws ParseException
- Throws:
ParseException
-
parseRule
public static ASPRule parseRule(java.io.Reader reader) throws ParseException
- Throws:
ParseException
-
parseAnswerSet
public static AnswerSet parseAnswerSet(java.lang.String answerSet) throws ParseException
- Throws:
ParseException
-
parseAnswerSet
public static AnswerSet parseAnswerSet(java.io.Reader reader) throws ParseException
- Throws:
ParseException
-
AnswerSet
public final ASTAnswerSet AnswerSet() throws ParseException
- Throws:
ParseException
-
Program
public final ASTProgram Program() throws ParseException
- Throws:
ParseException
-
Statements
public final ASTRuleList Statements() throws ParseException
- Throws:
ParseException
-
Query
public final ASTQuery Query() throws ParseException
- Throws:
ParseException
-
Statement
public final ASTRule Statement() throws ParseException
- Throws:
ParseException
-
Head
public final ASTHead Head() throws ParseException
- Throws:
ParseException
-
Body
public final ASTBodyList Body() throws ParseException
- Throws:
ParseException
-
Body1
public final ASTBody Body1() throws ParseException
- Throws:
ParseException
-
Disjunction
public final ASTHeadElementsList Disjunction() throws ParseException
- Throws:
ParseException
-
Choice
public final ASTChoice Choice() throws ParseException
- Throws:
ParseException
-
ChoiceElements
public final ASTChoiceElementList ChoiceElements() throws ParseException
- Throws:
ParseException
-
ChoiceElement
public final ASTChoiceElement ChoiceElement() throws ParseException
- Throws:
ParseException
-
Aggregate
public final ASTAggregate Aggregate() throws ParseException
- Throws:
ParseException
-
AggregateElements
public final ASTAggrElementList AggregateElements() throws ParseException
- Throws:
ParseException
-
AggregateElement
public final ASTAggrElement AggregateElement() throws ParseException
- Throws:
ParseException
-
AggregateFunction
public final java.lang.String AggregateFunction() throws ParseException
- Throws:
ParseException
-
ClingoMetaStatement
public final void ClingoMetaStatement() throws ParseException
- Throws:
ParseException
-
Optimize
public final ASTOpt Optimize() throws ParseException
- Throws:
ParseException
-
OptimizeElements
public final ASTOptElementList OptimizeElements() throws ParseException
- Throws:
ParseException
-
OptimizeElement
public final ASTOptElement OptimizeElement() throws ParseException
- Throws:
ParseException
-
OptimizeFunction
public final java.lang.String OptimizeFunction() throws ParseException
- Throws:
ParseException
-
WeightAtLevel
public final ASTWeight WeightAtLevel() throws ParseException
- Throws:
ParseException
-
NAFLiterals
public final ASTNAFLiteralList NAFLiterals() throws ParseException
- Throws:
ParseException
-
NAFLiteral
public final ASTNAFLiteral NAFLiteral() throws ParseException
- Throws:
ParseException
-
ClassicalLiteral
public final ASTLiteral ClassicalLiteral() throws ParseException
- Throws:
ParseException
-
BuiltinAtom
public final ASTBuiltInAtom BuiltinAtom() throws ParseException
- Throws:
ParseException
-
Binop
public final java.lang.String Binop() throws ParseException
- Throws:
ParseException
-
Terms
public final ASTTermList Terms() throws ParseException
- Throws:
ParseException
-
Term
public final ASTTerm Term() throws ParseException
- Throws:
ParseException
-
AriTerm
public final ASTAriTerm AriTerm() throws ParseException
- Throws:
ParseException
-
Arithop
public final java.lang.String Arithop() throws ParseException
- Throws:
ParseException
-
Number
public final void Number() throws ParseException
- Throws:
ParseException
-
Variable
public final void Variable() throws ParseException
- Throws:
ParseException
-
Identifier
public final void Identifier() throws ParseException
- Throws:
ParseException
-
String
public final void String() throws ParseException
- Throws:
ParseException
-
jj_2_1
private boolean jj_2_1(int xla)
-
jj_2_2
private boolean jj_2_2(int xla)
-
jj_2_3
private boolean jj_2_3(int xla)
-
jj_2_4
private boolean jj_2_4(int xla)
-
jj_2_5
private boolean jj_2_5(int xla)
-
jj_2_6
private boolean jj_2_6(int xla)
-
jj_2_7
private boolean jj_2_7(int xla)
-
jj_2_8
private boolean jj_2_8(int xla)
-
jj_2_9
private boolean jj_2_9(int xla)
-
jj_2_10
private boolean jj_2_10(int xla)
-
jj_2_11
private boolean jj_2_11(int xla)
-
jj_2_12
private boolean jj_2_12(int xla)
-
jj_2_13
private boolean jj_2_13(int xla)
-
jj_3R_77
private boolean jj_3R_77()
-
jj_3R_54
private boolean jj_3R_54()
-
jj_3_9
private boolean jj_3_9()
-
jj_3R_20
private boolean jj_3R_20()
-
jj_3R_93
private boolean jj_3R_93()
-
jj_3R_78
private boolean jj_3R_78()
-
jj_3R_27
private boolean jj_3R_27()
-
jj_3R_59
private boolean jj_3R_59()
-
jj_3R_91
private boolean jj_3R_91()
-
jj_3R_64
private boolean jj_3R_64()
-
jj_3R_73
private boolean jj_3R_73()
-
jj_3R_41
private boolean jj_3R_41()
-
jj_3R_16
private boolean jj_3R_16()
-
jj_3R_37
private boolean jj_3R_37()
-
jj_3R_62
private boolean jj_3R_62()
-
jj_3_8
private boolean jj_3_8()
-
jj_3R_40
private boolean jj_3R_40()
-
jj_3R_19
private boolean jj_3R_19()
-
jj_3R_83
private boolean jj_3R_83()
-
jj_3R_39
private boolean jj_3R_39()
-
jj_3R_95
private boolean jj_3R_95()
-
jj_3R_82
private boolean jj_3R_82()
-
jj_3R_74
private boolean jj_3R_74()
-
jj_3R_72
private boolean jj_3R_72()
-
jj_3R_90
private boolean jj_3R_90()
-
jj_3R_81
private boolean jj_3R_81()
-
jj_3R_60
private boolean jj_3R_60()
-
jj_3_7
private boolean jj_3_7()
-
jj_3R_88
private boolean jj_3R_88()
-
jj_3R_18
private boolean jj_3R_18()
-
jj_3R_25
private boolean jj_3R_25()
-
jj_3R_98
private boolean jj_3R_98()
-
jj_3R_97
private boolean jj_3R_97()
-
jj_3R_70
private boolean jj_3R_70()
-
jj_3R_61
private boolean jj_3R_61()
-
jj_3_13
private boolean jj_3_13()
-
jj_3_6
private boolean jj_3_6()
-
jj_3R_89
private boolean jj_3R_89()
-
jj_3R_71
private boolean jj_3R_71()
-
jj_3R_75
private boolean jj_3R_75()
-
jj_3R_15
private boolean jj_3R_15()
-
jj_3R_51
private boolean jj_3R_51()
-
jj_3R_50
private boolean jj_3R_50()
-
jj_3R_49
private boolean jj_3R_49()
-
jj_3R_92
private boolean jj_3R_92()
-
jj_3R_48
private boolean jj_3R_48()
-
jj_3_12
private boolean jj_3_12()
-
jj_3R_38
private boolean jj_3R_38()
-
jj_3R_47
private boolean jj_3R_47()
-
jj_3R_76
private boolean jj_3R_76()
-
jj_3_5
private boolean jj_3_5()
-
jj_3R_46
private boolean jj_3R_46()
-
jj_3R_24
private boolean jj_3R_24()
-
jj_3_4
private boolean jj_3_4()
-
jj_3R_35
private boolean jj_3R_35()
-
jj_3R_85
private boolean jj_3R_85()
-
jj_3R_34
private boolean jj_3R_34()
-
jj_3R_14
private boolean jj_3R_14()
-
jj_3R_63
private boolean jj_3R_63()
-
jj_3R_94
private boolean jj_3R_94()
-
jj_3R_13
private boolean jj_3R_13()
-
jj_3R_79
private boolean jj_3R_79()
-
jj_3_3
private boolean jj_3_3()
-
jj_3R_23
private boolean jj_3R_23()
-
jj_3R_66
private boolean jj_3R_66()
-
jj_3R_80
private boolean jj_3R_80()
-
jj_3R_11
private boolean jj_3R_11()
-
jj_3R_53
private boolean jj_3R_53()
-
jj_3R_33
private boolean jj_3R_33()
-
jj_3R_52
private boolean jj_3R_52()
-
jj_3R_58
private boolean jj_3R_58()
-
jj_3R_26
private boolean jj_3R_26()
-
jj_3R_57
private boolean jj_3R_57()
-
jj_3R_87
private boolean jj_3R_87()
-
jj_3R_10
private boolean jj_3R_10()
-
jj_3R_56
private boolean jj_3R_56()
-
jj_3R_86
private boolean jj_3R_86()
-
jj_3R_68
private boolean jj_3R_68()
-
jj_3R_32
private boolean jj_3R_32()
-
jj_3R_31
private boolean jj_3R_31()
-
jj_3R_30
private boolean jj_3R_30()
-
jj_3R_29
private boolean jj_3R_29()
-
jj_3R_28
private boolean jj_3R_28()
-
jj_3R_12
private boolean jj_3R_12()
-
jj_3R_36
private boolean jj_3R_36()
-
jj_3R_22
private boolean jj_3R_22()
-
jj_3R_17
private boolean jj_3R_17()
-
jj_3_11
private boolean jj_3_11()
-
jj_3_2
private boolean jj_3_2()
-
jj_3R_69
private boolean jj_3R_69()
-
jj_3_1
private boolean jj_3_1()
-
jj_3R_45
private boolean jj_3R_45()
-
jj_3_10
private boolean jj_3_10()
-
jj_3R_44
private boolean jj_3R_44()
-
jj_3R_21
private boolean jj_3R_21()
-
jj_3R_65
private boolean jj_3R_65()
-
jj_3R_67
private boolean jj_3R_67()
-
jj_3R_96
private boolean jj_3R_96()
-
jj_3R_84
private boolean jj_3R_84()
-
jj_3R_42
private boolean jj_3R_42()
-
jj_3R_43
private boolean jj_3R_43()
-
jj_3R_55
private boolean jj_3R_55()
-
jj_la1_init_0
private static void jj_la1_init_0()
-
jj_la1_init_1
private static void jj_la1_init_1()
-
ReInit
public void ReInit(java.io.InputStream stream)
-
ReInit
public void ReInit(java.io.InputStream stream, java.lang.String encoding)
-
ReInit
public void ReInit(java.io.Reader stream)
-
ReInit
public void ReInit(ASPCore2ParserTokenManager tm)
-
jj_consume_token
private Token jj_consume_token(int kind) throws ParseException
- Throws:
ParseException
-
jj_scan_token
private boolean jj_scan_token(int kind)
-
getNextToken
public final Token getNextToken()
-
getToken
public final Token getToken(int index)
-
jj_ntk
private int jj_ntk()
-
jj_add_error_token
private void jj_add_error_token(int kind, int pos)
-
generateParseException
public ParseException generateParseException()
-
enable_tracing
public final void enable_tracing()
Enable tracing.
-
disable_tracing
public final void disable_tracing()
Disable tracing.
-
jj_rescan_token
private void jj_rescan_token()
-
jj_save
private void jj_save(int index, int xla)
-
-