RE: [sv-ec] Mantis 2279 (randomize syntax feedback)

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Wed Mar 26 2008 - 01:13:30 PDT
Hi,

I'd like to propose a small change to version 2a.

The text in 17.7 is currently:

The syntax for randomize()...with is as follows:

inline_constraint _declaration ::=
	class_variable_identifier . randomize [ ( [
variable_identifier_list | null ] ) ]
		with constraint_block

Syntax 17-9-In-line constraint syntax (not in Annex A)

The class_variable_identifier is the name of an instantiated object.

=======

The proposal says:

REPLACE contents of syntax box 17-9 (in clause 17.7) with this text
taken from A.8.2,
and update the caption to reflect this change:

randomize_call ::=
	randomize { attribute_instance }
		[ ( [ variable_identifier_list | null ] ) ]
		[ with [ ( [identifier_list] ) ] constraint_block ]

======

The problem is that it is then not clear that this randomize_call is
used as a class method, and the following paragraph, "The
class_variable_identifier is the name of an instantiated object,"
becomes an orphan.

So I propose the following:

inline_constraint _declaration ::=
// not in Annex A
	class_variable_identifier . randomize_call

randomize_call ::=
// from A.8.2
	randomize { attribute_instance }
		[ ( [ variable_identifier_list | null ] ) ]
		[ with [ ( [identifier_list] ) ] constraint_block ]

Syntax 17-9-Inline constraint syntax (not in Annex A)

The class_variable_identifier is the name of an instantiated object.

======

Thanks,
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 Wed Mar 26 01:14:57 2008

This archive was generated by hypermail 2.1.8 : Wed Mar 26 2008 - 01:15:45 PDT