Newer
Older
;;; -*- Log: code.log; Package: Lisp -*-
;;; **********************************************************************
;;; This code was written as part of the CMU Common Lisp project at
;;; Carnegie Mellon University, and has been placed in the public domain.
;;; If you want to use this code or any part of CMU Common Lisp, please contact
;;; Scott Fahlman or slisp-group@cs.cmu.edu.
;;;
(ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/filesys.lisp,v 1.114 2011/03/01 04:32:58 rtoy Exp $")
;;; **********************************************************************
;;;
;;; File system interface functions. This file is pretty UNIX specific.
;;; Written by William Lott
;;;
;;; **********************************************************************
(in-package "LISP")
(intl:textdomain "cmucl")
(export '(truename probe-file user-homedir-pathname directory
rename-file delete-file file-write-date file-author))
(use-package "EXTENSIONS")
(in-package "EXTENSIONS")
(export '(print-directory complete-file ambiguous-files default-directory
purge-backup-files file-writable unix-namestring))
(in-package "LISP")
;;;; Unix pathname host support.
;;; Unix namestrings have the following format:
;;; namestring := [ directory ] [ file [ type [ version ]]]
;;; directory := [ "/" | search-list ] { file "/" }*
;;; search-list := [^:/]*:
;;; file := [^/]*
;;; type := "." [^/.]*
;;; version := ".*" | ".~" ([1-9]+[0-9]* | "*") "~"
;;; Note: this grammar is ambiguous. The string foo.bar.~5~ can be parsed
;;; as either just the file specified or as specifying the file, type, and
;;; version. Therefore, we use the following rules when confronted with
;;; an ambiguous file.type.version string:
;;; - If the first character is a dot, it's part of the file. It is not
;;; considered a dot in the following rules.
;;; - If there is only one dot, it separates the file and the type.
;;;
;;; - If there are multiple dots and the stuff following the last dot
;;; is a valid version, then that is the version and the stuff between
;;; the second to last dot and the last dot is the type.
;;;
;;; Wildcard characters:
;;;
;;; If the directory, file, type components contain any of the following
;;; characters, it is considered part of a wildcard pattern and has the
;;; following meaning.
;;;
;;; ? - matches any character
;;; * - matches any zero or more characters.
;;; [abc] - matches any of a, b, or c.
;;; {str1,str2,...,strn} - matches any of str1, str2, ..., or strn.
;;;
;;; Any of these special characters can be preceded by a backslash to
;;; cause it to be treated as a regular character.
(defun remove-backslashes (namestr start end)
"Remove any occurrences of \\ from the string because we've already
(declare (type simple-base-string namestr)
(type index start end))
(let* ((result (make-string (- end start)))
(dst 0)
(quoted nil))
(do ((src start (1+ src)))
((= src end))
(cond (quoted
(setf (schar result dst) (schar namestr src))
(setf quoted nil)
(incf dst))
(t
(let ((char (schar namestr src)))
(cond ((char= char #\\)
(setq quoted t))
(t
(setf (schar result dst) char)
(incf dst)))))))
(when quoted
(error 'namestring-parse-error
:complaint (intl:gettext "Backslash in bad place.")
:namestring namestr
:offset (1- end)))
(shrink-vector result dst)))
"If non-NIL, Unix shell-style wildcards are ignored when parsing
pathname namestrings. They are also ignored when computing
namestrings for pathname objects. Thus, *, ?, etc. are not
wildcards when parsing a namestring, and are not escaped when
printing pathnames.")
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
(defun maybe-make-pattern (namestr start end)
(declare (type simple-base-string namestr)
(type index start end))
(if *ignore-wildcards*
(subseq namestr start end)
(collect ((pattern))
(let ((quoted nil)
(any-quotes nil)
(last-regular-char nil)
(index start))
(flet ((flush-pending-regulars ()
(when last-regular-char
(pattern (if any-quotes
(remove-backslashes namestr
last-regular-char
index)
(subseq namestr last-regular-char index)))
(setf any-quotes nil)
(setf last-regular-char nil))))
(loop
(when (>= index end)
(return))
(let ((char (schar namestr index)))
(cond (quoted
(incf index)
(setf quoted nil))
((char= char #\\)
(setf quoted t)
(setf any-quotes t)
(unless last-regular-char
(setf last-regular-char index))
(incf index))
((char= char #\?)
(flush-pending-regulars)
(pattern :single-char-wild)
(incf index))
((char= char #\*)
(flush-pending-regulars)
(pattern :multi-char-wild)
(incf index))
((char= char #\[)
(flush-pending-regulars)
(let ((close-bracket
(position #\] namestr :start index :end end)))
(unless close-bracket
(error 'namestring-parse-error
:complaint (intl:gettext "``['' with no corresponding ``]''")
:namestring namestr
:offset index))
(pattern (list :character-set
(subseq namestr
(1+ index)
close-bracket)))
(setf index (1+ close-bracket))))
(t
(unless last-regular-char
(setf last-regular-char index))
(incf index)))))
(flush-pending-regulars)))
(cond ((null (pattern))
"")
((null (cdr (pattern)))
(let ((piece (first (pattern))))
(typecase piece
((member :multi-char-wild) :wild)
(simple-string piece)
(t
(make-pattern (pattern))))))
(t
(make-pattern (pattern)))))))
;;; extract-name-type-and-version -- Internal.
;;;
(defun extract-name-type-and-version (namestr start end)
(declare (type simple-base-string namestr)
(type index start end))
(labels
((explicit-version (namestr start end)
;; Look for something like "~*~" at the end of the
;; namestring, where * can be #\* or some digits. This
;; denotes a version.
;;(format t "explicit-version ~S ~A ~A~%" namestr start end)
(cond ((or (< (- end start) 4)
(and (char/= (schar namestr (1- end)) #\~)
(char/= (schar namestr (1- end)) #\*)))
;; No explicit version given, so return NIL to
;; indicate we don't want file versions, unless
;; requested in other ways.
((and (not *ignore-wildcards*)
(char= (schar namestr (- end 2)) #\*)
(char= (schar namestr (- end 3)) #\~)
(char= (schar namestr (- end 4)) #\.))
;; Found "~*~", so it's a wild version
(values :wild (- end 4)))
(t
;; Look for a version number. Start at the end, just
;; before the ~ and keep looking for digits. If the
;; first non-digit is ~, and the leading character is
;; a non-zero digit, we have a version number, so get
;; it. If not, we didn't find a version number, so we
;; call it :newest
(do ((i (- end 2) (1- i)))
((< i (+ start 1))
;;(format t "case 3: ~A ~A~%" :newest end)
(values :newest end))
(let ((char (schar namestr i)))
(when (eql char #\~)
(return (if (char= (schar namestr (1- i)) #\.)
(if (char= (schar namestr (1+ i)) #\0)
(values nil end)
(values (parse-integer namestr :start (1+ i)
:end (1- end))
(1- i)))
(values :newest end))))
(unless (char<= #\0 char #\9)
;; It's not a digit. Give up, and say the
;; version is NIL.
;;(format t "case 3 return: ~A ~A~%" nil end)
(return (values nil end))))))))
(any-version (namestr start end)
;; process end of string looking for a version candidate.
(multiple-value-bind (version where)
(cond ((not (eq version :newest))
(values version where))
((and (not *ignore-wildcards*)
(>= (- end 2) start)
(char= (schar namestr (- end 1)) #\*)
(char= (schar namestr (- end 2)) #\.)
(find #\. namestr
:start (min (1+ start) (- end 2))
:end (- end 2)))
(values :wild (- end 2)))
(t (values version where)))))
(any-type (namestr start end)
;; Process end of string looking for a type. A leading "."
;; is part of the name.
(let ((where (position #\. namestr
:start (min (1+ start) end)
:end end :from-end t)))
(when where
(values where end))))
(any-name (namestr start end)
(declare (ignore namestr))
(values start end)))
(multiple-value-bind (version vstart)
(any-version namestr start end)
(multiple-value-bind (tstart tend)
(any-type namestr start vstart)
(multiple-value-bind (nstart nend)
(any-name namestr start (or tstart vstart))
(values
(maybe-make-pattern namestr nstart nend)
(and tstart (maybe-make-pattern namestr (1+ tstart) tend))
version))))))
;;; Take a string and return a list of cons cells that mark the char
;;; separated subseq. The first value t if absolute directories location.
;;;
(defun split-at-slashes (namestr start end)
(declare (type simple-base-string namestr)
(type index start end))
(let ((absolute (and (/= start end)
(char= (schar namestr start) #\/))))
(when absolute
(incf start))
;; Next, split the remainder into slash separated chunks.
(collect ((pieces))
(loop
(let ((slash (position #\/ namestr :start start :end end)))
(pieces (cons start (or slash end)))
(unless slash
(setf start (1+ slash))))
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
(values absolute (pieces)))))
(defun maybe-extract-search-list (namestr start end)
(declare (type simple-base-string namestr)
(type index start end))
(let ((quoted nil))
(do ((index start (1+ index)))
((= index end)
(values nil start))
(if quoted
(setf quoted nil)
(case (schar namestr index)
(#\\
(setf quoted t))
(#\:
(return (values (remove-backslashes namestr start index)
(1+ index)))))))))
(defun parse-unix-namestring (namestr start end)
(declare (type simple-base-string namestr)
(type index start end))
(multiple-value-bind
(absolute pieces)
(split-at-slashes namestr start end)
(let ((search-list
(if absolute
nil
(let ((first (car pieces)))
(multiple-value-bind
(maybe-extract-search-list namestr
(car first) (cdr first))
(when search-list
;; Lose if this search-list is already defined as
;; a logical host. Since the syntax for
;; search-lists and logical pathnames are the
;; same, we can't allow the creation of one when
;; the other is defined.
(when (find-logical-host search-list nil)
(error (intl:gettext "~A already names a logical host") search-list))
(setf absolute t)
(setf (car first) new-start))
search-list)))))
(let* ((tail (car (last pieces)))
(tail-start (car tail))
(tail-end (cdr tail)))
(unless (= tail-start tail-end)
(setf pieces (butlast pieces))
(cond ((string= namestr ".." :start1 tail-start :end1 tail-end)
;; ".." is a directory. Add this piece to the
;; list of pieces, and make the name/type/version
;; nil.
(setf pieces (append pieces (list (cons tail-start tail-end))))
(values nil nil nil))
((string= namestr "." :start1 tail-start :end1 tail-end)
;; "." is a directory as well.
(setf pieces (append pieces (list (cons tail-start tail-end))))
(values nil nil nil))
((not (find-if-not #'(lambda (c)
(char= c #\.))
namestr :start tail-start :end tail-end))
;; Got a bunch of dots. Make it a file of the
;; same name, and type the empty string.
(values (subseq namestr tail-start (1- tail-end)) "" nil))
(t
(extract-name-type-and-version namestr tail-start tail-end)))))
;; PVE: Make sure there are no illegal characters in the name
;; such as #\Null and #\/.
(when (and (stringp name)
(find-if #'(lambda (x)
(or (char= x #\Null) (char= x #\/)))
name))
(error 'parse-error))
;; Now we have everything we want. So return it.
(values nil ; no host for unix namestrings.
nil ; no devices for unix namestrings.
(collect ((dirs))
(when search-list
(dirs (intern-search-list search-list)))
(dolist (piece pieces)
(let ((piece-start (car piece))
(piece-end (cdr piece)))
(unless (= piece-start piece-end)
(cond ((string= namestr ".." :start1 piece-start
:end1 piece-end)
(dirs :up))
((string= namestr "**" :start1 piece-start
:end1 piece-end)
(dirs :wild-inferiors))
(t
(dirs (maybe-make-pattern namestr
piece-start
piece-end)))))))
(cond (absolute
(cons :absolute (dirs)))
((dirs)
;; "." in a :relative directory is the same
;; as if it weren't there, so remove them.
(cons :relative (delete "." (dirs) :test #'equal)))
;; If there is no directory and the name is
;; "." and the type is NIL, we really got
;; directory ".", so make it so.
(if (and (equal name ".")
(null type))
(list :relative)
nil))))
;; A file with name "." and type NIL can't be the name
;; of file on Unix because it's a directory. This was
;; handled above, so we can just set the name to nil.
(if (and (equal name ".")
(null type))
nil
name)
type
version)))))
(defun unparse-unix-host (pathname)
(declare (type pathname pathname)
(ignore pathname))
;; this host designator needs to be recognized as a physical host in
;; PARSE-NAMESTRING. Until sbcl-0.7.3.x, we had "Unix" here, but
;; that's a valid Logical Hostname, so that's a bad choice. -- CSR,
;;
;; No it isn't - in fact, I'm pretty sure "" is illegal here (and if
;; it isn't, it should be - it ought to mean "the default host", from
;; *default-pathname-defaults*) -- P. Foley
(defun unparse-unix-piece (thing)
(etypecase thing
((member :wild) "*")
((member :unspecific)
;; CLHS 19.2.2.2.3.1 says "That is, both nil and :unspecific
;; cause the component not to appear in the namestring."
"")
(simple-string
(if *ignore-wildcards*
thing
(let* ((srclen (length thing))
(dstlen srclen))
(dotimes (i srclen)
(case (schar thing i)
((#\* #\? #\[)
(incf dstlen))))
(let ((result (make-string dstlen))
(dst 0))
(dotimes (src srclen)
(let ((char (schar thing src)))
(case char
((#\* #\? #\[)
(setf (schar result dst) #\\)
(incf dst)))
(setf (schar result dst) char)
(incf dst)))
result))))
(pattern
(collect ((strings))
(dolist (piece (pattern-pieces thing))
(etypecase piece
(simple-string
(strings piece))
(symbol
(ecase piece
(:multi-char-wild
(strings "*"))
(:single-char-wild
(strings "?"))))
(cons
(case (car piece)
(:character-set
(strings "[")
(strings (second piece))
(strings "]"))
(t
(error (intl:gettext "Invalid pattern piece: ~S") piece))))))
(apply #'concatenate
'simple-string
(strings))))))
(defun unparse-unix-directory-list (directory)
(declare (type list directory))
(collect ((pieces))
(when directory
(ecase (pop directory)
(:absolute
(cond ((search-list-p (car directory))
(pieces (search-list-name (pop directory)))
(pieces ":"))
(t
(pieces "/"))))
(:relative
;; Nothing special, except if we were given '(:relative).
(unless directory
(pieces "./"))
))
(dolist (dir directory)
(typecase dir
((member :up)
(pieces "../"))
((member :back)
(error (intl:gettext ":BACK cannot be represented in namestrings.")))
((member :wild-inferiors)
(pieces "**/"))
Loading
Loading full blame...