Number | 415
|
Category | errata
|
Synopsis | BNF: redundant function calls in "module_path_primary" and "primary"
|
State | lrmdraft
|
Class | errata-simple
|
Arrival-Date | Aug 13 2003
|
Originator | Shalom Bresticker <Shalom.Bresticker@motorola.com>
|
Release | 2001b: 4.3, A.8.4
|
Environment |
|
Description |
"module_path_primary" and "primary" include as options "function_call", "system_function_call", and "constant_function_call". At first glance, it would appear that "function_call" would be sufficient, and the other two are included in it. |
Fix |
In the BNF productions of "module_path_primary" and "primary", delete the line "| constant_function_call". The BNF of "primary" appears in: Syntax 4-2 (Section 4.3) A.8.4 The BNF of "module_path_primary" appears in: A.8.4 "system_function_call" should not be deleted, it is not included in "function_call". |
Audit-Trail |
Date: Mon, 25 Aug 2003 01:20:50 -0700 From: Shalom Bresticker <Shalom.Bresticker@motorola.com> To: etf-bugs@boyd.com Subject: errata/415: PROPOSAL - BNF: redundant function calls in "module_path_primary" and "primary" In the BNF productions of "module_path_primary" and "primary", delete the lines "| system_function_call" and "| constant_function_call". The BNF of "primary" appears in: Syntax 4-2 (Section 4.3) A.8.4 The BNF of "module_path_primary" appears in: A.8.4 http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&pr=415 Date: Tue, 9 Sep 2003 08:50:46 -0700 From: Brad Pierce <Brad.Pierce@synopsys.com> To: mac@verisity.com Cc: etf@boyd.com Subject: Re: Minutes of the September 8, 2003 ETF meeting Mac, I think the proposal for 415 needs a revision by the VSG. |
415 | Shalom moved, James seconded; none opposed, none abstain; hence
> the motion passes. Although I still agree that constant_function_call can and ought to be removed from module_path_primary and primary, I think that the system_function_calls need to be retained. Only system_function_identifiers can start with a '$' and only a system_function_call can include a system_function_identifier. -- Brad Date: Tue, 9 Sep 2003 16:02:36 -0700 From: Michael McNamara <mac@verisity.com> To: Brad.Pierce@synopsys.com Cc: mac@verisity.com, etf@boyd.com Subject: Re: Minutes of the September 8, 2003 ETF meeting -- On Sep 9 2003 at 08:50, Brad Pierce sent a message: > To: mac@verisity.com, etf@boyd.com > Subject: "Re: Minutes of the September 8, 2003 ETF meeting" > Mac, > > I think the proposal for 415 needs a revision by the VSG. > > >415: Shalom moved, James seconded; none opposed, none abstain; hence > > the motion passes. > > Although I still agree that constant_function_call can and ought to > be removed from module_path_primary and primary, I think that the > system_function_calls need to be retained. > > Only system_function_identifiers can start with a '$' and only > a system_function_call can include a system_function_identifier. > > -- Brad > > Actually the purpose of this motion was based on the assertion of fact that the function_call production in the BNF already includes constant_function_call and system_function_call, so it is redundant to include these items in again in the definition of a primary. If this isn't the case, then absolutely there is a revision needed. Shalom? Date: Wed, 10 Sep 2003 09:27:42 +0300 (IDT) From: Shalom.Bresticker@motorola.com To: Michael McNamara <mac@verisity.com> Cc: Brad.Pierce@synopsys.com, etf@boyd.com Subject: Re: Minutes of the September 8, 2003 ETF meeting No, I think Brad is correct. The function_call production in the BNF is not defined as including "| system_function_call". I missed this one. Thanks, Brad. Shalom Date: Thu, 11 Sep 2003 03:18:49 -0700 From: Shalom Bresticker <Shalom.Bresticker@motorola.com> To: etf-bugs@boyd.com Subject: errata/415: PROPOSAL - BNF: redundant function calls in "module_path_primary" and "primary" In the BNF productions of "module_path_primary" and "primary", delete the line "| constant_function_call". The BNF of "primary" appears in: Syntax 4-2 (Section 4.3) A.8.4 The BNF of "module_path_primary" appears in: A.8.4 "system_function_call" should not be deleted, it is not included in "function_call". http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&pr=415 |
Unformatted |
|
Hosted by Boyd Technology