Changeset 12848
- Timestamp:
- 08/02/10 06:07:39 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/abcl/src/org/armedbear/lisp/StandardGenericFunction.java
r12576 r12848 620 620 * 621 621 * <p>In the simplest case, when this generic function 622 * does not have EQL specialized metho s, and therefore622 * does not have EQL specialized methods, and therefore 623 623 * only argument types are relevant for choosing 624 624 * applicable methods, the value returned is the … … 632 632 * 633 633 * <p>Note that we do not consider argument position, when 634 * calculating arg specialization. In rare cases (when 635 * one argument is eql-specialized to a symbol specifying636 * class of another argument) this may result in redundant cache637 * entries caching the same method. But the method cached is anyway638 * correct for the arguments (because in case of cache miss, correct method639 * is calculated by other code, which does not rely on getArgSpecialization;640 * and because EQL is true only for objects of the same type, which guaranties641 * th at if a type-specialized methods was chached by eql-specialization,642 * all the cache hits into this records will be from args of the conforming643 * type).634 * calculating arg specialization. In rare cases (when one argument 635 * is eql-specialized to a symbol specifying class of another 636 * argument) this may result in redundant cache entries caching the 637 * same method. But the method cached is anyway correct for the 638 * arguments (because in case of cache miss, correct method is 639 * calculated by other code, which does not rely on 640 * getArgSpecialization; and because EQL is true only for objects of 641 * the same type, which guaranties that if a type-specialized 642 * methods was chached by eql-specialization, all the cache hits 643 * into this records will be from args of the conforming type). 644 644 * 645 645 * <p>Consider:
Note: See TracChangeset
for help on using the changeset viewer.