package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install 

dune-project
 Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

  1. J
    Jonathan Sterling

Maintainers

  1. J
    Jonathan Sterling

Sources

4.2.0.tar.gz
md5=7543fe7acbdfeb2056dc0b774965239f
sha512=2317bf84588692bbbd40e5fa944faab4889474e4a058e336bd1165f6dd8e55e8979affab098248c87354acdc3b6e6927305553ff5ab6b002b6739719814ec080

doc/forester.frontend/Forester_frontend/Grammar/MenhirInterpreter/index.html

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 terminal
  3. | T_WHITESPACE : string terminal
  4. | T_VERBATIM : string terminal
  5. | T_TEXT : string terminal
  6. | T_SUBTREE : unit terminal
  7. | T_SCOPE : unit terminal
  8. | T_RSQUARE : unit terminal
  9. | T_RPAREN : unit terminal
  10. | T_RBRACE : unit terminal
  11. | T_PUT : unit terminal
  12. | T_PATCH : unit terminal
  13. | T_OPEN : unit terminal
  14. | T_OBJECT : unit terminal
  15. | T_NAMESPACE : unit terminal
  16. | T_LSQUARE : unit terminal
  17. | T_LPAREN : unit terminal
  18. | T_LET : unit terminal
  19. | T_LBRACE : unit terminal
  20. | T_IMPORT : unit terminal
  21. | T_IDENT : string terminal
  22. | T_HASH_LBRACE : unit terminal
  23. | T_HASH_HASH_LBRACE : unit terminal
  24. | T_GET : unit terminal
  25. | T_FUN : unit terminal
  26. | T_EXPORT : unit terminal
  27. | T_EOF : unit terminal
  28. | T_DEFAULT : unit terminal
  29. | T_DEF : unit terminal
  30. | T_DECL_XMLNS : string terminal
  31. | T_CALL : unit terminal
  32. | T_ALLOC : unit terminal
Sourcetype _ nonterminal =
  1. | N_xml_attr : ((string option * string) * Forester_core.Code.t) nonterminal
  2. | N_wstext : string nonterminal
  3. | N_ws_or_text : string nonterminal
  4. | N_ws_or_method_decl_ : (string * Forester_core.Code.t) list nonterminal
  5. | N_ws_or_locate_head_node__ : Forester_core.Code.node Forester_core.Range.located list nonterminal
  6. | N_ws_list_method_decl_ : (string * Forester_core.Code.t) list nonterminal
  7. | N_ws_list_locate_head_node__ : Forester_core.Code.t nonterminal
  8. | N_textual_node : Forester_core.Code.node nonterminal
  9. | N_option_squares_wstext__ : string option nonterminal
  10. | N_option_squares_bvar__ : string list option nonterminal
  11. | N_method_decl : (string * Forester_core.Code.t) nonterminal
  12. | N_main : Forester_core.Code.t nonterminal
  13. | N_list_xml_attr_ : ((string option * string) * Forester_core.Code.t) list nonterminal
  14. | N_list_ws_or_text_ : string list nonterminal
  15. | N_list_ws_or_method_decl__ : (string * Forester_core.Code.t) list list nonterminal
  16. | N_list_ws_or_locate_head_node___ : Forester_core.Code.node Forester_core.Range.located list list nonterminal
  17. | N_list_squares_bvar_with_strictness__ : string list Forester_core.Base.binding list nonterminal
  18. | N_list_locate_textual_node__ : Forester_core.Code.t nonterminal
  19. | N_list_WHITESPACE_ : string list nonterminal
  20. | N_ident_with_method_calls : (string list * string list) nonterminal
  21. | N_ident : string list nonterminal
  22. | N_head_node : Forester_core.Code.node nonterminal
  23. | N_bvar_with_strictness : string list Forester_core.Base.binding nonterminal
  24. | N_bvar : string list nonterminal
  25. | 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