Grammar analysis

After adding renaming, I am now slowly adding some grammar analysis to 
ixampl.

Currently it checks for rules that can produce empty in more than one way. 
For example:


block: "{", rule**";", "}".
rule: name, "=", value; .
name: [L]+.
value: [Nd]+.

**** Warning - these terms can be empty in more than one way: rule**";"

I'll be adding some more checks soon, but I'm happy to receive feedback.

Steven

Received on Thursday, 24 August 2023 20:32:52 UTC