X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ferror.lisp;h=9086a9416d37acd7a7da466cc314999d5d34afa2;hb=b14a61c6af3e3005c94e633e727177346240066e;hp=3a02c24451c92b53b45819c56d303898719ee809;hpb=25d4ea4f108159b9782f21212374a1631cfe9a56;p=sbcl.git diff --git a/src/code/error.lisp b/src/code/error.lisp index 3a02c24..9086a94 100644 --- a/src/code/error.lisp +++ b/src/code/error.lisp @@ -14,13 +14,19 @@ (in-package "SB!KERNEL") ;;; not sure this is the right place, but where else? -(defun style-warn (format-control &rest format-arguments) +(defun style-warn (datum &rest arguments) (/show0 "entering STYLE-WARN") - (/show format-control format-arguments) - (with-sane-io-syntax - (warn 'simple-style-warning - :format-control format-control - :format-arguments format-arguments))) + (/show datum arguments) + (if (stringp datum) + (with-sane-io-syntax + (warn 'simple-style-warning + :format-control datum + :format-arguments arguments)) + ;; Maybe FIXME: check that the DATUM is a STYLE-WARNING or a + ;; specifier for a subtype of STYLE-WARNING? (I had trouble + ;; getting through cold-init with that check enabled, though.) + ;; -- RMK, 20080701. + (apply #'warn datum arguments))) ;;; a utility for SIGNAL, ERROR, CERROR, WARN, COMPILER-NOTIFY and ;;; INVOKE-DEBUGGER: Parse the hairy argument conventions into a @@ -45,9 +51,10 @@ (t (error 'simple-type-error :datum datum - :expected-type '(or symbol string) - :format-control "bad argument to ~S: ~S" - :format-arguments (list fun-name datum))))) + :expected-type '(or symbol string function) + :format-control "Condition designator ~s is not of type ~s." + :format-arguments (list datum + '(or symbol string function)))))) (define-condition layout-invalid (type-error) () @@ -98,7 +105,8 @@ (define-condition simple-stream-error (simple-condition stream-error) ()) (define-condition simple-parse-error (simple-condition parse-error) ()) -(define-condition character-coding-error (error) ()) +(define-condition character-coding-error (error) + ((external-format :initarg :external-format :reader character-coding-error-external-format))) (define-condition character-encoding-error (character-coding-error) ((code :initarg :code :reader character-encoding-error-code))) (define-condition character-decoding-error (character-coding-error) @@ -109,9 +117,10 @@ (lambda (c s) (let ((stream (stream-error-stream c)) (code (character-encoding-error-code c))) - (format s "~@" - stream ':external-format (stream-external-format stream) + (character-coding-error-external-format c) + stream code))))) (define-condition stream-decoding-error (stream-error character-decoding-error) () @@ -119,22 +128,106 @@ (lambda (c s) (let ((stream (stream-error-stream c)) (octets (character-decoding-error-octets c))) - (format s "~@" - stream ':external-format (stream-external-format stream) + (character-coding-error-external-format c) + stream octets))))) +(define-condition c-string-encoding-error (character-encoding-error) + () + (:report + (lambda (c s) + (format s "~@<~S c-string encoding error: ~2I~_~ + the character with code ~D cannot be encoded.~@:>" + (character-coding-error-external-format c) + (character-encoding-error-code c))))) + +(define-condition c-string-decoding-error (character-decoding-error) + () + (:report + (lambda (c s) + (format s "~@<~S c-string decoding error: ~2I~_~ + the octet sequence ~S cannot be decoded.~@:>" + (character-coding-error-external-format c) + (character-decoding-error-octets c))))) + (define-condition control-stack-exhausted (storage-condition) () (:report (lambda (condition stream) (declare (ignore condition)) (format stream - "Control stack exhausted (no more space for function call frames). This is probably due to heavily nested or infinitely recursive function calls, or a tail call that SBCL cannot or has not optimized away.")))) + ;; no pretty-printing, because that would use a lot of stack. + "Control stack exhausted (no more space for function call frames). +This is probably due to heavily nested or infinitely recursive function +calls, or a tail call that SBCL cannot or has not optimized away. + +PROCEED WITH CAUTION.")))) + +(define-condition binding-stack-exhausted (storage-condition) + () + (:report + (lambda (condition stream) + (declare (ignore condition)) + (format stream + ;; no pretty-printing, because that would use a lot of stack. + "Binding stack exhausted. + +PROCEED WITH CAUTION.")))) + +(define-condition alien-stack-exhausted (storage-condition) + () + (:report + (lambda (condition stream) + (declare (ignore condition)) + (format stream + ;; no pretty-printing, because that would use a lot of stack. + "Alien stack exhausted. + +PROCEED WITH CAUTION.")))) -(define-condition memory-fault-error (error) +(define-condition heap-exhausted-error (storage-condition) () (:report (lambda (condition stream) (declare (ignore condition)) - (format stream "memory fault")))) \ No newline at end of file + (declare (special *heap-exhausted-error-available-bytes* + *heap-exhausted-error-requested-bytes*)) + ;; See comments in interr.lisp -- there is a method to this madness. + (if (and (boundp '*heap-exhausted-error-available-bytes*) + (boundp '*heap-exhausted-error-requested-bytes*)) + (format stream + ;; no pretty-printing, because that will use a lot of heap. + "Heap exhausted (no more space for allocation). +There are still ~D bytes available; the request was for ~D bytes. + +PROCEED WITH CAUTION." + *heap-exhausted-error-available-bytes* + *heap-exhausted-error-requested-bytes*) + (format stream + "A ~S condition without bindings for heap statistics. (If +you did not expect to see this message, please report it." + 'heap-exhausted-error))))) + +(define-condition system-condition (condition) + ((address :initarg :address :reader system-condition-address :initform nil) + (context :initarg :context :reader system-condition-context :initform nil))) + +(define-condition memory-fault-error (system-condition error) () + (:report + (lambda (condition stream) + (format stream "Unhandled memory fault at #x~X." + (system-condition-address condition))))) + +(define-condition breakpoint-error (system-condition error) () + (:report + (lambda (condition stream) + (format stream "Unhandled breakpoint/trap at #x~X." + (system-condition-address condition))))) + +(define-condition interactive-interrupt (system-condition serious-condition) () + (:report + (lambda (condition stream) + (format stream "Interactive interrupt at #x~X." + (system-condition-address condition)))))