| Number | 218
|
| Category | errata
|
| Synopsis | Nested attributes should be prohibited
|
| State | lrmdraft
|
| Class | errata-simple
|
| Arrival-Date | Dec 16 2002
|
| Originator | "Brad Pierce" <Brad.Pierce@synopsys.com>
|
| Release | 2001b, 2.8
|
| Environment |
|
| Description |
The BNF allows nested attributes, because an attr_spec can contain a constant_expression which can contain a constant_expression. Gordon Vreugdenhil writes -- "Although structurally such nestings of attributes are permitted in the grammar, I would suggest that we disallow such cases via semantic rules in the language. "Although I can conceive of artificial uses for such nestings, I don't think that fits with the original intent and would also needlessly complicate implementation." Steven Sharp writes -- "This was accidental. There was no intent to allow nested attributes." -- Brad |
| Fix |
Append the following paragraph to the end of section 2.8 (before section 2.8.1) -- "Nesting of attribute instances is disallowed. It shall be illegal to specify the value of an attribute with a constant expression that contains an attribute instance." |
| Audit-Trail |
From: Shalom.Bresticker@motorola.com To: Brad.Pierce@synopsys.com Cc: etf-bugs@boyd.com Subject: Re: errata/218: PROPOSAL - Nested attributes should be prohibited Date: Sat, 21 Dec 2002 20:13:26 +0200 (IST) I think it is necessary to add an example. > "Nesting of attribute instances is disallowed. > It shall be illegal to specify the value of > an attribute with a constant expression that > contains an attribute instance." |
| Unformatted |
|
Hosted by Boyd Technology