Re: [sv-bc] RE: 3398 and 3625

> Are there automatic functions that preserve state information?

If you declare one of its variables to be static.

-- Brad

On Thu, Jun 16, 2011 at 9:35 PM, Bresticker, Shalom
<shalom.bresticker@intel.com> wrote:
> Francoise,
>
>
>
> In the past, I have interpreted "or preserve no state information" as being
> a real "or", i.e., "shall either be automatic or otherwise preserve no state
> information", and not an additional restriction. That is, a static function
> that preserves no state information would be legal.
>
>
>
> Are there automatic functions that preserve state information?
>
>
>
> Also see Mantis 2928.
>
>
>
> This change would affect both assertions and constraints.
>
>
>
> Regards,
>
> Shalom
>
>
>
> From: owner-sv-dc@eda.org [mailto:owner-sv-dc@eda.org] On Behalf Of
> Francoise Martinolle
> Sent: Friday, June 17, 2011 3:29 AM
> To: sv-dc@eda.org
> Subject: [sv-dc] 3398 and 3625
>
>
>
> I have updated 3398 with the latest versio of the proposal for nettypes. I
> have deleted all previous
>
> versions.
>
> I also have submitted a new mantis item 3625 for the BC to consider to
> change
>
> Functions shall be automatic (or preserve no state information) and have no
> side effects.
>
>
>
> to:
>
> Functions shall be automatic, preserve no state information and have no side
> effects.
>
> I wil lmake a proposal to for 3625 and ask BC to add it to the agenda of
> next meeting.
>
>
>
> Francoise
>
>        '
>
>
>
>
>
> --
> 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.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.