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