Is D Contracts broken?
Deewiant
deewiant.doesnotlike.spam at gmail.com
Wed Aug 29 05:19:17 PDT 2007
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