[sv-cc] RE: [sv-ac] no VPI changes needed for 1668

Hi John,

I agree, a minor correction to motivation -- The variables iterator was
always there (see sequence decl) just seemed to live on property spec so
is corrected in 1503. Agreed on the init as well, this is actually the
idea behind the prop/seq formal decl model -- I am also of the same mind
on 1667, extend the formal decls appropriately, keep general/simple,
semantic restrictions in notes if needed. 

Thx.
-Bassam.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Thursday, January 24, 2008 11:44 AM
To: sv-ac@eda.org; sv-cc@eda.org
Subject: [sv-ac] no VPI changes needed for 1668

Hi Folks:

I have reviewed 1668 (local variable declaration assignments), and I do
not believe that any VPI changes are needed for it.

My rationale is the following.  1503 will change the "property decl"
object definition to have an iterator arc to the "variables" class.
The "variables" class definition already has an arc to the "expr"
class, which, according to note 8) for the "variables" class definition,
is how the initialization expression is obtained.

J.H.


--
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.