Home Previous Up Next Table of Contents Index
  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.


Home Previous Up Next Table of Contents Index
© Franz Inc. '98 - File last updated 23.07.98