--- Comment #1 from bearophile_h...@eml.cc 2010-03-01 09:09:00 PST ---
In practice pre/post conditions and invariants can even become pure. This
limits some of their usages (logging, printing), but not much.
Generally reading and modifying a global variable inside a condition/invariant
doesn't look like tidy code.
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------