[sv-bc] RE: [sv-ec] $unit and function resolution

Gord,

In 3.10.1, what does the addition of "if the identifier follows
hierarchical name resolution rules" exclude?

Regarding "Other than for task and function names (see 22.7.1),
references shall only be made to names already defined in the
compilation unit. The use of an explicit $unit:: prefix only provides
for name disambiguation and does not add the ability to refer to later
compilation unit items," this is a little ambiguous as to whether a
$unit:: prefix can refer to later compilation unit items when those
items are tasks and functions.

The additions to 13.7 and 22.7.1 can be interpreted as implying that the
forward referenceability of tasks and functions comes from special
rules. Yet Steven Sharp and others in the past have said that this
actually is a side-effect of the existing rules.

Are the rules for properties and sequences the same as for tasks and
functions? This was discussed in the past as they also have forward
referenceability. If they are the same, then 22.7.1 should say so. I
don't remember whether SV-AC has passed some change in Clause 16 saying
so.

However, I don't have any objection to the technical content of your
proposal.

Regards,
Shalom

> -----Original Message-----
> From: owner-sv-ec@server.eda.org 
> [mailto:owner-sv-ec@server.eda.org] On Behalf Of Gordon Vreugdenhil
> Sent: Friday, November 16, 2007 3:14 PM
> To: SV_EC List; SV_BC List
> Subject: [sv-ec] $unit and function resolution
> 
> I've updated the proposal for Mantis 1809 to include both 
> function resolution rules, clarifications on $unit:: 
> prefixing, and some corrections to loose language regarding 
> compilation units.
> 
> Please do review this.  We do not have time to iterate on 
> these in meetings so we really need to get consensus prior to 
> the meetings.
> 
> If you have substantive issues please raise those asap.
> 
> Word-smithing suggestions are fine, but I don't have much 
> time for that given the proposals that I still need to write 
> up so I'll likely just hand off the text if non-trivial 
> rewrites are suggested (i.e. if you care about it that much, 
> be prepared to do the work yourself...).
> 
> Gord.
> 
> --
> --------------------------------------------------------------------
> Gordon Vreugdenhil                                503-685-0808
> Model Technology (Mentor Graphics)                gordonv@model.com
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by MailScanner, 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.