Re: [sv-ec] randomize issues

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Sat Feb 16 2008 - 18:26:23 PST
These questions about the bnf have been added to Mantis item 2279.
Mantis item 2279 should be treated as "feedback from the Champions".


Neil



Bresticker, Shalom wrote:
> Hi,
> 
> 1. Is Mantis 1516 a duplicate of 1858 ?
> 
> 2.
> Syntax 17-9 in 17.7 has
> 
> inline_constraint _declaration ::=
>         class_variable_identifier* . randomize* [* (* [ 
> variable_identifier_list |* null* ]* )* ]* with* constraint_block ]
> 
> Syntax 17-10 in 17.12 has
> 
> scope_randomize ::=
>         [* std::* ]* randomize (* [ variable_identifier_list ]* )* [* 
> with* constraint_block ]////
> 
> A.8.2 has
> 
> randomize_call ::=
> *        randomize* { attribute_instance } [* (* [ 
> variable_identifier_list |* null* ]* )* ] [* with* constraint_block ]
> 
> Are scope_randomize and randomize_call supposed to be the same?
> 
> Note that there are some differences between the three syntaxes:
> 
>     * randomize_call has {attribute_instance}
>     * The parentheses in scope_randomize are mandatory
>     * scope_randomize does not allow 'null' argument
>     * randomize_call does not have [std::]
> 
> Are all these differences deliberate?
> 
> 3. If randomize_call stays, then in A.8.2, the word 'randomize' should 
> be bold red.
> 
> Thanks,
> Shalom
> 
> Shalom Bresticker
> Intel Jerusalem LAD DA
> +972 2 589-6582
> +972 54 721-1033
> 
> ---------------------------------------------------------------------
> 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* <http://www.mailscanner.info/>, and is
> believed to be clean.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sat Feb 16 18:26:45 2008

This archive was generated by hypermail 2.1.8 : Sat Feb 16 2008 - 18:27:14 PST