CLHS: Section 7.6.3

#

## 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-2001, Xanalys Inc. All rights reserved.