File: mop-3.impure-cload.lisp

package info (click to toggle)
sbcl 1%3A0.9.16.0-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 19,960 kB
  • ctags: 16,537
  • sloc: lisp: 231,164; ansic: 19,558; asm: 2,539; sh: 1,925; makefile: 308
file content (87 lines) | stat: -rw-r--r-- 2,990 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
;;;; miscellaneous side-effectful tests of the MOP

;;;; This software is part of the SBCL system. See the README file for
;;;; more information.
;;;;
;;;; While most of SBCL is derived from the CMU CL system, the test
;;;; files (like this one) were written from scratch after the fork
;;;; from CMU CL.
;;;;
;;;; This software is in the public domain and is provided with
;;;; absolutely no warranty. See the COPYING and CREDITS files for
;;;; more information.

;;; This file contains two tests for COMPUTE-APPLICABLE-METHODS on
;;; subclasses of generic functions.

;;; tests from Bruno Haible (sbcl-devel 2004-08-02)

(defpackage "MOP-3"
  (:use "CL" "SB-MOP"))

(in-package "MOP-3")

(defclass msl-generic-function (standard-generic-function)
  ()
  (:metaclass funcallable-standard-class))

(defun reverse-method-list (methods)
  (let ((result '()))
    (dolist (method methods)
      (if (and (consp result)
               (equal (method-qualifiers method)
                      (method-qualifiers (caar result))))
          (push method (car result))
          (push (list method) result)))
    (reduce #'append result)))

(defmethod compute-applicable-methods ((gf msl-generic-function) arguments)
  (reverse-method-list (call-next-method)))
(defmethod compute-applicable-methods-using-classes
    ((gf msl-generic-function) classes)
  (reverse-method-list (call-next-method)))

(defgeneric testgf07 (x)
  (:generic-function-class msl-generic-function)
  (:method ((x integer))
    (cons 'integer (if (next-method-p) (call-next-method))))
  (:method ((x real))
    (cons 'real (if (next-method-p) (call-next-method))))
  (:method ((x number))
    (cons 'number (if (next-method-p) (call-next-method))))
  (:method :around ((x integer))
    (coerce (call-next-method) 'vector)))

(assert (equalp (list (testgf07 5.0) (testgf07 17))
                '((number real) #(number real integer))))

(defclass nonumber-generic-function (standard-generic-function)
  ()
  (:metaclass funcallable-standard-class))

(defun nonumber-method-list (methods)
  (remove-if #'(lambda (method)
                 (member (find-class 'number)
                         (sb-pcl:method-specializers method)))
             methods))

(defmethod compute-applicable-methods
    ((gf nonumber-generic-function) arguments)
  (nonumber-method-list (call-next-method)))
(defmethod compute-applicable-methods-using-classes
    ((gf nonumber-generic-function) classes)
  (nonumber-method-list (call-next-method)))

(defgeneric testgf08 (x)
  (:generic-function-class nonumber-generic-function)
  (:method ((x integer))
    (cons 'integer (if (next-method-p) (call-next-method))))
  (:method ((x real))
    (cons 'real (if (next-method-p) (call-next-method))))
  (:method ((x number))
    (cons 'number (if (next-method-p) (call-next-method))))
  (:method :around ((x integer))
    (coerce (call-next-method) 'vector)))

(assert (equalp (list (testgf08 5.0) (testgf08 17))
                '((real) #(integer real))))