[boost] Re: Invariants Library

From: Dan W. (danw_at_[hidden])
Date: 2004-01-03 22:21:17

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?

> Dan, there might be technical reason for putting the contract somewhere. But
> I can't see any difference for the user of a library wheter the contracts
> are in the header file
> og in object code as long as they are documented.