On 1/20/2012 10:42 AM, Manfred Nowak wrote:
if the intention still is, that contracts are to be seen as an
executable description of at least parts of the design, then the
current specification of the language does not give any control over
those contracts to the designers.
This is because the coder can easily change the contracts and then the
designer would have a hard time to find that modifications.
D isn't a language that is designed to prevent deliberate subversion - only
inadvertent subversion.
This could be changed for eaxmple by compiling the contracts into a
separate library but seems not to be supported.
Are there other ways to garantie, that the code the coder delivers to
the designer indeed fulfills the requirements the designer gave before
handing out the job?
You can have your contracts call functions in an external library.
