NOT11 — Use of lexical components

Summary: Firstly, due to the use of lexical components such as "and", "or",
"not", etc., the grammar is not context free. A backslash (I assume the
syntactic category <CompEsc> is a backslash) is used to distinguish
runtime variables from symbol names, and this is enough to ensure that
any symbol subsequent to "\" is treated as an <Ident>.

However, the <CompDot> lexical category doesn"t provide for an escaped
<Ident>. However, I believe the following is legal IDL:

struct A

;

This leads to a situation where a constraint such as:

$.A.and == 34

must be regarded as syntactically incorrect for the grammar to remain
context free.

I believe that the issue can be resolved without ambiguity by extending
<CompDot> to allow a backslash followed by a <CompIdent>.

No Data Available