Is D Contracts broken?
Hans-Eric Grönlund
hasse42g at gmail.com
Wed Aug 29 05:38:59 PDT 2007
Ok, it's not implemented yet. Thanks!
Deewiant Wrote:
> Hans-Eric Grönlund wrote:
> > Is this paragraph in the Contract Programming section of the specification
> > valid?
> >
> > "If a function in a derived class overrides a function in its super class,
> > then only one of the in contracts of the function and its base functions must
> > be satisfied."
> >
> > In the tests I make inherited in-clauses are never invoked.
> >
> > (I have more details on this on my weblog: http://www.hans-eric.com/)
> >
>
> http://d.puremagic.com/issues/show_bug.cgi?id=302
>
> --
> Remove ".doesnotlike.spam" from the mail address.
More information about the Digitalmars-d
mailing list