Christopher C. Stacy <email@example.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 Warnock <firstname.lastname@example.org>
627 26th Avenue <URL:http://rpw3.org/>
San Mateo, CA 94403 (650)572-2607