Go to the first, previous, next, last section, table of contents.
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.
Go to the first, previous, next, last section, table of contents.