How about "pure virtual methods"?

[Mike Meyer]

Noam Raphael <noamr at remove.the.dot.myrea.lbox.com> writes:

>> Noam Raphael <noamr at remove.the.dot.myrea.lbox.com> writes:
> Of course, even in statically typed languages, you can't enforce
> an implementation to do what it should (too bad - it would have made
> debugging so much easier...)

That's what DbC languages are for. You write the contracts first, then
the code to fullfill them. And get exceptions when the implementation
doesn't do what the contract claims it does.

        <mike
-- 
Mike Meyer <mwm at mired.org>			http://www.mired.org/home/mwm/
Independent WWW/Perforce/FreeBSD/Unix consultant, email for more information.