LRM in chapter 17 gives to definitions: scope_randomize ::= [ std:: ] randomize ( [ variable_identifier_list ] ) [ with constraint_block ] inline_constraint _declaration ::= class_variable_identifier . randomize [ ( [ variable_identifier_list | null ] ) ] with [ ( [ identifier_list ] ) ] constraint_block Those definition are not then used in annex A bnf there in only randomize_call: randomize { attribute_instance } [ ( [ variable_identifier_list | null ] ) ] [ with constraint_block ] IMHO in all of above there is a bit of incosistency. ANNEX a covers both definiition from chapter 17 bu definition differs in t: - { attribute_instance } - obligatory of parantheses: ( [ variable_identifier_list ] ) vs [( [ variable_identifier_list ] ) ] - null in arg list - with clause with [ ( [ identifier_list ] ) ] constraint_block Some of the difference was made surely on purpose - but really all are ok? 1. should attribute be allowed in all 3 definitions? 2. should parantheses be not obligatory in all 3 definitions? 3. should null be allowed in all 3 definitions? 4. with [ ( [ identifier_list ] ) ] constraint_block be added into annex A? with some footnote? Mantis is down again so I cannot check if this was already addressed DANiel -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Aug 28 03:15:43 2008
This archive was generated by hypermail 2.1.8 : Thu Aug 28 2008 - 03:16:17 PDT