Am 05.02.2013 19:26, schrieb bearophile: > FG: > >> When should Dist's state validity be checked? > > Maybe a good answer is written in the Ada2012 Standard. > > Bye, > bearophile A look should also be given to Eiffel, after all it is the language that created the notion of design by contract, AFAIK. -- Paulo