Package org.jacop.fz
Class Parser
java.lang.Object
org.jacop.fz.Parser
- All Implemented Interfaces:
ParserConstants
,ParserTreeConstants
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescription(package private) static final class
private static final class
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) Constraints
(package private) VariablesParameters
(package private) Tables
private final Parser.JJCalls[]
private int
private List<int[]>
private int[]
private int
private int
(package private) SimpleCharStream
private int
private int
private final int[]
private static int[]
private static int[]
private Token
private int[]
private final Parser.LookaheadSuccess
Next token.private int
private boolean
private Token
protected JJTParserState
(package private) Options
(package private) Solve
(package private) Store
Current token.Generated Token Manager.private boolean
private int
Fields inherited from interface org.jacop.fz.ParserConstants
ARRAY, ASGN, BOOL, COLON, COLONCOLON, COMMA, CONSTRAINT, DEFAULT, DOTDOT, EOF, FALSE, FLOAT, FLOAT_LITERAL, IDENT, INT, INT_LITERAL, LB, LBOX, LP, MAXIMIZE, MINIMIZE, OF, OUTPUT, PREDICATE, RB, RBOX, RP, SATISFY, SC, SET, SHOW, SHOW_COND, SINGLE_LINE_COMMENT, SOLVE, STRING_LITERAL, tokenImage, TRUE, VAR
Fields inherited from interface org.jacop.fz.ParserTreeConstants
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETELEMENT, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
-
Constructor Summary
ConstructorsConstructorDescriptionParser
(InputStream stream) Constructor with InputStream.Parser
(InputStream stream, String encoding) Constructor with InputStream and supplied encodingConstructor.Constructor with generated Token Manager. -
Method Summary
Modifier and TypeMethodDescriptionfinal void
ann_expr()
final void
final void
final void
final ArrayAccess
final void
final void
final Token
final void
final void
final void
final void
final void
Disable tracing.final void
Enable tracing.final void
final void
final void
Generate ParseException.final Token
Get the next Token.(package private) Store
getStore()
(package private) Tables
final Token
getToken
(int index) Get the specific Token.final Token
final void
final int
final void
final void
private boolean
jj_2_1
(int xla) private boolean
jj_2_10
(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_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_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 void
jj_add_error_token
(int kind, int pos) private Token
jj_consume_token
(int kind) private static void
private static void
private int
jj_ntk_f()
private void
private void
jj_save
(int index, int xla) private boolean
jj_scan_token
(int kind) final void
model()
GRAMMER STARTSfinal void
final void
final void
final void
final void
final void
final void
final void
final void
final void
final void
final void
final void
void
ReInit
(InputStream stream) Reinitialise.void
ReInit
(InputStream stream, String encoding) Reinitialise.void
Reinitialise.void
Reinitialise.final void
final void
final void
final void
final void
final void
(package private) void
setOptions
(Options opt) final void
final void
final void
final boolean
Trace enabled.final void
final void
final void
-
Field Details
-
jjtree
-
store
Store store -
dict
Tables dict -
cg
-
cc
Constraints cc -
solver
Solve solver -
options
Options options -
token_source
Generated Token Manager. -
jj_input_stream
SimpleCharStream jj_input_stream -
token
Current token. -
jj_nt
Next token. -
jj_ntk
private int jj_ntk -
jj_scanpos
-
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
-
jj_rescan
private boolean jj_rescan -
jj_gc
private int jj_gc -
jj_ls
-
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 -
trace_indent
private int trace_indent -
trace_enabled
private boolean trace_enabled
-
-
Constructor Details
-
Parser
Constructor with InputStream. -
Parser
Constructor with InputStream and supplied encoding -
Parser
Constructor. -
Parser
Constructor with generated Token Manager.
-
-
Method Details
-
setOptions
-
getStore
Store getStore() -
getTables
Tables getTables() -
model
GRAMMER STARTS- Throws:
ParseException
-
pred_decl_items
- Throws:
ParseException
-
var_decl_items
- Throws:
ParseException
-
constraint_items
- Throws:
ParseException
-
model_end
- Throws:
ParseException
-
pred_decl_item
- Throws:
ParseException
-
var_decl_item
- Throws:
ParseException
-
array_decl_tail
- Throws:
ParseException
-
ident_anns
- Throws:
ParseException
-
constraint_item
- Throws:
ParseException
-
constraint_elem
- Throws:
ParseException
-
solve_item
- Throws:
ParseException
-
solve_kind
- Throws:
ParseException
-
output_item
- Throws:
ParseException
-
output_elems
- Throws:
ParseException
-
output_elem
- Throws:
ParseException
-
pred_decl_args
- Throws:
ParseException
-
pred_decl_arg
- Throws:
ParseException
-
pred_arg_array_index
- Throws:
ParseException
-
pred_arg_array_tail
- Throws:
ParseException
-
non_array_ti_expr_tail
- Throws:
ParseException
-
scalar_ti_expr_tail
- Throws:
ParseException
-
bool_ti_expr_tail
- Throws:
ParseException
-
int_ti_expr_tail
- Throws:
ParseException
-
float_ti_expr_tail
- Throws:
ParseException
-
set_ti_expr_tail
- Throws:
ParseException
-
ann_exprs
- Throws:
ParseException
-
ann_expr
- Throws:
ParseException
-
flat_exprs
- Throws:
ParseException
-
flat_expr
- Throws:
ParseException
-
non_array_flat_exprs
- Throws:
ParseException
-
non_array_flat_expr
- Throws:
ParseException
-
scalar_flat_exprs
- Throws:
ParseException
-
scalar_flat_expr
- Throws:
ParseException
-
int_flat_expr
- Throws:
ParseException
-
variable_expr
- Throws:
ParseException
-
solve_expr
- Throws:
ParseException
-
array_access_expr
- Throws:
ParseException
-
int_index_expr
- Throws:
ParseException
-
bool_literal
- Throws:
ParseException
-
int_literals
- Throws:
ParseException
-
set_literal
- Throws:
ParseException
-
array_literal
- Throws:
ParseException
-
set_element
- Throws:
ParseException
-
annotations
- Throws:
ParseException
-
annotation
- 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_3R_49
private boolean jj_3R_49() -
jj_3R_20
private boolean jj_3R_20() -
jj_3R_15
private boolean jj_3R_15() -
jj_3_5
private boolean jj_3_5() -
jj_3R_41
private boolean jj_3R_41() -
jj_3R_40
private boolean jj_3R_40() -
jj_3R_33
private boolean jj_3R_33() -
jj_3R_23
private boolean jj_3R_23() -
jj_3R_26
private boolean jj_3R_26() -
jj_3R_19
private boolean jj_3R_19() -
jj_3R_22
private boolean jj_3R_22() -
jj_3R_17
private boolean jj_3R_17() -
jj_3_4
private boolean jj_3_4() -
jj_3R_24
private boolean jj_3R_24() -
jj_3R_42
private boolean jj_3R_42() -
jj_3R_29
private boolean jj_3R_29() -
jj_3R_38
private boolean jj_3R_38() -
jj_3_1
private boolean jj_3_1() -
jj_3R_37
private boolean jj_3R_37() -
jj_3R_27
private boolean jj_3R_27() -
jj_3R_36
private boolean jj_3R_36() -
jj_3_10
private boolean jj_3_10() -
jj_3R_35
private boolean jj_3R_35() -
jj_3R_32
private boolean jj_3R_32() -
jj_3R_34
private boolean jj_3R_34() -
jj_3R_18
private boolean jj_3R_18() -
jj_3_9
private boolean jj_3_9() -
jj_3R_44
private boolean jj_3R_44() -
jj_3R_31
private boolean jj_3R_31() -
jj_3R_43
private boolean jj_3R_43() -
jj_3R_39
private boolean jj_3R_39() -
jj_3_3
private boolean jj_3_3() -
jj_3R_30
private boolean jj_3R_30() -
jj_3R_16
private boolean jj_3R_16() -
jj_3R_48
private boolean jj_3R_48() -
jj_3R_50
private boolean jj_3R_50() -
jj_3_8
private boolean jj_3_8() -
jj_3R_28
private boolean jj_3R_28() -
jj_3R_46
private boolean jj_3R_46() -
jj_3_7
private boolean jj_3_7() -
jj_3_6
private boolean jj_3_6() -
jj_3R_47
private boolean jj_3R_47() -
jj_3R_45
private boolean jj_3R_45() -
jj_3_2
private boolean jj_3_2() -
jj_3R_25
private boolean jj_3R_25() -
jj_3R_21
private boolean jj_3R_21() -
jj_la1_init_0
private static void jj_la1_init_0() -
jj_la1_init_1
private static void jj_la1_init_1() -
ReInit
Reinitialise. -
ReInit
Reinitialise. -
ReInit
Reinitialise. -
ReInit
Reinitialise. -
jj_consume_token
- Throws:
ParseException
-
jj_scan_token
private boolean jj_scan_token(int kind) -
getNextToken
Get the next Token. -
getToken
Get the specific Token. -
jj_ntk_f
private int jj_ntk_f() -
jj_add_error_token
private void jj_add_error_token(int kind, int pos) -
generateParseException
Generate ParseException. -
trace_enabled
public final boolean trace_enabled()Trace enabled. -
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)
-