1 ;;;; SBCL-specific parts of the condition system, i.e. parts which
2 ;;;; don't duplicate/clobber functionality already provided by the
3 ;;;; cross-compilation host Common Lisp
5 ;;;; This software is part of the SBCL system. See the README file for
8 ;;;; This software is derived from the CMU CL system, which was
9 ;;;; written at Carnegie Mellon University and released into the
10 ;;;; public domain. The software is in the public domain and is
11 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
12 ;;;; files for more information.
14 (in-package "SB!KERNEL")
16 ;;; not sure this is the right place, but where else?
17 (defun style-warn (format-control &rest format-arguments)
18 (/show0 "entering STYLE-WARN")
19 (/show format-control format-arguments)
21 (warn 'simple-style-warning
22 :format-control format-control
23 :format-arguments format-arguments)))
25 ;;; a utility for SIGNAL, ERROR, CERROR, WARN, COMPILER-NOTIFY and
26 ;;; INVOKE-DEBUGGER: Parse the hairy argument conventions into a
27 ;;; single argument that's directly usable by all the other routines.
28 (defun coerce-to-condition (datum arguments default-type fun-name)
29 (cond ((typep datum 'condition)
30 (when (and arguments (not (eq fun-name 'cerror)))
31 (cerror "Ignore the additional arguments."
35 :format-control "You may not supply additional arguments ~
36 when giving ~S to ~S."
37 :format-arguments (list datum fun-name)))
39 ((symbolp datum) ; roughly, (SUBTYPEP DATUM 'CONDITION)
40 (apply #'make-condition datum arguments))
41 ((or (stringp datum) (functionp datum))
42 (make-condition default-type
44 :format-arguments arguments))
46 (error 'simple-type-error
48 :expected-type '(or symbol string)
49 :format-control "bad argument to ~S: ~S"
50 :format-arguments (list fun-name datum)))))
52 (define-condition layout-invalid (type-error)
55 (lambda (condition stream)
57 "~@<invalid structure layout: ~
58 ~2I~_A test for class ~4I~_~S ~
59 ~2I~_was passed the obsolete instance ~4I~_~S~:>"
60 (classoid-proper-name (type-error-expected-type condition))
61 (type-error-datum condition)))))
63 (define-condition case-failure (type-error)
64 ((name :reader case-failure-name :initarg :name)
65 (possibilities :reader case-failure-possibilities :initarg :possibilities))
67 (lambda (condition stream)
68 (format stream "~@<~S fell through ~S expression. ~
69 ~:_Wanted one of ~:S.~:>"
70 (type-error-datum condition)
71 (case-failure-name condition)
72 (case-failure-possibilities condition)))))
74 (define-condition compiled-program-error (program-error)
75 ((message :initarg :message :reader program-error-message)
76 (source :initarg :source :reader program-error-source))
77 (:report (lambda (condition stream)
78 (format stream "Execution of a form compiled with errors.~%~
80 Compile-time error:~% ~A"
81 (program-error-source condition)
82 (program-error-message condition)))))
84 (define-condition interpreted-program-error
85 (program-error encapsulated-condition)
86 ;; Unlike COMPILED-PROGRAM-ERROR, we don't need to dump these, so
87 ;; storing the original condition and form is OK.
88 ((form :initarg :form :reader program-error-form))
89 (:report (lambda (condition stream)
90 (format stream "~&Evaluation of~% ~S~%~
92 (program-error-form condition)
93 (encapsulated-condition condition)))))
95 (define-condition simple-control-error (simple-condition control-error) ())
96 (define-condition simple-file-error (simple-condition file-error) ())
97 (define-condition simple-program-error (simple-condition program-error) ())
98 (define-condition simple-stream-error (simple-condition stream-error) ())
99 (define-condition simple-parse-error (simple-condition parse-error) ())
101 (define-condition character-coding-error (error) ())
102 (define-condition character-encoding-error (character-coding-error)
103 ((code :initarg :code :reader character-encoding-error-code)))
104 (define-condition character-decoding-error (character-coding-error)
105 ((octets :initarg :octets :reader character-decoding-error-octets)))
106 (define-condition stream-encoding-error (stream-error character-encoding-error)
110 (let ((stream (stream-error-stream c))
111 (code (character-encoding-error-code c)))
112 (format s "~@<encoding error on stream ~S (~S ~S): ~2I~_~
113 the character with code ~D cannot be encoded.~@:>"
114 stream ':external-format (stream-external-format stream)
116 (define-condition stream-decoding-error (stream-error character-decoding-error)
120 (let ((stream (stream-error-stream c))
121 (octets (character-decoding-error-octets c)))
122 (format s "~@<decoding error on stream ~S (~S ~S): ~2I~_~
123 the octet sequence ~S cannot be decoded.~@:>"
124 stream ':external-format (stream-external-format stream)
127 (define-condition c-string-encoding-error (character-encoding-error)
128 ((external-format :initarg :external-format :reader c-string-encoding-error-external-format))
131 (format s "~@<c-string encoding error (:external-format ~S): ~2I~_~
132 the character with code ~D cannot be encoded.~@:>"
133 (c-string-encoding-error-external-format c)
134 (character-encoding-error-code c)))))
136 (define-condition c-string-decoding-error (character-decoding-error)
137 ((external-format :initarg :external-format :reader c-string-decoding-error-external-format))
140 (format s "~@<c-string decoding error (:external-format ~S): ~2I~_~
141 the octet sequence ~S cannot be decoded.~@:>"
142 (c-string-decoding-error-external-format c)
143 (character-decoding-error-octets c)))))
145 (define-condition control-stack-exhausted (storage-condition)
148 (lambda (condition stream)
149 (declare (ignore condition))
151 ;; no pretty-printing, because that would use a lot of stack.
152 "Control stack exhausted (no more space for function call frames).
153 This is probably due to heavily nested or infinitely recursive function
154 calls, or a tail call that SBCL cannot or has not optimized away.
156 PROCEED WITH CAUTION."))))
158 (define-condition heap-exhausted-error (storage-condition)
161 (lambda (condition stream)
162 (declare (ignore condition))
163 (declare (special *heap-exhausted-error-available-bytes*
164 *heap-exhausted-error-requested-bytes*))
165 ;; See comments in interr.lisp -- there is a method to this madness.
166 (if (and (boundp '*heap-exhausted-error-available-bytes*)
167 (boundp '*heap-exhausted-error-requested-bytes*))
169 ;; no pretty-printing, because that will use a lot of heap.
170 "Heap exhausted (no more space for allocation).
171 There are still ~D bytes available; the request was for ~D bytes.
173 PROCEED WITH CAUTION."
174 *heap-exhausted-error-available-bytes*
175 *heap-exhausted-error-requested-bytes*)
177 "A ~S condition without bindings for heap statistics. (If
178 you did not expect to see this message, please report it."
179 'heap-exhausted-error)))))
181 (define-condition system-condition (condition)
182 ((address :initarg :address :reader system-condition-address :initform nil)
183 (context :initarg :context :reader system-condition-context :initform nil)))
185 (define-condition memory-fault-error (system-condition error) ()
187 (lambda (condition stream)
188 (format stream "Unhandled memory fault at #x~X."
189 (system-condition-address condition)))))
191 (define-condition breakpoint-error (system-condition error) ()
193 (lambda (condition stream)
194 (format stream "Unhandled breakpoint/trap at #x~X."
195 (system-condition-address condition)))))
197 (define-condition interactive-interrupt (system-condition serious-condition) ()
199 (lambda (condition stream)
200 (format stream "Interactive interrupt at #x~X."
201 (system-condition-address condition)))))