RE: [sv-ec] dynamic array new[]()

Mantis 1760.

Shalom

________________________________

From: Arturo Salz [mailto:Arturo.Salz@synopsys.com] 
Sent: Tuesday, March 13, 2007 3:15 AM
To: Rich, Dave; Bresticker, Shalom; sv-ec@eda.org
Subject: RE: [sv-ec] dynamic array new[]()

 

The original intent was not just hierarchical expressions (Vera has no
structural hierarchy), but any expression that yields an array of the
same type.

These expressions include function calls, array slices, class members,
etc... 

 

            Arturo

 

________________________________________

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Rich, Dave

Sent: Monday, March 12, 2007 8:10 AM

To: Bresticker, Shalom; sv-ec@eda.org

Subject: RE: [sv-ec] dynamic array new[]()

 

The wording comes from the original Vera functionality, which did not
have hierarchical expressions or aggregate types.

I believe it should allow any expression that is an unpacked array with
the equivalent element type of the target array.

 

________________________________________

From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Bresticker, Shalom

Sent: Monday, March 12, 2007 5:43 AM

To: sv-ec@server.eda.org

Subject: [sv-ec] dynamic array new[]()

 

In the dynamic array new[] function, its syntax is written as

new [ expression ] [ ( expression ) ]

 

So the initializer in parentheses is described as an expression. On the
other hand, the verbal description following it relates it to as a
dynamic array identifier.

So what can really appear there? Is it just an identifier or are there
additional possibilities?

Shalom

Shalom Bresticker

Intel Jerusalem LAD DA

+972 2 589-6852

+972 54 721-1033 

 


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

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.