RE: [sv-bc] Confusion over name space definition with checker

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Sun Nov 30 2008 - 06:31:52 PST
Hi,

In 1800-2009-draf7a, eight types of names spaces are defined. Where, definitions name space does not include 'checker'. So that means 'checker' does not belong to that name space. Also block name space too does not include 'checker'. So it is not clear 'checker' belongs to which name space?

[SB] As per draft 7a, a checker declaration can belong either to the compilation-unit scope name space or the module name space.

Another confusion is - when compilation unit scope name space is defined, it is explicitly mentioned about 'checker'. Though it does not mention block name space items. But basically, compilation unit scope name space exists outside the definitions name space and also block name space items. A variable 'x' present in a compilation unit scope does not conflict with another variable 'x' present in a task of same compilation unit.

Is there any mantis on that?
[SB] Should there be?
Shalom
---------------------------------------------------------------------
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 Sun Nov 30 06:33:48 2008

This archive was generated by hypermail 2.1.8 : Sun Nov 30 2008 - 06:34:17 PST