RE: [sv-ac] 1704 proposal

Hi,

but what if the variable is just reassigned in the empty match
subsequence? Will the earlier assigned value still flow out? I think
that it should.

E.g., (a, v = 0) ##1 (b, v=1)[*0] ##1 v==1 

ed

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of John Havlicek
> Sent: Tuesday, January 23, 2007 11:16 AM
> To: piper@cadence.com; dmitry.korchemny@intel.com
> Cc: sv-ac@eda-stds.org
> Subject: Re: [sv-ac] 1704 proposal
> 
> Hi Lisa, Dmitry:
> 
> My opinion is that it is not necessary to add a sentence specifically
> about local variable assignments in 17.9.  This might be confusing,
> raising the question, "what about other sequence match items?"
> 
> However, we probably need to scan through the other parts of Section
> 17, in particular the description of local variable flow, to see 
> if there are other places where we need to clarify regarding empty
> match.
> 
> E.g., I imagine  some text like the following being added somewhere:
> 
>    A local variable that is assigned within a subsequence 
>    does not flow out of an empty match of that subsequence.
> 
> J.H.
> 
> 
> > X-MimeOLE: Produced By Microsoft Exchange V6.5
> > Content-class: urn:content-classes:message
> > Date: Tue, 23 Jan 2007 10:37:27 -0500
> > X-MS-Has-Attach: 
> > X-MS-TNEF-Correlator: 
> > Thread-Topic: [sv-ac] 1704 proposal
> > Thread-Index: Acc9pzJ7hvlNNYNkQ2+/JsBjEA3dRgBLHJogAAwaDkA=
> > From: "Lisa Piper" <piper@cadence.com>
> > Cc: <sv-ac@eda-stds.org>
> > X-Received: By mx-sanjose.cadence.com as l0NFbRGe001425 at 
> Tue Jan 23 07:37:40 2007
> > X-OriginalArrivalTime: 23 Jan 2007 15:37:48.0953 (UTC) 
> FILETIME=[6FAF5890:01C73F04]
> > 
> > This is a multi-part message in MIME format.
> > 
> > ------_=_NextPart_001_01C73F04.605EAD2F
> > Content-Type: text/plain;
> > 	charset="us-ascii"
> > Content-Transfer-Encoding: quoted-printable
> > 
> > Dmitry,
> > 
> > =20
> > 
> > I thought assignment of a local variable was simply one form of
> > "sequence_match_item".  Is that not the case?  I have no 
> problem with
> > adding it though.
> > 
> > =20
> > 
> > lisa
> > 
> > =20
> > 
> > ________________________________
> > 
> > From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]=20
> > Sent: Tuesday, January 23, 2007 4:55 AM
> > To: Lisa Piper; john.havlicek@freescale.com
> > Cc: sv-ac@eda-stds.org
> > Subject: RE: [sv-ac] 1704 proposal
> > 
> > =20
> > 
> > HI Lisa,
> > 
> > =20
> > 
> > It probably makes sense to add to your proposal a sentence 
> about local
> > variable assignment in case of an empty match. Though this behavior
> > follows from the formal semantics definition, this point 
> should be made
> > clear in the text itself. Of course, one can open an 
> additional Mantis
> > item for it, but it might also be included to yours.
> > 
> > =20
> > 
> > What do you think?
> > 
> > =20
> > 
> > Thanks,
> > 
> > Dmitry=20
> > 
> > =20
> > 
> 
> -- 
> 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.