The generic functions implementing slot access are like those described in AMOP, except that each takes a slot-name argument rather than a slot definition object, and the primary methods are therefore specialized differently.
by default, standard slot accessors are optimized to not call slot-value-using-class. This can be overridden with the
:optimize-slot-access class option. See the second definition of
virtual-metaclass below for an example of the use of this.
standard-instance-access is not supported as defined in AMOP. Note that there is an internal function of the same name, but this is not optimal. Also,
funcallable-standard-instance-access is not supported. An alternative for fast instance access is to use the
:optimize-slot-access class option.
make-method-lambda is not AMOP-compatible. It takes separate lambda-list and body arguments, and the returned
lambda form is different to that specified in AMOP (see Method Functions below).
compute-discriminating-function is implemented and returns the discriminator but:
compute-applicable-methods-using-classessince LispWorks does not have that function.
add-method does not call compute-discriminating-function because this would be inefficient when doing multiple calls to
add-method. Instead, compute-discriminating-function
Therefore the value returned by
generic-function-method-combination, and the default value of the
:method-combination initarg, and the
:method-combination argument processed by
ensure-generic-function-using-class are specific only to the type of the method combination.
The AMOP defines that the standard primary method for
validate-superclass should return true if the class of one of the arguments is
standard-class and the class of the other is
funcallable-standard-object is implemented as defined in AMOP, except that its class precedence list has direct superclasses
For details, see funcallable-standard-object.
LispWorks User Guide and Reference Manual - 20 Sep 2017