Bresticker, Shalom wrote: > I think the idea is to be able to do this in a specific place in the > code, not globally. I understand that. I still think that this belongs in the tool side since the only justification for it is tighter error checking. If a tool needs to have an attribute or some other manner of specifying tighter checking, I would suggest talking to the vendor(s). Along the same lines, the committees have consistently declined to add required support for assignment range checking, etc. into the LRM. Gord. > 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 -- -------------------------------------------------------------------- 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.Received on Wed May 9 07:02:18 2007
This archive was generated by hypermail 2.1.8 : Wed May 09 2007 - 07:02:27 PDT