enforce()?

[Andrei Alexandrescu]

On 06/19/2010 05:01 PM, Lutger wrote:
> 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?

Yes, precisely. (The actual code does not fully obey this intention; 
there are contracts in places where there shouldn't be.)

Andrei