NOT11 — Section 2.4.6 : positional notation wrt to unions

Summary: In section 2.4.6 of the Notification Spec, there"s a discussion about
positional notation wrt to unions. Examples are given using the
constraints of the form $.(nn). e.g.,
$.(3).2 < 128

However, this isn"t syntactically correct. the Compdot syntactic
category is given as:

<CompDot> := <CompIdent> | <CompPos> | ** the "_" literals **

<CompIdent> must begin with an <Ident> which must begin with an
aphabetic char.
<CompPos> must begin with a digit.

<Component> may be empty, in which case an operator like +,-, and, or,
etc will be expected, but not a "(".
The same mistake is made throughout Section 2.4.6, in the fifth,
sixth, and seventh paragraphs. There are also some comments such as "
.. using run time variables as "$(3).2 < 128" .." in the fifth
paragraph that don"t make sense. (That example is wrong because a
runtime variables must be introduced by $<Ident>.)

No Data Available