Module Grammar.MenhirInterpreterSource

include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token
Sourcetype token = token
Sourcetype production
Sourcetype 'a env
Sourcetype 'a checkpoint = private
  1. | InputNeeded of 'a env
  2. | Shifting of 'a env * 'a env * bool
  3. | AboutToReduce of 'a env * production
  4. | HandlingError of 'a env
  5. | Accepted of 'a
  6. | Rejected
Sourcetype strategy = [
  1. | `Legacy
  2. | `Simplified
]
Sourceval resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpoint
Sourceval lexer_lexbuf_to_supplier : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> supplier
Sourceval loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'a
Sourceval loop_handle : ('a -> 'answer) -> ('a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
Sourceval loop_handle_undo : ('a -> 'answer) -> ('a checkpoint -> 'a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
Sourceval shifts : 'a checkpoint -> 'a env option
Sourcetype 'a lr1state
Sourceval number : _ lr1state -> int
Sourceval production_index : production -> int
Sourceval find_production : int -> production
Sourceval stack : 'a env -> stack
Sourceval top : 'a env -> element option
Sourceval pop_many : int -> 'a env -> 'a env option
Sourceval get : int -> 'a env -> element option
Sourceval current_state_number : 'a env -> int
Sourceval equal : 'a env -> 'a env -> bool
Sourceval env_has_default_reduction : 'a env -> bool
Sourceval state_has_default_reduction : _ lr1state -> bool
Sourceval pop : 'a env -> 'a env option
Sourceval force_reduction : production -> 'a env -> 'a env
Sourceval input_needed : 'a env -> 'a checkpoint
Sourcetype _ terminal =
  1. | T_error : unit terminal
  2. | T_XML_ELT_IDENT : (string option * string) terminal
  3. | T_WHITESPACE : string terminal
  4. | T_VERBATIM : string terminal
  5. | T_TICK : unit terminal
  6. | T_TEXT : string terminal
  7. | T_SUBTREE : unit terminal
  8. | T_SLASH : unit terminal
  9. | T_SCOPE : unit terminal
  10. | T_RSQUARE : unit terminal
  11. | T_RPAREN : unit terminal
  12. | T_RBRACE : unit terminal
  13. | T_PUT : unit terminal
  14. | T_PATCH : unit terminal
  15. | T_OPEN : unit terminal
  16. | T_OBJECT : unit terminal
  17. | T_NAMESPACE : unit terminal
  18. | T_LSQUARE : unit terminal
  19. | T_LPAREN : unit terminal
  20. | T_LET : unit terminal
  21. | T_LBRACE : unit terminal
  22. | T_IMPORT : unit terminal
  23. | T_IDENT : string terminal
  24. | T_HASH_LBRACE : unit terminal
  25. | T_HASH_IDENT : string terminal
  26. | T_HASH_HASH_LBRACE : unit terminal
  27. | T_HASH : unit terminal
  28. | T_GET : unit terminal
  29. | T_FUN : unit terminal
  30. | T_EXPORT : unit terminal
  31. | T_EOF : unit terminal
  32. | T_DX_VAR : string terminal
  33. | T_DX_ENTAILED : unit terminal
  34. | T_DEFAULT : unit terminal
  35. | T_DEF : unit terminal
  36. | T_DECL_XMLNS : string terminal
  37. | T_DATALOG : unit terminal
  38. | T_COMMENT : string terminal
  39. | T_CALL : unit terminal
  40. | T_AT_SIGN : unit terminal
  41. | T_ALLOC : unit terminal
Sourcetype _ nonterminal =
  1. | N_wstext : string nonterminal
  2. | N_ws_or_text : string nonterminal
  3. | N_ws_or_method_decl_ : (string * Forester_core.Code.t) list nonterminal
  4. | N_ws_or_locate_head_node_or_import__ : Forester_core.Code.node Forester_core.Range.located list nonterminal
  5. | N_ws_or_locate_head_node1__ : Forester_core.Code.node Forester_core.Range.located list nonterminal
  6. | N_ws_or_locate_head_node__ : Forester_core.Code.node Forester_core.Range.located list nonterminal
  7. | N_ws_or_dx_term_ : Forester_core.Code.t list nonterminal
  8. | N_ws_or_braces_dx_prop__ : Forester_core.Code.t list nonterminal
  9. | N_ws_list_method_decl_ : (string * Forester_core.Code.t) list nonterminal
  10. | N_ws_list_locate_head_node_or_import__ : Forester_core.Code.t nonterminal
  11. | N_ws_list_locate_head_node1__ : Forester_core.Code.t nonterminal
  12. | N_ws_list_locate_head_node__ : Forester_core.Code.t nonterminal
  13. | N_ws_list_dx_term_ : Forester_core.Code.t list nonterminal
  14. | N_ws_list_braces_dx_prop__ : Forester_core.Code.t list nonterminal
  15. | N_textual_node : Forester_core.Code.node nonterminal
  16. | N_separated_nonempty_list_SLASH_IDENT_ : Forester_core.Trie.path nonterminal
  17. | N_patch_bindings : (string option * string option) nonterminal
  18. | N_option_squares_wstext__ : string option nonterminal
  19. | N_option_squares_bvar__ : string option nonterminal
  20. | N_method_decl : (string * Forester_core.Code.t) nonterminal
  21. | N_main : Forester_core.Code.t nonterminal
  22. | N_list_ws_or_text_ : string list nonterminal
  23. | N_list_ws_or_method_decl__ : (string * Forester_core.Code.t) list list nonterminal
  24. | N_list_ws_or_locate_head_node_or_import___ : Forester_core.Code.node Forester_core.Range.located list list nonterminal
  25. | N_list_ws_or_locate_head_node1___ : Forester_core.Code.node Forester_core.Range.located list list nonterminal
  26. | N_list_ws_or_locate_head_node___ : Forester_core.Code.node Forester_core.Range.located list list nonterminal
  27. | N_list_ws_or_dx_term__ : Forester_core.Code.t list list nonterminal
  28. | N_list_ws_or_braces_dx_prop___ : Forester_core.Code.t list list nonterminal
  29. | N_list_squares_bvar_with_strictness__ : (Forester_core__Base.binding_info * string) list nonterminal
  30. | N_list_locate_textual_node__ : Forester_core.Code.t nonterminal
  31. | N_list_WHITESPACE_ : string list nonterminal
  32. | N_ident : Forester_core.Trie.path nonterminal
  33. | N_head_node_or_import : Forester_core.Code.node nonterminal
  34. | N_head_node1 : Forester_core.Code.node nonterminal
  35. | N_head_node : Forester_core.Code.node nonterminal
  36. | N_dx_term_node : Forester_core.Code.node nonterminal
  37. | N_dx_term : Forester_core.Code.t nonterminal
  38. | N_dx_sequent_node : Forester_core.Code.node nonterminal
  39. | N_dx_rel : Forester_core.Code.t nonterminal
  40. | N_dx_prop_node : Forester_core.Code.node nonterminal
  41. | N_dx_prop : Forester_core.Code.t nonterminal
  42. | N_bvar_with_strictness : (Forester_core__Base.binding_info * string) nonterminal
  43. | N_bvar : string nonterminal
  44. | N_arg : Forester_core.Code.t nonterminal
include MenhirLib.IncrementalEngine.INSPECTION with type 'a lr1state := 'a lr1state with type production := production with type 'a terminal := 'a terminal with type 'a nonterminal := 'a nonterminal with type 'a env := 'a env
include MenhirLib.IncrementalEngine.SYMBOLS with type 'a terminal := 'a terminal with type 'a nonterminal := 'a nonterminal
Sourcetype 'a symbol =
  1. | T : 'a terminal -> 'a symbol
  2. | N : 'a nonterminal -> 'a symbol
Sourcetype xsymbol =
  1. | X : 'a symbol -> xsymbol
Sourcetype item = production * int
Sourceval compare_terminals : _ terminal -> _ terminal -> int
Sourceval compare_nonterminals : _ nonterminal -> _ nonterminal -> int
Sourceval compare_symbols : xsymbol -> xsymbol -> int
Sourceval compare_productions : production -> production -> int
Sourceval compare_items : item -> item -> int
Sourceval incoming_symbol : 'a lr1state -> 'a symbol
Sourceval items : _ lr1state -> item list
Sourceval rhs : production -> xsymbol list
Sourceval nullable : _ nonterminal -> bool
Sourceval first : _ nonterminal -> _ terminal -> bool
Sourceval xfirst : xsymbol -> _ terminal -> bool
Sourceval foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a
Sourceval foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a