Tracker: Feature Requests

5 Debugging grammar procedure and documentation. - ID: 714588
Last Update: Comment added ( zappo )

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.

Joseph Kiniry ( kiniry ) - 2003-04-03 04:44:39 PST

5

Closed

Fixed

Nobody/Anonymous

None

None

Public


Comments ( 2 )




Date: 2004-02-11 18:26:15 PST
Sender: zappoSourceForge.net SubscriberProject Admin

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.

Date: 2003-04-03 17:06:14 PST
Sender: zappoSourceForge.net SubscriberProject Admin

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.

Log in to comment.

Attached File

No Files Currently Attached

Changes ( 5 )

Field Old Value Date By
status_id Open 2004-02-11 18:26:15 PST zappo
resolution_id None 2004-02-11 18:26:15 PST zappo
assigned_to emacsman 2004-02-11 18:26:15 PST zappo
close_date - 2004-02-11 18:26:15 PST zappo
assigned_to nobody 2003-04-03 17:06:14 PST zappo