[boost] Re: "invariants" class; Version 1.00

From: Dan W. (danw_at_[hidden])
Date: 2004-01-11 21:00:12

Dan W. wrote:
>  The question is, though, how do we extract the preconditions and 
> postconditions from a class declared inside a function of the base class?

Either we'd need full language support for DBC, or we'd need to ask the 
language custodians to re-open a virtual function's scope in derived 
classes' overriding functions.

my $.0125