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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk