Re: [sv-ec] 18.5.1: trans_range_list

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Tue Apr 15 2008 - 14:04:07 PDT
Hi Shalom,

I agree with you on this point. Such a change does not appear to
alter the allowed syntax in any way.

I'm ok letting the Editor make the change.

Neil



Bresticker, Shalom wrote:
> 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.
Received on Tue Apr 15 14:04:57 2008

This archive was generated by hypermail 2.1.8 : Tue Apr 15 2008 - 14:05:40 PDT