#

##
7.6.3 Agreement on Parameter Specializers and Qualifiers

Two *methods* are said to agree with each other on *parameter specializers* and *qualifiers* if the following conditions hold:

- 1. Both methods have the same number of required parameters. Suppose the
*parameter specializers* of the two methods are P1,1...P1,n and P2,1...P2,n. -
- 2. For each 1<=i<=n, P1,i agrees with P2,i. The
*parameter specializer* P1,i agrees with P2,i if P1,i and P2,i are the same class or if P1,i=`(`**eql**` `*object*1`)`, P2,i=`(`**eql**` `*object*2`)`, and `(`**eql**` `*object*1` `*object*2`)`. Otherwise P1,i and P2,i do not agree. -
- 3. The two
*lists* of *qualifiers* are the *same* under **equal**. -

*Copyright 1996-2005, @lisp. All rights reserved.*