[sv-ac] mantis issue 1648 (issue summary about the scope definition)

The champions reviewed the proposal of 1648. 
I raised some questions regarding the definition of default disable,
extract below:
A default disable may be declared as an item within a module, interface,
or program. The scope of the

default disable does not depend on the position of the declaration item
within the module, interface, or

program. Declaring more than one default disable item within the same
module, interface, or program shall

result in a compilation error.

A default disable is valid only within its scope. The scope of a default
disable includes the module, interface,

or program in which it is declared as an item. The scope also includes
any nested module, interface, or

program declaration. The scope does not include instantiated modules or
interfaces.

If a nested module, interface, or program declaration itself has a
default disable declaration, then that default

disable applies within the nested declaration and overrides any default
disable from without.

 

1) Can you have a default disable in a generate? If not (as the above
1st paragraphs suggests, why is the production

for default disable being added to the bnf for
module_or_generate_item_declaration?

 

2) In the second paragraph of the proposal "A default disable is valid
only within its scope...."

is contradictory with the 3rd sentence: "The scope also includes any
nested module, interface or program declaration".

Additionally the "is only valid within its scope" is the appropriate
thing to state. I suspect you mean that the default disable

effect applies to its enclosing scope?

 

3) There are a few sentences in the proposal which I believe are
redundant :

"A default disable may be declared as an item within a module,
interface, or program.

The  scope of the default disable does not depend on the position of the
declaration item within the module, interface, or

program. " 

and later 

"A default disable is valid only within its scope. The scope of a
default disable includes the module, interface,

or program in which it is declared as an item. "

 

I feel that the proposal can be reworded in a more concise way.

Francoise

    


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.