[sv-ec] randomize issues

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Wed Feb 13 2008 - 02:12:07 PST
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, and is
believed to be clean.
Received on Wed Feb 13 02:20:54 2008

This archive was generated by hypermail 2.1.8 : Wed Feb 13 2008 - 02:22:42 PST