Showing content from http://www.lispworks.com/documentation/lw71/CLHS/Body/07_fc.htm below:
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 object1), P2,i=(eql object2), and (eql object1 object2). Otherwise P1,i and P2,i do not agree.
-
-
3. The two lists of qualifiers are the same under equal.
-
Copyright 1996-2005, LispWorks Ltd. All rights reserved.
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4