enforce()?

Lutger lutger.blijdestijn at gmail.com
Sat Jun 19 15:01:35 PDT 2010


Andrei Alexandrescu wrote:

> On 06/19/2010 03:55 PM, bearophile wrote:
>> Inside Phobos2 I have counted about 160 usages of the "body" keyword.
>> I think contract programming can be used more often inside Phobos2
>> (and maybe some usages of enforce() can be turned into contract
>> programming because they are more similar to program sanity checks).
> 
> Walter and I discussed this and concluded that Phobos should handle its
> parameters as user input. Therefore they need to be scrubbed with hard
> tests, not contracts.
> 
> Andrei

That is sensible. Are private functions (those only called from within Phobos) 
excluded from this rule?


More information about the Digitalmars-d mailing list