Re: errata/20: PROPOSAL - A.2.8 should prevent all variable declarationassignments in named blocks

From: Dennis Marsa (drm@xilinx.com)
Date: Fri Jan 10 2003 - 14:20:02 PST

  • Next message: Dennis Marsa: "agenda for 1/13 meeting?"

    Precedence: bulk

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

    From: Dennis Marsa <drm@xilinx.com>
    To: Shalom.Bresticker@motorola.com
    Cc: etf-bugs@boyd.com
    Subject: Re: errata/20: PROPOSAL - A.2.8 should prevent all variable
     declarationassignments in named blocks
    Date: Fri, 10 Jan 2003 15:14:59 -0700

     Shalom.Bresticker@motorola.com wrote:
    >
    > ************************************************************
    > Shalom's proposal:
    >
    > <pre>
    > block_item_declaration ::=
    > {attribute_instance} "reg" ["signed"] [range] list_of_block_variable_identifiers ";"
    > | {attribute_instance} "integer" list_of_block_variable_identifiers ";"
    > | {attribute_instance} "time" list_of_block_variable_identifiers ";"
    > | {attribute_instance} "real" list_of_block_real_identifiers ";"
    > | {attribute_instance} "realtime" list_of_block_real_identifiers ";"
    > | {attribute_instance} event_declaration
    > | {attribute_instance} local_parameter_declaration
    > | {attribute_instance} parameter_declaration
    >
    > list_of_block_variable_identifiers ::=
    > block_variable_type { "," block_variable_type }
    >
    > list_of_block_real_identifiers ::=
    > block_real_type { "," block_real_type }
    >
    > block_variable_type ::= variable_identifier { dimension }
    > block_real_type ::= real_identifier { dimension }
    > </pre>
     
     Shalom's alternative proposal is OK with me. The proposal should
     also include the references to all the syntax boxes that need
     to be updated as well.
     
    > NOTE: I do NOT add the semicolons after the parameter
    > declarations. These should be left for issue #114.
     
     Fine.
     
    > By the way, doesn't Dennis's proposal require a definition
    > of block_integer_declaration as well?
     
     Yes, it does. Thanks.
     
     Dennis

    This archive was generated by hypermail 2.1.4 : Fri Jan 10 2003 - 14:21:01 PST and
    sponsored by Boyd Technology, Inc.