From: Jeremy Maitin-Shepard (jbms_at_[hidden])
Date: 2004-01-03 22:46:17
"Dan W." <danw_at_[hidden]> writes:
> Thorsten Ottosen wrote:
>> I trust you. If you mess up once, all your customers will disappear.
>>> And if, technically, I might have just given you a document extracted
>>> from my cpp file that contains them, is your compiler able to read this
>>> document to verify contract correctness?
>> the compiler should be able to read the ojbect files.
> No, the contracts cannot be in the object file. How would your linker be able to
> remove them when building your final app?
There could be two versions of the object files, i.e. a debug version
and a non-debug version.
> > [snip]
-- Jeremy Maitin-Shepard
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk