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

So is it necessary to be automatic? Is it enough just to say 'preserves no state information"? Is a static function that preserves no state information (such as a pure function, for example) ok?

(Of course, with the no side effect condition also).

Shalom

> -----Original Message-----
> From: bradpiercephd@gmail.com [mailto:bradpiercephd@gmail.com] On Behalf Of
> Brad Pierce
> Sent: Friday, June 17, 2011 7:46 AM
> To: Bresticker, Shalom
> Cc: Francoise Martinolle; sv-dc@eda.org; sv-ac@eda-stds.org; SV-BC; SV_EC
> List
> Subject: 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.
---------------------------------------------------------------------
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.