#6 Debugging grammar procedure and documentation.

closed-fixed
nobody
None
5
2004-02-12
2003-04-03
Joseph Kiniry
No

The current documentation on debugging a grammar (node
"Debugging" in lang-support-guide.texi) does not
mention several useful functions like
semantic-show-unmatched-syntax-mode and
semantic-analyze-current-context which can be quite
useful when debugging.

Hints to legitimate procedures for working through a
grammar in a bottom-up fashion (e.g., changing %start
if it worked properly) and providing a simple
interactive function for taking a string to a parse
tree would be useful as well.

I've written a grammar for PVS
(http://pvs.csl.sri.com/) and getting it to work has
been a beast because of the existing limited debugging
interface.

Discussion

  • Eric M. Ludlam
    Eric M. Ludlam
    2003-04-04

    Logged In: YES
    user_id=88537

    The actual debugger for semantic 2.0 is completely different.
    Discussing `semantic-show-unmatched-syntax' seems like
    a good idea.

     
  • Eric M. Ludlam
    Eric M. Ludlam
    2003-04-04

    • assigned_to: nobody --> emacsman
     
  • Eric M. Ludlam
    Eric M. Ludlam
    2004-02-12

    • assigned_to: emacsman --> nobody
    • status: open --> closed-fixed
     
  • Eric M. Ludlam
    Eric M. Ludlam
    2004-02-12

    Logged In: YES
    user_id=88537

    I've added a long chapter on debugging to the doc that will
    appear in beta 2 that covers many areas. If you have some
    additional
    input or patches on those sections, that would be great.