;;; Signalling an error when trying to print an error condition is
;;; generally a PITA, so whatever the failure encountered when
;;; wondering about FILE-POSITION within a condition printer, 'tis
-;;; better silently to give up than to try to complain.
+;;; better silently to give up than to try to complain.
(defun file-position-or-nil-for-error (stream &optional (pos nil posp))
;; Arguably FILE-POSITION shouldn't be signalling errors at all; but
;; "NIL if this cannot be determined" in the ANSI spec doesn't seem
(/show0 "condition.lisp 24")
-(def!struct (condition-classoid (:include slot-classoid)
- (:constructor make-condition-classoid))
+(def!struct (condition-classoid (:include classoid)
+ (:constructor make-condition-classoid))
;; list of CONDITION-SLOT structures for the direct slots of this
;; class
(slots nil :type list)
(!defstruct-with-alternate-metaclass condition
:slot-names (actual-initargs assigned-slots)
:boa-constructor %make-condition-object
- :superclass-name instance
+ :superclass-name t
:metaclass-name condition-classoid
:metaclass-constructor make-condition-classoid
:dd-type structure)
(eval-when (:compile-toplevel :load-toplevel :execute)
(/show0 "condition.lisp 103")
(let ((condition-class (locally
- ;; KLUDGE: There's a DEFTRANSFORM
- ;; FIND-CLASSOID for constant class names
- ;; which creates fast but
- ;; non-cold-loadable, non-compact code. In
- ;; this context, we'd rather have compact,
- ;; cold-loadable code. -- WHN 19990928
- (declare (notinline find-classoid))
- (find-classoid 'condition))))
+ ;; KLUDGE: There's a DEFTRANSFORM
+ ;; FIND-CLASSOID for constant class names
+ ;; which creates fast but
+ ;; non-cold-loadable, non-compact code. In
+ ;; this context, we'd rather have compact,
+ ;; cold-loadable code. -- WHN 19990928
+ (declare (notinline find-classoid))
+ (find-classoid 'condition))))
(setf (condition-classoid-cpl condition-class)
- (list condition-class)))
+ (list condition-class)))
(/show0 "condition.lisp 103"))
(setf (condition-classoid-report (locally
- ;; KLUDGE: There's a DEFTRANSFORM
- ;; FIND-CLASSOID for constant class
- ;; names which creates fast but
- ;; non-cold-loadable, non-compact
- ;; code. In this context, we'd
- ;; rather have compact,
- ;; cold-loadable code. -- WHN
- ;; 19990928
- (declare (notinline find-classoid))
- (find-classoid 'condition)))
+ ;; KLUDGE: There's a DEFTRANSFORM
+ ;; FIND-CLASSOID for constant class
+ ;; names which creates fast but
+ ;; non-cold-loadable, non-compact
+ ;; code. In this context, we'd
+ ;; rather have compact,
+ ;; cold-loadable code. -- WHN
+ ;; 19990928
+ (declare (notinline find-classoid))
+ (find-classoid 'condition)))
(lambda (cond stream)
- (format stream "Condition ~S was signalled." (type-of cond))))
+ (format stream "Condition ~S was signalled." (type-of cond))))
(eval-when (:compile-toplevel :load-toplevel :execute)
(defun find-condition-layout (name parent-types)
(let* ((cpl (remove-duplicates
- (reverse
- (reduce #'append
- (mapcar (lambda (x)
- (condition-classoid-cpl
- (find-classoid x)))
- parent-types)))))
- (cond-layout (info :type :compiler-layout 'condition))
- (olayout (info :type :compiler-layout name))
- ;; FIXME: Does this do the right thing in case of multiple
- ;; inheritance? A quick look at DEFINE-CONDITION didn't make
- ;; it obvious what ANSI intends to be done in the case of
- ;; multiple inheritance, so it's not actually clear what the
- ;; right thing is..
- (new-inherits
- (order-layout-inherits (concatenate 'simple-vector
- (layout-inherits cond-layout)
- (mapcar #'classoid-layout cpl)))))
+ (reverse
+ (reduce #'append
+ (mapcar (lambda (x)
+ (condition-classoid-cpl
+ (find-classoid x)))
+ parent-types)))))
+ (cond-layout (info :type :compiler-layout 'condition))
+ (olayout (info :type :compiler-layout name))
+ ;; FIXME: Does this do the right thing in case of multiple
+ ;; inheritance? A quick look at DEFINE-CONDITION didn't make
+ ;; it obvious what ANSI intends to be done in the case of
+ ;; multiple inheritance, so it's not actually clear what the
+ ;; right thing is..
+ (new-inherits
+ (order-layout-inherits (concatenate 'simple-vector
+ (layout-inherits cond-layout)
+ (mapcar #'classoid-layout cpl)))))
(if (and olayout
- (not (mismatch (layout-inherits olayout) new-inherits)))
- olayout
- (make-layout :classoid (make-undefined-classoid name)
- :inherits new-inherits
- :depthoid -1
- :length (layout-length cond-layout)))))
+ (not (mismatch (layout-inherits olayout) new-inherits)))
+ olayout
+ (make-layout :classoid (make-undefined-classoid name)
+ :inherits new-inherits
+ :depthoid -1
+ :length (layout-length cond-layout)))))
) ; EVAL-WHEN
;; 7/13/98 BUG? CPL is not sorted and results here depend on order of
;; superclasses in define-condition call!
(dolist (class (condition-classoid-cpl (classoid-of x))
- (error "no REPORT? shouldn't happen!"))
- (let ((report (condition-classoid-report class)))
- (when report
- (return (funcall report x stream)))))))
+ (error "no REPORT? shouldn't happen!"))
+ (let ((report (condition-classoid-report class)))
+ (when report
+ (return (funcall report x stream)))))))
\f
;;;; slots of CONDITION objects
(defun find-slot-default (class slot)
(let ((initargs (condition-slot-initargs slot))
- (cpl (condition-classoid-cpl class)))
+ (cpl (condition-classoid-cpl class)))
(dolist (class cpl)
(let ((default-initargs (condition-classoid-default-initargs class)))
- (dolist (initarg initargs)
- (let ((val (getf default-initargs initarg *empty-condition-slot*)))
- (unless (eq val *empty-condition-slot*)
- (return-from find-slot-default
- (if (functionp val)
- (funcall val)
- val)))))))
+ (dolist (initarg initargs)
+ (let ((val (getf default-initargs initarg *empty-condition-slot*)))
+ (unless (eq val *empty-condition-slot*)
+ (return-from find-slot-default
+ (if (functionp val)
+ (funcall val)
+ val)))))))
(if (condition-slot-initform-p slot)
- (let ((initform (condition-slot-initform slot)))
- (if (functionp initform)
- (funcall initform)
- initform))
- (error "unbound condition slot: ~S" (condition-slot-name slot)))))
+ (let ((initform (condition-slot-initform slot)))
+ (if (functionp initform)
+ (funcall initform)
+ initform))
+ (error "unbound condition slot: ~S" (condition-slot-name slot)))))
(defun find-condition-class-slot (condition-class slot-name)
(dolist (sclass
- (condition-classoid-cpl condition-class)
- (error "There is no slot named ~S in ~S."
- slot-name condition-class))
+ (condition-classoid-cpl condition-class)
+ (error "There is no slot named ~S in ~S."
+ slot-name condition-class))
(dolist (slot (condition-classoid-slots sclass))
(when (eq (condition-slot-name slot) slot-name)
- (return-from find-condition-class-slot slot)))))
+ (return-from find-condition-class-slot slot)))))
(defun condition-writer-function (condition new-value name)
(dolist (cslot (condition-classoid-class-slots
- (layout-classoid (%instance-layout condition)))
- (setf (getf (condition-assigned-slots condition) name)
- new-value))
+ (layout-classoid (%instance-layout condition)))
+ (setf (getf (condition-assigned-slots condition) name)
+ new-value))
(when (eq (condition-slot-name cslot) name)
(return (setf (car (condition-slot-cell cslot)) new-value)))))
(let ((class (layout-classoid (%instance-layout condition))))
(dolist (cslot (condition-classoid-class-slots class))
(when (eq (condition-slot-name cslot) name)
- (return-from condition-reader-function
- (car (condition-slot-cell cslot)))))
+ (return-from condition-reader-function
+ (car (condition-slot-cell cslot)))))
(let ((val (getf (condition-assigned-slots condition) name
- *empty-condition-slot*)))
+ *empty-condition-slot*)))
(if (eq val *empty-condition-slot*)
- (let ((actual-initargs (condition-actual-initargs condition))
- (slot (find-condition-class-slot class name)))
+ (let ((actual-initargs (condition-actual-initargs condition))
+ (slot (find-condition-class-slot class name)))
(unless slot
- (error "missing slot ~S of ~S" name condition))
- (do ((initargs actual-initargs (cddr initargs)))
- ((endp initargs)
- (setf (getf (condition-assigned-slots condition) name)
- (find-slot-default class slot)))
- (when (member (car initargs) (condition-slot-initargs slot))
- (return-from condition-reader-function
- (setf (getf (condition-assigned-slots condition)
- name)
- (cadr initargs))))))
- val))))
+ (error "missing slot ~S of ~S" name condition))
+ (do ((initargs actual-initargs (cddr initargs)))
+ ((endp initargs)
+ (setf (getf (condition-assigned-slots condition) name)
+ (find-slot-default class slot)))
+ (when (member (car initargs) (condition-slot-initargs slot))
+ (return-from condition-reader-function
+ (setf (getf (condition-assigned-slots condition)
+ name)
+ (cadr initargs))))))
+ val))))
\f
;;;; MAKE-CONDITION
-(defun make-condition (thing &rest args)
+(defun make-condition (type &rest args)
#!+sb-doc
"Make an instance of a condition object using the specified initargs."
;; Note: ANSI specifies no exceptional situations in this function.
;; signalling simple-type-error would not be wrong.
- (let* ((thing (or (and (symbolp thing) (find-classoid thing nil))
- thing))
- (class (typecase thing
- (condition-classoid thing)
- (classoid
- (error 'simple-type-error
- :datum thing
- :expected-type 'condition-class
- :format-control "~S is not a condition class."
- :format-arguments (list thing)))
- (t
- (error 'simple-type-error
- :datum thing
- :expected-type 'condition-class
- :format-control "bad thing for class argument:~% ~S"
- :format-arguments (list thing)))))
- (res (make-condition-object args)))
+ (let* ((type (or (and (symbolp type) (find-classoid type nil))
+ type))
+ (class (typecase type
+ (condition-classoid type)
+ (class
+ ;; Punt to CLOS.
+ (return-from make-condition (apply #'make-instance type args)))
+ (classoid
+ (error 'simple-type-error
+ :datum type
+ :expected-type 'condition-class
+ :format-control "~S is not a condition class."
+ :format-arguments (list type)))
+ (t
+ (error 'simple-type-error
+ :datum type
+ :expected-type 'condition-class
+ :format-control "Bad type argument:~% ~S"
+ :format-arguments (list type)))))
+ (res (make-condition-object args)))
(setf (%instance-layout res) (classoid-layout class))
;; Set any class slots with initargs present in this call.
(dolist (cslot (condition-classoid-class-slots class))
(dolist (initarg (condition-slot-initargs cslot))
- (let ((val (getf args initarg *empty-condition-slot*)))
- (unless (eq val *empty-condition-slot*)
- (setf (car (condition-slot-cell cslot)) val)))))
+ (let ((val (getf args initarg *empty-condition-slot*)))
+ (unless (eq val *empty-condition-slot*)
+ (setf (car (condition-slot-cell cslot)) val)))))
;; Default any slots with non-constant defaults now.
(dolist (hslot (condition-classoid-hairy-slots class))
(when (dolist (initarg (condition-slot-initargs hslot) t)
- (unless (eq (getf args initarg *empty-condition-slot*)
- *empty-condition-slot*)
- (return nil)))
- (setf (getf (condition-assigned-slots res) (condition-slot-name hslot))
- (find-slot-default class hslot))))
+ (unless (eq (getf args initarg *empty-condition-slot*)
+ *empty-condition-slot*)
+ (return nil)))
+ (setf (getf (condition-assigned-slots res) (condition-slot-name hslot))
+ (find-slot-default class hslot))))
res))
\f
;;;; DEFINE-CONDITION
(eval-when (:compile-toplevel :load-toplevel :execute)
(defun %compiler-define-condition (name direct-supers layout
- all-readers all-writers)
- (with-single-package-locked-error
+ all-readers all-writers)
+ (with-single-package-locked-error
(:symbol name "defining ~A as a condition")
(sb!xc:proclaim `(ftype (function (t) t) ,@all-readers))
(sb!xc:proclaim `(ftype (function (t t) t) ,@all-writers))
(multiple-value-bind (class old-layout)
- (insured-find-classoid name
- #'condition-classoid-p
- #'make-condition-classoid)
+ (insured-find-classoid name
+ #'condition-classoid-p
+ #'make-condition-classoid)
(setf (layout-classoid layout) class)
(setf (classoid-direct-superclasses class)
- (mapcar #'find-classoid direct-supers))
+ (mapcar #'find-classoid direct-supers))
(cond ((not old-layout)
- (register-layout layout))
- ((not *type-system-initialized*)
- (setf (layout-classoid old-layout) class)
- (setq layout old-layout)
- (unless (eq (classoid-layout class) layout)
- (register-layout layout)))
- ((redefine-layout-warning "current"
- old-layout
- "new"
- (layout-length layout)
- (layout-inherits layout)
- (layout-depthoid layout))
- (register-layout layout :invalidate t))
- ((not (classoid-layout class))
- (register-layout layout)))
-
+ (register-layout layout))
+ ((not *type-system-initialized*)
+ (setf (layout-classoid old-layout) class)
+ (setq layout old-layout)
+ (unless (eq (classoid-layout class) layout)
+ (register-layout layout)))
+ ((redefine-layout-warning "current"
+ old-layout
+ "new"
+ (layout-length layout)
+ (layout-inherits layout)
+ (layout-depthoid layout)
+ (layout-n-untagged-slots layout))
+ (register-layout layout :invalidate t))
+ ((not (classoid-layout class))
+ (register-layout layout)))
+
(setf (layout-info layout)
- (locally
- ;; KLUDGE: There's a FIND-CLASS DEFTRANSFORM for constant class
- ;; names which creates fast but non-cold-loadable, non-compact
- ;; code. In this context, we'd rather have compact, cold-loadable
- ;; code. -- WHN 19990928
- (declare (notinline find-classoid))
- (layout-info (classoid-layout (find-classoid 'condition)))))
-
+ (locally
+ ;; KLUDGE: There's a FIND-CLASS DEFTRANSFORM for constant class
+ ;; names which creates fast but non-cold-loadable, non-compact
+ ;; code. In this context, we'd rather have compact, cold-loadable
+ ;; code. -- WHN 19990928
+ (declare (notinline find-classoid))
+ (layout-info (classoid-layout (find-classoid 'condition)))))
+
(setf (find-classoid name) class)
-
+
;; Initialize CPL slot.
(setf (condition-classoid-cpl class)
- (remove-if-not #'condition-classoid-p
- (std-compute-class-precedence-list class)))))
+ (remove-if-not #'condition-classoid-p
+ (std-compute-class-precedence-list class)))))
(values))
) ; EVAL-WHEN
(collect ((res (copy-list (condition-classoid-slots class))))
(dolist (sclass (cdr (condition-classoid-cpl class)))
(dolist (sslot (condition-classoid-slots sclass))
- (let ((found (find (condition-slot-name sslot) (res)
+ (let ((found (find (condition-slot-name sslot) (res)
:key #'condition-slot-name)))
- (cond (found
- (setf (condition-slot-initargs found)
- (union (condition-slot-initargs found)
- (condition-slot-initargs sslot)))
- (unless (condition-slot-initform-p found)
- (setf (condition-slot-initform-p found)
- (condition-slot-initform-p sslot))
- (setf (condition-slot-initform found)
- (condition-slot-initform sslot)))
- (unless (condition-slot-allocation found)
- (setf (condition-slot-allocation found)
- (condition-slot-allocation sslot))))
- (t
- (res (copy-structure sslot)))))))
+ (cond (found
+ (setf (condition-slot-initargs found)
+ (union (condition-slot-initargs found)
+ (condition-slot-initargs sslot)))
+ (unless (condition-slot-initform-p found)
+ (setf (condition-slot-initform-p found)
+ (condition-slot-initform-p sslot))
+ (setf (condition-slot-initform found)
+ (condition-slot-initform sslot)))
+ (unless (condition-slot-allocation found)
+ (setf (condition-slot-allocation found)
+ (condition-slot-allocation sslot))))
+ (t
+ (res (copy-structure sslot)))))))
(res)))
;;; Early definitions of slot accessor creators.
(lambda (new-value condition)
(condition-writer-function condition new-value slot-name))))
+(defvar *define-condition-hooks* nil)
+
(defun %define-condition (name parent-types layout slots documentation
- report default-initargs all-readers all-writers)
- (with-single-package-locked-error
+ report default-initargs all-readers all-writers
+ source-location)
+ (with-single-package-locked-error
(:symbol name "defining ~A as a condition")
(%compiler-define-condition name parent-types layout all-readers all-writers)
+ (sb!c:with-source-location (source-location)
+ (setf (layout-source-location layout)
+ source-location))
(let ((class (find-classoid name)))
(setf (condition-classoid-slots class) slots)
(setf (condition-classoid-report class) report)
(setf (condition-classoid-default-initargs class) default-initargs)
(setf (fdocumentation name 'type) documentation)
-
+
(dolist (slot slots)
-
- ;; Set up reader and writer functions.
- (let ((slot-name (condition-slot-name slot)))
- (dolist (reader (condition-slot-readers slot))
- (install-condition-slot-reader reader name slot-name))
- (dolist (writer (condition-slot-writers slot))
- (install-condition-slot-writer writer name slot-name))))
-
+
+ ;; Set up reader and writer functions.
+ (let ((slot-name (condition-slot-name slot)))
+ (dolist (reader (condition-slot-readers slot))
+ (install-condition-slot-reader reader name slot-name))
+ (dolist (writer (condition-slot-writers slot))
+ (install-condition-slot-writer writer name slot-name))))
+
;; Compute effective slots and set up the class and hairy slots
;; (subsets of the effective slots.)
(let ((eslots (compute-effective-slots class))
- (e-def-initargs
- (reduce #'append
- (mapcar #'condition-classoid-default-initargs
- (condition-classoid-cpl class)))))
- (dolist (slot eslots)
- (ecase (condition-slot-allocation slot)
- (:class
- (unless (condition-slot-cell slot)
- (setf (condition-slot-cell slot)
- (list (if (condition-slot-initform-p slot)
- (let ((initform (condition-slot-initform slot)))
- (if (functionp initform)
- (funcall initform)
- initform))
- *empty-condition-slot*))))
- (push slot (condition-classoid-class-slots class)))
- ((:instance nil)
- (setf (condition-slot-allocation slot) :instance)
- (when (or (functionp (condition-slot-initform slot))
- (dolist (initarg (condition-slot-initargs slot) nil)
- (when (functionp (getf e-def-initargs initarg))
- (return t))))
- (push slot (condition-classoid-hairy-slots class))))))))
+ (e-def-initargs
+ (reduce #'append
+ (mapcar #'condition-classoid-default-initargs
+ (condition-classoid-cpl class)))))
+ (dolist (slot eslots)
+ (ecase (condition-slot-allocation slot)
+ (:class
+ (unless (condition-slot-cell slot)
+ (setf (condition-slot-cell slot)
+ (list (if (condition-slot-initform-p slot)
+ (let ((initform (condition-slot-initform slot)))
+ (if (functionp initform)
+ (funcall initform)
+ initform))
+ *empty-condition-slot*))))
+ (push slot (condition-classoid-class-slots class)))
+ ((:instance nil)
+ (setf (condition-slot-allocation slot) :instance)
+ (when (or (functionp (condition-slot-initform slot))
+ (dolist (initarg (condition-slot-initargs slot) nil)
+ (when (functionp (getf e-def-initargs initarg))
+ (return t))))
+ (push slot (condition-classoid-hairy-slots class)))))))
+ (when (boundp '*define-condition-hooks*)
+ (dolist (fun *define-condition-hooks*)
+ (funcall fun class))))
name))
(defmacro define-condition (name (&rest parent-types) (&rest slot-specs)
- &body options)
+ &body options)
#!+sb-doc
"DEFINE-CONDITION Name (Parent-Type*) (Slot-Spec*) Option*
Define NAME as a condition type. This new type inherits slots and its
CLtL2) are neither STANDARD-OBJECTs nor STRUCTURE-OBJECTs. WITH-SLOTS and
SLOT-VALUE may not be used on condition objects."
(let* ((parent-types (or parent-types '(condition)))
- (layout (find-condition-layout name parent-types))
- (documentation nil)
- (report nil)
- (default-initargs ()))
+ (layout (find-condition-layout name parent-types))
+ (documentation nil)
+ (report nil)
+ (default-initargs ()))
(collect ((slots)
- (all-readers nil append)
- (all-writers nil append))
+ (all-readers nil append)
+ (all-writers nil append))
(dolist (spec slot-specs)
- (when (keywordp spec)
- (warn "Keyword slot name indicates probable syntax error:~% ~S"
- spec))
- (let* ((spec (if (consp spec) spec (list spec)))
- (slot-name (first spec))
- (allocation :instance)
- (initform-p nil)
- documentation
- initform)
- (collect ((initargs)
- (readers)
- (writers))
- (do ((options (rest spec) (cddr options)))
- ((null options))
- (unless (and (consp options) (consp (cdr options)))
- (error "malformed condition slot spec:~% ~S." spec))
- (let ((arg (second options)))
- (case (first options)
- (:reader (readers arg))
- (:writer (writers arg))
- (:accessor
- (readers arg)
- (writers `(setf ,arg)))
- (:initform
- (when initform-p
- (error "more than one :INITFORM in ~S" spec))
- (setq initform-p t)
- (setq initform arg))
- (:initarg (initargs arg))
- (:allocation
- (setq allocation arg))
- (:documentation
- (when documentation
- (error "more than one :DOCUMENTATION in ~S" spec))
- (unless (stringp arg)
- (error "slot :DOCUMENTATION argument is not a string: ~S"
- arg))
- (setq documentation arg))
- (:type)
- (t
- (error "unknown slot option:~% ~S" (first options))))))
-
- (all-readers (readers))
- (all-writers (writers))
- (slots `(make-condition-slot
- :name ',slot-name
- :initargs ',(initargs)
- :readers ',(readers)
- :writers ',(writers)
- :initform-p ',initform-p
- :documentation ',documentation
- :initform
- ,(if (constantp initform)
- `',(eval initform)
- `#'(lambda () ,initform)))))))
+ (when (keywordp spec)
+ (warn "Keyword slot name indicates probable syntax error:~% ~S"
+ spec))
+ (let* ((spec (if (consp spec) spec (list spec)))
+ (slot-name (first spec))
+ (allocation :instance)
+ (initform-p nil)
+ documentation
+ initform)
+ (collect ((initargs)
+ (readers)
+ (writers))
+ (do ((options (rest spec) (cddr options)))
+ ((null options))
+ (unless (and (consp options) (consp (cdr options)))
+ (error "malformed condition slot spec:~% ~S." spec))
+ (let ((arg (second options)))
+ (case (first options)
+ (:reader (readers arg))
+ (:writer (writers arg))
+ (:accessor
+ (readers arg)
+ (writers `(setf ,arg)))
+ (:initform
+ (when initform-p
+ (error "more than one :INITFORM in ~S" spec))
+ (setq initform-p t)
+ (setq initform arg))
+ (:initarg (initargs arg))
+ (:allocation
+ (setq allocation arg))
+ (:documentation
+ (when documentation
+ (error "more than one :DOCUMENTATION in ~S" spec))
+ (unless (stringp arg)
+ (error "slot :DOCUMENTATION argument is not a string: ~S"
+ arg))
+ (setq documentation arg))
+ (:type)
+ (t
+ (error "unknown slot option:~% ~S" (first options))))))
+
+ (all-readers (readers))
+ (all-writers (writers))
+ (slots `(make-condition-slot
+ :name ',slot-name
+ :initargs ',(initargs)
+ :readers ',(readers)
+ :writers ',(writers)
+ :initform-p ',initform-p
+ :documentation ',documentation
+ :initform
+ ,(if (sb!xc:constantp initform)
+ `',(constant-form-value initform)
+ `#'(lambda () ,initform)))))))
(dolist (option options)
- (unless (consp option)
- (error "bad option:~% ~S" option))
- (case (first option)
- (:documentation (setq documentation (second option)))
- (:report
- (let ((arg (second option)))
- (setq report
- (if (stringp arg)
- `#'(lambda (condition stream)
- (declare (ignore condition))
- (write-string ,arg stream))
- `#'(lambda (condition stream)
- (funcall #',arg condition stream))))))
- (:default-initargs
- (do ((initargs (rest option) (cddr initargs)))
- ((endp initargs))
- (let ((val (second initargs)))
- (setq default-initargs
- (list* `',(first initargs)
- (if (constantp val)
- `',(eval val)
- `#'(lambda () ,val))
- default-initargs)))))
- (t
- (error "unknown option: ~S" (first option)))))
+ (unless (consp option)
+ (error "bad option:~% ~S" option))
+ (case (first option)
+ (:documentation (setq documentation (second option)))
+ (:report
+ (let ((arg (second option)))
+ (setq report
+ (if (stringp arg)
+ `#'(lambda (condition stream)
+ (declare (ignore condition))
+ (write-string ,arg stream))
+ `#'(lambda (condition stream)
+ (funcall #',arg condition stream))))))
+ (:default-initargs
+ (do ((initargs (rest option) (cddr initargs)))
+ ((endp initargs))
+ (let ((val (second initargs)))
+ (setq default-initargs
+ (list* `',(first initargs)
+ (if (sb!xc:constantp val)
+ `',(constant-form-value val)
+ `#'(lambda () ,val))
+ default-initargs)))))
+ (t
+ (error "unknown option: ~S" (first option)))))
`(progn
- (eval-when (:compile-toplevel)
- (%compiler-define-condition ',name ',parent-types ',layout
- ',(all-readers) ',(all-writers)))
- (eval-when (:load-toplevel :execute)
- (%define-condition ',name
- ',parent-types
- ',layout
- (list ,@(slots))
- ,documentation
- ,report
- (list ,@default-initargs)
- ',(all-readers)
- ',(all-writers)))))))
+ (eval-when (:compile-toplevel)
+ (%compiler-define-condition ',name ',parent-types ',layout
+ ',(all-readers) ',(all-writers)))
+ (eval-when (:load-toplevel :execute)
+ (%define-condition ',name
+ ',parent-types
+ ',layout
+ (list ,@(slots))
+ ,documentation
+ ,report
+ (list ,@default-initargs)
+ ',(all-readers)
+ ',(all-writers)
+ (sb!c:source-location)))))))
\f
;;;; DESCRIBE on CONDITIONs
;;; methods)
(defun describe-condition (condition stream)
(format stream
- "~&~@<~S ~_is a ~S. ~_Its slot values are ~_~S.~:>~%"
- condition
- (type-of condition)
- (concatenate 'list
- (condition-actual-initargs condition)
- (condition-assigned-slots condition))))
+ "~&~@<~S ~_is a ~S. ~_Its slot values are ~_~S.~:>~%"
+ condition
+ (type-of condition)
+ (concatenate 'list
+ (condition-actual-initargs condition)
+ (condition-assigned-slots condition))))
\f
;;;; various CONDITIONs specified by ANSI
(defun simple-condition-printer (condition stream)
(apply #'format
- stream
- (simple-condition-format-control condition)
- (simple-condition-format-arguments condition)))
+ stream
+ (simple-condition-format-control condition)
+ (simple-condition-format-arguments condition)))
(define-condition simple-condition ()
((format-control :reader simple-condition-format-control
- :initarg :format-control
+ :initarg :format-control
:type format-control)
(format-arguments :reader simple-condition-format-arguments
- :initarg :format-arguments
- :initform '()
+ :initarg :format-arguments
+ :initform '()
:type list))
(:report simple-condition-printer))
(define-condition simple-error (simple-condition error) ())
-;;; not specified by ANSI, but too useful not to have around.
-(define-condition simple-style-warning (simple-condition style-warning) ())
-
(define-condition storage-condition (serious-condition) ())
(define-condition type-error (error)
(:report
(lambda (condition stream)
(format stream
- "~@<The value ~2I~:_~S ~I~_is not of type ~2I~_~S.~:>"
- (type-error-datum condition)
- (type-error-expected-type condition)))))
+ "~@<The value ~2I~:_~S ~I~_is not of type ~2I~_~S.~:>"
+ (type-error-datum condition)
+ (type-error-expected-type condition)))))
+;;; not specified by ANSI, but too useful not to have around.
+(define-condition simple-style-warning (simple-condition style-warning) ())
(define-condition simple-type-error (simple-condition type-error) ())
(define-condition program-error (error) ())
(:report
(lambda (condition stream)
(format stream
- "end of file on ~S"
- (stream-error-stream condition)))))
+ "end of file on ~S"
+ (stream-error-stream condition)))))
(define-condition file-error (error)
((pathname :reader file-error-pathname :initarg :pathname))
(define-condition cell-error (error)
((name :reader cell-error-name :initarg :name)))
+(def!method print-object ((condition cell-error) stream)
+ (if (and *print-escape* (slot-boundp condition 'name))
+ (print-unreadable-object (condition stream :type t :identity t)
+ (princ (cell-error-name condition) stream))
+ (call-next-method)))
+
(define-condition unbound-variable (cell-error) ()
(:report
(lambda (condition stream)
(format stream
- "The variable ~S is unbound."
- (cell-error-name condition)))))
+ "The variable ~S is unbound."
+ (cell-error-name condition)))))
(define-condition undefined-function (cell-error) ()
(:report
(lambda (condition stream)
(format stream
- "The function ~S is undefined."
- (cell-error-name condition)))))
+ "The function ~S is undefined."
+ (cell-error-name condition)))))
(define-condition special-form-function (undefined-function) ()
(:report
(lambda (condition stream)
(format stream
- "Cannot FUNCALL the SYMBOL-FUNCTION of special operator ~S."
- (cell-error-name condition)))))
+ "Cannot FUNCALL the SYMBOL-FUNCTION of special operator ~S."
+ (cell-error-name condition)))))
(define-condition arithmetic-error (error)
((operation :reader arithmetic-error-operation
- :initarg :operation
- :initform nil)
+ :initarg :operation
+ :initform nil)
(operands :reader arithmetic-error-operands
- :initarg :operands))
+ :initarg :operands))
(:report (lambda (condition stream)
- (format stream
- "arithmetic error ~S signalled"
- (type-of condition))
- (when (arithmetic-error-operation condition)
- (format stream
- "~%Operation was ~S, operands ~S."
- (arithmetic-error-operation condition)
- (arithmetic-error-operands condition))))))
+ (format stream
+ "arithmetic error ~S signalled"
+ (type-of condition))
+ (when (arithmetic-error-operation condition)
+ (format stream
+ "~%Operation was ~S, operands ~S."
+ (arithmetic-error-operation condition)
+ (arithmetic-error-operands condition))))))
(define-condition division-by-zero (arithmetic-error) ())
(define-condition floating-point-overflow (arithmetic-error) ())
(:report
(lambda (condition stream)
(let ((obj (print-not-readable-object condition))
- (*print-array* nil))
+ (*print-array* nil))
(format stream "~S cannot be printed readably." obj)))))
-(define-condition reader-error (parse-error stream-error)
- ((format-control
- :reader reader-error-format-control
- :initarg :format-control)
- (format-arguments
- :reader reader-error-format-arguments
- :initarg :format-arguments
- :initform '()))
- (:report
- (lambda (condition stream)
- (let* ((error-stream (stream-error-stream condition))
- (pos (file-position-or-nil-for-error error-stream)))
- (let (lineno colno)
- (when (and pos
- (< pos sb!xc:array-dimension-limit)
- ;; KLUDGE: lseek() (which is what FILE-POSITION
- ;; reduces to on file-streams) is undefined on
- ;; "some devices", which in practice means that it
- ;; can claim to succeed on /dev/stdin on Darwin
- ;; and Solaris. This is obviously bad news,
- ;; because the READ-SEQUENCE below will then
- ;; block, not complete, and the report will never
- ;; be printed. As a workaround, we exclude
- ;; interactive streams from this attempt to report
- ;; positions. -- CSR, 2003-08-21
- (not (interactive-stream-p error-stream))
- (file-position error-stream :start))
- (let ((string
- (make-string pos
- :element-type (stream-element-type
- error-stream))))
- (when (= pos (read-sequence string error-stream))
- (setq lineno (1+ (count #\Newline string))
- colno (- pos
- (or (position #\Newline string :from-end t) -1)
- 1))))
- (file-position-or-nil-for-error error-stream pos))
- (format stream
- "READER-ERROR ~@[at ~W ~]~
- ~@[(line ~W~]~@[, column ~W) ~]~
- on ~S:~%~?"
- pos lineno colno error-stream
- (reader-error-format-control condition)
- (reader-error-format-arguments condition)))))))
+(define-condition reader-error (parse-error stream-error) ()
+ (:report (lambda (condition stream)
+ (%report-reader-error condition stream))))
+
+;;; a READER-ERROR whose REPORTing is controlled by FORMAT-CONTROL and
+;;; FORMAT-ARGS (the usual case for READER-ERRORs signalled from
+;;; within SBCL itself)
+;;;
+;;; (Inheriting CL:SIMPLE-CONDITION here isn't quite consistent with
+;;; the letter of the ANSI spec: this is not a condition signalled by
+;;; SIGNAL when a format-control is supplied by the function's first
+;;; argument. It seems to me (WHN) to be basically in the spirit of
+;;; the spec, but if not, it'd be straightforward to do our own
+;;; DEFINE-CONDITION SB-INT:SIMPLISTIC-CONDITION with
+;;; FORMAT-CONTROL and FORMAT-ARGS slots, and use that condition in
+;;; place of CL:SIMPLE-CONDITION here.)
+(define-condition simple-reader-error (reader-error simple-condition)
+ ()
+ (:report (lambda (condition stream)
+ (%report-reader-error condition stream :simple t))))
+
+;;; base REPORTing of a READER-ERROR
+;;;
+;;; When SIMPLE, we expect and use SIMPLE-CONDITION-ish FORMAT-CONTROL
+;;; and FORMAT-ARGS slots.
+(defun %report-reader-error (condition stream &key simple)
+ (let* ((error-stream (stream-error-stream condition))
+ (pos (file-position-or-nil-for-error error-stream)))
+ (let (lineno colno)
+ (when (and pos
+ (< pos sb!xc:array-dimension-limit)
+ ;; KLUDGE: lseek() (which is what FILE-POSITION
+ ;; reduces to on file-streams) is undefined on
+ ;; "some devices", which in practice means that it
+ ;; can claim to succeed on /dev/stdin on Darwin
+ ;; and Solaris. This is obviously bad news,
+ ;; because the READ-SEQUENCE below will then
+ ;; block, not complete, and the report will never
+ ;; be printed. As a workaround, we exclude
+ ;; interactive streams from this attempt to report
+ ;; positions. -- CSR, 2003-08-21
+ (not (interactive-stream-p error-stream))
+ (file-position error-stream :start))
+ (let ((string
+ (make-string pos
+ :element-type (stream-element-type
+ error-stream))))
+ (when (= pos (read-sequence string error-stream))
+ (setq lineno (1+ (count #\Newline string))
+ colno (- pos
+ (or (position #\Newline string :from-end t) -1)
+ 1))))
+ (file-position-or-nil-for-error error-stream pos))
+ (pprint-logical-block (stream nil)
+ (format stream
+ "~S ~@[at ~W ~]~
+ ~@[(line ~W~]~@[, column ~W) ~]~
+ on ~S"
+ (class-name (class-of condition))
+ pos lineno colno error-stream)
+ (when simple
+ (format stream ":~2I~_~?"
+ (simple-condition-format-control condition)
+ (simple-condition-format-arguments condition)))))))
\f
;;;; special SBCL extension conditions
(:report
(lambda (condition stream)
(format stream
- "~@< ~? ~:@_~?~:>"
- (simple-condition-format-control condition)
- (simple-condition-format-arguments condition)
- "~@<This is probably a bug in SBCL itself. (Alternatively, ~
+ "~@< ~? ~:@_~?~:>"
+ (simple-condition-format-control condition)
+ (simple-condition-format-arguments condition)
+ "~@<This is probably a bug in SBCL itself. (Alternatively, ~
SBCL might have been corrupted by bad user code, e.g. by an ~
undefined Lisp operation like ~S, or by stray pointers from ~
alien code or from unsafe Lisp code; or there might be a bug ~
about it. Bug reports are welcome on the SBCL ~
mailing lists, which you can find at ~
<http://sbcl.sourceforge.net/>.~:@>"
- '((fmakunbound 'compile))))))
+ '((fmakunbound 'compile))))))
-(define-condition simple-storage-condition (storage-condition simple-condition) ())
+(define-condition simple-storage-condition (storage-condition simple-condition)
+ ())
;;; a condition for use in stubs for operations which aren't supported
;;; on some platforms
;;; By signalling a standard condition in this case, we make it
;;; possible for test code to distinguish between (1) intentionally
;;; unimplemented and (2) unintentionally just screwed up somehow.
-;;; (Before this condition was defined, test code tried to deal with
+;;; (Before this condition was defined, test code tried to deal with
;;; this by checking for FBOUNDP, but that didn't work reliably. In
-;;; sbcl-0.7.0, a a package screwup left the definition of
+;;; sbcl-0.7.0, a package screwup left the definition of
;;; LOAD-FOREIGN in the wrong package, so it was unFBOUNDP even on
;;; architectures where it was supposed to be supported, and the
;;; regression tests cheerfully passed because they assumed that
;;; unFBOUNDPness meant they were running on an system which didn't
;;; support the extension.)
(define-condition unsupported-operator (simple-error) ())
-
\f
;;; (:ansi-cl :function remove)
;;; (:ansi-cl :section (a b c))
(format stream ", ")
(destructuring-bind (type data) (cdr reference)
(ecase type
- (:generic-function (format stream "Generic Function ~S" data))
- (:section (format stream "Section ~{~D~^.~}" data)))))
+ (:readers "Readers for ~:(~A~) Metaobjects"
+ (substitute #\ #\- (symbol-name data)))
+ (:initialization
+ (format stream "Initialization of ~:(~A~) Metaobjects"
+ (substitute #\ #\- (symbol-name data))))
+ (:generic-function (format stream "Generic Function ~S" data))
+ (:function (format stream "Function ~S" data))
+ (:section (format stream "Section ~{~D~^.~}" data)))))
(:ansi-cl
(format stream "The ANSI Standard")
(format stream ", ")
(destructuring-bind (type data) (cdr reference)
(ecase type
- (:function (format stream "Function ~S" data))
- (:special-operator (format stream "Special Operator ~S" data))
- (:macro (format stream "Macro ~S" data))
- (:section (format stream "Section ~{~D~^.~}" data))
- (:glossary (format stream "Glossary entry for ~S" data))
- (:issue (format stream "writeup for Issue ~A" data)))))
+ (:function (format stream "Function ~S" data))
+ (:special-operator (format stream "Special Operator ~S" data))
+ (:macro (format stream "Macro ~S" data))
+ (:section (format stream "Section ~{~D~^.~}" data))
+ (:glossary (format stream "Glossary entry for ~S" data))
+ (:issue (format stream "writeup for Issue ~A" data)))))
(:sbcl
(format stream "The SBCL Manual")
(format stream ", ")
(destructuring-bind (type data) (cdr reference)
(ecase type
- (:node (format stream "Node ~S" data))
- (:variable (format stream "Variable ~S" data))
- (:function (format stream "Function ~S" data)))))
+ (:node (format stream "Node ~S" data))
+ (:variable (format stream "Variable ~S" data))
+ (:function (format stream "Function ~S" data)))))
;; FIXME: other documents (e.g. CLIM, Franz documentation :-)
))
(define-condition reference-condition ()
(reference-condition-references o))
(format s "~&See also:~%")
(pprint-logical-block (s nil :per-line-prefix " ")
- (do* ((rs (reference-condition-references o) (cdr rs))
- (r (car rs) (car rs)))
- ((null rs))
- (print-reference r s)
- (unless (null (cdr rs))
- (terpri s)))))))
+ (do* ((rs (reference-condition-references o) (cdr rs))
+ (r (car rs) (car rs)))
+ ((null rs))
+ (print-reference r s)
+ (unless (null (cdr rs))
+ (terpri s)))))))
(define-condition duplicate-definition (reference-condition warning)
((name :initarg :name :reader duplicate-definition-name))
(:report (lambda (c s)
- (format s "~@<Duplicate definition for ~S found in ~
+ (format s "~@<Duplicate definition for ~S found in ~
one file.~@:>"
- (duplicate-definition-name c))))
+ (duplicate-definition-name c))))
(:default-initargs :references (list '(:ansi-cl :section (3 2 2 3)))))
-(define-condition package-at-variance (reference-condition simple-warning)
+(define-condition constant-modified (reference-condition warning)
+ ((fun-name :initarg :fun-name :reader constant-modified-fun-name))
+ (:report (lambda (c s)
+ (format s "~@<Destructive function ~S called on ~
+ constant data.~@:>"
+ (constant-modified-fun-name c))))
+ (:default-initargs :references (list '(:ansi-cl :special-operator quote)
+ '(:ansi-cl :section (3 2 2 3)))))
+
+(define-condition package-at-variance (reference-condition simple-warning)
()
(:default-initargs :references (list '(:ansi-cl :macro defpackage))))
(:report
(lambda (condition stream)
(format stream
- "~@<The constant ~S is being redefined (from ~S to ~S)~@:>"
- (defconstant-uneql-name condition)
- (defconstant-uneql-old-value condition)
- (defconstant-uneql-new-value condition))))
+ "~@<The constant ~S is being redefined (from ~S to ~S)~@:>"
+ (defconstant-uneql-name condition)
+ (defconstant-uneql-old-value condition)
+ (defconstant-uneql-new-value condition))))
(:default-initargs :references (list '(:ansi-cl :macro defconstant)
- '(:sbcl :node "Idiosyncrasies"))))
+ '(:sbcl :node "Idiosyncrasies"))))
-(define-condition array-initial-element-mismatch
+(define-condition array-initial-element-mismatch
(reference-condition simple-warning)
()
- (:default-initargs
- :references (list
- '(:ansi-cl :function make-array)
- '(:ansi-cl :function sb!xc:upgraded-array-element-type))))
+ (:default-initargs
+ :references (list
+ '(:ansi-cl :function make-array)
+ '(:ansi-cl :function sb!xc:upgraded-array-element-type))))
(define-condition displaced-to-array-too-small-error
(reference-condition simple-error)
()
(:default-initargs :references (list '(:ansi-cl :section (22 3 10 2)))))
-(define-condition format-too-few-args-warning
+(define-condition format-too-few-args-warning
(format-args-mismatch simple-warning)
())
(define-condition format-too-many-args-warning
(format-args-mismatch simple-style-warning)
())
+(define-condition implicit-generic-function-warning (style-warning)
+ ((name :initarg :name :reader implicit-generic-function-name))
+ (:report
+ (lambda (condition stream)
+ (format stream "~@<Implicitly creating new generic function ~S.~:@>"
+ (implicit-generic-function-name condition)))))
+
(define-condition extension-failure (reference-condition simple-error)
())
(progn
(define-condition package-lock-violation (reference-condition package-error)
- ((format-control :initform nil :initarg :format-control
- :reader package-error-format-control)
+ ((format-control :initform nil :initarg :format-control
+ :reader package-error-format-control)
(format-arguments :initform nil :initarg :format-arguments
- :reader package-error-format-arguments))
- (:report
+ :reader package-error-format-arguments))
+ (:report
(lambda (condition stream)
(let ((control (package-error-format-control condition)))
(if control
- (apply #'format stream
+ (apply #'format stream
(format nil "~~@<Lock on package ~A violated when ~A.~~:@>"
(package-name (package-error-package condition))
control)
(package-error-format-arguments condition))
- (format stream "~@<Lock on package ~A violated.~:@>"
- (package-name (package-error-package condition)))))))
+ (format stream "~@<Lock on package ~A violated.~:@>"
+ (package-name (package-error-package condition)))))))
;; no :default-initargs -- reference-stuff provided by the
;; signalling form in target-package.lisp
#!+sb-doc
) ; progn
-(define-condition undefined-alien-error (error) ())
+(define-condition undefined-alien-error (cell-error) ()
+ (:report
+ (lambda (condition stream)
+ (if (slot-boundp condition 'name)
+ (format stream "Undefined alien: ~S" (cell-error-name condition))
+ (format stream "Undefined alien symbol.")))))
(define-condition undefined-alien-variable-error (undefined-alien-error) ()
(:report
(:report
(lambda (condition stream)
(format stream
- "~@<The values set ~2I~:_[~{~S~^ ~}] ~I~_is not of type ~2I~_~S.~:>"
- (type-error-datum condition)
- (type-error-expected-type condition)))))
+ "~@<The values set ~2I~:_[~{~S~^ ~}] ~I~_is not of type ~2I~_~S.~:>"
+ (type-error-datum condition)
+ (type-error-expected-type condition)))))
;;; KLUDGE: a condition for floating point errors when we can't or
;;; won't figure out what type they are. (In FreeBSD and OpenBSD we
(define-condition floating-point-exception (arithmetic-error)
((flags :initarg :traps
:initform nil
- :reader floating-point-exception-traps))
+ :reader floating-point-exception-traps))
(:report (lambda (condition stream)
- (format stream
- "An arithmetic error ~S was signalled.~%"
- (type-of condition))
- (let ((traps (floating-point-exception-traps condition)))
- (if traps
- (format stream
- "Trapping conditions are: ~%~{ ~S~^~}~%"
- traps)
- (write-line
- "No traps are enabled? How can this be?"
- stream))))))
+ (format stream
+ "An arithmetic error ~S was signalled.~%"
+ (type-of condition))
+ (let ((traps (floating-point-exception-traps condition)))
+ (if traps
+ (format stream
+ "Trapping conditions are: ~%~{ ~S~^~}~%"
+ traps)
+ (write-line
+ "No traps are enabled? How can this be?"
+ stream))))))
(define-condition index-too-large-error (type-error)
()
(:report
(lambda (condition stream)
(format stream
- "The index ~S is too large."
- (type-error-datum condition)))))
+ "The index ~S is too large."
+ (type-error-datum condition)))))
(define-condition bounding-indices-bad-error (reference-condition type-error)
((object :reader bounding-indices-bad-object :initarg :object))
(:report
(lambda (condition stream)
(let* ((datum (type-error-datum condition))
- (start (car datum))
- (end (cdr datum))
- (object (bounding-indices-bad-object condition)))
+ (start (car datum))
+ (end (cdr datum))
+ (object (bounding-indices-bad-object condition)))
(etypecase object
- (sequence
- (format stream
- "The bounding indices ~S and ~S are bad ~
+ (sequence
+ (format stream
+ "The bounding indices ~S and ~S are bad ~
for a sequence of length ~S."
- start end (length object)))
- (array
- ;; from WITH-ARRAY-DATA
- (format stream
- "The START and END parameters ~S and ~S are ~
+ start end (length object)))
+ (array
+ ;; from WITH-ARRAY-DATA
+ (format stream
+ "The START and END parameters ~S and ~S are ~
bad for an array of total size ~S."
- start end (array-total-size object)))))))
- (:default-initargs
- :references
+ start end (array-total-size object)))))))
+ (:default-initargs
+ :references
(list '(:ansi-cl :glossary "bounding index designator")
- '(:ansi-cl :issue "SUBSEQ-OUT-OF-BOUNDS:IS-AN-ERROR"))))
+ '(:ansi-cl :issue "SUBSEQ-OUT-OF-BOUNDS:IS-AN-ERROR"))))
(define-condition nil-array-accessed-error (reference-condition type-error)
()
(:report (lambda (condition stream)
- (declare (ignore condition))
- (format stream
- "An attempt to access an array of element-type ~
+ (declare (ignore condition))
+ (format stream
+ "An attempt to access an array of element-type ~
NIL was made. Congratulations!")))
(:default-initargs
:references (list '(:ansi-cl :function sb!xc:upgraded-array-element-type)
- '(:ansi-cl :section (15 1 2 1))
- '(:ansi-cl :section (15 1 2 2)))))
-
-(define-condition io-timeout (stream-error)
- ((direction :reader io-timeout-direction :initarg :direction))
- (:report
- (lambda (condition stream)
- (declare (type stream stream))
- (format stream
- "I/O timeout ~(~A~)ing ~S"
- (io-timeout-direction condition)
- (stream-error-stream condition)))))
+ '(:ansi-cl :section (15 1 2 1))
+ '(:ansi-cl :section (15 1 2 2)))))
(define-condition namestring-parse-error (parse-error)
((complaint :reader namestring-parse-error-complaint :initarg :complaint)
(:report
(lambda (condition stream)
(format stream
- "parse error in namestring: ~?~% ~A~% ~V@T^"
- (namestring-parse-error-complaint condition)
- (namestring-parse-error-args condition)
- (namestring-parse-error-namestring condition)
- (namestring-parse-error-offset condition)))))
+ "parse error in namestring: ~?~% ~A~% ~V@T^"
+ (namestring-parse-error-complaint condition)
+ (namestring-parse-error-args condition)
+ (namestring-parse-error-namestring condition)
+ (namestring-parse-error-offset condition)))))
(define-condition simple-package-error (simple-condition package-error) ())
-(define-condition reader-package-error (reader-error) ())
+(define-condition simple-reader-package-error (simple-reader-error) ())
(define-condition reader-eof-error (end-of-file)
((context :reader reader-eof-error-context :initarg :context))
(:report
(lambda (condition stream)
(format stream
- "unexpected end of file on ~S ~A"
- (stream-error-stream condition)
- (reader-eof-error-context condition)))))
+ "unexpected end of file on ~S ~A"
+ (stream-error-stream condition)
+ (reader-eof-error-context condition)))))
-(define-condition reader-impossible-number-error (reader-error)
+(define-condition reader-impossible-number-error (simple-reader-error)
((error :reader reader-impossible-number-error-error :initarg :error))
(:report
(lambda (condition stream)
(let ((error-stream (stream-error-stream condition)))
- (format stream "READER-ERROR ~@[at ~W ~]on ~S:~%~?~%Original error: ~A"
- (file-position-or-nil-for-error error-stream) error-stream
- (reader-error-format-control condition)
- (reader-error-format-arguments condition)
- (reader-impossible-number-error-error condition))))))
+ (format stream
+ "READER-ERROR ~@[at ~W ~]on ~S:~%~?~%Original error: ~A"
+ (file-position-or-nil-for-error error-stream) error-stream
+ (simple-condition-format-control condition)
+ (simple-condition-format-arguments condition)
+ (reader-impossible-number-error-error condition))))))
+
+(define-condition timeout (serious-condition)
+ ((seconds :initarg :seconds :initform nil :reader timeout-seconds))
+ (:report (lambda (condition stream)
+ (format stream "Timeout occurred~@[ after ~A seconds~]."
+ (timeout-seconds condition)))))
-(define-condition timeout (serious-condition) ())
+(define-condition io-timeout (stream-error timeout)
+ ((direction :reader io-timeout-direction :initarg :direction))
+ (:report
+ (lambda (condition stream)
+ (declare (type stream stream))
+ (format stream
+ "I/O timeout ~(~A~)ing ~S."
+ (io-timeout-direction condition)
+ (stream-error-stream condition)))))
+
+(define-condition deadline-timeout (timeout) ()
+ (:report (lambda (condition stream)
+ (format stream "A deadline was reached after ~A seconds."
+ (timeout-seconds condition)))))
+
+(define-condition declaration-type-conflict-error (reference-condition
+ simple-error)
+ ()
+ (:default-initargs
+ :format-control "symbol ~S cannot be both the name of a type and the name of a declaration"
+ :references (list '(:ansi-cl :section (3 8 21)))))
;;; Single stepping conditions
(define-condition step-condition ()
((form :initarg :form :reader step-condition-form))
+
#!+sb-doc
(:documentation "Common base class of single-stepping conditions.
STEP-CONDITION-FORM holds a string representation of the form being
"Form associated with the STEP-CONDITION.")
(define-condition step-form-condition (step-condition)
- ((source-path :initarg :source-path :reader step-condition-source-path)
- (pathname :initarg :pathname :reader step-condition-pathname))
+ ((args :initarg :args :reader step-condition-args))
+ (:report
+ (lambda (condition stream)
+ (let ((*print-circle* t)
+ (*print-pretty* t)
+ (*print-readably* nil))
+ (format stream
+ "Evaluating call:~%~< ~@;~A~:>~%~
+ ~:[With arguments:~%~{ ~S~%~}~;With unknown arguments~]~%"
+ (list (step-condition-form condition))
+ (eq (step-condition-args condition) :unknown)
+ (step-condition-args condition)))))
#!+sb-doc
(:documentation "Condition signalled by code compiled with
single-stepping information when about to execute a form.
STEP-CONDITION-FORM holds the form, and STEP-CONDITION-RESULT holds
the values returned by the form as a list. No associated restarts."))
-(define-condition step-variable-condition (step-result-condition)
+(define-condition step-finished-condition (step-condition)
()
+ (:report
+ (lambda (condition stream)
+ (declare (ignore condition))
+ (format stream "Returning from STEP")))
#!+sb-doc
- (:documentation "Condition signalled by code compiled with
-single-stepping information when referencing a variable.
-STEP-CONDITION-FORM hold the symbol, and STEP-CONDITION-RESULT holds
-the value of the variable. No associated restarts."))
+ (:documentation "Condition signaled when STEP returns."))
\f
;;;; restart definitions
CONTROL-ERROR if none exists."
(invoke-restart (find-restart-or-control-error 'muffle-warning condition)))
+(defun try-restart (name condition &rest arguments)
+ (let ((restart (find-restart name condition)))
+ (when restart
+ (apply #'invoke-restart restart arguments))))
+
(macrolet ((define-nil-returning-restart (name args doc)
- #!-sb-doc (declare (ignore doc))
- `(defun ,name (,@args &optional condition)
- #!+sb-doc ,doc
- ;; FIXME: Perhaps this shared logic should be pulled out into
- ;; FLET MAYBE-INVOKE-RESTART? See whether it shrinks code..
- (let ((restart (find-restart ',name condition)))
- (when restart
- (invoke-restart restart ,@args))))))
+ #!-sb-doc (declare (ignore doc))
+ `(defun ,name (,@args &optional condition)
+ #!+sb-doc ,doc
+ (try-restart ',name condition ,@args))))
(define-nil-returning-restart continue ()
"Transfer control to a restart named CONTINUE, or return NIL if none exists.")
(define-nil-returning-restart store-value (value)
;;; single-stepping restarts
(macrolet ((def (name doc)
- #!-sb-doc (declare (ignore doc))
- `(defun ,name (condition)
- #!+sb-doc ,doc
- (invoke-restart (find-restart-or-control-error ',name condition)))))
+ #!-sb-doc (declare (ignore doc))
+ `(defun ,name (condition)
+ #!+sb-doc ,doc
+ (invoke-restart (find-restart-or-control-error ',name condition)))))
(def step-continue
"Transfers control to the STEP-CONTINUE restart associated with
the condition, continuing execution without stepping. Signals a