ISSUE 415

Number 415
Category errata
Synopsis BNF: redundant function calls in "module_path_primary" and "primary"
State lrmdraft
Class errata-simple
Arrival-DateAug 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