A question about DbC

[Jonathan M Davis]

On Saturday 09 October 2010 03:09:30 Denis Koroskin wrote:
> Given that pre-, post-conditions and invariants are all pure, it doesn't
> really matter in what order they are executed.

In effect yes, but they aren't actually pure. If they were, you couldn't use stuff 
like writeln() in them. However, since they go away in release builds and aren't 
supposed to have any effect on the program (beyond throwing AssertErrors on 
failed assertions), they are in effect pure, so you're essentially correct. But 
still, they aren't actually pure.

- Jonathan M Davis