Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at