RE: [sv-ac] question about local variable declarations

John,

I'm not familiar with the specific case, but in general any variable
declaration can be optionally prefixed with var. I imagine this is just
maintaining consistency with the rest of the language.

Shalom

> -----Original Message-----
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
> Behalf Of John Havlicek
> Sent: Tuesday, January 09, 2007 6:58 PM
> To: sv-ac@server.eda-stds.org
> Subject: [sv-ac] question about local variable declarations
> 
> All:
> 
> I'm doing some homework for 1668, and I am puzzled by
> our current syntax for local variable declarations.
> 
> We have
> 
>    assertion_variable_declaration ::=
>       var_data_type list_of_variable_identifiers ;
> 
> and
> 
>    var_data_type ::= data_type | var data_type
> 
> 
> Was it intended to allow the "var" keyword?  To what
> purpose?
> 
> 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.