www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Pre and Post conditions in Spark 2014

reply Paulo Pinto <pjmlp progtools.org> writes:
Hi,

since this was heavily discussed lately, I thought it might be
interesting to see the rationale for their use in Spark as well.


http://www.spark-2014.org/entries/detail/spark-2014-rationale-pre-call-and-pre-loop-values


--
Paulo
Sep 22 2013
parent "bearophile" <bearophileHUGS lycos.com> writes:
Paulo Pinto:

 http://www.spark-2014.org/entries/detail/spark-2014-rationale-pre-call-and-pre-loop-values

It also explains about the Loop_Entry attribute, useful for loop invariants, neat :-) Bye, bearophile
Sep 22 2013