[2ea111]: tests / clos.pure.lisp  Maximize  Restore  History

Download this file

88 lines (77 with data), 3.5 kB

 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
;;;; CLOS tests with no side effects
;;;; 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.
(cl:in-package :cl-user)
;;; not really a test for observable behaviour, but: make sure that
;;; all generic functions on startup have lambda lists known to the
;;; system, because some functionality (e.g. &key argument checking)
;;; depends on it. The basic functionality is tested elsewhere, but
;;; this is to investigate the internals for possible inconsistency.
(assert (null
(let (collect)
(sb-pcl::map-all-generic-functions
(lambda (gf)
(let ((arg-info (sb-pcl::gf-arg-info gf)))
(when (eq (sb-pcl::arg-info-lambda-list arg-info)
:no-lambda-list)
(push gf collect)))))
(print (nreverse collect)))))
;;; Regressing test for invalid slot specification error printing
(multiple-value-bind (value err)
(ignore-errors (macroexpand '(defclass foo () (frob (frob bar)))))
(declare (ignore value))
(assert (typep err 'simple-condition))
(multiple-value-bind (value format-err)
(ignore-errors (apply #'format nil
(simple-condition-format-control err)
(simple-condition-format-arguments err)))
(declare (ignore value))
(assert (not format-err))))
;;; another not (user-)observable behaviour: make sure that
;;; sb-pcl::map-all-classes calls its function on each class once and
;;; exactly once.
(let (result)
(sb-pcl::map-all-classes (lambda (c) (push c result)))
(assert (equal result (remove-duplicates result))))
;;; this one's user-observable
(with-test (:name :type-of-setf-class-name)
(assert (typep #'(setf class-name) 'generic-function)))
;;; CLHS 1.4.4.5. We could test for this by defining methods
;;; (i.e. portably) but it's much easier using the MOP and
;;; MAP-ALL-CLASSES.
(with-test (:name :check-standard-superclasses)
(flet ((standardized-class-p (c)
(and (class-name c)
(eq (symbol-package (class-name c))
(find-package :cl)))))
(let (result)
(sb-pcl::map-all-classes
(lambda (c) (when (standardized-class-p c)
(let* ((cpl (sb-mop:class-precedence-list c))
(std (position (find-class 'standard-object) cpl))
(str (position (find-class 'structure-object) cpl))
(last (position-if
#'standardized-class-p (butlast cpl)
:from-end t)))
(when (and std str)
(push `(:and ,c) result))
(when (and str (< str last))
(push `(:str ,c) result))
(when (and std (< std last))
(push `(:std ,c) result))))))
(assert (null result)))))
;; No compiler-notes for non-constant slot-names in default policy.
(handler-case
(compile nil '(lambda (x y z)
(setf (slot-value x z)
(slot-value y z))))
(sb-ext:compiler-note (e)
(error e)))

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks