[sv-ec] randmization_call clearence

From: Daniel Mlynek <daniel.mlynek_at_.....>
Date: Thu Aug 28 2008 - 03:14:37 PDT
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