RE: [sv-ac] RE: Revision of 1995

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Mon Dec 24 2007 - 07:17:02 PST
Erik,

I did not look at this lately till now.

- Instead of 'iterator', the LRM term is 'loop variable' or 'loop
control variable'.

- "All controlling arrays shall be non-associative and have fixed-size
bounds." As I previously wrote you, if the intent is to exclude
associative, dynamic, and queue dimensions, then you should simply say
something like, "All controlling arrays shall be of fixed size." That
excludes associative arrays also.

- "The loop iterators do not use sampled values." The loop iterators
don't do anything. I think you mean something like, "The assertion does
not use sampled values of the loop variables."

But otherwise, it looks ok.

Regards,
Shalom


> OK, I believe this version (also posted to Mantis) resolves 
> Dmitry's and Manisha's current concerns.
> Tell me if you think it needs further revision... Otherwise, 
> I think it's ready for revoting.
---------------------------------------------------------------------
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 Dec 24 08:40:16 2007

This archive was generated by hypermail 2.1.8 : Mon Dec 24 2007 - 08:41:08 PST