[sv-champions] Re: [sv-sc] some comments on 1900, part 2

Hi Mike:

> I mean "const" in the same sense as is described in 16.15.5.1 in Mantis 2398 - an actual expression involving terms that are either explicitly const-cast or implicitly treated as as const-cast because they are automatics.
> 

I read that meaning into your use of the phrase "constant actuals (see
17.3)".

However, I think Shalom has a point that getting this meaning is
asking a lot of a reader who hasn't participated in or had visibility
into what went on in SV-SC.

Can you massage the phrase

(*) an actual expression involving terms that are either explicitly
    const-cast or implicitly treated as as const-cast because they are
    automatics

into something that can be used instead of "constant actual".  Maybe
you can find a short phrase that doesn't already have a defined
meaning and define it to mean (*) and then use the short phrase.

J.H.

> Date: Wed, 13 Aug 2008 07:59:26 -0700
> From: Michael Burns <michael.burns@freescale.com>
> CC: john.havlicek@freescale.com, sv-champions@eda.org, sv-sc@eda.org
> X-OriginalArrivalTime: 13 Aug 2008 14:59:30.0252 (UTC) FILETIME=[302F68C0:01C8FD55]
> 
> 
> Shalom,
> 
> Bresticker, Shalom wrote:
> > Mike, thanks. 
> > 
> >>> Do you mean "constant actuals" or "const actuals"? If an 
> >> actual is a 
> >>> real constant, such as a number or a parameter, is that 
> >> included? What 
> >>> about a const NON-free variable? If "constant" is used too loosely 
> >>> here, it may be in other places as well, and this should be checked.
> >> No, I mean const actuals. That I must change - I used 
> >> "constant" in one part, which is wrong. It doesn't matter 
> >> whether the const actual is a free variable or not.
> > 
> > So I am now unclear again. When you write here "const actual", what do
> > you mean? Please define precisely.
> 
> I mean "const" in the same sense as is described in 16.15.5.1 in Mantis 2398 - an actual expression involving terms that are either explicitly const-cast or implicitly treated as as const-cast because they are automatics.
> 
> --Mike
> 
> > Thanks,
> > 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.