Shalom, > On 2514, I wonder about the use of "obligation". > > First, 18.5.1 says, > > "Both forms impose an obligation that should be satisfied by > providing an external constraint block using the class scope > resolution operator". > > Afterwards, it says, > > "If the implicit form of prototype is used and there is no > corresponding external constraint block, the constraint shall be > treated as an empty constraint and a warning may be issued." > > I'm not sure it is wise to use "obligation," which sounds like a requirement. I see what you mean, but I think I'm unrepentant. The constraint prototype does indeed impose an obligation to provide a body, but there's an explicit concession for the legacy form. That's why I carefully said "an obligation that SHOULD be satisfied". If (as I hope will happen) we eventually deprecate the legacy form, then we can replace "should" with "shall", and remove the concession. Meanwhile I think it's OK; the various cases are enumerated fairly unambiguously. I don't think the word "obligation" has a special LRM-ese meaning that I'm abusing, does it? Although I stand by the original wording, I'd be more than happy to see other suggestions! Thanks -- Jonathan Bromley Consultant Doulos - Developing Design Know-how VHDL * Verilog * SystemVerilog * SystemC * PSL * Perl * Tcl/Tk * Project Services Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, UK Tel: + 44 (0)1425 471223 Email: jonathan.bromley@doulos.com Fax: +44 (0)1425 471573 http://www.doulos.com -------------------------------------------------------------------------------- Doulos Ltd is registered in England and Wales with company no. 3723454 Its registered office is 4 Brackley Close, Bournemouth International Airport, Christchurch, BH23 6SE, UK. This message may contain personal views which are not the views of Doulos, unless specifically stated. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Apr 30 03:02:21 2009
This archive was generated by hypermail 2.1.8 : Thu Apr 30 2009 - 03:02:30 PDT