diff --git a/src/mlang/driver.ml b/src/mlang/driver.ml index 08c77b19e..943a389a5 100644 --- a/src/mlang/driver.ml +++ b/src/mlang/driver.ml @@ -82,9 +82,17 @@ let parse () = let filebuf = { filebuf with lex_curr_p } in match Mparser.source_file token filebuf with | commands -> commands - | exception Mparser.Error -> - Errors.raise_spanned_error "M syntax error" - (Parse_utils.mk_position (filebuf.lex_start_p, filebuf.lex_curr_p)) + | exception Mparser.Error s -> ( + let pos = + Parse_utils.mk_position (filebuf.lex_start_p, filebuf.lex_curr_p) + in + let err msg = + Format.kasprintf (fun m -> Errors.raise_spanned_error m pos) msg + in + match String.trim (Syntax_messages.message s) with + | exception Not_found -> err "Erreur de syntaxe innattendue." + | "" -> err "Erreur de syntaxe %i" s + | msg -> err "Erreur: %s " msg) in let parse_file source_file = @@ -159,23 +167,18 @@ let extract m_program = | UnknownBackend -> Errors.raise_error "No backend specified!" let driver () = - try - Cli.debug_print "Reading M files..."; - let m_program = parse () in - Cli.debug_print "Elaborating..."; - let m_program = Expander.proceed m_program in - let m_program = Validator.proceed !Config.mpp_function m_program in - let m_program = Mast_to_mir.translate m_program in - let m_program = Mir.expand_functions m_program in - Cli.debug_print "Creating combined program suitable for execution..."; - match !Config.execution_mode with - | SingleTest test -> run_single_test m_program test - | MultipleTests tests -> run_multiple_tests m_program tests - | Extraction -> extract m_program - with Errors.StructuredError (msg, pos_list, kont) as e -> - Cli.error_print "%a" Errors.format_structured_error (msg, pos_list); - (match kont with None -> () | Some kont -> kont ()); - raise e + Cli.debug_print "Reading M files..."; + let m_program = parse () in + Cli.debug_print "Elaborating..."; + let m_program = Expander.proceed m_program in + let m_program = Validator.proceed !Config.mpp_function m_program in + let m_program = Mast_to_mir.translate m_program in + let m_program = Mir.expand_functions m_program in + Cli.debug_print "Creating combined program suitable for execution..."; + match !Config.execution_mode with + | SingleTest test -> run_single_test m_program test + | MultipleTests tests -> run_multiple_tests m_program tests + | Extraction -> extract m_program let set_opts (files : string list) (application_names : string list) (without_dgfip_m : bool) (debug : bool) (var_info_debug : string list) diff --git a/src/mlang/index.mld b/src/mlang/index.mld index 8d409e935..02764c337 100644 --- a/src/mlang/index.mld +++ b/src/mlang/index.mld @@ -6,7 +6,7 @@ intermediate representations going from the source code to the target backend. {1 Frontend} First, the source code is parsed according to the Menhir grammar specified in {!module: Mlang.M_frontend.Mparser}. -The grammar is not exactly LR(1) so we rely on {!module: Mlang.M_frontend.Parse_utils} to backtrack, especially on symbol parsing. The target intermediate representation is {!module: Mlang.M_frontend.Mast}, which is very close to the concrete syntax and can be printed using {!module: Mlang.M_frontend.Format_mast}. +The grammar is not exactly LR(1) so we rely on {!module: Mlang.M_frontend.Parse_utils} to backtrack, especially on symbol parsing. {!module: Mlang.M_frontend.Syntax_messages} treats the error messages in the different failing cases. The target intermediate representation is {!module: Mlang.M_frontend.Mast}, which is very close to the concrete syntax and can be printed using {!module: Mlang.M_frontend.Format_mast}. The frontend also handles ast expansion with {!module: Mlang.M_frontend.Expander} and validation with {!module: Mlang.M_frontend.Validator}. {!modules: @@ -15,6 +15,7 @@ The frontend also handles ast expansion with {!module: Mlang.M_frontend.Expander Mlang.M_frontend.Mlexer Mlang.M_frontend.Mparser Mlang.M_frontend.Parse_utils + Mlang.M_frontend.Syntax_messages Mlang.M_frontend.Validator } {1 Intermediate Representation} diff --git a/src/mlang/m_frontend/dune b/src/mlang/m_frontend/dune index adb2113e0..3b48c9659 100644 --- a/src/mlang/m_frontend/dune +++ b/src/mlang/m_frontend/dune @@ -2,7 +2,7 @@ (menhir (modules mparser) - (flags --explain)) + (flags --exn-carries-state --explain)) (library (public_name mlang.frontend) @@ -10,3 +10,58 @@ (flags (:standard -open Utils -open M_ir)) (libraries utils m_ir)) + +; Generates the Syntax_messages module + +(rule + (target syntax_messages.ml) + (deps + (:parser mparser.mly) + (:msg syntax.messages)) + (action + (with-stdout-to + %{target} + (run menhir %{parser} --base %{parser} --compile-errors %{msg})))) + +; Rules to check parser updates and properly merging the changes + +(rule + (target new.messages) + (deps + (:parser mparser.mly)) + (action + (with-stdout-to + %{target} + (run menhir %{parser} --base %{parser} --list-errors)))) + +(rule + (target updated.messages) + (deps + (:parser mparser.mly) + (:msg syntax.messages)) + (action + (with-stdout-to + %{target} + (run menhir %{parser} --base %{parser} --update-errors %{msg})))) + +(rule + (target syntax.messages.updated) + (deps + (:parser mparser.mly) + (:new new.messages) + (:updated updated.messages)) + (action + (with-stdout-to + %{target} + (run menhir %{parser} --base %{parser} --merge-errors %{new} + --merge-errors %{updated})))) + +; Tests the syntax.messages file when the parser changes. +; To update the file, use dune runtest --auto-update + +(rule + (alias runtest) + (package mlang) + (deps syntax.messages syntax.messages.updated) + (action + (diff syntax.messages syntax.messages.updated))) diff --git a/src/mlang/m_frontend/mparser.mly b/src/mlang/m_frontend/mparser.mly index cffe48f79..ba78e27d4 100644 --- a/src/mlang/m_frontend/mparser.mly +++ b/src/mlang/m_frontend/mparser.mly @@ -28,6 +28,8 @@ along with this program. If not, see . (** Module generated automaticcaly by Menhir, the parser generator *) %} +%start source_file + %token SYMBOL STRING %token PLUS MINUS TIMES DIV MOD @@ -68,8 +70,6 @@ along with this program. If not, see . %nonassoc NOT (* %nonassoc SYMBOL *) -%start source_file - %% %inline with_pos(X): diff --git a/src/mlang/m_frontend/syntax.messages b/src/mlang/m_frontend/syntax.messages new file mode 100644 index 000000000..9dfe28ae1 --- /dev/null +++ b/src/mlang/m_frontend/syntax.messages @@ -0,0 +1,6259 @@ +source_file: SYMBOL COLON INPUT SYMBOL EQUALS WITH +## +## Ends in an error in state: 16. +## +## variable_attribute -> symbol_with_pos EQUALS . variable_attribute_value [ SYMBOL GIVEN_BACK COLON BASE ALIAS ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos EQUALS +## + +Valeur manquante après le symbole '='. + +source_file: SYMBOL COLON COMPUTED SYMBOL WITH +## +## Ends in an error in state: 77. +## +## variable_attribute -> symbol_with_pos . EQUALS variable_attribute_value [ SYMBOL GIVEN_BACK COLON BASE ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos +## + +Définition incomplète d'un attribut + +source_file: SYMBOL COLON COMPUTED BASE WITH +## +## Ends in an error in state: 84. +## +## list(comp_attr_or_subtyp) -> comp_attr_or_subtyp . list(comp_attr_or_subtyp) [ COLON ] +## +## The known suffix of the stack is as follows: +## comp_attr_or_subtyp +## + +Liste d'attributs incomplète. Avez-vous oublié de terminer la liste avec ':' ? + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL WITH +## +## Ends in an error in state: 111. +## +## factor -> SYMBOL . [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## function_name -> SYMBOL . [ LPAREN ] +## symbol_with_pos -> SYMBOL . [ LBRACKET DOT ] +## +## The known suffix of the stack is as follows: +## SYMBOL +## + +Symbole innattendu. Avez-vous oublié un ';'? + +source_file: WITH +## +## Ends in an error in state: 0. +## +## source_file' -> . source_file [ # ] +## +## The known suffix of the stack is as follows: +## +## + + + +source_file: SYMBOL WITH +## +## Ends in an error in state: 1. +## +## comp_variable_name -> SYMBOL . COLON [ TABLE COMPUTED ] +## const_variable_name -> SYMBOL . COLON CONST [ EQUALS ] +## error_name -> SYMBOL . COLON [ INFORMATIVE DISCORDANCE ANOMALY ] +## fonction -> SYMBOL . COLON FONCTION SYMBOL SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## input_variable_name -> SYMBOL . COLON [ INPUT ] +## +## The known suffix of the stack is as follows: +## SYMBOL +## + + + +source_file: SYMBOL COLON WITH +## +## Ends in an error in state: 2. +## +## comp_variable_name -> SYMBOL COLON . [ TABLE COMPUTED ] +## const_variable_name -> SYMBOL COLON . CONST [ EQUALS ] +## error_name -> SYMBOL COLON . [ INFORMATIVE DISCORDANCE ANOMALY ] +## fonction -> SYMBOL COLON . FONCTION SYMBOL SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## input_variable_name -> SYMBOL COLON . [ INPUT ] +## +## The known suffix of the stack is as follows: +## SYMBOL COLON +## + + + +source_file: SYMBOL COLON FONCTION WITH +## +## Ends in an error in state: 3. +## +## fonction -> SYMBOL COLON FONCTION . SYMBOL SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## SYMBOL COLON FONCTION +## + + + +source_file: SYMBOL COLON FONCTION SYMBOL WITH +## +## Ends in an error in state: 4. +## +## fonction -> SYMBOL COLON FONCTION SYMBOL . SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## SYMBOL COLON FONCTION SYMBOL +## + + + +source_file: SYMBOL COLON FONCTION SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 8. +## +## list(with_pos(symbol_colon_etc)) -> symbol_colon_etc . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## symbol_colon_etc +## + + + +source_file: SYMBOL COLON INPUT WITH +## +## Ends in an error in state: 11. +## +## input_variable -> input_variable_name INPUT . list(input_attr_or_category) input_variable_alias COLON input_descr option(value_type) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## input_variable_name INPUT +## + + + +source_file: SYMBOL COLON INPUT SYMBOL WITH +## +## Ends in an error in state: 15. +## +## input_attr_or_category -> symbol_with_pos . [ SYMBOL GIVEN_BACK ALIAS ] +## variable_attribute -> symbol_with_pos . EQUALS variable_attribute_value [ SYMBOL GIVEN_BACK ALIAS ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos +## + + + +source_file: SYMBOL COLON INPUT ALIAS WITH +## +## Ends in an error in state: 20. +## +## input_variable_alias -> ALIAS . SYMBOL [ COLON ] +## +## The known suffix of the stack is as follows: +## ALIAS +## + + + +source_file: SYMBOL COLON INPUT ALIAS SYMBOL WITH +## +## Ends in an error in state: 22. +## +## input_variable -> input_variable_name INPUT list(input_attr_or_category) input_variable_alias . COLON input_descr option(value_type) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## input_variable_name INPUT list(input_attr_or_category) input_variable_alias +## + + + +source_file: SYMBOL COLON INPUT ALIAS SYMBOL COLON WITH +## +## Ends in an error in state: 23. +## +## input_variable -> input_variable_name INPUT list(input_attr_or_category) input_variable_alias COLON . input_descr option(value_type) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## input_variable_name INPUT list(input_attr_or_category) input_variable_alias COLON +## + + + +source_file: SYMBOL COLON INPUT ALIAS SYMBOL COLON STRING WITH +## +## Ends in an error in state: 25. +## +## input_variable -> input_variable_name INPUT list(input_attr_or_category) input_variable_alias COLON input_descr . option(value_type) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## input_variable_name INPUT list(input_attr_or_category) input_variable_alias COLON input_descr +## + + + +source_file: SYMBOL COLON COMPUTED COLON STRING TYPE WITH +## +## Ends in an error in state: 26. +## +## value_type -> TYPE . value_type_prim [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## TYPE +## + + + +source_file: SYMBOL COLON INPUT ALIAS SYMBOL COLON STRING TYPE BOOLEAN WITH +## +## Ends in an error in state: 35. +## +## input_variable -> input_variable_name INPUT list(input_attr_or_category) input_variable_alias COLON input_descr option(value_type) . SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## input_variable_name INPUT list(input_attr_or_category) input_variable_alias COLON input_descr option(value_type) +## + + + +source_file: SYMBOL COLON INPUT GIVEN_BACK WITH +## +## Ends in an error in state: 37. +## +## list(input_attr_or_category) -> input_attr_or_category . list(input_attr_or_category) [ ALIAS ] +## +## The known suffix of the stack is as follows: +## input_attr_or_category +## + + + +source_file: SYMBOL COLON ANOMALY WITH +## +## Ends in an error in state: 45. +## +## error_ -> error_name type_error . COLON error_descr COLON error_descr COLON error_descr COLON error_descr option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error +## + + + +source_file: SYMBOL COLON ANOMALY COLON WITH +## +## Ends in an error in state: 46. +## +## error_ -> error_name type_error COLON . error_descr COLON error_descr COLON error_descr COLON error_descr option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING WITH +## +## Ends in an error in state: 48. +## +## error_ -> error_name type_error COLON error_descr . COLON error_descr COLON error_descr COLON error_descr option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON error_descr +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING COLON WITH +## +## Ends in an error in state: 49. +## +## error_ -> error_name type_error COLON error_descr COLON . error_descr COLON error_descr COLON error_descr option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON error_descr COLON +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING COLON STRING WITH +## +## Ends in an error in state: 50. +## +## error_ -> error_name type_error COLON error_descr COLON error_descr . COLON error_descr COLON error_descr option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON error_descr COLON error_descr +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING COLON STRING COLON WITH +## +## Ends in an error in state: 51. +## +## error_ -> error_name type_error COLON error_descr COLON error_descr COLON . error_descr COLON error_descr option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON error_descr COLON error_descr COLON +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING COLON STRING COLON STRING WITH +## +## Ends in an error in state: 52. +## +## error_ -> error_name type_error COLON error_descr COLON error_descr COLON error_descr . COLON error_descr option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON error_descr COLON error_descr COLON error_descr +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING COLON STRING COLON STRING COLON WITH +## +## Ends in an error in state: 53. +## +## error_ -> error_name type_error COLON error_descr COLON error_descr COLON error_descr COLON . error_descr option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON error_descr COLON error_descr COLON error_descr COLON +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING COLON STRING COLON STRING COLON STRING WITH +## +## Ends in an error in state: 54. +## +## error_ -> error_name type_error COLON error_descr COLON error_descr COLON error_descr COLON error_descr . option(error_message) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON error_descr COLON error_descr COLON error_descr COLON error_descr +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING COLON STRING COLON STRING COLON STRING COLON WITH +## +## Ends in an error in state: 55. +## +## error_message -> COLON . error_descr [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## COLON +## + + + +source_file: SYMBOL COLON ANOMALY COLON STRING COLON STRING COLON STRING COLON STRING COLON STRING WITH +## +## Ends in an error in state: 57. +## +## error_ -> error_name type_error COLON error_descr COLON error_descr COLON error_descr COLON error_descr option(error_message) . SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## error_name type_error COLON error_descr COLON error_descr COLON error_descr COLON error_descr option(error_message) +## + + + +source_file: SYMBOL COLON CONST WITH +## +## Ends in an error in state: 61. +## +## const_variable -> const_variable_name . EQUALS const_value SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## const_variable_name +## + + + +source_file: SYMBOL COLON CONST EQUALS WITH +## +## Ends in an error in state: 62. +## +## const_variable -> const_variable_name EQUALS . const_value SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## const_variable_name EQUALS +## + + + +source_file: SYMBOL COLON CONST EQUALS SYMBOL WITH +## +## Ends in an error in state: 64. +## +## const_variable -> const_variable_name EQUALS const_value . SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## const_variable_name EQUALS const_value +## + + + +source_file: SYMBOL COLON TABLE WITH +## +## Ends in an error in state: 68. +## +## comp_variable_table -> TABLE . LBRACKET SYMBOL RBRACKET [ SEMICOLON COMPUTED COMMA ] +## +## The known suffix of the stack is as follows: +## TABLE +## + + + +source_file: SYMBOL COLON TABLE LBRACKET WITH +## +## Ends in an error in state: 69. +## +## comp_variable_table -> TABLE LBRACKET . SYMBOL RBRACKET [ SEMICOLON COMPUTED COMMA ] +## +## The known suffix of the stack is as follows: +## TABLE LBRACKET +## + + + +source_file: SYMBOL COLON TABLE LBRACKET SYMBOL WITH +## +## Ends in an error in state: 70. +## +## comp_variable_table -> TABLE LBRACKET SYMBOL . RBRACKET [ SEMICOLON COMPUTED COMMA ] +## +## The known suffix of the stack is as follows: +## TABLE LBRACKET SYMBOL +## + + + +source_file: SYMBOL COLON TABLE LBRACKET SYMBOL RBRACKET WITH +## +## Ends in an error in state: 72. +## +## comp_variable -> comp_variable_name option(with_pos(comp_variable_table)) . COMPUTED list(comp_attr_or_subtyp) COLON comp_variable_descr option(value_type) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## comp_variable_name option(with_pos(comp_variable_table)) +## + + + +source_file: SYMBOL COLON COMPUTED WITH +## +## Ends in an error in state: 73. +## +## comp_variable -> comp_variable_name option(with_pos(comp_variable_table)) COMPUTED . list(comp_attr_or_subtyp) COLON comp_variable_descr option(value_type) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## comp_variable_name option(with_pos(comp_variable_table)) COMPUTED +## + + + +source_file: SYMBOL COLON COMPUTED COLON WITH +## +## Ends in an error in state: 79. +## +## comp_variable -> comp_variable_name option(with_pos(comp_variable_table)) COMPUTED list(comp_attr_or_subtyp) COLON . comp_variable_descr option(value_type) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## comp_variable_name option(with_pos(comp_variable_table)) COMPUTED list(comp_attr_or_subtyp) COLON +## + + + +source_file: SYMBOL COLON COMPUTED COLON STRING WITH +## +## Ends in an error in state: 81. +## +## comp_variable -> comp_variable_name option(with_pos(comp_variable_table)) COMPUTED list(comp_attr_or_subtyp) COLON comp_variable_descr . option(value_type) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## comp_variable_name option(with_pos(comp_variable_table)) COMPUTED list(comp_attr_or_subtyp) COLON comp_variable_descr +## + + + +source_file: SYMBOL COLON COMPUTED COLON STRING TYPE BOOLEAN WITH +## +## Ends in an error in state: 82. +## +## comp_variable -> comp_variable_name option(with_pos(comp_variable_table)) COMPUTED list(comp_attr_or_subtyp) COLON comp_variable_descr option(value_type) . SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## comp_variable_name option(with_pos(comp_variable_table)) COMPUTED list(comp_attr_or_subtyp) COLON comp_variable_descr option(value_type) +## + + + +source_file: VERIFICATION WITH +## +## Ends in an error in state: 92. +## +## verification -> VERIFICATION . symbol_list_with_pos COLON APPLICATION COLON symbol_enumeration SEMICOLON nonempty_list(with_pos(verification_condition)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFICATION +## + + + +source_file: RULE SYMBOL WITH +## +## Ends in an error in state: 93. +## +## nonempty_list(symbol_with_pos) -> symbol_with_pos . [ SEMICOLON RPAREN COMMA COLON ] +## nonempty_list(symbol_with_pos) -> symbol_with_pos . nonempty_list(symbol_with_pos) [ SEMICOLON RPAREN COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos +## + + + +source_file: VERIFICATION SYMBOL SEMICOLON +## +## Ends in an error in state: 95. +## +## verification -> VERIFICATION symbol_list_with_pos . COLON APPLICATION COLON symbol_enumeration SEMICOLON nonempty_list(with_pos(verification_condition)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFICATION symbol_list_with_pos +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 93, spurious reduction of production nonempty_list(symbol_with_pos) -> symbol_with_pos +## In state 338, spurious reduction of production symbol_list_with_pos -> nonempty_list(symbol_with_pos) +## + + + +source_file: VERIFICATION SYMBOL COLON WITH +## +## Ends in an error in state: 96. +## +## verification -> VERIFICATION symbol_list_with_pos COLON . APPLICATION COLON symbol_enumeration SEMICOLON nonempty_list(with_pos(verification_condition)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFICATION symbol_list_with_pos COLON +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION WITH +## +## Ends in an error in state: 97. +## +## verification -> VERIFICATION symbol_list_with_pos COLON APPLICATION . COLON symbol_enumeration SEMICOLON nonempty_list(with_pos(verification_condition)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFICATION symbol_list_with_pos COLON APPLICATION +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON WITH +## +## Ends in an error in state: 98. +## +## verification -> VERIFICATION symbol_list_with_pos COLON APPLICATION COLON . symbol_enumeration SEMICOLON nonempty_list(with_pos(verification_condition)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFICATION symbol_list_with_pos COLON APPLICATION COLON +## + + + +source_file: CHAINING SYMBOL APPLICATION COLON SYMBOL WITH +## +## Ends in an error in state: 99. +## +## separated_nonempty_list(COMMA,symbol_with_pos) -> symbol_with_pos . [ SEMICOLON ] +## separated_nonempty_list(COMMA,symbol_with_pos) -> symbol_with_pos . COMMA separated_nonempty_list(COMMA,symbol_with_pos) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos +## + + + +source_file: CHAINING SYMBOL APPLICATION COLON SYMBOL COMMA WITH +## +## Ends in an error in state: 100. +## +## separated_nonempty_list(COMMA,symbol_with_pos) -> symbol_with_pos COMMA . separated_nonempty_list(COMMA,symbol_with_pos) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos COMMA +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 103. +## +## verification -> VERIFICATION symbol_list_with_pos COLON APPLICATION COLON symbol_enumeration SEMICOLON . nonempty_list(with_pos(verification_condition)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFICATION symbol_list_with_pos COLON APPLICATION COLON symbol_enumeration SEMICOLON +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF WITH +## +## Ends in an error in state: 104. +## +## verification_condition -> IF . expression THEN ERROR symbol_with_pos option(with_pos(variable_name)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT IF FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF TYPE WITH +## +## Ends in an error in state: 107. +## +## function_call -> TYPE . LPAREN var_access COMMA value_type_prim RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## TYPE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF TYPE LPAREN WITH +## +## Ends in an error in state: 108. +## +## function_call -> TYPE LPAREN . var_access COMMA value_type_prim RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## TYPE LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT_FIELD WITH +## +## Ends in an error in state: 109. +## +## var_access -> EVENT_FIELD . LPAREN expression COMMA symbol_with_pos RPAREN [ SEMICOLON RPAREN COMMA COLON ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT_FIELD LPAREN WITH +## +## Ends in an error in state: 110. +## +## var_access -> EVENT_FIELD LPAREN . expression COMMA symbol_with_pos RPAREN [ SEMICOLON RPAREN COMMA COLON ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SIZE WITH +## +## Ends in an error in state: 112. +## +## function_call -> SIZE . LPAREN var_access RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SIZE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SIZE LPAREN WITH +## +## Ends in an error in state: 113. +## +## function_call -> SIZE LPAREN . var_access RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SIZE LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SIZE LPAREN SYMBOL SEMICOLON +## +## Ends in an error in state: 114. +## +## function_call -> SIZE LPAREN var_access . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SIZE LPAREN var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL WITH +## +## Ends in an error in state: 116. +## +## var_access -> symbol_with_pos . DOT symbol_with_pos option(with_pos(brackets)) [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## var_access -> symbol_with_pos . option(with_pos(brackets)) [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## var_access -> symbol_with_pos . DOT EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL LBRACKET WITH +## +## Ends in an error in state: 117. +## +## brackets -> LBRACKET . expression RBRACKET [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## LBRACKET +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SAME_VARIABLE WITH +## +## Ends in an error in state: 118. +## +## function_call -> SAME_VARIABLE . LPAREN var_access COMMA var_access RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SAME_VARIABLE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SAME_VARIABLE LPAREN WITH +## +## Ends in an error in state: 119. +## +## function_call -> SAME_VARIABLE LPAREN . var_access COMMA var_access RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SAME_VARIABLE LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SAME_VARIABLE LPAREN SYMBOL SEMICOLON +## +## Ends in an error in state: 120. +## +## function_call -> SAME_VARIABLE LPAREN var_access . COMMA var_access RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SAME_VARIABLE LPAREN var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SAME_VARIABLE LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 121. +## +## function_call -> SAME_VARIABLE LPAREN var_access COMMA . var_access RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SAME_VARIABLE LPAREN var_access COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SAME_VARIABLE LPAREN SYMBOL COMMA SYMBOL SEMICOLON +## +## Ends in an error in state: 122. +## +## function_call -> SAME_VARIABLE LPAREN var_access COMMA var_access . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SAME_VARIABLE LPAREN var_access COMMA var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NOT WITH +## +## Ends in an error in state: 124. +## +## expression -> NOT . expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NOT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_INFORMATIVES WITH +## +## Ends in an error in state: 125. +## +## function_call -> NB_INFORMATIVES . LPAREN RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_INFORMATIVES +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_INFORMATIVES LPAREN WITH +## +## Ends in an error in state: 126. +## +## function_call -> NB_INFORMATIVES LPAREN . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_INFORMATIVES LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_DISCORDANCES WITH +## +## Ends in an error in state: 128. +## +## function_call -> NB_DISCORDANCES . LPAREN RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_DISCORDANCES +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_DISCORDANCES LPAREN WITH +## +## Ends in an error in state: 129. +## +## function_call -> NB_DISCORDANCES LPAREN . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_DISCORDANCES LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_CATEGORY WITH +## +## Ends in an error in state: 131. +## +## function_call -> NB_CATEGORY . LPAREN var_category_id RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_CATEGORY +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_CATEGORY LPAREN WITH +## +## Ends in an error in state: 132. +## +## function_call -> NB_CATEGORY LPAREN . var_category_id RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_CATEGORY LPAREN +## + + + +source_file: DOMAIN VERIFICATION AUTHORIZE INPUT WITH +## +## Ends in an error in state: 134. +## +## var_category_id -> INPUT . TIMES [ SEMICOLON RPAREN COMMA COLON ] +## var_category_id -> INPUT . nonempty_list(symbol_with_pos) [ SEMICOLON RPAREN COMMA COLON ] +## +## The known suffix of the stack is as follows: +## INPUT +## + + + +source_file: DOMAIN VERIFICATION AUTHORIZE COMPUTED WITH +## +## Ends in an error in state: 137. +## +## var_category_id -> COMPUTED . TIMES [ SEMICOLON RPAREN COMMA COLON ] +## var_category_id -> COMPUTED . BASE [ SEMICOLON RPAREN COMMA COLON ] +## var_category_id -> COMPUTED . [ SEMICOLON RPAREN COMMA COLON ] +## +## The known suffix of the stack is as follows: +## COMPUTED +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_CATEGORY LPAREN TIMES WITH +## +## Ends in an error in state: 140. +## +## function_call -> NB_CATEGORY LPAREN var_category_id . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_CATEGORY LPAREN var_category_id +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_BLOCKING WITH +## +## Ends in an error in state: 142. +## +## function_call -> NB_BLOCKING . LPAREN RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_BLOCKING +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_BLOCKING LPAREN WITH +## +## Ends in an error in state: 143. +## +## function_call -> NB_BLOCKING LPAREN . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_BLOCKING LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_ANOMALIES WITH +## +## Ends in an error in state: 145. +## +## function_call -> NB_ANOMALIES . LPAREN RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_ANOMALIES +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF NB_ANOMALIES LPAREN WITH +## +## Ends in an error in state: 146. +## +## function_call -> NB_ANOMALIES LPAREN . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## NB_ANOMALIES LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF MINUS WITH +## +## Ends in an error in state: 148. +## +## factor -> MINUS . factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## MINUS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF LPAREN WITH +## +## Ends in an error in state: 149. +## +## factor -> LPAREN . expression RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IN_DOMAIN WITH +## +## Ends in an error in state: 150. +## +## function_call -> IN_DOMAIN . LPAREN var_access COMMA var_category_id RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IN_DOMAIN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IN_DOMAIN LPAREN WITH +## +## Ends in an error in state: 151. +## +## function_call -> IN_DOMAIN LPAREN . var_access COMMA var_category_id RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IN_DOMAIN LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IN_DOMAIN LPAREN SYMBOL SEMICOLON +## +## Ends in an error in state: 152. +## +## function_call -> IN_DOMAIN LPAREN var_access . COMMA var_category_id RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IN_DOMAIN LPAREN var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IN_DOMAIN LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 153. +## +## function_call -> IN_DOMAIN LPAREN var_access COMMA . var_category_id RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IN_DOMAIN LPAREN var_access COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IN_DOMAIN LPAREN SYMBOL COMMA TIMES WITH +## +## Ends in an error in state: 154. +## +## function_call -> IN_DOMAIN LPAREN var_access COMMA var_category_id . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IN_DOMAIN LPAREN var_access COMMA var_category_id +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IF WITH +## +## Ends in an error in state: 156. +## +## ternary_operator -> IF . expression THEN expression option(else_branch) ENDIF [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IF +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF FOR WITH +## +## Ends in an error in state: 157. +## +## expression -> FOR . loop_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## FOR +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR ONE WITH +## +## Ends in an error in state: 159. +## +## loop_variables_range -> ONE . loop_variable_value_name IN enumeration_loop [ COLON AND ] +## +## The known suffix of the stack is as follows: +## ONE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR ONE SYMBOL WITH +## +## Ends in an error in state: 160. +## +## loop_variables_range -> ONE loop_variable_value_name . IN enumeration_loop [ COLON AND ] +## +## The known suffix of the stack is as follows: +## ONE loop_variable_value_name +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR ONE SYMBOL IN WITH +## +## Ends in an error in state: 161. +## +## loop_variables_range -> ONE loop_variable_value_name IN . enumeration_loop [ COLON AND ] +## +## The known suffix of the stack is as follows: +## ONE loop_variable_value_name IN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL EQUALS SYMBOL WITH +## +## Ends in an error in state: 162. +## +## enumeration_loop_item -> SYMBOL . [ SEMICOLON COMMA COLON AND ] +## interval_loop -> SYMBOL . range_or_minus SYMBOL [ SEMICOLON COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SYMBOL +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL EQUALS SYMBOL MINUS WITH +## +## Ends in an error in state: 165. +## +## interval_loop -> SYMBOL range_or_minus . SYMBOL [ SEMICOLON COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## SYMBOL range_or_minus +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL EQUALS SYMBOL MINUS SYMBOL WITH +## +## Ends in an error in state: 168. +## +## enumeration_loop -> enumeration_loop_item . [ SEMICOLON COLON AND ] +## enumeration_loop -> enumeration_loop_item . COMMA enumeration_loop [ SEMICOLON COLON AND ] +## +## The known suffix of the stack is as follows: +## enumeration_loop_item +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL EQUALS SYMBOL COMMA WITH +## +## Ends in an error in state: 169. +## +## enumeration_loop -> enumeration_loop_item COMMA . enumeration_loop [ SEMICOLON COLON AND ] +## +## The known suffix of the stack is as follows: +## enumeration_loop_item COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL EQUALS SYMBOL AND +## +## Ends in an error in state: 174. +## +## separated_nonempty_list(SEMICOLON,loop_variables_value) -> loop_variables_value . [ COLON ] +## separated_nonempty_list(SEMICOLON,loop_variables_value) -> loop_variables_value . SEMICOLON separated_nonempty_list(SEMICOLON,loop_variables_value) [ COLON ] +## +## The known suffix of the stack is as follows: +## loop_variables_value +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 162, spurious reduction of production enumeration_loop_item -> SYMBOL +## In state 168, spurious reduction of production enumeration_loop -> enumeration_loop_item +## In state 179, spurious reduction of production loop_variables_value -> loop_variable_value_name EQUALS enumeration_loop +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL EQUALS SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 175. +## +## separated_nonempty_list(SEMICOLON,loop_variables_value) -> loop_variables_value SEMICOLON . separated_nonempty_list(SEMICOLON,loop_variables_value) [ COLON ] +## +## The known suffix of the stack is as follows: +## loop_variables_value SEMICOLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL WITH +## +## Ends in an error in state: 177. +## +## loop_variables_value -> loop_variable_value_name . EQUALS enumeration_loop [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## loop_variable_value_name +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL EQUALS WITH +## +## Ends in an error in state: 178. +## +## loop_variables_value -> loop_variable_value_name EQUALS . enumeration_loop [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## loop_variable_value_name EQUALS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR ONE SYMBOL IN SYMBOL SEMICOLON +## +## Ends in an error in state: 181. +## +## loop_variables_ranges -> loop_variables_range . [ COLON ] +## loop_variables_ranges -> loop_variables_range . AND loop_variables_ranges [ COLON ] +## +## The known suffix of the stack is as follows: +## loop_variables_range +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 162, spurious reduction of production enumeration_loop_item -> SYMBOL +## In state 168, spurious reduction of production enumeration_loop -> enumeration_loop_item +## In state 171, spurious reduction of production loop_variables_range -> ONE loop_variable_value_name IN enumeration_loop +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR ONE SYMBOL IN SYMBOL AND WITH +## +## Ends in an error in state: 182. +## +## loop_variables_ranges -> loop_variables_range AND . loop_variables_ranges [ COLON ] +## +## The known suffix of the stack is as follows: +## loop_variables_range AND +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF FOR SYMBOL EQUALS SYMBOL COLON WITH +## +## Ends in an error in state: 185. +## +## loop_expression -> loop_variables COLON . expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## loop_variables COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF EVENT_FIELD WITH +## +## Ends in an error in state: 186. +## +## factor -> EVENT_FIELD . LPAREN expression COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF EVENT_FIELD LPAREN WITH +## +## Ends in an error in state: 187. +## +## factor -> EVENT_FIELD LPAREN . expression COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF ATTRIBUT WITH +## +## Ends in an error in state: 189. +## +## function_call -> ATTRIBUT . LPAREN var_access COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## ATTRIBUT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF ATTRIBUT LPAREN WITH +## +## Ends in an error in state: 190. +## +## function_call -> ATTRIBUT LPAREN . var_access COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## ATTRIBUT LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF ATTRIBUT LPAREN SYMBOL SEMICOLON +## +## Ends in an error in state: 191. +## +## function_call -> ATTRIBUT LPAREN var_access . COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## ATTRIBUT LPAREN var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF ATTRIBUT LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 192. +## +## function_call -> ATTRIBUT LPAREN var_access COMMA . symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## ATTRIBUT LPAREN var_access COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF ATTRIBUT LPAREN SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 193. +## +## function_call -> ATTRIBUT LPAREN var_access COMMA symbol_with_pos . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## ATTRIBUT LPAREN var_access COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL LBRACKET WITH +## +## Ends in an error in state: 197. +## +## factor -> symbol_with_pos LBRACKET . sum_expression RBRACKET [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos LBRACKET +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL LBRACKET SYMBOL THEN +## +## Ends in an error in state: 198. +## +## factor -> symbol_with_pos LBRACKET sum_expression . RBRACKET [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## sum_expression -> sum_expression . PLUS product_expression [ RBRACKET PLUS MINUS ] +## sum_expression -> sum_expression . MINUS product_expression [ RBRACKET PLUS MINUS ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos LBRACKET sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL PLUS WITH +## +## Ends in an error in state: 200. +## +## sum_expression -> sum_expression PLUS . product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression PLUS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL PLUS UNDEFINED WITH +## +## Ends in an error in state: 201. +## +## product_expression -> product_expression . TIMES factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## product_expression -> product_expression . DIV factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## product_expression -> product_expression . MOD factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## sum_expression -> sum_expression PLUS product_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression PLUS product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL TIMES WITH +## +## Ends in an error in state: 202. +## +## product_expression -> product_expression TIMES . factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## product_expression TIMES +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF COMPL_NUMBER WITH +## +## Ends in an error in state: 203. +## +## function_call -> function_name . LPAREN RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## function_call -> function_name . LPAREN function_call_args RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## function_name +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF COMPL_NUMBER LPAREN WITH +## +## Ends in an error in state: 204. +## +## function_call -> function_name LPAREN . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## function_call -> function_name LPAREN . function_call_args RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## function_name LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF COMPL_NUMBER LPAREN SYMBOL WITH +## +## Ends in an error in state: 205. +## +## factor -> SYMBOL . [ TIMES RPAREN PLUS MOD MINUS DIV COMMA ] +## function_name -> SYMBOL . [ LPAREN ] +## loop_variable_value_name -> SYMBOL . [ EQUALS ] +## symbol_with_pos -> SYMBOL . [ LBRACKET DOT ] +## +## The known suffix of the stack is as follows: +## SYMBOL +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF COMPL_NUMBER LPAREN UNDEFINED THEN +## +## Ends in an error in state: 207. +## +## function_arguments -> sum_expression . [ RPAREN ] +## function_arguments -> sum_expression . COMMA function_arguments [ RPAREN ] +## sum_expression -> sum_expression . PLUS product_expression [ RPAREN PLUS MINUS COMMA ] +## sum_expression -> sum_expression . MINUS product_expression [ RPAREN PLUS MINUS COMMA ] +## +## The known suffix of the stack is as follows: +## sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL MINUS WITH +## +## Ends in an error in state: 208. +## +## sum_expression -> sum_expression MINUS . product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression MINUS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL MINUS UNDEFINED WITH +## +## Ends in an error in state: 209. +## +## product_expression -> product_expression . TIMES factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## product_expression -> product_expression . DIV factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## product_expression -> product_expression . MOD factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## sum_expression -> sum_expression MINUS product_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression MINUS product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL MOD WITH +## +## Ends in an error in state: 210. +## +## product_expression -> product_expression MOD . factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## product_expression MOD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DIV WITH +## +## Ends in an error in state: 213. +## +## product_expression -> product_expression DIV . factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## product_expression DIV +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF COMPL_NUMBER LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 216. +## +## function_arguments -> sum_expression COMMA . function_arguments [ RPAREN ] +## +## The known suffix of the stack is as follows: +## sum_expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF UNDEFINED WITH +## +## Ends in an error in state: 217. +## +## product_expression -> product_expression . TIMES factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## product_expression -> product_expression . DIV factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## product_expression -> product_expression . MOD factor [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## sum_expression -> product_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF COMPL_NUMBER LPAREN SYMBOL EQUALS SYMBOL COLON SYMBOL THEN +## +## Ends in an error in state: 220. +## +## function_call -> function_name LPAREN function_call_args . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## function_name LPAREN function_call_args +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## In state 292, spurious reduction of production loop_expression -> loop_variables COLON expression +## In state 219, spurious reduction of production function_call_args -> loop_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT WITH +## +## Ends in an error in state: 224. +## +## factor -> symbol_with_pos DOT . EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## factor -> symbol_with_pos DOT . symbol_with_pos LBRACKET sum_expression RBRACKET [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## factor -> symbol_with_pos DOT . symbol_with_pos [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT EVENT_FIELD WITH +## +## Ends in an error in state: 225. +## +## factor -> symbol_with_pos DOT EVENT_FIELD . LPAREN expression COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT EVENT_FIELD LPAREN WITH +## +## Ends in an error in state: 226. +## +## factor -> symbol_with_pos DOT EVENT_FIELD LPAREN . expression COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL NOT WITH +## +## Ends in an error in state: 228. +## +## expression -> sum_expression NOT . IN LPAREN enumeration RPAREN [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression NOT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL NOT IN WITH +## +## Ends in an error in state: 229. +## +## expression -> sum_expression NOT IN . LPAREN enumeration RPAREN [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression NOT IN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL NOT IN LPAREN WITH +## +## Ends in an error in state: 230. +## +## expression -> sum_expression NOT IN LPAREN . enumeration RPAREN [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression NOT IN LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL WITH +## +## Ends in an error in state: 231. +## +## enumeration_item -> SYMBOL . [ RPAREN COMMA ] +## interval -> SYMBOL . RANGE SYMBOL [ RPAREN COMMA ] +## symbol_with_pos -> SYMBOL . [ LBRACKET DOT ] +## +## The known suffix of the stack is as follows: +## SYMBOL +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL RANGE WITH +## +## Ends in an error in state: 232. +## +## interval -> SYMBOL RANGE . SYMBOL [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## SYMBOL RANGE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN EVENT_FIELD WITH +## +## Ends in an error in state: 234. +## +## enumeration_item -> EVENT_FIELD . LPAREN expression COMMA symbol_with_pos RPAREN [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN EVENT_FIELD LPAREN WITH +## +## Ends in an error in state: 235. +## +## enumeration_item -> EVENT_FIELD LPAREN . expression COMMA symbol_with_pos RPAREN [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN EVENT_FIELD LPAREN SYMBOL THEN +## +## Ends in an error in state: 236. +## +## enumeration_item -> EVENT_FIELD LPAREN expression . COMMA symbol_with_pos RPAREN [ RPAREN COMMA ] +## expression -> expression . AND expression [ OR COMMA AND ] +## expression -> expression . OR expression [ OR COMMA AND ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL OR WITH +## +## Ends in an error in state: 237. +## +## expression -> expression OR . expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## expression OR +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL OR SYMBOL IN LPAREN SYMBOL RPAREN WITH +## +## Ends in an error in state: 238. +## +## expression -> expression . AND expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## expression -> expression . OR expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## expression -> expression OR expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## expression OR expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL AND WITH +## +## Ends in an error in state: 239. +## +## expression -> expression AND . expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## expression AND +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN EVENT_FIELD LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 241. +## +## enumeration_item -> EVENT_FIELD LPAREN expression COMMA . symbol_with_pos RPAREN [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 242. +## +## enumeration_item -> EVENT_FIELD LPAREN expression COMMA symbol_with_pos . RPAREN [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL LBRACKET WITH +## +## Ends in an error in state: 245. +## +## enumeration_item -> symbol_with_pos LBRACKET . expression RBRACKET [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos LBRACKET +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL LBRACKET SYMBOL THEN +## +## Ends in an error in state: 246. +## +## enumeration_item -> symbol_with_pos LBRACKET expression . RBRACKET [ RPAREN COMMA ] +## expression -> expression . AND expression [ RBRACKET OR AND ] +## expression -> expression . OR expression [ RBRACKET OR AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos LBRACKET expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL DOT WITH +## +## Ends in an error in state: 248. +## +## enumeration_item -> symbol_with_pos DOT . EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN [ RPAREN COMMA ] +## enumeration_item -> symbol_with_pos DOT . symbol_with_pos option(with_pos(brackets)) [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL DOT EVENT_FIELD WITH +## +## Ends in an error in state: 249. +## +## enumeration_item -> symbol_with_pos DOT EVENT_FIELD . LPAREN expression COMMA symbol_with_pos RPAREN [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL DOT EVENT_FIELD LPAREN WITH +## +## Ends in an error in state: 250. +## +## enumeration_item -> symbol_with_pos DOT EVENT_FIELD LPAREN . expression COMMA symbol_with_pos RPAREN [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL DOT EVENT_FIELD LPAREN SYMBOL THEN +## +## Ends in an error in state: 251. +## +## enumeration_item -> symbol_with_pos DOT EVENT_FIELD LPAREN expression . COMMA symbol_with_pos RPAREN [ RPAREN COMMA ] +## expression -> expression . AND expression [ OR COMMA AND ] +## expression -> expression . OR expression [ OR COMMA AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL DOT EVENT_FIELD LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 252. +## +## enumeration_item -> symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA . symbol_with_pos RPAREN [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL DOT EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 253. +## +## enumeration_item -> symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA symbol_with_pos . RPAREN [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL DOT SYMBOL WITH +## +## Ends in an error in state: 255. +## +## enumeration_item -> symbol_with_pos DOT symbol_with_pos . option(with_pos(brackets)) [ RPAREN COMMA ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL RANGE SYMBOL WITH +## +## Ends in an error in state: 259. +## +## enumeration -> enumeration_item . [ RPAREN ] +## enumeration -> enumeration_item . COMMA enumeration [ RPAREN ] +## +## The known suffix of the stack is as follows: +## enumeration_item +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 260. +## +## enumeration -> enumeration_item COMMA . enumeration [ RPAREN ] +## +## The known suffix of the stack is as follows: +## enumeration_item COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL NEQ WITH +## +## Ends in an error in state: 264. +## +## expression -> sum_expression NEQ . sum_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression NEQ +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL NEQ SYMBOL NOT +## +## Ends in an error in state: 265. +## +## expression -> sum_expression NEQ sum_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . PLUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . MINUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression NEQ sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL LTE WITH +## +## Ends in an error in state: 266. +## +## expression -> sum_expression LTE . sum_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression LTE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL LTE SYMBOL NOT +## +## Ends in an error in state: 267. +## +## expression -> sum_expression LTE sum_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . PLUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . MINUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression LTE sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL LT WITH +## +## Ends in an error in state: 268. +## +## expression -> sum_expression LT . sum_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression LT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL LT SYMBOL NOT +## +## Ends in an error in state: 269. +## +## expression -> sum_expression LT sum_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . PLUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . MINUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression LT sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN WITH +## +## Ends in an error in state: 270. +## +## expression -> sum_expression IN . LPAREN enumeration RPAREN [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression IN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL IN LPAREN WITH +## +## Ends in an error in state: 271. +## +## expression -> sum_expression IN LPAREN . enumeration RPAREN [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression IN LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL GTE WITH +## +## Ends in an error in state: 274. +## +## expression -> sum_expression GTE . sum_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression GTE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL GTE SYMBOL NOT +## +## Ends in an error in state: 275. +## +## expression -> sum_expression GTE sum_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . PLUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . MINUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression GTE sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL GT WITH +## +## Ends in an error in state: 276. +## +## expression -> sum_expression GT . sum_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression GT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL GT SYMBOL NOT +## +## Ends in an error in state: 277. +## +## expression -> sum_expression GT sum_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . PLUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . MINUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression GT sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL EQUALS WITH +## +## Ends in an error in state: 278. +## +## expression -> sum_expression EQUALS . sum_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression EQUALS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL EQUALS SYMBOL NOT +## +## Ends in an error in state: 279. +## +## expression -> sum_expression EQUALS sum_expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . PLUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## sum_expression -> sum_expression . MINUS product_expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR MINUS ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## sum_expression EQUALS sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT EVENT_FIELD LPAREN SYMBOL THEN +## +## Ends in an error in state: 280. +## +## expression -> expression . AND expression [ OR COMMA AND ] +## expression -> expression . OR expression [ OR COMMA AND ] +## factor -> symbol_with_pos DOT EVENT_FIELD LPAREN expression . COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT EVENT_FIELD LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 281. +## +## factor -> symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA . symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 282. +## +## factor -> symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA symbol_with_pos . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT SYMBOL WITH +## +## Ends in an error in state: 284. +## +## factor -> symbol_with_pos DOT symbol_with_pos . LBRACKET sum_expression RBRACKET [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## factor -> symbol_with_pos DOT symbol_with_pos . [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT SYMBOL LBRACKET WITH +## +## Ends in an error in state: 285. +## +## factor -> symbol_with_pos DOT symbol_with_pos LBRACKET . sum_expression RBRACKET [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT symbol_with_pos LBRACKET +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL DOT SYMBOL LBRACKET SYMBOL THEN +## +## Ends in an error in state: 286. +## +## factor -> symbol_with_pos DOT symbol_with_pos LBRACKET sum_expression . RBRACKET [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## sum_expression -> sum_expression . PLUS product_expression [ RBRACKET PLUS MINUS ] +## sum_expression -> sum_expression . MINUS product_expression [ RBRACKET PLUS MINUS ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT symbol_with_pos LBRACKET sum_expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF EVENT_FIELD LPAREN SYMBOL THEN +## +## Ends in an error in state: 288. +## +## expression -> expression . AND expression [ OR COMMA AND ] +## expression -> expression . OR expression [ OR COMMA AND ] +## factor -> EVENT_FIELD LPAREN expression . COMMA symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF EVENT_FIELD LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 289. +## +## factor -> EVENT_FIELD LPAREN expression COMMA . symbol_with_pos RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 290. +## +## factor -> EVENT_FIELD LPAREN expression COMMA symbol_with_pos . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF FOR SYMBOL EQUALS SYMBOL COLON SYMBOL IN LPAREN SYMBOL RPAREN WITH +## +## Ends in an error in state: 292. +## +## expression -> expression . AND expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## expression -> expression . OR expression [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## loop_expression -> loop_variables COLON expression . [ THEN STEP SEMICOLON RPAREN RBRACKET RANGE OR ENDIF ELSE DO COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## loop_variables COLON expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IF SYMBOL STEP +## +## Ends in an error in state: 294. +## +## expression -> expression . AND expression [ THEN OR AND ] +## expression -> expression . OR expression [ THEN OR AND ] +## ternary_operator -> IF expression . THEN expression option(else_branch) ENDIF [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IF expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IF SYMBOL THEN WITH +## +## Ends in an error in state: 295. +## +## ternary_operator -> IF expression THEN . expression option(else_branch) ENDIF [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IF expression THEN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IF SYMBOL THEN SYMBOL THEN +## +## Ends in an error in state: 296. +## +## expression -> expression . AND expression [ OR ENDIF ELSE AND ] +## expression -> expression . OR expression [ OR ENDIF ELSE AND ] +## ternary_operator -> IF expression THEN expression . option(else_branch) ENDIF [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## IF expression THEN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IF SYMBOL THEN SYMBOL ELSE WITH +## +## Ends in an error in state: 297. +## +## else_branch -> ELSE . expression [ ENDIF ] +## +## The known suffix of the stack is as follows: +## ELSE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF IF SYMBOL THEN SYMBOL ELSE SYMBOL THEN +## +## Ends in an error in state: 298. +## +## else_branch -> ELSE expression . [ ENDIF ] +## expression -> expression . AND expression [ OR ENDIF AND ] +## expression -> expression . OR expression [ OR ENDIF AND ] +## +## The known suffix of the stack is as follows: +## ELSE expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF LPAREN SYMBOL THEN +## +## Ends in an error in state: 302. +## +## expression -> expression . AND expression [ RPAREN OR AND ] +## expression -> expression . OR expression [ RPAREN OR AND ] +## factor -> LPAREN expression . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL LBRACKET SYMBOL THEN +## +## Ends in an error in state: 306. +## +## brackets -> LBRACKET expression . RBRACKET [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## expression -> expression . AND expression [ RBRACKET OR AND ] +## expression -> expression . OR expression [ RBRACKET OR AND ] +## +## The known suffix of the stack is as follows: +## LBRACKET expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL DOT WITH +## +## Ends in an error in state: 308. +## +## var_access -> symbol_with_pos DOT . symbol_with_pos option(with_pos(brackets)) [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## var_access -> symbol_with_pos DOT . EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL DOT EVENT_FIELD WITH +## +## Ends in an error in state: 309. +## +## var_access -> symbol_with_pos DOT EVENT_FIELD . LPAREN expression COMMA symbol_with_pos RPAREN [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL DOT EVENT_FIELD LPAREN WITH +## +## Ends in an error in state: 310. +## +## var_access -> symbol_with_pos DOT EVENT_FIELD LPAREN . expression COMMA symbol_with_pos RPAREN [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL DOT EVENT_FIELD LPAREN SYMBOL THEN +## +## Ends in an error in state: 311. +## +## expression -> expression . AND expression [ OR COMMA AND ] +## expression -> expression . OR expression [ OR COMMA AND ] +## var_access -> symbol_with_pos DOT EVENT_FIELD LPAREN expression . COMMA symbol_with_pos RPAREN [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL DOT EVENT_FIELD LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 312. +## +## var_access -> symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA . symbol_with_pos RPAREN [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL DOT EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 313. +## +## var_access -> symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA symbol_with_pos . RPAREN [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT EVENT_FIELD LPAREN expression COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL DOT SYMBOL WITH +## +## Ends in an error in state: 315. +## +## var_access -> symbol_with_pos DOT symbol_with_pos . option(with_pos(brackets)) [ SEMICOLON RPAREN EQUALS COMMA COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos DOT symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT_FIELD LPAREN SYMBOL THEN +## +## Ends in an error in state: 318. +## +## expression -> expression . AND expression [ OR COMMA AND ] +## expression -> expression . OR expression [ OR COMMA AND ] +## var_access -> EVENT_FIELD LPAREN expression . COMMA symbol_with_pos RPAREN [ SEMICOLON RPAREN COMMA COLON ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT_FIELD LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 319. +## +## var_access -> EVENT_FIELD LPAREN expression COMMA . symbol_with_pos RPAREN [ SEMICOLON RPAREN COMMA COLON ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 320. +## +## var_access -> EVENT_FIELD LPAREN expression COMMA symbol_with_pos . RPAREN [ SEMICOLON RPAREN COMMA COLON ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF TYPE LPAREN SYMBOL SEMICOLON +## +## Ends in an error in state: 322. +## +## function_call -> TYPE LPAREN var_access . COMMA value_type_prim RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## TYPE LPAREN var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF TYPE LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 323. +## +## function_call -> TYPE LPAREN var_access COMMA . value_type_prim RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## TYPE LPAREN var_access COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF TYPE LPAREN SYMBOL COMMA BOOLEAN WITH +## +## Ends in an error in state: 324. +## +## function_call -> TYPE LPAREN var_access COMMA value_type_prim . RPAREN [ TIMES THEN STEP SEMICOLON RPAREN RBRACKET RANGE PLUS OR NOT NEQ MOD MINUS LTE LT IN GTE GT EQUALS ENDIF ELSE DO DIV COMMA COLON AND ] +## +## The known suffix of the stack is as follows: +## TYPE LPAREN var_access COMMA value_type_prim +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL STEP +## +## Ends in an error in state: 326. +## +## expression -> expression . AND expression [ THEN OR AND ] +## expression -> expression . OR expression [ THEN OR AND ] +## verification_condition -> IF expression . THEN ERROR symbol_with_pos option(with_pos(variable_name)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT IF FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN WITH +## +## Ends in an error in state: 327. +## +## verification_condition -> IF expression THEN . ERROR symbol_with_pos option(with_pos(variable_name)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT IF FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF expression THEN +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN ERROR WITH +## +## Ends in an error in state: 328. +## +## verification_condition -> IF expression THEN ERROR . symbol_with_pos option(with_pos(variable_name)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT IF FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF expression THEN ERROR +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN ERROR SYMBOL WITH +## +## Ends in an error in state: 329. +## +## verification_condition -> IF expression THEN ERROR symbol_with_pos . option(with_pos(variable_name)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT IF FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF expression THEN ERROR symbol_with_pos +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN ERROR SYMBOL SYMBOL WITH +## +## Ends in an error in state: 332. +## +## verification_condition -> IF expression THEN ERROR symbol_with_pos option(with_pos(variable_name)) . SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT IF FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF expression THEN ERROR symbol_with_pos option(with_pos(variable_name)) +## + + + +source_file: VERIFICATION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN ERROR SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 334. +## +## nonempty_list(with_pos(verification_condition)) -> verification_condition . [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## nonempty_list(with_pos(verification_condition)) -> verification_condition . nonempty_list(with_pos(verification_condition)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## verification_condition +## + + + +source_file: VARIABLE_SPACE WITH +## +## Ends in an error in state: 339. +## +## variable_space_decl -> VARIABLE_SPACE . symbol_with_pos COLON separated_nonempty_list(COLON,with_pos(vs_param)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VARIABLE_SPACE +## + + + +source_file: VARIABLE_SPACE SYMBOL WITH +## +## Ends in an error in state: 340. +## +## variable_space_decl -> VARIABLE_SPACE symbol_with_pos . COLON separated_nonempty_list(COLON,with_pos(vs_param)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VARIABLE_SPACE symbol_with_pos +## + + + +source_file: VARIABLE_SPACE SYMBOL COLON WITH +## +## Ends in an error in state: 341. +## +## variable_space_decl -> VARIABLE_SPACE symbol_with_pos COLON . separated_nonempty_list(COLON,with_pos(vs_param)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VARIABLE_SPACE symbol_with_pos COLON +## + + + +source_file: VARIABLE_SPACE SYMBOL COLON CATEGORY WITH +## +## Ends in an error in state: 342. +## +## vs_param -> CATEGORY . separated_nonempty_list(COMMA,with_pos(vs_cat)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## CATEGORY +## + + + +source_file: VARIABLE_SPACE SYMBOL COLON CATEGORY BASE WITH +## +## Ends in an error in state: 346. +## +## separated_nonempty_list(COMMA,with_pos(vs_cat)) -> vs_cat . [ SEMICOLON COLON ] +## separated_nonempty_list(COMMA,with_pos(vs_cat)) -> vs_cat . COMMA separated_nonempty_list(COMMA,with_pos(vs_cat)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## vs_cat +## + + + +source_file: VARIABLE_SPACE SYMBOL COLON CATEGORY BASE COMMA WITH +## +## Ends in an error in state: 347. +## +## separated_nonempty_list(COMMA,with_pos(vs_cat)) -> vs_cat COMMA . separated_nonempty_list(COMMA,with_pos(vs_cat)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## vs_cat COMMA +## + + + +source_file: VARIABLE_SPACE SYMBOL COLON BY_DEFAULT WITH +## +## Ends in an error in state: 351. +## +## separated_nonempty_list(COLON,with_pos(vs_param)) -> vs_param . [ SEMICOLON ] +## separated_nonempty_list(COLON,with_pos(vs_param)) -> vs_param . COLON separated_nonempty_list(COLON,with_pos(vs_param)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## vs_param +## + + + +source_file: VARIABLE_SPACE SYMBOL COLON BY_DEFAULT COLON WITH +## +## Ends in an error in state: 352. +## +## separated_nonempty_list(COLON,with_pos(vs_param)) -> vs_param COLON . separated_nonempty_list(COLON,with_pos(vs_param)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## vs_param COLON +## + + + +source_file: VARIABLE WITH +## +## Ends in an error in state: 356. +## +## var_category_decl -> VARIABLE . var_typ list(symbol_with_pos) COLON ATTRIBUT separated_nonempty_list(COMMA,symbol_with_pos) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VARIABLE +## + + + +source_file: VARIABLE COMPUTED WITH +## +## Ends in an error in state: 359. +## +## var_category_decl -> VARIABLE var_typ . list(symbol_with_pos) COLON ATTRIBUT separated_nonempty_list(COMMA,symbol_with_pos) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VARIABLE var_typ +## + + + +source_file: VARIABLE COMPUTED SYMBOL WITH +## +## Ends in an error in state: 360. +## +## list(symbol_with_pos) -> symbol_with_pos . list(symbol_with_pos) [ COLON ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos +## + + + +source_file: VARIABLE COMPUTED COLON WITH +## +## Ends in an error in state: 363. +## +## var_category_decl -> VARIABLE var_typ list(symbol_with_pos) COLON . ATTRIBUT separated_nonempty_list(COMMA,symbol_with_pos) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VARIABLE var_typ list(symbol_with_pos) COLON +## + + + +source_file: VARIABLE COMPUTED COLON ATTRIBUT WITH +## +## Ends in an error in state: 364. +## +## var_category_decl -> VARIABLE var_typ list(symbol_with_pos) COLON ATTRIBUT . separated_nonempty_list(COMMA,symbol_with_pos) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## VARIABLE var_typ list(symbol_with_pos) COLON ATTRIBUT +## + + + +source_file: TARGET WITH +## +## Ends in an error in state: 367. +## +## target_etc -> TARGET . symbol_with_pos COLON nonempty_list(with_pos(target_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## TARGET +## + + + +source_file: TARGET SYMBOL WITH +## +## Ends in an error in state: 368. +## +## target_etc -> TARGET symbol_with_pos . COLON nonempty_list(with_pos(target_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## TARGET symbol_with_pos +## + + + +source_file: TARGET SYMBOL COLON WITH +## +## Ends in an error in state: 369. +## +## target_etc -> TARGET symbol_with_pos COLON . nonempty_list(with_pos(target_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## TARGET symbol_with_pos COLON +## + + + +source_file: TARGET SYMBOL COLON TEMP_VARS WITH +## +## Ends in an error in state: 370. +## +## target_header_elt -> TEMP_VARS . COLON separated_nonempty_list(COMMA,temporary_variable_name) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## TEMP_VARS +## + + + +source_file: TARGET SYMBOL COLON TEMP_VARS COLON WITH +## +## Ends in an error in state: 371. +## +## target_header_elt -> TEMP_VARS COLON . separated_nonempty_list(COMMA,temporary_variable_name) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## TEMP_VARS COLON +## + + + +source_file: FONCTION SYMBOL COLON TEMP_VARS COLON SYMBOL TABLE LBRACKET SYMBOL RBRACKET WITH +## +## Ends in an error in state: 372. +## +## separated_nonempty_list(COMMA,temporary_variable_name) -> temporary_variable_name . [ SEMICOLON ] +## separated_nonempty_list(COMMA,temporary_variable_name) -> temporary_variable_name . COMMA separated_nonempty_list(COMMA,temporary_variable_name) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## temporary_variable_name +## + + + +source_file: FONCTION SYMBOL COLON TEMP_VARS COLON SYMBOL COMMA WITH +## +## Ends in an error in state: 373. +## +## separated_nonempty_list(COMMA,temporary_variable_name) -> temporary_variable_name COMMA . separated_nonempty_list(COMMA,temporary_variable_name) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## temporary_variable_name COMMA +## + + + +source_file: FONCTION SYMBOL COLON TEMP_VARS COLON SYMBOL WITH +## +## Ends in an error in state: 374. +## +## temporary_variable_name -> symbol_with_pos . option(with_pos(comp_variable_table)) [ SEMICOLON COMMA ] +## +## The known suffix of the stack is as follows: +## symbol_with_pos +## + + + +source_file: TARGET SYMBOL COLON INPUT_ARGS WITH +## +## Ends in an error in state: 379. +## +## target_header_elt -> INPUT_ARGS . COLON separated_nonempty_list(COMMA,with_pos(variable_name)) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## INPUT_ARGS +## + + + +source_file: TARGET SYMBOL COLON INPUT_ARGS COLON WITH +## +## Ends in an error in state: 380. +## +## target_header_elt -> INPUT_ARGS COLON . separated_nonempty_list(COMMA,with_pos(variable_name)) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## INPUT_ARGS COLON +## + + + +source_file: FONCTION SYMBOL COLON INPUT_ARGS COLON SYMBOL WITH +## +## Ends in an error in state: 381. +## +## separated_nonempty_list(COMMA,with_pos(variable_name)) -> variable_name . [ SEMICOLON ] +## separated_nonempty_list(COMMA,with_pos(variable_name)) -> variable_name . COMMA separated_nonempty_list(COMMA,with_pos(variable_name)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## variable_name +## + + + +source_file: FONCTION SYMBOL COLON INPUT_ARGS COLON SYMBOL COMMA WITH +## +## Ends in an error in state: 382. +## +## separated_nonempty_list(COMMA,with_pos(variable_name)) -> variable_name COMMA . separated_nonempty_list(COMMA,with_pos(variable_name)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## variable_name COMMA +## + + + +source_file: TARGET SYMBOL COLON APPLICATION WITH +## +## Ends in an error in state: 386. +## +## target_header_elt -> APPLICATION . COLON symbol_enumeration SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## APPLICATION +## + + + +source_file: TARGET SYMBOL COLON APPLICATION COLON WITH +## +## Ends in an error in state: 387. +## +## target_header_elt -> APPLICATION COLON . symbol_enumeration SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## APPLICATION COLON +## + + + +source_file: TARGET SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 390. +## +## nonempty_list(with_pos(target_header_elt)) -> target_header_elt . [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## nonempty_list(with_pos(target_header_elt)) -> target_header_elt . nonempty_list(with_pos(target_header_elt)) [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## target_header_elt +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN WITH +## +## Ends in an error in state: 393. +## +## instruction -> WHEN . expression DO instruction_list_rev instruction_then_when_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## WHEN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL THEN +## +## Ends in an error in state: 394. +## +## expression -> expression . AND expression [ OR DO AND ] +## expression -> expression . OR expression [ OR DO AND ] +## instruction -> WHEN expression . DO instruction_list_rev instruction_then_when_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## WHEN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL DO WITH +## +## Ends in an error in state: 395. +## +## instruction -> WHEN expression DO . instruction_list_rev instruction_then_when_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## WHEN expression DO +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON VERIFY WITH +## +## Ends in an error in state: 396. +## +## instruction -> VERIFY . DOMAIN symbol_list_with_pos list(with_pos(verify_param)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFY +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON VERIFY DOMAIN WITH +## +## Ends in an error in state: 397. +## +## instruction -> VERIFY DOMAIN . symbol_list_with_pos list(with_pos(verify_param)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFY DOMAIN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON VERIFY DOMAIN SYMBOL RPAREN +## +## Ends in an error in state: 398. +## +## instruction -> VERIFY DOMAIN symbol_list_with_pos . list(with_pos(verify_param)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## VERIFY DOMAIN symbol_list_with_pos +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 93, spurious reduction of production nonempty_list(symbol_with_pos) -> symbol_with_pos +## In state 338, spurious reduction of production symbol_list_with_pos -> nonempty_list(symbol_with_pos) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON VERIFY DOMAIN SYMBOL COLON WHEN +## +## Ends in an error in state: 399. +## +## verify_param -> COLON . SPACE symbol_with_pos [ SEMICOLON COLON ] +## verify_param -> COLON . WITH expression [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON VERIFY DOMAIN SYMBOL COLON WITH WITH +## +## Ends in an error in state: 400. +## +## verify_param -> COLON WITH . expression [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## COLON WITH +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON VERIFY DOMAIN SYMBOL COLON WITH SYMBOL THEN +## +## Ends in an error in state: 401. +## +## expression -> expression . AND expression [ SEMICOLON OR COLON AND ] +## expression -> expression . OR expression [ SEMICOLON OR COLON AND ] +## verify_param -> COLON WITH expression . [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## COLON WITH expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON VERIFY DOMAIN SYMBOL COLON SPACE WITH +## +## Ends in an error in state: 402. +## +## verify_param -> COLON SPACE . symbol_with_pos [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## COLON SPACE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON VERIFY DOMAIN SYMBOL COLON SPACE SYMBOL WITH +## +## Ends in an error in state: 404. +## +## list(with_pos(verify_param)) -> verify_param . list(with_pos(verify_param)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## verify_param +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON STOP WITH +## +## Ends in an error in state: 408. +## +## instruction -> STOP . APPLICATION SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction -> STOP . FONCTION SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction -> STOP . TARGET SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction -> STOP . SYMBOL SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction -> STOP . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## STOP +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON STOP TARGET WITH +## +## Ends in an error in state: 409. +## +## instruction -> STOP TARGET . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## STOP TARGET +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON STOP SYMBOL WITH +## +## Ends in an error in state: 411. +## +## instruction -> STOP SYMBOL . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## STOP SYMBOL +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON STOP FONCTION WITH +## +## Ends in an error in state: 414. +## +## instruction -> STOP FONCTION . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## STOP FONCTION +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON STOP APPLICATION WITH +## +## Ends in an error in state: 416. +## +## instruction -> STOP APPLICATION . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## STOP APPLICATION +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE WITH +## +## Ends in an error in state: 418. +## +## instruction -> RESTORE . COLON nonempty_list(rest_param) AFTER LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RESTORE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON WITH +## +## Ends in an error in state: 419. +## +## instruction -> RESTORE COLON . nonempty_list(rest_param) AFTER LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RESTORE COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE WITH +## +## Ends in an error in state: 420. +## +## rest_param -> VARIABLE . symbol_with_pos COLON nonempty_list(with_pos(rest_param_category)) [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## VARIABLE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL WITH +## +## Ends in an error in state: 421. +## +## rest_param -> VARIABLE symbol_with_pos . COLON nonempty_list(with_pos(rest_param_category)) [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## VARIABLE symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL COLON WHEN +## +## Ends in an error in state: 422. +## +## rest_param -> VARIABLE symbol_with_pos COLON . nonempty_list(with_pos(rest_param_category)) [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## VARIABLE symbol_with_pos COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL COLON WITH WITH +## +## Ends in an error in state: 423. +## +## rest_param_category -> WITH . expression COLON [ WITH VARIABLE SYMBOL SPACE EVENT_FIELD EVENTS EVENT CATEGORY AFTER ] +## +## The known suffix of the stack is as follows: +## WITH +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL COLON WITH SYMBOL THEN +## +## Ends in an error in state: 424. +## +## expression -> expression . AND expression [ OR COLON AND ] +## expression -> expression . OR expression [ OR COLON AND ] +## rest_param_category -> WITH expression . COLON [ WITH VARIABLE SYMBOL SPACE EVENT_FIELD EVENTS EVENT CATEGORY AFTER ] +## +## The known suffix of the stack is as follows: +## WITH expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL COLON SPACE WITH +## +## Ends in an error in state: 426. +## +## rest_param_category -> SPACE . symbol_with_pos COLON [ WITH VARIABLE SYMBOL SPACE EVENT_FIELD EVENTS EVENT CATEGORY AFTER ] +## +## The known suffix of the stack is as follows: +## SPACE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL COLON SPACE SYMBOL WITH +## +## Ends in an error in state: 427. +## +## rest_param_category -> SPACE symbol_with_pos . COLON [ WITH VARIABLE SYMBOL SPACE EVENT_FIELD EVENTS EVENT CATEGORY AFTER ] +## +## The known suffix of the stack is as follows: +## SPACE symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL COLON CATEGORY WITH +## +## Ends in an error in state: 429. +## +## rest_param_category -> CATEGORY . separated_nonempty_list(COMMA,with_pos(var_category_id)) COLON [ WITH VARIABLE SYMBOL SPACE EVENT_FIELD EVENTS EVENT CATEGORY AFTER ] +## +## The known suffix of the stack is as follows: +## CATEGORY +## + + + +source_file: DOMAIN VERIFICATION AUTHORIZE TIMES WITH +## +## Ends in an error in state: 430. +## +## separated_nonempty_list(COMMA,with_pos(var_category_id)) -> var_category_id . [ SEMICOLON COLON ] +## separated_nonempty_list(COMMA,with_pos(var_category_id)) -> var_category_id . COMMA separated_nonempty_list(COMMA,with_pos(var_category_id)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## var_category_id +## + + + +source_file: DOMAIN VERIFICATION AUTHORIZE COMPUTED COMMA WITH +## +## Ends in an error in state: 431. +## +## separated_nonempty_list(COMMA,with_pos(var_category_id)) -> var_category_id COMMA . separated_nonempty_list(COMMA,with_pos(var_category_id)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## var_category_id COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED SEMICOLON +## +## Ends in an error in state: 433. +## +## rest_param_category -> CATEGORY separated_nonempty_list(COMMA,with_pos(var_category_id)) . COLON [ WITH VARIABLE SYMBOL SPACE EVENT_FIELD EVENTS EVENT CATEGORY AFTER ] +## +## The known suffix of the stack is as follows: +## CATEGORY separated_nonempty_list(COMMA,with_pos(var_category_id)) +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 137, spurious reduction of production var_category_id -> COMPUTED +## In state 430, spurious reduction of production separated_nonempty_list(COMMA,with_pos(var_category_id)) -> var_category_id +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED COLON WHEN +## +## Ends in an error in state: 435. +## +## nonempty_list(with_pos(rest_param_category)) -> rest_param_category . [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## nonempty_list(with_pos(rest_param_category)) -> rest_param_category . nonempty_list(with_pos(rest_param_category)) [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## rest_param_category +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENTS WITH +## +## Ends in an error in state: 438. +## +## rest_param -> EVENTS . separated_nonempty_list(COMMA,with_pos(expression)) COLON [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## EVENTS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENTS SYMBOL THEN +## +## Ends in an error in state: 441. +## +## expression -> expression . AND expression [ OR COMMA COLON AND ] +## expression -> expression . OR expression [ OR COMMA COLON AND ] +## separated_nonempty_list(COMMA,with_pos(expression)) -> expression . [ COLON ] +## separated_nonempty_list(COMMA,with_pos(expression)) -> expression . COMMA separated_nonempty_list(COMMA,with_pos(expression)) [ COLON ] +## +## The known suffix of the stack is as follows: +## expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENTS SYMBOL COMMA WITH +## +## Ends in an error in state: 442. +## +## separated_nonempty_list(COMMA,with_pos(expression)) -> expression COMMA . separated_nonempty_list(COMMA,with_pos(expression)) [ COLON ] +## +## The known suffix of the stack is as follows: +## expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT WITH +## +## Ends in an error in state: 444. +## +## rest_param -> EVENT . symbol_with_pos COLON WITH expression COLON [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## EVENT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT SYMBOL WITH +## +## Ends in an error in state: 445. +## +## rest_param -> EVENT symbol_with_pos . COLON WITH expression COLON [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## EVENT symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT SYMBOL COLON WHEN +## +## Ends in an error in state: 446. +## +## rest_param -> EVENT symbol_with_pos COLON . WITH expression COLON [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## EVENT symbol_with_pos COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT SYMBOL COLON WITH WITH +## +## Ends in an error in state: 447. +## +## rest_param -> EVENT symbol_with_pos COLON WITH . expression COLON [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## EVENT symbol_with_pos COLON WITH +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON EVENT SYMBOL COLON WITH SYMBOL THEN +## +## Ends in an error in state: 448. +## +## expression -> expression . AND expression [ OR COLON AND ] +## expression -> expression . OR expression [ OR COLON AND ] +## rest_param -> EVENT symbol_with_pos COLON WITH expression . COLON [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## EVENT symbol_with_pos COLON WITH expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON SYMBOL RPAREN +## +## Ends in an error in state: 450. +## +## separated_nonempty_list(COMMA,with_pos(var_access)) -> var_access . [ SEMICOLON COLON ] +## separated_nonempty_list(COMMA,with_pos(var_access)) -> var_access . COMMA separated_nonempty_list(COMMA,with_pos(var_access)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON SYMBOL COMMA WITH +## +## Ends in an error in state: 451. +## +## separated_nonempty_list(COMMA,with_pos(var_access)) -> var_access COMMA . separated_nonempty_list(COMMA,with_pos(var_access)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## var_access COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON SYMBOL SEMICOLON +## +## Ends in an error in state: 453. +## +## rest_param -> separated_nonempty_list(COMMA,with_pos(var_access)) . COLON [ VARIABLE SYMBOL EVENT_FIELD EVENTS EVENT AFTER ] +## +## The known suffix of the stack is as follows: +## separated_nonempty_list(COMMA,with_pos(var_access)) +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## In state 450, spurious reduction of production separated_nonempty_list(COMMA,with_pos(var_access)) -> var_access +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON SYMBOL COLON WITH +## +## Ends in an error in state: 455. +## +## nonempty_list(rest_param) -> rest_param . [ AFTER ] +## nonempty_list(rest_param) -> rest_param . nonempty_list(rest_param) [ AFTER ] +## +## The known suffix of the stack is as follows: +## rest_param +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON SYMBOL COLON AFTER WITH +## +## Ends in an error in state: 458. +## +## instruction -> RESTORE COLON nonempty_list(rest_param) AFTER . LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RESTORE COLON nonempty_list(rest_param) AFTER +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON SYMBOL COLON AFTER LPAREN WITH +## +## Ends in an error in state: 459. +## +## instruction -> RESTORE COLON nonempty_list(rest_param) AFTER LPAREN . instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RESTORE COLON nonempty_list(rest_param) AFTER LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RAISE_ERROR WITH +## +## Ends in an error in state: 460. +## +## instruction -> RAISE_ERROR . symbol_with_pos option(with_pos(variable_name)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RAISE_ERROR +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RAISE_ERROR SYMBOL WITH +## +## Ends in an error in state: 461. +## +## instruction -> RAISE_ERROR symbol_with_pos . option(with_pos(variable_name)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RAISE_ERROR symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RAISE_ERROR SYMBOL SYMBOL WITH +## +## Ends in an error in state: 462. +## +## instruction -> RAISE_ERROR symbol_with_pos option(with_pos(variable_name)) . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RAISE_ERROR symbol_with_pos option(with_pos(variable_name)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT_ERR WITH +## +## Ends in an error in state: 464. +## +## instruction -> PRINT_ERR . list(with_pos(print_argument)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## PRINT_ERR +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT LPAREN WITH +## +## Ends in an error in state: 467. +## +## print_argument -> LPAREN . expression RPAREN option(print_precision) [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT LPAREN SYMBOL THEN +## +## Ends in an error in state: 468. +## +## expression -> expression . AND expression [ RPAREN OR AND ] +## expression -> expression . OR expression [ RPAREN OR AND ] +## print_argument -> LPAREN expression . RPAREN option(print_precision) [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT LPAREN SYMBOL RPAREN WITH +## +## Ends in an error in state: 469. +## +## print_argument -> LPAREN expression RPAREN . option(print_precision) [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## LPAREN expression RPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT LPAREN SYMBOL RPAREN COLON WITH +## +## Ends in an error in state: 470. +## +## print_precision -> COLON . symbol_with_pos [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## print_precision -> COLON . symbol_with_pos RANGE symbol_with_pos [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT LPAREN SYMBOL RPAREN COLON SYMBOL WITH +## +## Ends in an error in state: 471. +## +## print_precision -> COLON symbol_with_pos . [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## print_precision -> COLON symbol_with_pos . RANGE symbol_with_pos [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## COLON symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT LPAREN SYMBOL RPAREN COLON SYMBOL RANGE WITH +## +## Ends in an error in state: 472. +## +## print_precision -> COLON symbol_with_pos RANGE . symbol_with_pos [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## COLON symbol_with_pos RANGE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT INDENT WITH +## +## Ends in an error in state: 476. +## +## print_argument -> INDENT . LPAREN expression RPAREN [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## INDENT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT INDENT LPAREN WITH +## +## Ends in an error in state: 477. +## +## print_argument -> INDENT LPAREN . expression RPAREN [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## INDENT LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT INDENT LPAREN SYMBOL THEN +## +## Ends in an error in state: 478. +## +## expression -> expression . AND expression [ RPAREN OR AND ] +## expression -> expression . OR expression [ RPAREN OR AND ] +## print_argument -> INDENT LPAREN expression . RPAREN [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## INDENT LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT ALIAS WITH +## +## Ends in an error in state: 481. +## +## print_argument -> print_function . LPAREN var_access RPAREN [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## print_function +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT ALIAS LPAREN WITH +## +## Ends in an error in state: 482. +## +## print_argument -> print_function LPAREN . var_access RPAREN [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## print_function LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT ALIAS LPAREN SYMBOL SEMICOLON +## +## Ends in an error in state: 483. +## +## print_argument -> print_function LPAREN var_access . RPAREN [ STRING SEMICOLON NAME LPAREN INDENT ALIAS ] +## +## The known suffix of the stack is as follows: +## print_function LPAREN var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT STRING WITH +## +## Ends in an error in state: 485. +## +## list(with_pos(print_argument)) -> print_argument . list(with_pos(print_argument)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## print_argument +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON PRINT WITH +## +## Ends in an error in state: 489. +## +## instruction -> PRINT . list(with_pos(print_argument)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## PRINT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON NOTHING WITH +## +## Ends in an error in state: 492. +## +## instruction -> NOTHING . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## NOTHING +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH WITH +## +## Ends in an error in state: 494. +## +## switch_kind -> MATCH . NAME LPAREN var_access RPAREN [ COLON ] +## switch_kind -> MATCH . LPAREN expression RPAREN [ COLON ] +## +## The known suffix of the stack is as follows: +## MATCH +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH NAME WITH +## +## Ends in an error in state: 495. +## +## switch_kind -> MATCH NAME . LPAREN var_access RPAREN [ COLON ] +## +## The known suffix of the stack is as follows: +## MATCH NAME +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH NAME LPAREN WITH +## +## Ends in an error in state: 496. +## +## switch_kind -> MATCH NAME LPAREN . var_access RPAREN [ COLON ] +## +## The known suffix of the stack is as follows: +## MATCH NAME LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH NAME LPAREN SYMBOL SEMICOLON +## +## Ends in an error in state: 497. +## +## switch_kind -> MATCH NAME LPAREN var_access . RPAREN [ COLON ] +## +## The known suffix of the stack is as follows: +## MATCH NAME LPAREN var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN WITH +## +## Ends in an error in state: 499. +## +## switch_kind -> MATCH LPAREN . expression RPAREN [ COLON ] +## +## The known suffix of the stack is as follows: +## MATCH LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL THEN +## +## Ends in an error in state: 500. +## +## expression -> expression . AND expression [ RPAREN OR AND ] +## expression -> expression . OR expression [ RPAREN OR AND ] +## switch_kind -> MATCH LPAREN expression . RPAREN [ COLON ] +## +## The known suffix of the stack is as follows: +## MATCH LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE WITH +## +## Ends in an error in state: 502. +## +## instruction -> ITERATE . COLON VARIABLE symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ITERATE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON WITH +## +## Ends in an error in state: 503. +## +## instruction -> ITERATE COLON . VARIABLE symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ITERATE COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE WITH +## +## Ends in an error in state: 504. +## +## instruction -> ITERATE COLON VARIABLE . symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ITERATE COLON VARIABLE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL WITH +## +## Ends in an error in state: 505. +## +## instruction -> ITERATE COLON VARIABLE symbol_with_pos . COLON nonempty_list(with_pos(it_param)) IN LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ITERATE COLON VARIABLE symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON WITH +## +## Ends in an error in state: 506. +## +## instruction -> ITERATE COLON VARIABLE symbol_with_pos COLON . nonempty_list(with_pos(it_param)) IN LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ITERATE COLON VARIABLE symbol_with_pos COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON CATEGORY WITH +## +## Ends in an error in state: 507. +## +## it_param -> CATEGORY . separated_nonempty_list(COMMA,with_pos(var_category_id)) COLON list(with_pos(it_param_category)) [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## CATEGORY +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED SEMICOLON +## +## Ends in an error in state: 508. +## +## it_param -> CATEGORY separated_nonempty_list(COMMA,with_pos(var_category_id)) . COLON list(with_pos(it_param_category)) [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## CATEGORY separated_nonempty_list(COMMA,with_pos(var_category_id)) +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 137, spurious reduction of production var_category_id -> COMPUTED +## In state 430, spurious reduction of production separated_nonempty_list(COMMA,with_pos(var_category_id)) -> var_category_id +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED COLON WHEN +## +## Ends in an error in state: 509. +## +## it_param -> CATEGORY separated_nonempty_list(COMMA,with_pos(var_category_id)) COLON . list(with_pos(it_param_category)) [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## CATEGORY separated_nonempty_list(COMMA,with_pos(var_category_id)) COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED COLON WITH WITH +## +## Ends in an error in state: 510. +## +## it_param_category -> WITH . expression COLON [ WITH SYMBOL SPACE IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## WITH +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED COLON WITH SYMBOL THEN +## +## Ends in an error in state: 511. +## +## expression -> expression . AND expression [ OR COLON AND ] +## expression -> expression . OR expression [ OR COLON AND ] +## it_param_category -> WITH expression . COLON [ WITH SYMBOL SPACE IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## WITH expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED COLON SPACE WITH +## +## Ends in an error in state: 513. +## +## it_param_category -> SPACE . symbol_with_pos COLON [ WITH SYMBOL SPACE IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## SPACE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED COLON SPACE SYMBOL WITH +## +## Ends in an error in state: 514. +## +## it_param_category -> SPACE symbol_with_pos . COLON [ WITH SYMBOL SPACE IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## SPACE symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON CATEGORY COMPUTED COLON SPACE SYMBOL COLON WHEN +## +## Ends in an error in state: 517. +## +## list(with_pos(it_param_category)) -> it_param_category . list(with_pos(it_param_category)) [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## it_param_category +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON BETWEEN WITH +## +## Ends in an error in state: 519. +## +## it_param -> BETWEEN . expression RANGE expression STEP expression COLON [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## BETWEEN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON BETWEEN SYMBOL THEN +## +## Ends in an error in state: 520. +## +## expression -> expression . AND expression [ RANGE OR AND ] +## expression -> expression . OR expression [ RANGE OR AND ] +## it_param -> BETWEEN expression . RANGE expression STEP expression COLON [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## BETWEEN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON BETWEEN SYMBOL RANGE WITH +## +## Ends in an error in state: 521. +## +## it_param -> BETWEEN expression RANGE . expression STEP expression COLON [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## BETWEEN expression RANGE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON BETWEEN SYMBOL RANGE SYMBOL THEN +## +## Ends in an error in state: 522. +## +## expression -> expression . AND expression [ STEP OR AND ] +## expression -> expression . OR expression [ STEP OR AND ] +## it_param -> BETWEEN expression RANGE expression . STEP expression COLON [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## BETWEEN expression RANGE expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON BETWEEN SYMBOL RANGE SYMBOL STEP WITH +## +## Ends in an error in state: 523. +## +## it_param -> BETWEEN expression RANGE expression STEP . expression COLON [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## BETWEEN expression RANGE expression STEP +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON BETWEEN SYMBOL RANGE SYMBOL STEP SYMBOL THEN +## +## Ends in an error in state: 524. +## +## expression -> expression . AND expression [ OR COLON AND ] +## expression -> expression . OR expression [ OR COLON AND ] +## it_param -> BETWEEN expression RANGE expression STEP expression . COLON [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## BETWEEN expression RANGE expression STEP expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON SYMBOL SEMICOLON +## +## Ends in an error in state: 526. +## +## it_param -> separated_nonempty_list(COMMA,with_pos(var_access)) . COLON [ SYMBOL IN EVENT_FIELD CATEGORY BETWEEN ] +## +## The known suffix of the stack is as follows: +## separated_nonempty_list(COMMA,with_pos(var_access)) +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## In state 450, spurious reduction of production separated_nonempty_list(COMMA,with_pos(var_access)) -> var_access +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON SYMBOL COLON IN WITH +## +## Ends in an error in state: 529. +## +## instruction -> ITERATE COLON VARIABLE symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN . LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ITERATE COLON VARIABLE symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON SYMBOL COLON IN LPAREN WITH +## +## Ends in an error in state: 530. +## +## instruction -> ITERATE COLON VARIABLE symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN LPAREN . instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ITERATE COLON VARIABLE symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF WITH +## +## Ends in an error in state: 531. +## +## instruction -> IF . expression THEN instruction_list_rev instruction_else_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL STEP +## +## Ends in an error in state: 532. +## +## expression -> expression . AND expression [ THEN OR AND ] +## expression -> expression . OR expression [ THEN OR AND ] +## instruction -> IF expression . THEN instruction_list_rev instruction_else_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN WITH +## +## Ends in an error in state: 533. +## +## instruction -> IF expression THEN . instruction_list_rev instruction_else_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## IF expression THEN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR WITH +## +## Ends in an error in state: 534. +## +## for_formula -> FOR . loop_variables COLON formula [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## FOR +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FOR SYMBOL EQUALS SYMBOL COLON WITH +## +## Ends in an error in state: 536. +## +## for_formula -> FOR loop_variables COLON . formula [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## FOR loop_variables COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EVENT_FIELD WITH +## +## Ends in an error in state: 537. +## +## formula -> EVENT_FIELD . LPAREN expression COMMA symbol_with_pos RPAREN REFERENCE symbol_with_pos [ SEMICOLON ] +## var_access -> EVENT_FIELD . LPAREN expression COMMA symbol_with_pos RPAREN [ EQUALS ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EVENT_FIELD LPAREN WITH +## +## Ends in an error in state: 538. +## +## formula -> EVENT_FIELD LPAREN . expression COMMA symbol_with_pos RPAREN REFERENCE symbol_with_pos [ SEMICOLON ] +## var_access -> EVENT_FIELD LPAREN . expression COMMA symbol_with_pos RPAREN [ EQUALS ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EVENT_FIELD LPAREN SYMBOL THEN +## +## Ends in an error in state: 539. +## +## expression -> expression . AND expression [ OR COMMA AND ] +## expression -> expression . OR expression [ OR COMMA AND ] +## formula -> EVENT_FIELD LPAREN expression . COMMA symbol_with_pos RPAREN REFERENCE symbol_with_pos [ SEMICOLON ] +## var_access -> EVENT_FIELD LPAREN expression . COMMA symbol_with_pos RPAREN [ EQUALS ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EVENT_FIELD LPAREN SYMBOL COMMA WITH +## +## Ends in an error in state: 540. +## +## formula -> EVENT_FIELD LPAREN expression COMMA . symbol_with_pos RPAREN REFERENCE symbol_with_pos [ SEMICOLON ] +## var_access -> EVENT_FIELD LPAREN expression COMMA . symbol_with_pos RPAREN [ EQUALS ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 541. +## +## formula -> EVENT_FIELD LPAREN expression COMMA symbol_with_pos . RPAREN REFERENCE symbol_with_pos [ SEMICOLON ] +## var_access -> EVENT_FIELD LPAREN expression COMMA symbol_with_pos . RPAREN [ EQUALS ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL RPAREN WITH +## +## Ends in an error in state: 542. +## +## formula -> EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN . REFERENCE symbol_with_pos [ SEMICOLON ] +## var_access -> EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN . [ EQUALS ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL RPAREN REFERENCE WITH +## +## Ends in an error in state: 543. +## +## formula -> EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN REFERENCE . symbol_with_pos [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## EVENT_FIELD LPAREN expression COMMA symbol_with_pos RPAREN REFERENCE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL SEMICOLON +## +## Ends in an error in state: 545. +## +## formula -> var_access . EQUALS expression [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## var_access +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 116, spurious reduction of production option(with_pos(brackets)) -> +## In state 317, spurious reduction of production var_access -> symbol_with_pos option(with_pos(brackets)) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL EQUALS WITH +## +## Ends in an error in state: 546. +## +## formula -> var_access EQUALS . expression [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## var_access EQUALS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON SYMBOL EQUALS SYMBOL THEN +## +## Ends in an error in state: 547. +## +## expression -> expression . AND expression [ SEMICOLON OR AND ] +## expression -> expression . OR expression [ SEMICOLON OR AND ] +## formula -> var_access EQUALS expression . [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## var_access EQUALS expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON FINALIZE_ERRORS WITH +## +## Ends in an error in state: 549. +## +## instruction -> FINALIZE_ERRORS . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## FINALIZE_ERRORS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EXPORT_ERRORS WITH +## +## Ends in an error in state: 551. +## +## instruction -> EXPORT_ERRORS . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## EXPORT_ERRORS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE WITH +## +## Ends in an error in state: 553. +## +## instruction -> COMPUTE . DOMAIN symbol_list_with_pos option(compute_space) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction -> COMPUTE . CHAINING symbol_with_pos option(compute_space) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction -> COMPUTE . TARGET symbol_with_pos list(with_pos(target_param)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE TARGET WITH +## +## Ends in an error in state: 554. +## +## instruction -> COMPUTE TARGET . symbol_with_pos list(with_pos(target_param)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE TARGET +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE TARGET SYMBOL WITH +## +## Ends in an error in state: 555. +## +## instruction -> COMPUTE TARGET symbol_with_pos . list(with_pos(target_param)) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE TARGET symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE TARGET SYMBOL COLON WHEN +## +## Ends in an error in state: 556. +## +## target_param -> COLON . SPACE symbol_with_pos [ SEMICOLON COLON ] +## target_param -> COLON . WITH separated_nonempty_list(COMMA,with_pos(var_access)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE TARGET SYMBOL COLON WITH WITH +## +## Ends in an error in state: 557. +## +## target_param -> COLON WITH . separated_nonempty_list(COMMA,with_pos(var_access)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## COLON WITH +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE TARGET SYMBOL COLON SPACE WITH +## +## Ends in an error in state: 559. +## +## target_param -> COLON SPACE . symbol_with_pos [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## COLON SPACE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE TARGET SYMBOL COLON SPACE SYMBOL WITH +## +## Ends in an error in state: 561. +## +## list(with_pos(target_param)) -> target_param . list(with_pos(target_param)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## target_param +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE DOMAIN WITH +## +## Ends in an error in state: 565. +## +## instruction -> COMPUTE DOMAIN . symbol_list_with_pos option(compute_space) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE DOMAIN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE DOMAIN SYMBOL RPAREN +## +## Ends in an error in state: 566. +## +## instruction -> COMPUTE DOMAIN symbol_list_with_pos . option(compute_space) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE DOMAIN symbol_list_with_pos +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 93, spurious reduction of production nonempty_list(symbol_with_pos) -> symbol_with_pos +## In state 338, spurious reduction of production symbol_list_with_pos -> nonempty_list(symbol_with_pos) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE CHAINING SYMBOL COLON WITH +## +## Ends in an error in state: 567. +## +## compute_space -> COLON . SPACE symbol_with_pos [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE CHAINING SYMBOL COLON SPACE WITH +## +## Ends in an error in state: 568. +## +## compute_space -> COLON SPACE . symbol_with_pos [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## COLON SPACE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE DOMAIN SYMBOL COLON SPACE SYMBOL WITH +## +## Ends in an error in state: 570. +## +## instruction -> COMPUTE DOMAIN symbol_list_with_pos option(compute_space) . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE DOMAIN symbol_list_with_pos option(compute_space) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE CHAINING WITH +## +## Ends in an error in state: 573. +## +## instruction -> COMPUTE CHAINING . symbol_with_pos option(compute_space) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE CHAINING +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE CHAINING SYMBOL WITH +## +## Ends in an error in state: 574. +## +## instruction -> COMPUTE CHAINING symbol_with_pos . option(compute_space) SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE CHAINING symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON COMPUTE CHAINING SYMBOL COLON SPACE SYMBOL WITH +## +## Ends in an error in state: 575. +## +## instruction -> COMPUTE CHAINING symbol_with_pos option(compute_space) . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## COMPUTE CHAINING symbol_with_pos option(compute_space) +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON CLEAN_FINALIZED_ERRORS WITH +## +## Ends in an error in state: 577. +## +## instruction -> CLEAN_FINALIZED_ERRORS . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## CLEAN_FINALIZED_ERRORS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON CLEAN_ERRORS WITH +## +## Ends in an error in state: 579. +## +## instruction -> CLEAN_ERRORS . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## CLEAN_ERRORS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS WITH +## +## Ends in an error in state: 581. +## +## instruction -> ARRANGE_EVENTS . COLON nonempty_list(with_pos(arrange_events_param)) IN LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ARRANGE_EVENTS +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON WITH +## +## Ends in an error in state: 582. +## +## instruction -> ARRANGE_EVENTS COLON . nonempty_list(with_pos(arrange_events_param)) IN LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ARRANGE_EVENTS COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON SORT WITH +## +## Ends in an error in state: 583. +## +## arrange_events_param -> SORT . symbol_with_pos COMMA symbol_with_pos COLON WITH expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## SORT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON SORT SYMBOL WITH +## +## Ends in an error in state: 584. +## +## arrange_events_param -> SORT symbol_with_pos . COMMA symbol_with_pos COLON WITH expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## SORT symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON SORT SYMBOL COMMA WITH +## +## Ends in an error in state: 585. +## +## arrange_events_param -> SORT symbol_with_pos COMMA . symbol_with_pos COLON WITH expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## SORT symbol_with_pos COMMA +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON SORT SYMBOL COMMA SYMBOL WITH +## +## Ends in an error in state: 586. +## +## arrange_events_param -> SORT symbol_with_pos COMMA symbol_with_pos . COLON WITH expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## SORT symbol_with_pos COMMA symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON SORT SYMBOL COMMA SYMBOL COLON WHEN +## +## Ends in an error in state: 587. +## +## arrange_events_param -> SORT symbol_with_pos COMMA symbol_with_pos COLON . WITH expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## SORT symbol_with_pos COMMA symbol_with_pos COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON SORT SYMBOL COMMA SYMBOL COLON WITH WITH +## +## Ends in an error in state: 588. +## +## arrange_events_param -> SORT symbol_with_pos COMMA symbol_with_pos COLON WITH . expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## SORT symbol_with_pos COMMA symbol_with_pos COLON WITH +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON SORT SYMBOL COMMA SYMBOL COLON WITH SYMBOL THEN +## +## Ends in an error in state: 589. +## +## arrange_events_param -> SORT symbol_with_pos COMMA symbol_with_pos COLON WITH expression . COLON [ SORT IN FILTER ADD ] +## expression -> expression . AND expression [ OR COLON AND ] +## expression -> expression . OR expression [ OR COLON AND ] +## +## The known suffix of the stack is as follows: +## SORT symbol_with_pos COMMA symbol_with_pos COLON WITH expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON FILTER WITH +## +## Ends in an error in state: 591. +## +## arrange_events_param -> FILTER . symbol_with_pos COLON WITH expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## FILTER +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON FILTER SYMBOL WITH +## +## Ends in an error in state: 592. +## +## arrange_events_param -> FILTER symbol_with_pos . COLON WITH expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## FILTER symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON FILTER SYMBOL COLON WHEN +## +## Ends in an error in state: 593. +## +## arrange_events_param -> FILTER symbol_with_pos COLON . WITH expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## FILTER symbol_with_pos COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON FILTER SYMBOL COLON WITH WITH +## +## Ends in an error in state: 594. +## +## arrange_events_param -> FILTER symbol_with_pos COLON WITH . expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## FILTER symbol_with_pos COLON WITH +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON FILTER SYMBOL COLON WITH SYMBOL THEN +## +## Ends in an error in state: 595. +## +## arrange_events_param -> FILTER symbol_with_pos COLON WITH expression . COLON [ SORT IN FILTER ADD ] +## expression -> expression . AND expression [ OR COLON AND ] +## expression -> expression . OR expression [ OR COLON AND ] +## +## The known suffix of the stack is as follows: +## FILTER symbol_with_pos COLON WITH expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON ADD WITH +## +## Ends in an error in state: 597. +## +## arrange_events_param -> ADD . expression COLON [ SORT IN FILTER ADD ] +## +## The known suffix of the stack is as follows: +## ADD +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON ADD SYMBOL THEN +## +## Ends in an error in state: 598. +## +## arrange_events_param -> ADD expression . COLON [ SORT IN FILTER ADD ] +## expression -> expression . AND expression [ OR COLON AND ] +## expression -> expression . OR expression [ OR COLON AND ] +## +## The known suffix of the stack is as follows: +## ADD expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON ADD SYMBOL COLON IN WITH +## +## Ends in an error in state: 601. +## +## instruction -> ARRANGE_EVENTS COLON nonempty_list(with_pos(arrange_events_param)) IN . LPAREN instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ARRANGE_EVENTS COLON nonempty_list(with_pos(arrange_events_param)) IN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON ADD SYMBOL COLON IN LPAREN WITH +## +## Ends in an error in state: 602. +## +## instruction -> ARRANGE_EVENTS COLON nonempty_list(with_pos(arrange_events_param)) IN LPAREN . instruction_list_rev RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ARRANGE_EVENTS COLON nonempty_list(with_pos(arrange_events_param)) IN LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL RPAREN WITH +## +## Ends in an error in state: 603. +## +## instruction -> switch_kind . COLON LPAREN nonempty_list(switch_case) RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## switch_kind +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL RPAREN COLON WITH +## +## Ends in an error in state: 604. +## +## instruction -> switch_kind COLON . LPAREN nonempty_list(switch_case) RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## switch_kind COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL RPAREN COLON LPAREN WITH +## +## Ends in an error in state: 605. +## +## instruction -> switch_kind COLON LPAREN . nonempty_list(switch_case) RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## switch_kind COLON LPAREN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL RPAREN COLON LPAREN CASE WITH +## +## Ends in an error in state: 606. +## +## switch_case_value -> CASE . switch_case_kind COLON [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CASE BY_DEFAULT ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## CASE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL RPAREN COLON LPAREN CASE SYMBOL WITH +## +## Ends in an error in state: 609. +## +## switch_case_value -> CASE switch_case_kind . COLON [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CASE BY_DEFAULT ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## CASE switch_case_kind +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL RPAREN COLON LPAREN BY_DEFAULT WITH +## +## Ends in an error in state: 611. +## +## switch_case_value -> BY_DEFAULT . COLON [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CASE BY_DEFAULT ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## BY_DEFAULT +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL RPAREN COLON LPAREN BY_DEFAULT COLON WITH +## +## Ends in an error in state: 613. +## +## switch_case -> switch_cases_rev . instruction_list_rev [ RPAREN CASE BY_DEFAULT ] +## switch_cases_rev -> switch_cases_rev . switch_case_value [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CASE BY_DEFAULT ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## switch_cases_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON MATCH LPAREN SYMBOL RPAREN COLON LPAREN BY_DEFAULT COLON CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 615. +## +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY SYMBOL STOP RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CASE BY_DEFAULT ARRANGE_EVENTS ] +## switch_case -> switch_cases_rev instruction_list_rev . [ RPAREN CASE BY_DEFAULT ] +## +## The known suffix of the stack is as follows: +## switch_cases_rev instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON EVENT_FIELD LPAREN SYMBOL COMMA SYMBOL RPAREN REFERENCE SYMBOL WITH +## +## Ends in an error in state: 617. +## +## instruction -> formula_kind . SEMICOLON [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## formula_kind +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON ADD SYMBOL COLON IN LPAREN CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 627. +## +## instruction -> ARRANGE_EVENTS COLON nonempty_list(with_pos(arrange_events_param)) IN LPAREN instruction_list_rev . RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY SYMBOL STOP RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## ARRANGE_EVENTS COLON nonempty_list(with_pos(arrange_events_param)) IN LPAREN instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ARRANGE_EVENTS COLON ADD SYMBOL COLON WITH +## +## Ends in an error in state: 629. +## +## nonempty_list(with_pos(arrange_events_param)) -> arrange_events_param . [ IN ] +## nonempty_list(with_pos(arrange_events_param)) -> arrange_events_param . nonempty_list(with_pos(arrange_events_param)) [ IN ] +## +## The known suffix of the stack is as follows: +## arrange_events_param +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 631. +## +## instruction -> IF expression THEN instruction_list_rev . instruction_else_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD ENDIF ELSEIF ELSE COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## IF expression THEN instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN CLEAN_ERRORS SEMICOLON ELSEIF WITH +## +## Ends in an error in state: 633. +## +## instruction_else_branch -> ELSEIF . expression THEN instruction_list_rev instruction_else_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ELSEIF +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN CLEAN_ERRORS SEMICOLON ELSEIF SYMBOL STEP +## +## Ends in an error in state: 634. +## +## expression -> expression . AND expression [ THEN OR AND ] +## expression -> expression . OR expression [ THEN OR AND ] +## instruction_else_branch -> ELSEIF expression . THEN instruction_list_rev instruction_else_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ELSEIF expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN CLEAN_ERRORS SEMICOLON ELSEIF SYMBOL THEN WITH +## +## Ends in an error in state: 635. +## +## instruction_else_branch -> ELSEIF expression THEN . instruction_list_rev instruction_else_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ELSEIF expression THEN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN CLEAN_ERRORS SEMICOLON ELSEIF SYMBOL THEN CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 636. +## +## instruction_else_branch -> ELSEIF expression THEN instruction_list_rev . instruction_else_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD ENDIF ELSEIF ELSE COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## ELSEIF expression THEN instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN CLEAN_ERRORS SEMICOLON ELSE WITH +## +## Ends in an error in state: 637. +## +## instruction_else_branch -> ELSE . instruction_list_rev ENDIF [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ELSE +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON IF SYMBOL THEN CLEAN_ERRORS SEMICOLON ELSE CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 638. +## +## instruction_else_branch -> ELSE instruction_list_rev . ENDIF [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD ENDIF COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## ELSE instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON SYMBOL COLON IN LPAREN CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 642. +## +## instruction -> ITERATE COLON VARIABLE symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN LPAREN instruction_list_rev . RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY SYMBOL STOP RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## ITERATE COLON VARIABLE symbol_with_pos COLON nonempty_list(with_pos(it_param)) IN LPAREN instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON ITERATE COLON VARIABLE SYMBOL COLON SYMBOL COLON WITH +## +## Ends in an error in state: 644. +## +## nonempty_list(with_pos(it_param)) -> it_param . [ IN ] +## nonempty_list(with_pos(it_param)) -> it_param . nonempty_list(with_pos(it_param)) [ IN ] +## +## The known suffix of the stack is as follows: +## it_param +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON RESTORE COLON SYMBOL COLON AFTER LPAREN CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 646. +## +## instruction -> RESTORE COLON nonempty_list(rest_param) AFTER LPAREN instruction_list_rev . RPAREN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY SYMBOL STOP RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## RESTORE COLON nonempty_list(rest_param) AFTER LPAREN instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL DO CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 648. +## +## instruction -> WHEN expression DO instruction_list_rev . instruction_then_when_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY THEN_WHEN SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD ENDWHEN ELSE_DO COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## WHEN expression DO instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL DO CLEAN_ERRORS SEMICOLON THEN_WHEN WITH +## +## Ends in an error in state: 649. +## +## instruction_then_when_branch -> THEN_WHEN . expression DO instruction_list_rev instruction_then_when_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## THEN_WHEN +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL DO CLEAN_ERRORS SEMICOLON THEN_WHEN SYMBOL THEN +## +## Ends in an error in state: 650. +## +## expression -> expression . AND expression [ OR DO AND ] +## expression -> expression . OR expression [ OR DO AND ] +## instruction_then_when_branch -> THEN_WHEN expression . DO instruction_list_rev instruction_then_when_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## THEN_WHEN expression +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 111, spurious reduction of production factor -> SYMBOL +## In state 215, spurious reduction of production product_expression -> factor +## In state 217, spurious reduction of production sum_expression -> product_expression +## In state 227, spurious reduction of production expression -> sum_expression +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL DO CLEAN_ERRORS SEMICOLON THEN_WHEN SYMBOL DO WITH +## +## Ends in an error in state: 651. +## +## instruction_then_when_branch -> THEN_WHEN expression DO . instruction_list_rev instruction_then_when_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## THEN_WHEN expression DO +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL DO CLEAN_ERRORS SEMICOLON THEN_WHEN SYMBOL DO CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 652. +## +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY THEN_WHEN SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD ENDWHEN ELSE_DO COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## instruction_then_when_branch -> THEN_WHEN expression DO instruction_list_rev . instruction_then_when_branch [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## THEN_WHEN expression DO instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL DO CLEAN_ERRORS SEMICOLON ELSE_DO WITH +## +## Ends in an error in state: 654. +## +## instruction_then_when_branch -> ELSE_DO . instruction_list_rev ENDWHEN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ELSE_DO +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WHEN SYMBOL DO CLEAN_ERRORS SEMICOLON ELSE_DO CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 655. +## +## instruction_list_rev -> instruction_list_rev . instruction [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD ENDWHEN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## instruction_then_when_branch -> ELSE_DO instruction_list_rev . ENDWHEN [ WHEN VERIFY VERIFICATION VARIABLE_SPACE VARIABLE THEN_WHEN TARGET SYMBOL STOP RULE RPAREN RESTORE RAISE_ERROR PRINT_ERR PRINT OUTPUT NOTHING MATCH ITERATE IF FOR FONCTION FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD EVENT EOF ENDWHEN ENDIF ELSE_DO ELSEIF ELSE DOMAIN COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING CASE BY_DEFAULT ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## ELSE_DO instruction_list_rev +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON CLEAN_ERRORS SEMICOLON WITH +## +## Ends in an error in state: 660. +## +## instruction_list_etc -> instruction . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## instruction_list_etc -> instruction . instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## instruction +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON CLEAN_ERRORS SEMICOLON SYMBOL WITH +## +## Ends in an error in state: 661. +## +## comp_variable_name -> SYMBOL . COLON [ TABLE COMPUTED ] +## const_variable_name -> SYMBOL . COLON CONST [ EQUALS ] +## error_name -> SYMBOL . COLON [ INFORMATIVE DISCORDANCE ANOMALY ] +## fonction -> SYMBOL . COLON FONCTION SYMBOL SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## input_variable_name -> SYMBOL . COLON [ INPUT ] +## symbol_with_pos -> SYMBOL . [ LBRACKET EQUALS DOT ] +## +## The known suffix of the stack is as follows: +## SYMBOL +## + + + +source_file: RULE WITH +## +## Ends in an error in state: 664. +## +## rule_etc -> RULE . symbol_list_with_pos COLON nonempty_list(with_pos(rule_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## RULE +## + + + +source_file: RULE SYMBOL SEMICOLON +## +## Ends in an error in state: 665. +## +## rule_etc -> RULE symbol_list_with_pos . COLON nonempty_list(with_pos(rule_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## RULE symbol_list_with_pos +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 93, spurious reduction of production nonempty_list(symbol_with_pos) -> symbol_with_pos +## In state 338, spurious reduction of production symbol_list_with_pos -> nonempty_list(symbol_with_pos) +## + + + +source_file: RULE SYMBOL COLON WITH +## +## Ends in an error in state: 666. +## +## rule_etc -> RULE symbol_list_with_pos COLON . nonempty_list(with_pos(rule_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## RULE symbol_list_with_pos COLON +## + + + +source_file: RULE SYMBOL COLON TEMP_VARS WITH +## +## Ends in an error in state: 667. +## +## rule_header_elt -> TEMP_VARS . COLON separated_nonempty_list(COMMA,temporary_variable_name) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## TEMP_VARS +## + + + +source_file: RULE SYMBOL COLON TEMP_VARS COLON WITH +## +## Ends in an error in state: 668. +## +## rule_header_elt -> TEMP_VARS COLON . separated_nonempty_list(COMMA,temporary_variable_name) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## TEMP_VARS COLON +## + + + +source_file: RULE SYMBOL COLON CHAINING WITH +## +## Ends in an error in state: 671. +## +## rule_header_elt -> CHAINING . COLON symbol_enumeration SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## CHAINING +## + + + +source_file: RULE SYMBOL COLON CHAINING COLON WITH +## +## Ends in an error in state: 672. +## +## rule_header_elt -> CHAINING COLON . symbol_enumeration SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## CHAINING COLON +## + + + +source_file: RULE SYMBOL COLON APPLICATION WITH +## +## Ends in an error in state: 675. +## +## rule_header_elt -> APPLICATION . COLON symbol_enumeration SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## APPLICATION +## + + + +source_file: RULE SYMBOL COLON APPLICATION COLON WITH +## +## Ends in an error in state: 676. +## +## rule_header_elt -> APPLICATION COLON . symbol_enumeration SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS CHAINING ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## APPLICATION COLON +## + + + +source_file: RULE SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 679. +## +## nonempty_list(with_pos(rule_header_elt)) -> rule_header_elt . [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## nonempty_list(with_pos(rule_header_elt)) -> rule_header_elt . nonempty_list(with_pos(rule_header_elt)) [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## rule_header_elt +## + + + +source_file: OUTPUT WITH +## +## Ends in an error in state: 683. +## +## output -> OUTPUT . LPAREN variable_name RPAREN SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## OUTPUT +## + + + +source_file: OUTPUT LPAREN WITH +## +## Ends in an error in state: 684. +## +## output -> OUTPUT LPAREN . variable_name RPAREN SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## OUTPUT LPAREN +## + + + +source_file: OUTPUT LPAREN SYMBOL WITH +## +## Ends in an error in state: 685. +## +## output -> OUTPUT LPAREN variable_name . RPAREN SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## OUTPUT LPAREN variable_name +## + + + +source_file: OUTPUT LPAREN SYMBOL RPAREN WITH +## +## Ends in an error in state: 686. +## +## output -> OUTPUT LPAREN variable_name RPAREN . SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## OUTPUT LPAREN variable_name RPAREN +## + + + +source_file: FONCTION WITH +## +## Ends in an error in state: 688. +## +## function_etc -> FONCTION . symbol_with_pos COLON nonempty_list(with_pos(function_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## FONCTION +## + + + +source_file: FONCTION SYMBOL WITH +## +## Ends in an error in state: 689. +## +## function_etc -> FONCTION symbol_with_pos . COLON nonempty_list(with_pos(function_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## FONCTION symbol_with_pos +## + + + +source_file: FONCTION SYMBOL COLON WITH +## +## Ends in an error in state: 690. +## +## function_etc -> FONCTION symbol_with_pos COLON . nonempty_list(with_pos(function_header_elt)) instruction_list_etc [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## FONCTION symbol_with_pos COLON +## + + + +source_file: FONCTION SYMBOL COLON TEMP_VARS WITH +## +## Ends in an error in state: 691. +## +## function_header_elt -> TEMP_VARS . COLON separated_nonempty_list(COMMA,temporary_variable_name) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## TEMP_VARS +## + + + +source_file: FONCTION SYMBOL COLON TEMP_VARS COLON WITH +## +## Ends in an error in state: 692. +## +## function_header_elt -> TEMP_VARS COLON . separated_nonempty_list(COMMA,temporary_variable_name) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## TEMP_VARS COLON +## + + + +source_file: FONCTION SYMBOL COLON RESULT WITH +## +## Ends in an error in state: 695. +## +## function_header_elt -> RESULT . COLON variable_name SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RESULT +## + + + +source_file: FONCTION SYMBOL COLON RESULT COLON WITH +## +## Ends in an error in state: 696. +## +## function_header_elt -> RESULT COLON . variable_name SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RESULT COLON +## + + + +source_file: FONCTION SYMBOL COLON RESULT COLON SYMBOL WITH +## +## Ends in an error in state: 697. +## +## function_header_elt -> RESULT COLON variable_name . SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## RESULT COLON variable_name +## + + + +source_file: FONCTION SYMBOL COLON INPUT_ARGS WITH +## +## Ends in an error in state: 699. +## +## function_header_elt -> INPUT_ARGS . COLON separated_nonempty_list(COMMA,with_pos(variable_name)) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## INPUT_ARGS +## + + + +source_file: FONCTION SYMBOL COLON INPUT_ARGS COLON WITH +## +## Ends in an error in state: 700. +## +## function_header_elt -> INPUT_ARGS COLON . separated_nonempty_list(COMMA,with_pos(variable_name)) SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## INPUT_ARGS COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION WITH +## +## Ends in an error in state: 703. +## +## function_header_elt -> APPLICATION . COLON symbol_enumeration SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## APPLICATION +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON WITH +## +## Ends in an error in state: 704. +## +## function_header_elt -> APPLICATION COLON . symbol_enumeration SEMICOLON [ WHEN VERIFY TEMP_VARS SYMBOL STOP RESULT RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE INPUT_ARGS IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS APPLICATION ] +## +## The known suffix of the stack is as follows: +## APPLICATION COLON +## + + + +source_file: FONCTION SYMBOL COLON APPLICATION COLON SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 709. +## +## nonempty_list(with_pos(function_header_elt)) -> function_header_elt . [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## nonempty_list(with_pos(function_header_elt)) -> function_header_elt . nonempty_list(with_pos(function_header_elt)) [ WHEN VERIFY SYMBOL STOP RESTORE RAISE_ERROR PRINT_ERR PRINT NOTHING MATCH ITERATE IF FOR FINALIZE_ERRORS EXPORT_ERRORS EVENT_FIELD COMPUTE CLEAN_FINALIZED_ERRORS CLEAN_ERRORS ARRANGE_EVENTS ] +## +## The known suffix of the stack is as follows: +## function_header_elt +## + + + +source_file: EVENT WITH +## +## Ends in an error in state: 711. +## +## event_decl -> EVENT . COLON separated_nonempty_list(COLON,event_field) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## EVENT +## + + + +source_file: EVENT COLON WITH +## +## Ends in an error in state: 712. +## +## event_decl -> EVENT COLON . separated_nonempty_list(COLON,event_field) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## EVENT COLON +## + + + +source_file: EVENT COLON VARIABLE WITH +## +## Ends in an error in state: 713. +## +## event_field -> VARIABLE . symbol_with_pos [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## VARIABLE +## + + + +source_file: EVENT COLON VALUE WITH +## +## Ends in an error in state: 715. +## +## event_field -> VALUE . symbol_with_pos [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## VALUE +## + + + +source_file: EVENT COLON VALUE SYMBOL WITH +## +## Ends in an error in state: 719. +## +## separated_nonempty_list(COLON,event_field) -> event_field . [ SEMICOLON ] +## separated_nonempty_list(COLON,event_field) -> event_field . COLON separated_nonempty_list(COLON,event_field) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## event_field +## + + + +source_file: EVENT COLON VALUE SYMBOL COLON WITH +## +## Ends in an error in state: 720. +## +## separated_nonempty_list(COLON,event_field) -> event_field COLON . separated_nonempty_list(COLON,event_field) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## event_field COLON +## + + + +source_file: DOMAIN WITH +## +## Ends in an error in state: 723. +## +## rule_domain_decl -> DOMAIN . RULE separated_nonempty_list(COLON,with_pos(rdom_param)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## verif_domain_decl -> DOMAIN . VERIFICATION separated_nonempty_list(COLON,with_pos(vdom_param)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## DOMAIN +## + + + +source_file: DOMAIN VERIFICATION WITH +## +## Ends in an error in state: 724. +## +## verif_domain_decl -> DOMAIN VERIFICATION . separated_nonempty_list(COLON,with_pos(vdom_param)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## DOMAIN VERIFICATION +## + + + +source_file: DOMAIN VERIFICATION SPECIALIZE WITH +## +## Ends in an error in state: 726. +## +## vdom_param -> SPECIALIZE . separated_nonempty_list(COMMA,symbol_list_with_pos) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## SPECIALIZE +## + + + +source_file: DOMAIN RULE SYMBOL RPAREN +## +## Ends in an error in state: 727. +## +## separated_nonempty_list(COMMA,symbol_list_with_pos) -> symbol_list_with_pos . [ SEMICOLON COLON ] +## separated_nonempty_list(COMMA,symbol_list_with_pos) -> symbol_list_with_pos . COMMA separated_nonempty_list(COMMA,symbol_list_with_pos) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## symbol_list_with_pos +## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 93, spurious reduction of production nonempty_list(symbol_with_pos) -> symbol_with_pos +## In state 338, spurious reduction of production symbol_list_with_pos -> nonempty_list(symbol_with_pos) +## + + + +source_file: DOMAIN RULE SYMBOL COMMA WITH +## +## Ends in an error in state: 728. +## +## separated_nonempty_list(COMMA,symbol_list_with_pos) -> symbol_list_with_pos COMMA . separated_nonempty_list(COMMA,symbol_list_with_pos) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## symbol_list_with_pos COMMA +## + + + +source_file: DOMAIN VERIFICATION AUTHORIZE WITH +## +## Ends in an error in state: 732. +## +## vdom_param -> AUTHORIZE . separated_nonempty_list(COMMA,with_pos(var_category_id)) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## AUTHORIZE +## + + + +source_file: DOMAIN VERIFICATION BY_DEFAULT WITH +## +## Ends in an error in state: 734. +## +## separated_nonempty_list(COLON,with_pos(vdom_param)) -> vdom_param . [ SEMICOLON ] +## separated_nonempty_list(COLON,with_pos(vdom_param)) -> vdom_param . COLON separated_nonempty_list(COLON,with_pos(vdom_param)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## vdom_param +## + + + +source_file: DOMAIN VERIFICATION SYMBOL COLON WITH +## +## Ends in an error in state: 735. +## +## separated_nonempty_list(COLON,with_pos(vdom_param)) -> vdom_param COLON . separated_nonempty_list(COLON,with_pos(vdom_param)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## vdom_param COLON +## + + + +source_file: DOMAIN RULE WITH +## +## Ends in an error in state: 740. +## +## rule_domain_decl -> DOMAIN RULE . separated_nonempty_list(COLON,with_pos(rdom_param)) SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## DOMAIN RULE +## + + + +source_file: DOMAIN RULE SPECIALIZE WITH +## +## Ends in an error in state: 741. +## +## rdom_param -> SPECIALIZE . separated_nonempty_list(COMMA,symbol_list_with_pos) [ SEMICOLON COLON ] +## +## The known suffix of the stack is as follows: +## SPECIALIZE +## + + + +source_file: DOMAIN RULE BY_DEFAULT WITH +## +## Ends in an error in state: 748. +## +## separated_nonempty_list(COLON,with_pos(rdom_param)) -> rdom_param . [ SEMICOLON ] +## separated_nonempty_list(COLON,with_pos(rdom_param)) -> rdom_param . COLON separated_nonempty_list(COLON,with_pos(rdom_param)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## rdom_param +## + + + +source_file: DOMAIN RULE SYMBOL COLON WITH +## +## Ends in an error in state: 749. +## +## separated_nonempty_list(COLON,with_pos(rdom_param)) -> rdom_param COLON . separated_nonempty_list(COLON,with_pos(rdom_param)) [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## rdom_param COLON +## + + + +source_file: CHAINING WITH +## +## Ends in an error in state: 751. +## +## chaining -> CHAINING . symbol_with_pos application_reference SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## CHAINING +## + + + +source_file: CHAINING SYMBOL WITH +## +## Ends in an error in state: 752. +## +## chaining -> CHAINING symbol_with_pos . application_reference SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## CHAINING symbol_with_pos +## + + + +source_file: CHAINING SYMBOL APPLICATION WITH +## +## Ends in an error in state: 753. +## +## application_reference -> APPLICATION . COLON symbol_enumeration [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## APPLICATION +## + + + +source_file: CHAINING SYMBOL APPLICATION COLON WITH +## +## Ends in an error in state: 754. +## +## application_reference -> APPLICATION COLON . symbol_enumeration [ SEMICOLON ] +## +## The known suffix of the stack is as follows: +## APPLICATION COLON +## + + + +source_file: APPLICATION WITH +## +## Ends in an error in state: 758. +## +## application -> APPLICATION . SYMBOL SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## APPLICATION +## + + + +source_file: APPLICATION SYMBOL WITH +## +## Ends in an error in state: 759. +## +## application -> APPLICATION SYMBOL . SEMICOLON [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET SYMBOL RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## APPLICATION SYMBOL +## + + + +source_file: DOMAIN VERIFICATION SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 765. +## +## verif_domain_decl_etc -> verif_domain_decl . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## verif_domain_decl +## + + + +source_file: VARIABLE_SPACE SYMBOL COLON BY_DEFAULT SEMICOLON WITH +## +## Ends in an error in state: 768. +## +## variable_space_decl_etc -> variable_space_decl . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## variable_space_decl +## + + + +source_file: VARIABLE COMPUTED COLON ATTRIBUT SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 771. +## +## var_category_decl_etc -> var_category_decl . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## var_category_decl +## + + + +source_file: DOMAIN RULE SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 777. +## +## rule_domain_decl_etc -> rule_domain_decl . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## rule_domain_decl +## + + + +source_file: OUTPUT LPAREN SYMBOL RPAREN SEMICOLON WITH +## +## Ends in an error in state: 780. +## +## output_etc -> output . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## output +## + + + +source_file: EVENT COLON VALUE SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 784. +## +## event_decl_etc -> event_decl . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## event_decl +## + + + +source_file: CHAINING SYMBOL APPLICATION COLON SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 787. +## +## chaining_etc -> chaining . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## chaining +## + + + +source_file: APPLICATION SYMBOL SEMICOLON WITH +## +## Ends in an error in state: 790. +## +## application_etc -> application . list(with_pos(symbol_colon_etc)) [ VERIFICATION VARIABLE_SPACE VARIABLE TARGET RULE OUTPUT FONCTION EVENT EOF DOMAIN CHAINING APPLICATION ] +## +## The known suffix of the stack is as follows: +## application +## + + diff --git a/src/mlang/m_frontend/syntax_messages.mli b/src/mlang/m_frontend/syntax_messages.mli new file mode 100644 index 000000000..3615863f1 --- /dev/null +++ b/src/mlang/m_frontend/syntax_messages.mli @@ -0,0 +1,26 @@ +(** Parsing error messages handler. The .ml file corresponding to this mli is + generated automatically generated by menhir from the [syntax.messages] file. + This file is the core of parsing message handling: this is where all error + messages must be added. + + The structure of the [syntax.messages] strongly depends on the parser's. If + the parser changes, it may be necessary to rework on it to update the error + messages. Hopefully, [menhir] comes with a way to automatically update + messages when the parser changes. This can be automatically done by running + [dune runtest --auto-promote]. Check the [src/mlang/m_frontend/dune] file + for more information. + + Each possible error is mapped to a state (an integer) and a custom message + in the [syntax.messages] file. When the parser raises an exception, it also + raises the state in which it failed. This module allows to get the + corresponding error message. + + There is then three possibilities: * the state has a custom error message, + which can be printed; * the state has the default error message (<"YOUR + SYNTAX ERROR MESSAGE HERE>"), which has not been customized yet; * the state + has no error message, which should happen only if the [syntax.messages] is + not sync with [mparser.mly]. *) + +val message : int -> string +(** Returns the error message corresponding to a parser error state. Raises + [Not_found] if the state has no error message. *) diff --git a/src/mlang/m_ir/mir.mli b/src/mlang/m_ir/mir.mli index a47559704..4f7f938cd 100644 --- a/src/mlang/m_ir/mir.mli +++ b/src/mlang/m_ir/mir.mli @@ -22,14 +22,13 @@ - Constants have been inlined. - Loops (FunCallLoop, Loop) have been unrolled. - Chaining, domain and verification calculations have been unified into - Target calculations. - This filtering is performed by {!M_frontend.Expander}, {!M_frontend.Validator} and - {!M_frontend.Mast_to_mir}. + Target calculations. This filtering is performed by + {!M_frontend.Expander}, {!M_frontend.Validator} and + {!M_frontend.Mast_to_mir}. - The structural difference between {!M_frontend.Mast} and Mir common types are - the replacement of {!Mir.Com.m_var_name} by {!M_ir.Com.Var.t} and - {!M_frontend.Mast.error_name} by {!M_ir.Com.Error.t}. - *) + The structural difference between {!M_frontend.Mast} and Mir common types + are the replacement of {!Mir.Com.m_var_name} by {!M_ir.Com.Var.t} and + {!M_frontend.Mast.error_name} by {!M_ir.Com.Error.t}. *) type set_value = Com.Var.t Com.set_value @@ -64,8 +63,7 @@ type stats = { max_nb_args : int; table_map : Com.Var.t IntMap.t; } -(** A set of constants relative to the program and its selected - applications. *) +(** A set of constants relative to the program and its selected applications. *) type program = { program_safe_prefix : string;