0.pre7.113:
[sbcl.git] / src / code / pathname.lisp
index c20a0aa..644dbf1 100644 (file)
 ;;;; files for more information.
 
 (in-package "SB!IMPL")
-
-(file-comment
-  "$Header$")
 \f
 ;;;; data types used by pathnames
 
 ;;; The HOST structure holds the functions that both parse the
 ;;; pathname information into structure slot entries, and after
 ;;; translation the inverse (unparse) functions.
-(sb!xc:defstruct (host (:constructor nil))
-  (parse (required-argument) :type function)
-  (unparse (required-argument) :type function)
-  (unparse-host (required-argument) :type function)
-  (unparse-directory (required-argument) :type function)
-  (unparse-file (required-argument) :type function)
-  (unparse-enough (required-argument) :type function)
-  (customary-case (required-argument) :type (member :upper :lower)))
+(def!struct (host (:constructor nil))
+  (parse (missing-arg) :type function)
+  (unparse (missing-arg) :type function)
+  (unparse-host (missing-arg) :type function)
+  (unparse-directory (missing-arg) :type function)
+  (unparse-file (missing-arg) :type function)
+  (unparse-enough (missing-arg) :type function)
+  (customary-case (missing-arg) :type (member :upper :lower)))
+
+(def!method print-object ((host host) stream)
+  (print-unreadable-object (host stream :type t :identity t)))
 
-(sb!xc:defstruct (logical-host
-                 (:include host
-                           (:parse #'parse-logical-namestring)
-                           (:unparse #'unparse-logical-namestring)
-                           (:unparse-host
-                            (lambda (x)
-                              (logical-host-name (%pathname-host x))))
-                           (:unparse-directory #'unparse-logical-directory)
-                           (:unparse-file #'unparse-unix-file)
-                           (:unparse-enough #'identity)
-                           (:customary-case :upper)))
+(def!struct (logical-host
+            (:make-load-form-fun make-logical-host-load-form-fun)
+            (:include host
+                      (:parse #'parse-logical-namestring)
+                      (:unparse #'unparse-logical-namestring)
+                      (:unparse-host
+                       (lambda (x)
+                         (logical-host-name (%pathname-host x))))
+                      (:unparse-directory #'unparse-logical-directory)
+                      (:unparse-file #'unparse-unix-file)
+                      (:unparse-enough #'unparse-enough-namestring)
+                      (:customary-case :upper)))
   (name "" :type simple-base-string)
   (translations nil :type list)
   (canon-transls nil :type list))
 
+(def!method print-object ((logical-host logical-host) stream)
+  (print-unreadable-object (logical-host stream :type t)
+    (prin1 (logical-host-name logical-host) stream)))
+
+;;; What would it mean to dump a logical host and reload it into
+;;; another Lisp image? It's not clear, so we don't support it.
+(defun make-logical-host-load-form-fun (logical-host)
+  (error "~@<A logical host can't be dumped as a constant: ~2I~_~S~:>"
+         logical-host))
+
 ;;; A PATTERN is a list of entries and wildcards used for pattern
 ;;; matches of translations.
 (sb!xc:defstruct (pattern (:constructor make-pattern (pieces)))
@@ -52,7 +63,7 @@
 
 ;;; the various magic tokens that are allowed to appear in pretty much
 ;;; all pathname components
-(sb!xc:deftype component-tokens () ; FIXME: rename to PATHNAME-COMPONENT-TOKENS
+(sb!xc:deftype pathname-component-tokens ()
   '(member nil :unspecific :wild))
 
 (sb!xc:defstruct (pathname (:conc-name %pathname-)
   ;; the host (at present either a UNIX or logical host)
   (host nil :type (or host null))
   ;; the name of a logical or physical device holding files
-  (device nil :type (or simple-string component-tokens))
+  (device nil :type (or simple-string pathname-component-tokens))
   ;; a list of strings that are the component subdirectory components
   (directory nil :type list)
   ;; the filename
-  (name nil :type (or simple-string pattern component-tokens))
+  (name nil :type (or simple-string pattern pathname-component-tokens))
   ;; the type extension of the file
-  (type nil :type (or simple-string pattern component-tokens))
+  (type nil :type (or simple-string pattern pathname-component-tokens))
   ;; the version number of the file, a positive integer (not supported
   ;; on standard Unix filesystems)
-  (version nil :type (or integer component-tokens (member :newest))))
+  (version nil :type (or integer pathname-component-tokens (member :newest))))
 
 ;;; Logical pathnames have the following format:
 ;;;
 ;;;
 ;;; Physical pathnames include all these slots and a device slot.
 
-;;; Logical pathnames are a subclass of pathname. Their class
-;;; relations are mimicked using structures for efficency.
+;;; Logical pathnames are a subclass of PATHNAME. Their class
+;;; relations are mimicked using structures for efficiency.
 (sb!xc:defstruct (logical-pathname (:conc-name %logical-pathname-)
                                   (:include pathname)
                                   (:constructor %make-logical-pathname
                                                  name
                                                  type
                                                  version))))
-\f
-(defmacro-mundanely enumerate-search-list ((var pathname &optional result)
-                                          &body body)
-  #!+sb-doc
-  "Execute BODY with VAR bound to each successive possible expansion for
-   PATHNAME and then return RESULT. Note: if PATHNAME does not contain a
-   search-list, then BODY is executed exactly once. Everything is wrapped
-   in a block named NIL, so RETURN can be used to terminate early. Note:
-   VAR is *not* bound inside of RESULT."
-  (let ((body-name (gensym)))
-    `(block nil
-       (flet ((,body-name (,var)
-               ,@body))
-        (%enumerate-search-list ,pathname #',body-name)
-        ,result))))
-