Re: [bv-dev] Constructor validation
On Tue, Dec 6, 2011 at 6:48 PM, Gunnar Morling
<gunnar.morling(a)googlemail.com> wrote:
In HV we are currently allowing to define additional return value
constraints on methods overridden in sub types, and so far I haven't
heard of any problems with that. AFAICS that's also what most
programming by contract solutions do.
This makes a lot of sense to me. It should be supported. Constraints
on parameters of overriding methods shouldn't, following the same
reasoning already discussed.
Regards,
Michael