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 static 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
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
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
private boolean
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_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_non_array_flat_exprs_657_5_49
private boolean jj_3R_non_array_flat_exprs_657_5_49() -
jj_3R_set_literal_847_5_20
private boolean jj_3R_set_literal_847_5_20() -
jj_3R_set_literal_847_5_15
private boolean jj_3R_set_literal_847_5_15() -
jj_3_5
private boolean jj_3_5() -
jj_3R_flat_expr_647_5_41
private boolean jj_3R_flat_expr_647_5_41() -
jj_3R_flat_expr_646_6_40
private boolean jj_3R_flat_expr_646_6_40() -
jj_3R_flat_expr_646_6_33
private boolean jj_3R_flat_expr_646_6_33() -
jj_3R_int_flat_expr_737_8_23
private boolean jj_3R_int_flat_expr_737_8_23() -
jj_3R_annotation_902_29_26
private boolean jj_3R_annotation_902_29_26() -
jj_3R_annotation_898_32_19
private boolean jj_3R_annotation_898_32_19() -
jj_3R_int_flat_expr_728_8_22
private boolean jj_3R_int_flat_expr_728_8_22() -
jj_3R_int_flat_expr_726_2_17
private boolean jj_3R_int_flat_expr_726_2_17() -
jj_3_4
private boolean jj_3_4() -
jj_3R_annotation_905_10_24
private boolean jj_3R_annotation_905_10_24() -
jj_3R_bool_literal_814_5_42
private boolean jj_3R_bool_literal_814_5_42() -
jj_3R_ann_expr_625_4_29
private boolean jj_3R_ann_expr_625_4_29() -
jj_3R_scalar_flat_expr_713_7_38
private boolean jj_3R_scalar_flat_expr_713_7_38() -
jj_3_1
private boolean jj_3_1() -
jj_3R_scalar_flat_expr_712_7_37
private boolean jj_3R_scalar_flat_expr_712_7_37() -
jj_3R_ann_expr_621_2_27
private boolean jj_3R_ann_expr_621_2_27() -
jj_3R_scalar_flat_expr_711_7_36
private boolean jj_3R_scalar_flat_expr_711_7_36() -
jj_3_10
private boolean jj_3_10() -
jj_3R_scalar_flat_expr_706_7_35
private boolean jj_3R_scalar_flat_expr_706_7_35() -
jj_3R_ann_exprs_611_5_32
private boolean jj_3R_ann_exprs_611_5_32() -
jj_3R_scalar_flat_expr_704_7_34
private boolean jj_3R_scalar_flat_expr_704_7_34() -
jj_3R_annotation_897_3_18
private boolean jj_3R_annotation_897_3_18() -
jj_3_9
private boolean jj_3_9() -
jj_3R_int_index_expr_801_2_44
private boolean jj_3R_int_index_expr_801_2_44() -
jj_3R_scalar_flat_exprs_680_26_31
private boolean jj_3R_scalar_flat_exprs_680_26_31() -
jj_3R_int_index_expr_795_5_43
private boolean jj_3R_int_index_expr_795_5_43() -
jj_3R_int_index_expr_795_5_39
private boolean jj_3R_int_index_expr_795_5_39() -
jj_3_3
private boolean jj_3_3() -
jj_3R_scalar_flat_expr_697_5_30
private boolean jj_3R_scalar_flat_expr_697_5_30() -
jj_3R_array_access_expr_781_5_16
private boolean jj_3R_array_access_expr_781_5_16() -
jj_3R_array_literal_865_14_48
private boolean jj_3R_array_literal_865_14_48() -
jj_3R_non_array_flat_exprs_657_29_50
private boolean jj_3R_non_array_flat_exprs_657_29_50() -
jj_3_8
private boolean jj_3_8() -
jj_3R_scalar_flat_exprs_680_5_28
private boolean jj_3R_scalar_flat_exprs_680_5_28() -
jj_3R_array_literal_865_5_46
private boolean jj_3R_array_literal_865_5_46() -
jj_3_7
private boolean jj_3_7() -
jj_3_6
private boolean jj_3_6() -
jj_3R_non_array_flat_expr_670_4_47
private boolean jj_3R_non_array_flat_expr_670_4_47() -
jj_3R_non_array_flat_expr_668_5_45
private boolean jj_3R_non_array_flat_expr_668_5_45() -
jj_3_2
private boolean jj_3_2() -
jj_3R_set_literal_847_14_25
private boolean jj_3R_set_literal_847_14_25() -
jj_3R_set_literal_850_7_21
private boolean jj_3R_set_literal_850_7_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)
-