ToC | DocOverview | CGDoc | RelNotes | Index | PermutedIndex
| Allegro CL

| ANSI Common Lisp 7 Objects 7.6 Generic Functions and Methods ### 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.

© Franz Inc. 1998-2019 - File last updated 02-07-2019