package menhirSdk

You can search for identifiers within the package.

in-package search v0.2.0

Compile-time library for auxiliary tools related to Menhir

Install

Dune Dependency

gitlab.inria.fr Edit opam file Versions (22)

Authors

Maintainers

F

francois.pottier@inria.fr

Sources

archive.tar.gz

md5=437b8a568c9bb0df35b4482439c2520b

sha512=6a3cb084d1b2868022b4cb94484801aa7eaea13cfe2788b0da4407693229a6ce699cb282d9fd972476cf29551c259daa40f355dcdc1e545e47573a458a84c9dd

doc/menhirSdk/MenhirSdk/Cmly_format/index.html

Module `MenhirSdk.Cmly_format`Source

Sourcetype terminal = int

Sourcetype nonterminal = int

Sourcetype production = int

Sourcetype lr0 = int

Sourcetype lr1 = int

Sourcetype ocamltype = string

Sourcetype ocamlexpr = string

Sourcetype range = {

r_start : Lexing.position;
r_end : Lexing.position;

}

Sourcetype attribute = {

a_label : string;
a_payload : string;
a_position : range;

}

Sourcetype attributes = attribute list

Sourcetype terminal_def = {

t_name : string;
t_kind : [ `REGULAR | `ERROR | `EOF | `PSEUDO ];
t_type : ocamltype option;
t_attributes : attributes;

}

Sourcetype nonterminal_def = {

n_name : string;
n_kind : [ `REGULAR | `START ];
n_mangled_name : string;
n_type : ocamltype option;
n_positions : range list;
n_nullable : bool;
n_first : terminal list;
n_attributes : attributes;

}

Sourcetype symbol =

| T of terminal
| N of nonterminal

Sourcetype identifier = string

Sourcetype action = {

a_expr : ocamlexpr;
a_keywords : Keyword.keyword list;

}

Sourcetype producer_def = symbol * identifier * attributes

Sourcetype production_def = {

p_kind : [ `REGULAR | `START ];
p_lhs : nonterminal;
p_rhs : producer_def array;
p_positions : range list;
p_action : action option;
p_attributes : attributes;

}

Sourcetype lr0_state_def = {

lr0_incoming : symbol option;
lr0_items : (production * int) list;

}

Sourcetype lr1_state_def = {

lr1_lr0 : lr0;
lr1_transitions : (symbol * lr1) list;
lr1_reductions : (terminal * production list) list;

}

Sourcetype grammar = {

g_basename : string;
g_preludes : string list;
g_postludes : string list;
g_terminals : terminal_def array;
g_nonterminals : nonterminal_def array;
g_productions : production_def array;
g_lr0_states : lr0_state_def array;
g_lr1_states : lr1_state_def array;
g_entry_points : (nonterminal * production * lr1) list;
g_attributes : attributes;
g_parameters : string list;

}