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

Preserving state information is an impure side-effect.

-- Brad

2011/6/16 Bresticker, Shalom <shalom.bresticker@intel.com>:
> 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.