Re: errata/89: Errata: Multiple Attribute Instances in BNF

From: Gordon Vreugdenhil (gvreugde@synopsys.com)
Date: Thu Dec 12 2002 - 08:10:01 PST

  • Next message: etf@boyd.com: "Re: errata/118: ANALYZED - 12.3.4: Bad syntax in example"

    Precedence: bulk

    The following reply was made to PR errata/89; it has been noted by GNATS.

    From: Gordon Vreugdenhil <gvreugde@Synopsys.COM>
    To: Shalom Bresticker <Shalom.Bresticker@motorola.com>
    Cc: etf-bugs@boyd.com
    Subject: Re: errata/89: Errata: Multiple Attribute Instances in BNF
    Date: Thu, 12 Dec 2002 08:05:12 -0800

     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.
     
     Gord.
     
     
     Shalom Bresticker wrote:
    >
    > Precedence: bulk
    >
    > The following reply was made to PR errata/89; it has been noted by GNATS.
    >
    > From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
    > To: Brad Pierce <Brad.Pierce@synopsys.com>
    > Cc: etf-bugs@boyd.com
    > Subject: Re: errata/89: Errata: Multiple Attribute Instances in BNF
    > Date: Thu, 12 Dec 2002 08:16:02 +0200
    >
    > Good point. We need to discuss that one.
    > I don't think that was ever intended.
    >
    > Shalom
    >
    >
    > > There should also be an example of nested attributes.
    > > An attr_spec can contain a constant_expression.
    > > A constant_expression can contain attributes.
    >
    > --
    > Shalom Bresticker Shalom.Bresticker@motorola.com
    > Design & Reuse Methodology Tel: +972 9 9522268
    > Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890
    > POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478
    >
    > "The devil is in the details."
    >
    >
    >
     
     --
     ----------------------------------------------------------------------
     Gord Vreugdenhil gvreugde@synopsys.com
     Staff Engineer, VCS (Verification Tech. Group) (503) 547-6054
     Synopsys Inc., Beaverton OR

    This archive was generated by hypermail 2.1.4 : Thu Dec 12 2002 - 08:11:13 PST and
    sponsored by Boyd Technology, Inc.