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.Received on Wed May 9 06:50:44 2007
This archive was generated by hypermail 2.1.8 : Wed May 09 2007 - 06:52:08 PDT