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