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