Sortie d'erreur de bison

Aucun des parsers basés sur le YACC ne fait quelque chose de beaucoup mieux que «Erreur de syntaxe» quand il y a un problème; C'est en grande partie à vous de vous améliorer sur cela.

Il y a quelques choses que vous pouvez faire assez facilement.

On est d'instruminer votre analyseur lexical afin qu'il imprime les jetons qu'il trouve comme il les renvoie à l'analyseur approprié. Cela vous dit quel jeton la grammaire échoue et quels jetons ont été fournis à l'avance.

L'autre est de compiler avec YACC Déboguement activé, puis allumez-le. Cela nécessite -dyydebug = 1 et définir la variable yydebug à une valeur non nulle (classiquement 1). La première étape compile les informations supplémentaires dans la grammaire; La deuxième étape permet la sortie.

du manuel BISON 2.4.3:

§8.2 Tracer votre anal

Si une grammaire de bison compile correctement mais ne fait pas ce que vous voulez quand il court, le La fonctionnalité Yydebug Parser-Trace peut vous aider à déterminer pourquoi.

Il existe plusieurs moyens pour permettre la compilation d'installations de trace:

• Le macro yydebug

  Définissez le macro yydebug à une valeur non zéro lorsque vous compilez l'analyseur. Ceci est conforme à Posix Yacc. Vous pouvez utiliser -dyydebug = 1 comme compilateur option ou vous pouvez mettre #define yydebug 1 dans le prologue de la grammaire Fichier (voir section 3.1.1 [Le prologue], page 47).

• L'option -t , - débogage

  Utilisez l'option -t lorsque vous exécutez Bison (voir chapitre 9 [Invoquant Bison], Page 117). Ceci est une conformité de POSIX aussi.

• la directive % débogage

  Ajouter le % Débogou DIRECTIVE (voir la section 3.7.12 [Résumé de la déclaration de bison] page 72). Ceci est une extension de bison, qui s'avérera utile lorsque Bison sera Les analyseurs de sortie pour les langues qui n'utilisent pas de préprocesseur. Sauf si Posix et YACC La portabilité compte pour vous, c'est la solution préférée.

  Nous vous suggérons de toujours activer l'option de débogage afin que le débogage soit toujours possible.

  La facilité de trace génère des messages avec des appels macro du formulaire yyfprintf (stardr, Format, Args) où format et args sont le formulaire printf format et arguments variadiques. Si vous définissez yydebug à une valeur non zéro mais ne définit pas yyfprintf , est automatiquement inclus et yyfprintf est défini sur fprintf .

  Une fois que vous avez compilé le programme avec des installations de trace, la façon de demander une trace est Pour stocker une valeur non zéro dans la variable yydebug . Vous pouvez le faire en faisant le code C il (en main, peut-être), ou vous pouvez modifier la valeur avec un débogueur C.

  Chaque étape prise par l'analyseur lorsque yydebug est non nul produit une ligne ou deux de trace Informations, écrites sur stardr . Les messages de trace vous disent ces choses:

  • Chaque fois que l'analyseur appelle yylex , quel genre de jeton a été lu.
  • Chaque fois qu'un jeton est décalé, la profondeur et le contenu complet de la pile d'état (voir Section 5.5 [États d'analyses], page 95).
  • Chaque fois qu'une règle est réduite, ce qui règle, et le contenu complet de l'état pile après.