RE: [sv-ec] Re: Type parameters, typedefs, and general BNF semantics

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Wed Oct 10 2007 - 00:09:34 PDT
This is similar to what used to be in the LRM in 1.4:

If the name of any category starts with an italicized part, it is
equivalent to the category name without the italicized part. The
italicized part is intended to convey some semantic information. For
example, "msb_index" and "lsb_index" are equivalent to "index." 
 
Shalom


________________________________

	From: owner-sv-ec@server.eda.org
[mailto:owner-sv-ec@server.eda.org] On Behalf Of Brad Pierce
	Sent: Wednesday, October 10, 2007 2:04 AM
	To: sv-ec@server.eda.org
	Subject: RE: [sv-ec] Re: Type parameters, typedefs, and general
BNF semantics
	
	
	The semantic prefixes are intended to be normative, as discussed
in
	 
	      <http://www.eda-stds.org/sv-ac/hm/2599.html>
http://www.eda-stds.org/sv-ac/hm/2599.html
	 
	If that's not clear enough in the LRM, it should be clarified.
	 
	-- Brad
	 

________________________________

	From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf
Of Randy Misustin
	Sent: Tuesday, October 09, 2007 10:23 AM
	To: Mark Hartoog
	Cc: Vreugdenhil, Gordon; SV_EC List; Mehdi Mohtashemi
	Subject: Re: [sv-ec] Re: Type parameters, typedefs, and general
BNF semantics
	
	
	Mark Hartoog wrote: 

		There already is a BNF rule, type_identifier, that
specifies where
		type parameters and typedefs can be used. 

	Hello all,
	
	Aren't we straying pretty far from reality here? The BNF
describes the grammar in terms of what lexical tokens constitute valid
sentences in SystemVerilog's syntax. As such, both class_identifier and
type_identifier derive the same rule (not surprisingly, named simply
identifier) in section A.9.3. Syntactially, class_identifier and
type_identifier are interchangeable.
	
	The distinctions being discussed here are semantic in nature and
derive from the normative text, not the BNF. It seems to me that either
interpretation is syntactically legal, according to the BNF. The
discussion should be what interpretation is semantically legal, and if
ambiguous or inconsistent, what's the appropriate remedy.
	
	-randy.
	
	Mark Hartoog wrote: 

		I think this kind of catch all language in the LRM is a
very bad idea.
		There already is a BNF rule, type_identifier, that
specifies where
		type parameters and typedefs can be used. If there are
places where it
		needs to be added, then we should consider those
proposals. This
		proposal
		is so vague that no one can understand what they might
be enabling by
		approving this. You want to allow typedefs and type
parameters anywhere
		"unless otherwise restricted". What exactly does that
phase mean.
		
		Consider a class declaration:
		
		class_declaration ::= // from A.1.2
		       [ virtual ] class [ lifetime ] class_identifier [
		parameter_port_list ]
		       [ extends class_type [ ( list_of_arguments ) ] ];
		       { class_item }
		endclass [ : class_identifier]
		
		Surely you are not suggesting that the declaration name
of the class can
		be a typedef or type parameter. Where is the restriction
for this? Is it
		just
		that it makes no sense?
		
		I think this change would only further confuse the
issue.
		
		> -----Original Message-----
		> From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org]
On
		> Behalf Of Gordon Vreugdenhil
		> Sent: Monday, October 08, 2007 3:13 PM
		> To: SV_EC List; Mehdi Mohtashemi
		> Subject: [sv-ec] Re: Type parameters, typedefs, and
general
		> BNF semantics
		>
		>
		>
		> Gordon Vreugdenhil wrote:
		> [...]
		> > I'll follow-up to this a bit later today with a
Mantis item and
		> > proposal to address what I think is the more
consistent and correct
		> > way in which to read the intent of the LRM in this
area.
		>
		>
		> I have filed Mantis 2087 on this issue and attached a
proposal.
		>
		> Mehdi, given the potential for substantial impact on
the
		> overall LRM if this proposal does not express the
intent of
		> the committee, could we address this at the next EC
meeting?
		>
		> Gord.
		> --
		>
--------------------------------------------------------------------
		> Gordon Vreugdenhil
503-685-0808
		> Model Technology (Mentor Graphics)
gordonv@model.com
		>
		>
		> --
		> 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.
		
		
		


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

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Oct 10 00:12:35 2007

This archive was generated by hypermail 2.1.8 : Wed Oct 10 2007 - 00:13:00 PDT