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

Yes buy this is also written:

"The random_variable is the name of the random variable to which the
operation is applied. If it is not specified(only allowed when called as
a task), the action is applied to all random variables within the specified
object."

On 12/17/2010 10:02 AM, Bresticker, Shalom wrote:
>
> 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.