RE: [sv-bc] Aggregate expressions

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Thu Feb 28 2008 - 02:19:52 PST
I also don't think the term 'aggregate expression' is well defined.
 
I also don't think the first sentence makes sense:
"Unpacked structure and array data objects, as well as unpacked
structure and array constructors, can all be used as aggregate
expressions."


What is meant by "unpacked structure and array constructors," which are
different from data objects?
 
The version of this sentence in SV 3.1a is,
"Unpacked structure and array variables, literals, and expressions can
all be used as aggregate expressions."

So "literals and expressions" are contrasted to "variables". In 1800, we
still have structure and array "literals". But what are called structure
and array "expressions" in 3.1a, are now called "assignment patterns".
Since structure and array literals are a form of assignment patterns, I
think "constructors" in the sentence should be replaced with "assignment
patterns".
 
Shalom

________________________________

	
	 From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Bresticker, Shalom
	Sent: Thursday, February 28, 2008 11:47 AM
	To: danielm; sv-bc
	Subject: RE: [sv-bc] Aggregate expressions
	
	
	I don't think this paragraph was intended to be a complete list.
	 
	Shalom


________________________________

		From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of danielm
		Sent: Thursday, February 28, 2008 11:40 AM
		To: 'sv-bc'
		Subject: [sv-bc] Aggregate expressions
		
		
		1800-2005 states :
		Unpacked structure and array data objects, as well as
unpacked structure and array constructors, can all be used as aggregate
expressions. A multi-element slice of an unpacked array can also be used
as an aggregate expression. 
		Aggregate expressions can be copied in an assignment,
through a port, or as an argument to a task or function.
		Aggregate expressions can also be compared with equality
or inequality operators. To be copied or compared, the type of an
aggregate expression must be equivalent. See 6.9.2.
		
		IMHO there is more expression when aggregate expression
are sensible i.e: conditional operator (?:), function return value.
Maybe there are more?
		 
		Will 1800-2005 add some operators to this description?
		 
		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.
	

	-- 
	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 Thu Feb 28 02:23:17 2008

This archive was generated by hypermail 2.1.8 : Thu Feb 28 2008 - 02:23:35 PST