10 Oct
2013
10 Oct
'13
3:19 p.m.
On 10 October 2013 03:54, Thorsten Ottosen
I'm ok with that, although I think it's possible to have the concept of broken contracts separate from the concept of how to deal with broken contracts. Is that an unreasonable oppinion?
If you are defining the behavior, I don't see how it isn't part of the contract. A contract is pretty much "if you pass in X, I'll do Y". Look at the difference between vector::at() (wide contract with no preconditions) vs. vector::operator[] (narrow contract with the precondition that n < size()). It is impossible to violate the contract when calling at(). -- Nevin ":-)" Liber mailto:nevin@eviloverlord.com (847) 691-1404