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
P_{1,1}... P_{1,n} and P_{2,1}... P_{2,n}.
- 2.
- For each 1<= i<= n, P_{1,i} agrees with P_{2,i}.
The parameter specializer P_{1,i} agrees with P_{2,i} if
P_{1,i} and P_{2,i} are the same class or if
P_{1,i}=(eql object_1),
P_{2,i}=(eql object_2), and
(eql object_1 object_2).
Otherwise P_{1,i} and P_{2,i} do not agree.
- 3.
- The two lists of qualifiers are the same
under equal.