RE: [sv-ec] rand_mode called on a handle

I don't think so.
The text I quoted says that calling rand_mode on an object handle affects the mode of the handle, not the mode of the members of the class pointed to.

It is true that 18.4 says,
- An object handle can be declared rand, in which case all of that object's variables and constraints are solved concurrently with the variables and constraints of the object that contains the handle. Randomization shall not modify the actual object handle."

But that is not the same as your statement.

Regards,
Shalom

if its called on non random variable (of type object , unpacked struct) then it should turn off/on rand mode of all its members

On 12/17/2010 9:34 AM, Bresticker, Shalom wrote:
18.8 says,

"If the random variable is an object handle, only the mode of the variable is changed, not the mode of random variables within that object (see global constraints in 18.5.8)."

---------------------------------------------------------------------
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.