[sv-bc] [sv-ec] static class property declaration

From: Lavva, Irina <irina.lavva@intel.com>
Date: Wed Feb 17 2010 - 00:57:15 PST

Hi,

The similar confusion is observed in class property parsing rule:

[static] [const] [var] [static] data_type_or_implicit list_of_variable_decl_assignments ;

The first "static" comes from "class_item_qualifier" and the second comes from "lifetime".
In BNF two parameters [const] [var] are optional.
This says that when we meet the following declaration we can't decide from with rule comes the 'static' keyword (class_item_qualifier or lifetime).

I think that the comment 9) of data_declaration BNF rule should be updated that for class_property is illegal use "static" lifetime

The SystemVerilog Example:
class A;
        static int a;
endclass

The relevant parsing rules:
data_declaration9 ::=
        [ const ] [ var ] [ lifetime ] data_type_or_implicit list_of_variable_decl_assignments ;

class_property ::=
        { property_qualifier } data_declaration

property_qualifier8 ::=
        random_qualifier
        | class_item_qualifier

class_item_qualifier8 ::=
        static
        | protected
        | local

Irina Lavva

---------------------------------------------------------------------
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 Feb 17 00:58:10 2010

This archive was generated by hypermail 2.1.8 : Wed Feb 17 2010 - 00:58:14 PST