RE: [sv-ec] only singular types allowed in mailboxes

String is not definied as non singular as I've qouted before:"A singular
type shall be any data type except an unpacked structure, unpacked union, or
unpacked array"

String is not a struct, union or event string is not explicitly defined to
be unpacked array - mantis 1447 updates unpacked arrays definition as cited
below and there is no word about string type:

"Unpacked arrays may be fixed-size arrays (see 7.4.2), dynamic arrays ( see
7.5), associative arrays (see 7.9), or queues (see 7.11). Unpacked arrays
are formed from any data type, including other packed or unpacked arrays "

Anyway imho it should be :

- explicitly stated that singular type restriction should be valid only for
nonparametrized mailboxes, 

- or string should be added to unpacked arrays definition

- or it should be left as it is and then string as a singular type would be
perfectly legal in example mentioned by Dave.

 

DANiel


  _____  

From: Rich, Dave [mailto:Dave_Rich@mentor.com] 
Sent: Thursday, May 22, 2008 5:50 AM
To: Arturo Salz; Daniel Mlynek; sv-ec@server.eda.org
Subject: RE: [sv-ec] only singular types allowed in mailboxes



I believe the singular type restriction is only intended for
non-parameterized mailboxes; otherwise the example in 15.4.9 using a string
would be illegal. A mailbox can be easily implemented using a queue, and
there is no such restriction on the data types of queue elements.

 

I still claim that non-parameterized mailboxes are an anomaly in the
language. What is the self-determined type of a singular message? See mantis
1714.

 

Dave

 

 

  _____  

From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Arturo Salz
Sent: Wednesday, May 21, 2008 12:39 PM
To: Daniel Mlynek; sv-ec@server.eda.org
Subject: RE: [sv-ec] only singular types allowed in mailboxes

 

Daniel,

 

The 'singular' limitation is intentional. Note that class handles are
singular types, which would be the preferred mechanism for passing large,
structured messages.

 

            Arturo

 

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Daniel
Mlynek
Sent: Wednesday, May 21, 2008 7:48 AM
To: sv-ec@eda.org
Subject: [sv-ec] only singular types allowed in mailboxes

 

There is no explicit statment that mailbox allows only singular types, but
mailbox functions headers are:

task put( singular message);

While singular is defined as:

    A singular type shall be any data type except an unpacked structure,
unpacked union, or unpacked array

From above I can tell that unpacked strucures is forbidden for mailboxes
(both parametrized and not parametrized) was it intented restriction?

Is there any rationale behind that?

 

 

DANiel


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


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