The aim of the MOP specification in this chapter is to specify all the customizable generic function invocations that can be made by the standard GOOPS syntax, procedures and methods, and to explain the protocol for customizing such invocations.
A generic function invocation is customizable if the types of the
arguments to which it is applied are not completely determined by the
lexical context in which the invocation appears. For example, the
(initialize instance initargs) invocation in the
make-instance method is customizable, because the type of
instance argument is determined by the class that was
(Whereas — to give a counter-example — the
#:name ',name) invocation in
define-generic is not customizable,
because all of its arguments have lexically determined types.)
When using this rule to decide whether a given generic function invocation is customizable, we ignore arguments that are expected to be handled in method definitions as a single “rest” list argument.
For each customizable generic function invocation, the invocation protocol is explained by specifying