Hello,

     Taking "name" as a grammar non-terminal <name>, I have

seen legal values of <name> sprinkled in the code. However, it

might be nice to have all legal (wff's - wellformed formulae) values

of <name> documented in the code somewhere, e.g.

<name> := "nbd" ":" <string> | .....

This <name> syntax is a big key in understanding the store

asbtraction. I didn't realize this until I saw your email

responses.

Regards, Vasili



Do You Yahoo!?
Send FREE video emails in Yahoo! Mail.

Reply via email to