[sv-bc] RE: [sv-ec] Mantis 1804 (Enhancement) : Add abiltiy to require equiv types for typed formal args

I think the idea is to be able to do this in a specific place in the
code, not globally.

Shalom

> -----Original Message-----
> From: Gordon Vreugdenhil [mailto:gordonv@model.com]
> Sent: Wednesday, May 09, 2007 4:50 PM
> To: sv-ac@server.eda.org
> Cc: Bresticker, Shalom; sv-bc@server.eda.org; sv-ec@server.eda.org
> Subject: Re: [sv-ec] Mantis 1804 (Enhancement) : Add abiltiy to
> require equiv types for typed formal args
> 
> My initial inclination is that this should be a tool
> specific lint feature.  There is no end to features that
> could be used to tighten up semantics for debug purposes
> and I think that in most cases such features end up
> adding additional cross-functional interactions that render
> the language more complex to describe consistently in the LRM.
> 
> Gord
> 
> 
> Bresticker, Shalom wrote:
> > Hi,
> >
> > FYI.
> >
> > Mantis 1804 (Enhancement) was filed under SV-AC:
> >
> > Add abiltiy to require equiv types for typed formal args
> >
> > It is desired to have a type qualifier, protected, that will require
> > that actual args have an equivalent type as the formal argument
> > declaration.
> >
> > It is also desired that this qualifier can apply to the
> > property/sequence as a whole or to the individual arguments.
> >
> > Strict typing makes debug much easier but is inconsistent with
> function
> > and task default argument passing. The mechanism defined in this
> > proposal could potentially be extended to tasks and functions.
> >
> > There is no proposal yet.
> >
> > Shalom
> >
> >
> >
> > --
> > This message has been scanned for viruses and
> > dangerous content by *MailScanner* <http://www.mailscanner.info/>,
> and is
> > believed to be clean.
> 
> --
> --------------------------------------------------------------------
> Gordon Vreugdenhil                                503-685-0808
> Model Technology (Mentor Graphics)                gordonv@model.com

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