enforce()?

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Sat Jun 19 14:46:26 PDT 2010


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


More information about the Digitalmars-d mailing list