[sv-ec] 18.5.1: trans_range_list

Hi,

In 18.5.1 (Syntax 18-3) and A.2.11:

trans_range_list ::=
trans_item
| trans_item [ [* repeat_range ] ]
| trans_item [ [-> repeat_range ] ]
| trans_item [ [= repeat_range ] ]

where the outer brackets are black and the inner ones are red.
That is, the outer brackets mean that the contents are optional.
But then it reduces to the first alternative, simple trans_item.
So I think all the outer brackets are redundant.


18.5.1 says,
"Consecutive repetitions of transitions are specified using (see Annex
F):"
While this syntax is formally defined in Annex F, that is in the context
of assertions. While the meaning may be similar, I am not sure it is
identical and that the formal description there is accurate and relevant
to transitions also. Even if it is, I am not sure it is helpful to give
that xref here.

Regards,
Shalom
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.