Christopher C. Stacy <cstacy@news.dtpq.com> wrote:
+---------------
| Are there any actual existing compilers that allow me to check 
| a block of code to ensure that (within the block) all required 
| methods have been implemented?
+---------------

What do you mean by "required" methods? Required by whom?
Your application's internal design methodology? [E.g., "All
calls shall be to methods explicitly specialized on their
first arguments to subclasses of class FOO & third arguments
to subclasses of class BAR."] If so, how is the compiler to
know what that coding style is?

That said, if all you want to do is catch calls that fail
to hit some explicitly-specializing method, then wrap a
macro around DEFGENERIC that defines a method with no
specialized args (a.k.a. specialized on T for each arg),
and put an ERROR call there.

Or am I missing something obvious about your question?


-Rob

-----
Rob Warnock			<rpw3@rpw3.org>
627 26th Avenue			<URL:http://rpw3.org/>
San Mateo, CA 94403		(650)572-2607