The TERMINATING_STRING setting, a new (and quite minor!) feature
Some days ago, I added a new setting. If, at the top of your grammar, you write: TERMINATING_STRING=”some string”; this means that the input you’re parsing is guaranteed to end with that string. If the file ends with that string already, then it does nothing. Otherwise, it tacks that string to the end. In actual …
The TERMINATING_STRING setting, a new (and quite minor!) feature Read More »