Menhir est un générateur d'analyseurs syntaxiques LR(1) pour le langage de programmation OCaml. En d'autres termes, Menhir traduit des spécifications de grammaires LR(1) en code OCaml. Menhir a été conçu et implémenté par François Pottier et Yann Régis-Gianas.

Menhir est compatible à 90% avec ocamlyacc. Les grammaires ocamlyacc existantes sont acceptées et compilées par Menhir. Les analyseurs syntaxiques ainsi produits tournent et produisent des arbres syntaxiques corrects. Cependant, les analyseurs qui font appel aux fonctions du module Parsing se comportent de façon légèrement incorrecte. Par exemple, les fonctions qui permettent l'accès aux positions renvoient une position par défaut lorsqu'elles sont appelées par un analyseur produit par Menhir. Pour porter une spécification de grammaire de ocamlyacc vers Menhir, il faut remplacer tous les appels au module Parsing par de nouveaux mots-clef spécifiques à Menhir.

Pourquoi préférer Menhir à ocamlyacc?

• Menhir permet de paramétrer la définition d'un symbole non terminal par d'autres symboles (terminaux ou non terminaux). De plus, il propose une bibliothèque de définitions paramétrées standard, comprenant options, séquences et listes. Il autorise quelques-unes des notations de la syntaxe EBNF, à savoir les modificateurs ?, + et *.
• ocamlyacc n'accepte que les grammaires LALR(1). Menhir accepte les grammaires LR(1), évitant ainsi certains conflits artificiels.
• le mot-clef %inline que propose Menhir permet d'éviter ou de résoudre certains conflits LR(1) sans modification artificielle de la grammaire.
• Menhir explique les conflits en termes de la grammaire, et non seulement en termes de l'automate. Les explications fournies par Menhir sont censées être compréhensibles par de simples humains.
• Menhir permet l'analyse syntaxique incrémentale (en mode --table seulement). Ceci signifie que l'état de l'analyseur syntaxique peut être sauvegardé à tout moment (sans aucun coût) et que l'analyse peut plus tard être reprise à partir d'un état sauvegardé.
• Menhir offre un interprète qui facilite le débogage interactif des grammaires.
• Menhir permet de découper la spécification d'une grammaire en plusieurs fichiers. Il permet également à plusieurs grammaires de partager un même jeu de symboles terminaux.
• Menhir produit des analyseurs ré-entrants.
• Menhir est capable de produire des analyseurs paramétrés par des modules OCaml.
• ocamlyacc ne permet de faire référence aux valeurs sémantiques que par mots-clef: $1, $2, etc. Menhir autorise un nommage explicite des valeurs sémantiques.

Il y a d'autres différences, documentées dans le manuel de référence de Menhir.

Documentation

Le manuel de référence est disponible aux formats HTML et PDF.

L'API MenhirLib.Convert facilite la conversion entre l'interface traditionnelle des analyseurs syntaxiques (laquelle suppose que l'analyseur lexical est produit par ocamllex) et une interface révisée (qui ne fait pas cette supposition).

Le module MenhirLib.LexerUtil aide à extraire la position d'une erreur de syntaxe du tampon de l'analyseur lexical et à l'afficher de façon lisible.

Le module MenhirLib.ErrorReports aide à construire des messages d'erreur de syntaxe.

L'API incrémentale est définie par MenhirLib.IncrementalEngine (et est également expliquée dans le manual de référence).

Téléchargement

Voici les distributions en code source de Menhir. Pour compiler et installer, il vous faudra GNU make et OCaml (version 4.02 ou plus récente). Rapports de bogues et suggestions sont les bienvenus. Voici la liste des modifications récentes.

Menhir est également disponible par l'intermédiaire d'opam. Une fois que vous installé opam, tapez simplement opam install menhir.

Liste de diffusion

Il existe une liste de diffusion dédiée aux annonces de nouvelles versions et à la discussion de problèmes, bogues, nouvelles fonctionalités, etc. Seuls les abonnés peuvent écrire.

---

Page principale

Email

Dernière modification : 10 August 2021