The following procedures are used to construct and inspect methods.
Creates and returns a new method. Note that specializers may have
fewer elements than the number of required parameters in
procedure; the trailing parameters are considered to be
After the returned method is stored in a generic procedure, Procedure is called by the effective method procedure of the generic procedure when the generic procedure is called with arguments satisfying specializers. In simple cases, when no method combination occurs, procedure is the effective method procedure.
#t iff object is a method, otherwise returns
Returns the specializers of method. This list must not be modified.
Returns the procedure of method.
This predicate is used to determine the applicability of method. When a method is contained in a generic procedure, and the procedure is applied to some arguments, the method is applicable if each argument is an instance of the corresponding method specializer, or equivalently, if each argument’s class is a subclass of the corresponding method specializer.
method-applicable? determines whether method would be
applicable if the given arguments had the classes specified by
classes. It returns
#t if each element of classes is
a subclass of the corresponding specializer of method, and