RE: [sv-bc] Data_declaration bnf

I don't know about classes, but in regular data objects, a const is a
variable as opposed to a net and to elaboration-time constants. Its
restriction is that it is initialized when it comes into existence and
cannot be assigned a value later on. So for example, a const variable
could be initialized to $fopen(filename). The "var" is redundant, but
there is nothing in the text that prevents it from appearing. const is
not a distinction from var, unlike 'parameter', for example, but rather
a qualifier.
 
Shalom


________________________________

	From: Daniel Mlynek [mailto:daniel.mlynek@aldec.com] 
	Sent: Monday, August 25, 2008 11:27 AM
	To: Bresticker, Shalom; sv-bc@server.eda-stds.org
	Subject: RE: [sv-bc] Data_declaration bnf
	
	
	Well for me it was so obvious from english meaning of this words
and also from SV concept that I havent beliberate on the reason. 
	My question is why should below code be ok  if this should be
const why it also have var modifier?
	const var int const_var=1;
	 
	There are also other issues in class property declaration:
	 class C;
	  static /*class item qualifier*/ var static/*lifetime*/ int i2;
//bfn allows that but what should static occurence of static key word
mean? footnote needed for restriction?
	
	  static const  int i1;//bfn allows this but also defines
special syntax for declaring class const see below. Should it be legal,
both syntaxes should be semanticallly the same?
	  const  static int i1=1;
	
	 endclass
	 C c;

________________________________

	From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] 
	Sent: 25 sierpnia 2008 10:13
	To: Daniel Mlynek; sv-bc@server.eda-stds.org
	Subject: RE: [sv-bc] Data_declaration bnf
	
	
	Why can't const and var be used together?
	 
	Shalom


________________________________

		From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Daniel Mlynek
		Sent: Monday, August 25, 2008 10:58 AM
		To: sv-bc@server.eda-stds.org
		Subject: [sv-bc] Data_declaration bnf
		
		

		There is
		
		data_declaration ::= // from A.2.1.3
		
		    [ const ] [ var ] [ lifetime ] data_type_or_implicit
list_of_variable_decl_assignments ;
		
		but const and var cannot be used together - so maybe it
would be better::
		
		     [ const | var ] [ lifetime ] data_type_or_implicit
list_of_variable_decl_assignments ;
		
		
		
		DANiel
		
		


		-- 
		This message has been scanned for viruses and 
		dangerous content by MailScanner
<http://www.mailscanner.info/> , 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.

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