RE: [sv-bc] Aggregate expressions

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Wed Mar 05 2008 - 11:00:08 PST
Thanks.

In
http://www.eda-stds.org/sv-bc/hm/att-2181/aggregate_constructors6.htm, I
think we can see that "constructors" are indeed what we now call
"assignment patterns".

Shalom  

> -----Original Message-----
> From: Neil.Korpusik@Sun.COM [mailto:Neil.Korpusik@Sun.COM] 
> Sent: Wednesday, March 05, 2008 8:38 PM
> To: Bresticker, Shalom
> Cc: danielm; sv-bc
> Subject: Re: [sv-bc] Aggregate expressions
> 
> The text in question was added as part of Mantis item 168, page 14.
> 
> Neil
> 
> 
> 
> Bresticker, Shalom wrote:
> > 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 
> <http://www.mailscanner.info/>**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 Wed Mar 5 11:11:03 2008

This archive was generated by hypermail 2.1.8 : Wed Mar 05 2008 - 11:11:20 PST