[sv-ec] RE: List of Mantis item for Monday June 29th Champions Meeting

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Mon Jun 22 2009 - 08:02:16 PDT
Hi,

Mantis 2514 was sent back to SV-EC in the May 21 Champions meeting.

Was that issue ever rediscussed in SV-EC? I find no record of it.

The minutes of the May 21 Champions meeting have the following:


2.39 2514 SV-EC Ballot comment #182 External constraint blocks not defined well

From Francoise - no

Comment: It seems to me that the rule below does not support and is not  consistent with class inheritance, since it says that the pure constraint in the derived class is ignored and always replaced with the base pure constraint. This is inconsistent with the way class properties which appear in both base and derived classes work. Why?

"A virtual class that inherits a pure constraint from its superclass may have a pure constraint of the same name. In this case, the pure constraint in the derived virtual class shall be ignored and a warning may be issued. The superclass's pure constraint shall be inherited as if the duplicate in the derived class were not present."

Francoise - The one in the derrived class usually hides the one in the base.

- didn't realize this in the svec meeting when it was discussed.

18.5.2, p2, 2nd blue para

18.5.2, p1, 2nd blue para - is a bit different (not virtual derrived class)

John - if that paragraph was changed for the virtual derrived class case, would there be any difference in the behavior?

Francoise - why do we want to have a different mechanism when the derrived is virtual?

John - is there any difference by discarding the base version versus the derrived one?

Francoise - if the body is missing, which one should the tool point to?

Stu - what is the rule for pure methods?

Francoise - 8.10 - may be overridden, and no warning.

Neil - it sounds inconsistent.

John - it sounds like there is an effect

Stu, Francoise - move to reject the proposal for Mantis 2514

- it should follow the same rules as pure virtual methods when a derrived class has pure constraint of the same name.

FM - it needs to be more consistent with normal class inheritance.

Passed unanimously



Shalom

________________________________
From: owner-sv-champions@server.eda.org [mailto:owner-sv-champions@server.eda.org] On Behalf Of Rich, Dave
Sent: Friday, June 19, 2009 9:28 AM
To: sv-champions@eda.org
Subject: [sv-champions] List of Mantis item for Monday June 29th Champions Meeting

Attached is a list of Mantis items to be reviewed at the next Champions meeting as an Excel spreadsheet. The SV-EC will have one more meeting on June 22, 2009 to resolve mantis 2606.

Dave Rich
Co-Chair SV-Champions

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Jun 22 08:03:16 2009

This archive was generated by hypermail 2.1.8 : Mon Jun 22 2009 - 08:04:12 PDT