help-smalltalk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Help-smalltalk] [PATCH] create abstract class FilePath, merge RealFileH


From: Paolo Bonzini
Subject: [Help-smalltalk] [PATCH] create abstract class FilePath, merge RealFileHandler into File
Date: Sat, 05 Apr 2008 14:54:14 -0000

This is the first part of merging the old VFS classes into the
File hierarchy.  The new hierarchy basically mirrors the old
VFSHandler hierarchy, but with all the convenience methods
that were in File.  These convenience methods are for the most
part moved up to FilePath (the abstract class corresponding to
the old VFSHandler), though this is just because it's more logical
and not strictly necessary.

Unlike the old File, the new FilePath can store relative paths.
For this however I did not break backwards compatibility: by default
(using the File class>>#name: method already present in 3.0)
paths are converted and stored as absolute.  You can however
create relative paths using File class>>#path: instead.  I will
use it later (not in this series of patches) to use class methods
less in scripts/Package.st, some of which rely on relative paths.
Of course relative paths are faster than absolute paths which have
to call getcwd on every object creation.  You can convert a relative
path to absolute by sending File>>#full.

At the same time, Directory is not anymore a subclass of File.
---
 kernel/Directory.st  |   12 +-
 kernel/File.st       |  902 +++++++++++++++++---------------------------------
 kernel/FileDescr.st  |    4 +-
 kernel/FilePath.st   |  790 +++++++++++++++++++++++++++++++++++++++++++
 kernel/Makefile.frag |    2 +-
 kernel/VFS.st        |   16 -
 libgst/files.c       |    1 +
 packages.xml         |    1 +
 8 files changed, 1102 insertions(+), 626 deletions(-)
 create mode 100644 kernel/FilePath.st

diff --git a/kernel/Directory.st b/kernel/Directory.st
index ec8890f..8661298 100644
--- a/kernel/Directory.st
+++ b/kernel/Directory.st
@@ -32,7 +32,7 @@
 
 
 
-File subclass: Directory [
+Object subclass: Directory [
     
     <category: 'Streams-Files'>
     <comment: 'I am the counterpart of File in a tree-structured file system: 
I can
@@ -184,7 +184,7 @@ virtual one).'>
 
        <category: 'file operations'>
        self primWorking: dirName asString.
-       self checkError
+       File checkError
     ]
 
     Directory class >> createTemporary: prefix [
@@ -194,7 +194,7 @@ virtual one).'>
        | name |
        name := prefix asString , 'XXXXXX'.
        self primCreateTemporary: name.
-       self checkError.
+       File checkError.
        ^File name: name
     ]
 
@@ -208,11 +208,7 @@ virtual one).'>
        "Create a directory named dirName and answer it."
 
        <category: 'file operations'>
-       | parent handler |
-       parent := File pathFor: dirName asString ifNone: ['.'].
-       handler := VFS.VFSHandler for: parent.
-       handler createDir: (File stripPathFrom: dirName).
-       ^File name: dirName
+       ^(File name: dirName) createDirectory
     ]
 
 ]
diff --git a/kernel/File.st b/kernel/File.st
index 3a59ea0..1b77272 100644
--- a/kernel/File.st
+++ b/kernel/File.st
@@ -32,14 +32,25 @@
 
 
 
-Object subclass: File [
-    | vfsHandler |
+FilePath subclass: File [
+    | path stat isSymbolicLink |
     
     <category: 'Streams-Files'>
-    <comment: 'I expose the syntax of file names, including paths.  I know how 
to
-manipulate such a path by splitting it into its components.  In addition,
-I expose information about files (both real and virtual) such as their
-size and timestamps.'>
+    <comment: 'I enable access to the properties of files that are on disk.'>
+
+    Epoch := nil.
+
+    File class >> initialize [
+        "Initialize the receiver's class variables"
+
+        <category: 'initialization'>
+        Epoch := DateTime
+                    year: 2000
+                    day: 1
+                    hour: 0
+                    minute: 0
+                    second: 0
+    ]
 
     File class >> stringError: errno [
        "Answer C strerror's result for errno."
@@ -55,171 +66,6 @@ size and timestamps.'>
        
     ]
 
-    File class >> extensionFor: aString [
-       "Answer the extension of a file named `aString'.  Note: the extension
-        includes an initial dot."
-
-       <category: 'file name management'>
-       | index |
-       aString isEmpty ifTrue: [^''].
-       index := aString findLast: 
-                       [:each | 
-                       each = Directory pathSeparator ifTrue: [^''].
-                       each = $.].
-
-       "Special case foo, .foo and /bar/.foo, all of which have no extension"
-       index <= 1 ifTrue: [^''].
-       (aString at: index - 1) = Directory pathSeparator ifTrue: [^''].
-       ^aString copyFrom: index to: aString size
-    ]
-
-    File class >> stripExtensionFrom: aString [
-       "Remove the extension from the name of a file called `aString', and
-        answer the result."
-
-       <category: 'file name management'>
-       | index |
-       aString isEmpty ifTrue: [^''].
-       index := aString findLast: 
-                       [:each | 
-                       each = Directory pathSeparator ifTrue: [^aString].
-                       each = $.].
-
-       "Special case foo, .foo and /bar/.foo, all of which have no extension"
-       index <= 1 ifTrue: [^aString].
-       (aString at: index - 1) = Directory pathSeparator ifTrue: [^aString].
-       ^aString copyFrom: 1 to: index - 1
-    ]
-
-    File class >> stripPathFrom: aString [
-       "Remove the path from the name of a file called `aString', and
-        answer the file name plus extension."
-
-       <category: 'file name management'>
-       | index |
-       aString isEmpty ifTrue: [^''].
-       index := aString findLast: [:each | each = Directory pathSeparator].
-       ^aString copyFrom: index + 1 to: aString size
-    ]
-
-    File class >> pathFor: aString ifNone: aBlock [
-       "Determine the path of the name of a file called `aString', and
-        answer the result.  With the exception of the root directory, the
-        final slash is stripped.  If there is no path, evaluate aBlock and
-        return the result."
-
-       <category: 'file name management'>
-       | index |
-       aString isEmpty ifTrue: [^aBlock value].
-       index := aString findLast: [:each | each = Directory pathSeparator].
-       index = 0 ifTrue: [^aBlock value].
-       index = 1 ifTrue: [^Directory pathSeparatorString].
-       ^aString copyFrom: 1 to: index - 1
-    ]
-
-    File class >> pathFor: aString [
-       "Determine the path of the name of a file called `aString', and
-        answer the result.  With the exception of the root directory, the
-        final slash is stripped."
-
-       <category: 'file name management'>
-       ^self pathFor: aString ifNone: ['']
-    ]
-
-    File class >> stripFileNameFor: aString [
-       "Determine the path of the name of a file called `aString', and
-        answer the result as a directory name including the final slash."
-
-       <category: 'file name management'>
-       | index |
-       aString isEmpty ifTrue: [^'./'].
-       index := aString findLast: [:each | each = Directory pathSeparator].
-       index = 0 ifTrue: [^'./'].
-       index = 1 ifTrue: [^Directory pathSeparatorString].
-       ^aString copyFrom: 1 to: index
-    ]
-
-    File class >> fullNameFor: aString [
-       "Answer the full path to a file called `aString', resolving the `.' and
-        `..' directory entries, and answer the result.  `/..' is the same as 
'/'."
-
-       <category: 'file name management'>
-       | path canonical result isAbsolute isWindows |
-       isAbsolute := (aString at: 1) isPathSeparator.
-       isWindows := Directory pathSeparator == $\.
-       "Windows paths starting X:/ are absolute"
-       (isWindows and: 
-               [aString size >= 3 
-                   and: [(aString at: 2) = $: and: [(aString at: 3) 
isPathSeparator]]]) 
-           ifTrue: [isAbsolute := true].
-       path := OrderedCollection new.
-       isAbsolute 
-           ifFalse: 
-               [path addAll: (Directory workingName substrings: Directory 
pathSeparator)].
-
-       "A Windows path may contain both / and \ separators. Clean it up
-        to allow easy parsing"
-       canonical := Directory pathSeparator = $/ 
-                   ifTrue: [aString]
-                   ifFalse: [aString copyReplacing: $/ withObject: Directory 
pathSeparator].
-       (canonical substrings: Directory pathSeparator) do: 
-               [:each | 
-               each = '.' 
-                   ifFalse: 
-                       [each = '..' 
-                           ifTrue: [path isEmpty ifFalse: [path removeLast]]
-                           ifFalse: [path add: each]]].
-       path isEmpty ifTrue: [^Directory pathSeparatorString].
-       result := path inject: ''
-                   into: [:old :each | old , Directory pathSeparatorString , 
each].
-
-       "Remove initial / from /C:/"
-       ^(isWindows and: 
-               [result size >= 4 and: 
-                       [(result at: 1) isPathSeparator 
-                           and: [(result at: 3) = $: and: [(result at: 4) 
isPathSeparator]]]]) 
-           ifTrue: [result copyFrom: 2]
-           ifFalse: [result]
-    ]
-
-    File class >> pathFrom: srcName to: destName [
-       "Answer the relative path to destName when the current
-        directory is srcName's directory."
-       <category: 'file name management'>
-       ^self computePathFrom: (File fullNameFor: srcName asString)
-           to: (File fullNameFor: destName asString)
-    ]
-
-    File class >> computePathFrom: srcName to: destName [
-       <category: 'private'>
-       | src dest srcCanon destCanon path |
-       "A Windows path may contain both / and \ separators. Clean it up
-        to allow easy parsing"
-       srcCanon := Directory pathSeparator = $/ 
-                   ifTrue: [srcName]
-                   ifFalse: [srcName copyReplacing: $/ withObject: Directory 
pathSeparator].
-       destCanon := Directory pathSeparator = $/ 
-                   ifTrue: [destName]
-                   ifFalse: [destName copyReplacing: $/ withObject: Directory 
pathSeparator].
-
-       src := srcCanon subStrings: Directory pathSeparator.
-       dest := destCanon subStrings: Directory pathSeparator.
-       src := src asOrderedCollection.
-       src removeLast.
-       dest := dest asOrderedCollection.
-       dest isEmpty ifTrue: [dest addLast: ''].
-       path := (src notEmpty and: [src first ~= dest first]) 
-                   ifTrue: [OrderedCollection with: '']
-                   ifFalse: 
-                       [[src isEmpty or: [dest size = 1 or: [src first ~= dest 
first]]] 
-                           whileFalse: 
-                               [src removeFirst.
-                               dest removeFirst].
-                       src collect: [:each | '..']].
-       path addAllLast: dest.
-       ^path fold: [:a :b | a , Directory pathSeparatorString , b]
-    ]
-
     File class >> checkError [
        "Return whether an error had been reported or not.
         If there had been one, raise an exception too"
@@ -239,18 +85,34 @@ size and timestamps.'>
        ^true
     ]
 
+    File class >> path: aString [
+       "Answer a new file with the given path.  The path is not validated until
+        some of the fields of the newly created objects are accessed"
+
+       <category: 'instance creation'>
+       ^self basicNew init: aString
+    ]
+
+    File class >> name: aName [
+       "Answer a new file with the given path.  The path is turned into
+        an absolute path."
+
+       <category: 'instance creation'>
+       ^self path: (self fullNameFor: aName)
+    ]
+
     File class >> touch: fileName [
        "Update the timestamp of the file with the given path name."
 
        <category: 'file operations'>
-       (File name: fileName) touch
+       (self path: fileName) touch
     ]
 
     File class >> symlink: srcName as: destName [
        "Create a symlink for the srcName file with the given path name"
 
        <category: 'file operations'>
-       (File name: srcName) symlinkAs: destName
+       (self path: srcName) symlinkAs: destName
     ]
 
     File class >> symlink: destName from: srcName [
@@ -258,72 +120,56 @@ size and timestamps.'>
         destName)"
 
        <category: 'file operations'>
-       (VFS.VFSHandler for: destName) symlinkFrom: srcName
+       (self path: destName) symlinkFrom: srcName
     ]
 
     File class >> remove: fileName [
        "Remove the file with the given path name"
 
        <category: 'file operations'>
-       (VFS.VFSHandler for: fileName) remove
+       (self path: fileName) remove
     ]
 
     File class >> rename: oldFileName to: newFileName [
        "Rename the file with the given path name oldFileName to newFileName"
 
        <category: 'file operations'>
-       (VFS.VFSHandler for: oldFileName) renameTo: newFileName
-    ]
-
-    File class >> on: aVFSHandler [
-       "Answer a new file with the given path. The handler that returns
-        the information is aVFSHandler"
-
-       <category: 'instance creation'>
-       ^self basicNew init: aVFSHandler
-    ]
-
-    File class >> name: aName [
-       "Answer a new file with the given path. The path is not validated until
-        some of the fields of the newly created objects are accessed"
-
-       <category: 'instance creation'>
-       ^self on: (VFS.VFSHandler for: aName)
+       (self path: oldFileName) renameTo: newFileName
     ]
 
     File class >> exists: fileName [
        "Answer whether a file with the given name exists"
 
        <category: 'testing'>
-       ^(File name: fileName) exists
+       ^(self path: fileName) exists
     ]
 
     File class >> isReadable: fileName [
        "Answer whether a file with the given name exists and is readable"
 
        <category: 'testing'>
-       ^(File name: fileName) isReadable
+       ^(self path: fileName) isReadable
     ]
 
     File class >> isWriteable: fileName [
        "Answer whether a file with the given name exists and is writeable"
 
        <category: 'testing'>
-       ^(File name: fileName) isWriteable
+       ^(self path: fileName) isWriteable
     ]
 
     File class >> isExecutable: fileName [
        "Answer whether a file with the given name exists and can be executed"
 
        <category: 'testing'>
-       ^(File name: fileName) isExecutable
+       ^(self path: fileName) isExecutable
     ]
 
     File class >> isAccessible: fileName [
        "Answer whether a directory with the given name exists and can be 
accessed"
 
        <category: 'testing'>
-       ^(File name: fileName) isAccessible
+       ^(self path: fileName) isAccessible
     ]
 
     File class >> executable [
@@ -337,73 +183,138 @@ size and timestamps.'>
        "Answer the full path to the image being used."
 
        <category: 'reading system defaults'>
-       ^ImageFileName
+       ^self path: ImageFileName
+    ]
+
+    lstatOn: fileName into: statStruct [
+       <category: 'private-C call-outs'>
+       <cCall: 'lstat_obj' returning: #int args: #(#string #smalltalk)>
+       
+    ]
+
+    statOn: fileName into: statStruct [
+       <category: 'private-C call-outs'>
+       <cCall: 'stat_obj' returning: #int args: #(#string #smalltalk)>
+       
+    ]
+
+    openDir: dirName [
+       <category: 'private-C call-outs'>
+       <cCall: 'opendir' returning: #cObject args: #(#string)>
+       
+    ]
+
+    closeDir: dirObject [
+       <category: 'private-C call-outs'>
+       <cCall: 'closedir' returning: #int args: #(#cObject)>
+       
+    ]
+
+    primChmod: name mode: mode [
+       <category: 'private-C call-outs'>
+       <cCall: 'chmod' returning: #int args: #(#string #int)>
+       
+    ]
+
+    primIsReadable: name [
+       <category: 'private-C call-outs'>
+       <cCall: 'fileIsReadable' returning: #boolean args: #(#string)>
+       
+    ]
+
+    primIsWriteable: name [
+       <category: 'private-C call-outs'>
+       <cCall: 'fileIsWriteable' returning: #boolean args: #(#string)>
+       
+    ]
+
+    primIsExecutable: name [
+       <category: 'private-C call-outs'>
+       <cCall: 'fileIsExecutable' returning: #boolean args: #(#string)>
+       
+    ]
+
+    primSymlink: srcName as: destName [
+       <category: 'private-C call-outs'>
+       <cCall: 'symlink' returning: #void args: #(#string #string)>
+       
+    ]
+
+    primUnlink: fileName [
+       <category: 'private-C call-outs'>
+       <cCall: 'unlink' returning: #void args: #(#string)>
+       
+    ]
+
+    primRename: oldFileName to: newFileName [
+       <category: 'private-C call-outs'>
+       <cCall: 'rename' returning: #void args: #(#string #string)>
+       
     ]
 
-    printOn: aStream [
-       "Print a representation of the receiver on aStream."
+    primRemoveDir: fileName [
+       <category: 'private-C call-outs'>
+       <cCall: 'rmdir' returning: #void args: #(#string)>
+       
+    ]
 
-       <category: 'printing'>
-       aStream
-           nextPut: $<;
-           print: self class;
-           space;
-           display: self;
-           nextPut: $>
+    primCreateDir: dirName mode: mode [
+       <category: 'private-C call-outs'>
+       <cCall: 'mkdir' returning: #void args: #(#string #int)>
+       
     ]
 
-    displayOn: aStream [
-       "Print a representation of the receiver on aStream."
+    extractDirentName: dirent [
+       <category: 'private-C call-outs'>
+       <cCall: 'extractDirentName' returning: #string args: #(#cObject)>
+       
+    ]
+
+    readDir: dirObject [
+       <category: 'private-C call-outs'>
+       <cCall: 'readdir' returning: #cObject args: #(#cObject)>
+       
+    ]
 
-       <category: 'printing'>
-       | name string |
-       name := self name.
-       (name anySatisfy: [:each | '"(){}[]$\<>#'' `' includes: each]) 
-           ifFalse: 
-               [aStream nextPutAll: name.
-               ^self].
-       string := Directory pathSeparator = $/ 
-                   ifTrue: ['''%1''' % {name copyReplaceAll: '''' with: 
'''\'''''}]
-                   ifFalse: [
-                       {'"'.
-                       name.
-                       '"'} join].
-       aStream nextPutAll: string
+    rewindDir: dirObject [
+       <category: 'private-C call-outs'>
+       <cCall: 'rewinddir' returning: #void args: #(#cObject)>
+       
     ]
 
     , aName [
        "Answer an object of the same kind as the receiver, whose name
         is suffixed with aName."
 
-       ^self class name: self name, aName
+       ^self class path: self name, aName
     ]
 
     asString [
        "Answer the name of the file identified by the receiver"
 
        <category: 'accessing'>
-       ^vfsHandler fullName
+       ^path
     ]
 
     name [
        "Answer the name of the file identified by the receiver"
 
        <category: 'accessing'>
-       ^vfsHandler fullName
+       ^File fullNameFor: self asString
     ]
 
-    mode [
-       "Answer the permission bits for the file identified by the receiver"
+    size [
+       "Answer the size of the file identified by the receiver"
 
        <category: 'accessing'>
-       ^vfsHandler mode
+       ^self stat stSize
     ]
 
-    size [
-       "Answer the size of the file identified by the receiver"
+    mode [
+       "Answer the permission bits for the file identified by the receiver"
 
        <category: 'accessing'>
-       ^vfsHandler size
+       ^self stat stMode bitAnd: 4095
     ]
 
     mode: anInteger [
@@ -411,30 +322,31 @@ size and timestamps.'>
         anInteger."
 
        <category: 'accessing'>
-       vfsHandler mode: anInteger
+       self primChmod: self asString mode: (anInteger bitAnd: 4095).
+       File checkError
     ]
 
-    lastAccessTime: aDateTime [
-       "Update the last access time of the file corresponding to the receiver,
-        to be aDateTime."
+    isDirectory [
+       "Answer whether the file is a directory."
 
        <category: 'accessing'>
-       vfsHandler lastAccessTime: aDateTime lastModifyTime: self lastModifyTime
+       self exists ifFalse: [ ^false ].
+       ^(self stat stMode bitAnd: 61440) = 16384
     ]
 
-    lastAccessTime: accessDateTime lastModifyTime: modifyDateTime [
-       "Update the timestamps of the file corresponding to the receiver, to be
-        accessDateTime and modifyDateTime."
+    isSymbolicLink [
+       "Answer whether the file is a symbolic link."
 
        <category: 'accessing'>
-       vfsHandler lastAccessTime: accessDateTime lastModifyTime: modifyDateTime
+       isSymbolicLink isNil ifTrue: [self refresh].
+       ^isSymbolicLink
     ]
 
     lastAccessTime [
        "Answer the last access time of the file identified by the receiver"
 
        <category: 'accessing'>
-       ^vfsHandler lastAccessTime
+       ^self getDateAndTime: self stat stAtime
     ]
 
     lastChangeTime [
@@ -444,7 +356,7 @@ size and timestamps.'>
         file creation time."
 
        <category: 'accessing'>
-       ^vfsHandler lastChangeTime
+       ^self getDateAndTime: self stat stCtime
     ]
 
     creationTime [
@@ -454,15 +366,7 @@ size and timestamps.'>
         like)."
 
        <category: 'accessing'>
-       ^vfsHandler creationTime
-    ]
-
-    lastModifyTime: aDateTime [
-       "Update the last modification timestamp of the file corresponding to the
-        receiver, to be aDateTime."
-
-       <category: 'accessing'>
-       vfsHandler lastAccessTime: self lastAccessTime lastModifyTime: aDateTime
+       ^self getDateAndTime: self stat stCtime
     ]
 
     lastModifyTime [
@@ -470,46 +374,33 @@ size and timestamps.'>
         (the `last modify time' has to do with the actual file contents)."
 
        <category: 'accessing'>
-       ^vfsHandler lastModifyTime
+       ^self getDateAndTime: self stat stMtime
     ]
 
     refresh [
        "Refresh the statistics for the receiver"
 
        <category: 'accessing'>
-       vfsHandler refresh
+       stat isNil ifTrue: [stat := Kernel.Stat new].
+       self lstatOn: self asString into: stat.
+       File checkError.
+       isSymbolicLink := (stat stMode bitAnd: 61440) = 40960.  "S_IFLNK"
+       isSymbolicLink 
+           ifTrue: 
+               [self statOn: self asString into: stat.
+               File errno]
     ]
 
     exists [
        "Answer whether a file with the name contained in the receiver does 
exist."
 
        <category: 'testing'>
-       ^vfsHandler exists
-    ]
-
-    isSymbolicLink [
-       "Answer whether a file with the name contained in the receiver does 
exist
-        and does not identify a directory."
-
-       <category: 'testing'>
-       ^vfsHandler exists and: [vfsHandler isSymbolicLink]
-    ]
-
-    isFile [
-       "Answer whether a file with the name contained in the receiver does 
exist
-        and does not identify a directory."
-
-       <category: 'testing'>
-       ^vfsHandler exists and: [vfsHandler isDirectory not]
-    ]
-
-    isDirectory [
-       "Answer whether a file with the name contained in the receiver does 
exist
-        and identifies a directory."
-
-       <category: 'testing'>
-       | dir errno |
-       ^vfsHandler exists and: [vfsHandler isDirectory]
+       stat isNil ifTrue: [stat := Kernel.Stat new].
+       self lstatOn: self asString into: stat.
+       File errno == 0 ifFalse: [^false].
+       isSymbolicLink := (stat stMode bitAnd: 61440) = 40960.  "S_IFLNK"
+       isSymbolicLink ifTrue: [self statOn: self asString into: stat].
+       ^true
     ]
 
     isReadable [
@@ -517,7 +408,7 @@ size and timestamps.'>
         and is readable"
 
        <category: 'testing'>
-       ^vfsHandler exists and: [vfsHandler isReadable]
+       ^self primIsReadable: self asString
     ]
 
     isWriteable [
@@ -525,411 +416,224 @@ size and timestamps.'>
         and is writeable"
 
        <category: 'testing'>
-       ^self exists and: [vfsHandler isWriteable]
-    ]
-
-    isExecutable [
-       "Answer whether a file with the name contained in the receiver does 
exist
-        and is executable"
-
-       <category: 'testing'>
-       ^self isFile and: [vfsHandler isExecutable]
+       ^self primIsWriteable: self asString
     ]
 
     isAccessible [
-       "Answer whether a directory with the name contained in the receiver does
-        exist and can be accessed"
+       "Answer whether a directory with the name contained in the receiver
+        does exist and is accessible"
 
        <category: 'testing'>
-       ^self isDirectory and: [vfsHandler isAccessible]
-    ]
-
-    extension [
-       "Answer the extension of the receiver"
-
-       <category: 'file name management'>
-       ^File extensionFor: self name
-    ]
-
-    stripExtension [
-       "Answer the path (if any) and file name of the receiver"
-
-       <category: 'file name management'>
-       ^File stripExtensionFrom: self name
-    ]
-
-    stripPath [
-       "Answer the file name and extension (if any) of the receiver"
-
-       <category: 'file name management'>
-       ^File stripPathFrom: self name
-    ]
-
-    parent [
-       "Answer the Directory object for the receiver's path"
-
-       <category: 'file name management'>
-       ^File name: (File pathFor: self name)
-    ]
-
-    path [
-       "Answer the path (if any) of the receiver"
-
-       <category: 'file name management'>
-       ^File pathFor: self name
+       ^self isDirectory and: [self primIsExecutable: self asString]
     ]
 
-    stripFileName [
-       "Answer the path of the receiver, always including a directory
-        name (possibly `.') and the final directory separator"
+    isExecutable [
+       "Answer whether a file with the name contained in the receiver does 
exist
+        and is executable"
 
-       <category: 'file name management'>
-       ^File stripFileNameFor: self name
+       <category: 'testing'>
+       ^self isFile and: [self primIsExecutable: self asString]
     ]
 
-    fullName [
-       "Answer the full name of the receiver, resolving the `.' and
-        `..' directory entries, and answer the result.  Answer nil if the
-        name is invalid (such as '/usr/../../badname')"
+    isAbsolute [
+       "Answer whether the receiver identifies an absolute path."
 
-       <category: 'file name management'>
-       ^File fullNameFor: self name
+       <category: 'testing'>
+       ^File isAbsolute: self asString
     ]
-
-    contents [
-       "Open a read-only FileStream on the receiver, read its contents,
-        close the stream and answer the contents"
+    
+    lastAccessTime: accessDateTime lastModifyTime: modifyDateTime [
+       "Set the receiver's timestamps to be accessDateTime and modifyDateTime."
 
        <category: 'file operations'>
-       | stream contents |
-       stream := self readStream.
-       contents := stream contents.
-       stream close.
-       ^contents
+       self class 
+           setTimeFor: self asString
+           atime: (self secondsFromDateTime: accessDateTime)
+           mtime: (self secondsFromDateTime: modifyDateTime).
+       File checkError
     ]
 
-    touch [
-       "Update the timestamp of the file corresponding to the receiver."
-
-       <category: 'file operations'>
-       | now |
-       self exists 
-           ifTrue: 
-               [now := DateTime now.
-               self lastAccessTime: now lastModifyTime: now]
-           ifFalse: [(self open: FileStream append) close]
-    ]
-
-    open: mode [
+    open: class mode: mode ifFail: aBlock [
        "Open the receiver in the given mode (as answered by FileStream's
         class constant methods)"
 
        <category: 'file operations'>
-       ^vfsHandler open: mode
-           ifFail: [SystemExceptions.FileError signal: 'could not open ' , 
self name]
+       ^class 
+           fopen: self asString
+           mode: mode
+           ifFail: aBlock
     ]
 
-    openDescriptor: mode [
-       "Open the receiver in the given mode (as answered by FileStream's
-        class constant methods)"
+    remove [
+       "Remove the file with the given path name"
 
        <category: 'file operations'>
-       ^vfsHandler openDescriptor: mode
-           ifFail: [SystemExceptions.FileError signal: 'could not open ' , 
self name]
+       self isDirectory 
+           ifTrue: [self primRemoveDir: self asString]
+           ifFalse: [self primUnlink: self asString].
+       File checkError
     ]
 
-    open: mode ifFail: aBlock [
-       "Open the receiver in the given mode (as answered by FileStream's
-        class constant methods). Upon failure, evaluate aBlock."
+    symlinkFrom: srcName [
+       "Create the receiver as a symlink from path destName"
 
        <category: 'file operations'>
-       ^vfsHandler open: mode ifFail: aBlock
+       self primSymlink: srcName as: self asString.
+       File checkError
     ]
 
-    openDescriptor: mode ifFail: aBlock [
-       "Open the receiver in the given mode (as answered by FileStream's
-        class constant methods). Upon failure, evaluate aBlock."
-
-       <category: 'file operations'>
-       ^vfsHandler openDescriptor: mode ifFail: aBlock
-    ]
+    renameTo: newFileName [
+       "Rename the file with the given path name to newFileName"
 
-    withReadStreamDo: aBlock [
-       "Invoke aBlock with a reading stream open on me, closing it
-        when the dynamic extent of aBlock ends."
        <category: 'file operations'>
-       | stream |
-       stream := self readStream.
-       ^[aBlock value: stream] ensure: [stream close]
+       self primRename: self asString to: newFileName.
+       File checkError
     ]
 
-    fileIn [
-       "File in the receiver"
+    secondsFromDateTime: aDateTime [
+       "Private - Convert a time expressed in seconds from 1/1/2000 to
+        an array of two Smalltalk Date and Time objects"
 
-       <category: 'file operations'>
-       self withReadStreamDo: [ :fs | fs fileIn ]
+       <category: 'private'>
+       ^aDateTime asSeconds - Epoch asSeconds 
+           - (aDateTime offset asSeconds - Epoch offset asSeconds)
     ]
 
-    readStream [
-       "Open a read-only FileStream on the receiver"
+    getDateAndTime: time [
+       "Private - Convert a time expressed in seconds from 1/1/2000 to
+        a Smalltalk DateTime object."
 
-       <category: 'file operations'>
-       ^self open: FileStream read
-    ]
-
-    withWriteStreamDo: aBlock [
-       "Invoke aBlock with a writing stream open on me, closing it
-        when the dynamic extent of aBlock ends."
-       <category: 'file operations'>
-       | stream |
-       stream := self writeStream.
-       ^[aBlock value: stream] ensure: [stream close]
+       <category: 'private'>
+       ^Epoch + (Duration seconds: time) 
+           offset: (Duration seconds: Time timezoneBias)
     ]
 
-    writeStream [
-       "Open a write-only FileStream on the receiver"
+    stat [
+       "Private - Answer the receiver's statistics' C struct"
 
-       <category: 'file operations'>
-       ^self open: FileStream write
+       <category: 'private'>
+       stat isNil ifTrue: [self refresh].
+       ^stat
     ]
 
-    symlinkAs: destName [
-       "Create destName as a symbolic link of the receiver.  The appropriate
-        relative path is computed automatically."
+    createDirectory [
+       "Create the receiver as a directory."
 
-       <category: 'file operations'>
-       | dest relPath |
-       dest := VFS.VFSHandler for: destName.
-       relPath := File computePathFrom: dest realFileName
-                   to: vfsHandler realFileName.
-       dest symlinkFrom: relPath
+       <category: 'directory operations'>
+       self primCreateDir: self asString mode: 511.
+       File checkError
     ]
 
-    pathFrom: dirName [
-       "Compute the relative path from the directory dirName to the receiver"
+    createDirectories [
+       "Create the receiver as a directory, together with all its parents."
 
-       <category: 'file operations'>
-       ^File computePathFrom: (File fullNameFor: dirName asString) , 
'/somefile'
-           to: vfsHandler realFileName
+       <category: 'directory operations'>
+       | parent |
+       parent := self parent.
+       parent exists ifFalse: [ parent createDirectories ].
+       self createDirectory
     ]
 
-    symlinkFrom: srcName [
-       "Create the receiver as a symbolic link from srcName (relative to the
-        path of the receiver)."
+    namesDo: aBlock [
+       "Evaluate aBlock once for each file in the directory represented by the
+        receiver, passing its name. aBlock should not return."
 
-       <category: 'file operations'>
-       vfsHandler symlinkFrom: srcName
+       <category: 'directory operations'>
+       | dir entry |
+       dir := self openDir: self asString.
+       File checkError.
+       
+       [[entry := self readDir: dir.
+           File checkError.
+           entry notNil] 
+               whileTrue: [aBlock value: (self extractDirentName: entry)]]
+                   ensure: [self closeDir: dir]
     ]
 
-    remove [
-       "Remove the file identified by the receiver"
+    symlinkAs: destName [
+       "Create destName as a symbolic link of the receiver.  The appropriate
+        relative path is computed automatically."
 
        <category: 'file operations'>
-       ^vfsHandler remove
+       | relPath |
+       relPath := File pathFrom: destName to: self asString.
+       (self class path: destName) symlinkFrom: relPath
     ]
 
-    renameTo: newName [
-       "Rename the file identified by the receiver to newName"
+    pathFrom: dir [
+       "Compute the relative path from the directory dirName to the receiver"
 
        <category: 'file operations'>
-       vfsHandler renameTo: newName
-    ]
-
-    init: aVFSHandler [
-       "Private - Initialize the receiver's instance variables"
-
-       <category: 'private'>
-       vfsHandler := aVFSHandler
+       ^File pathFrom: (dir / 'somefile') asString to: self asString.
     ]
 
     pathTo: destName [
        "Compute the relative path from the receiver to destName."
 
        <category: 'accessing'>
-       | destFullName |
-       destFullName := File fullNameFor: destName asString.
-       vfsHandler realFileName = destFullName ifTrue: [^'.'].
-       ^File computePathFrom: vfsHandler realFileName , '/somefile'
-           to: destFullName
+       ^File pathFrom: (self / 'somefile') asString to: destName asString.
     ]
 
-    / aName [
-       "Answer a File or Directory object as appropriate for a file named
-        'aName' in the directory represented by the receiver."
+    full [
+       "Answer the full name of the receiver, resolving the `.' and
+        `..' directory entries, and answer the result.  Answer nil if the
+        name is invalid (such as '/usr/../../badname')"
 
-       ^self at: aName
+       <category: 'file name management'>
+       self isAbsolute ifTrue: [ ^self ].
+       ^self class path: (File fullNameFor: self name)
     ]
 
-    at: aName [
+    at: aString [
        "Answer a File or Directory object as appropriate for a file named
         'aName' in the directory represented by the receiver."
 
        <category: 'accessing'>
-       | f |
-       f := vfsHandler at: aName.
-       ^self class on: f
-    ]
-
-    includes: aName [
-        "Answer whether a file named `aName' exists in the directory 
represented
-         by the receiver."
-
-        <category: 'accessing'>
-        ^(vfsHandler at: aName) exists
-    ]
-
-    fullNameAt: aName [
-       "Answer a String containing the full path to a file named `aName' which
-        resides in the directory represented by the receiver."
-
-       <category: 'accessing'>
-       ^Directory append: aName to: self fullName
-    ]
-
-    nameAt: aName [
-       "Answer a String containing the path to a file named `aName' which
-        resides in the directory represented by the receiver."
-
-       <category: 'accessing'>
-       ^Directory append: aName to: self name
-    ]
-
-    allFilesMatching: aPattern do: aBlock [
-       "Evaluate aBlock on the File objects that match aPattern (according to
-        String>>#match:) in the directory named by the receiver. Recursively
-        descend into directories."
-
-       <category: 'enumerating'>
-       self do: 
-               [:name | 
-               | f |
-               f := self at: name.
-               (aPattern match: name) ifTrue: [aBlock value: f].
-               f isDirectory 
-                   ifTrue: 
-                       [((#('.' '..') includes: name) or: [f isSymbolicLink]) 
-                           ifFalse: [f allFilesMatching: aPattern do: aBlock]]]
-    ]
-
-    files [
-       "Answer an Array with File objects for the contents of the directory
-        represented by the receiver."
-
-       <category: 'enumerating'>
-       ^self select: [ :each | each isFile ]
-    ]
-
-    directories [
-       "Answer an Array with Directory objects for the subdirectories
-        of the directory represented by the receiver."
-
-       <category: 'enumerating'>
-       ^self select: [ :each | each isDirectory ]
-    ]
-
-    entries [
-       "Answer an Array with File or Directory objects for the contents
-        of the directory represented by the receiver."
-
-       <category: 'enumerating'>
-       | ws |
-       ws := WriteStream on: (Array new: 50).
-       self do: [:each | ws nextPut: each].
-       ^ws contents
+       ^self class path: (self nameAt: aString asString)
     ]
 
-    entryNames [
-       "Answer an Array with the names of the files in the directory
-        represented by the receiver."
-
-       <category: 'enumerating'>
-       | ws |
-       ws := WriteStream on: (Array new: 50).
-       self namesDo: [:each | ws nextPut: each].
-       ^ws contents
-    ]
-
-    do: aBlock [
-       "Evaluate aBlock once for each file in the directory represented by the
-        receiver, passing its name."
-
-       <category: 'enumerating'>
-       self namesDo: [ :name |
-           aBlock value: (self at: name) ]
-    ]
-
-    namesDo: aBlock [
-       "Evaluate aBlock once for each file in the directory represented by the
-        receiver, passing its name."
-
-       <category: 'enumerating'>
-       vfsHandler do: [ :name | aBlock value: name ]
-    ]
-
-    filesMatching: aPattern [
-       "Evaluate aBlock once for each file in the directory represented by the
-        receiver, passing a File or Directory object to aBlock. Returns the
-        *names* of the files for which aBlock returns true."
+    init: aString [
+       "Private - Initialize the receiver's instance variables"
 
-       <category: 'enumerating'>
-       | ws |
-       ws := WriteStream on: (Array new: 50).
-       self namesDo: [ :name |
-           (aPattern match: name) ifTrue: [ ws nextPut: (self at: name) ] ].
-       ^ws contents
+       <category: 'private'>
+       path := aString
     ]
+]
 
-    reject: aBlock [
-       "Evaluate aBlock once for each file in the directory represented by the
-        receiver, passing a File or Directory object to aBlock. Returns the
-        *names* of the files for which aBlock returns true."
+
+Namespace current: Kernel [
 
-       <category: 'enumerating'>
-       | ws |
-       ws := WriteStream on: (Array new: 50).
-       self do: [ :each |
-           (aBlock value: each) ifFalse: [ ws nextPut: each ] ].
-       ^ws contents
-    ]
+Object subclass: Stat [
+    
+    | stMode stSize stAtime stMtime stCtime |
+    stMode [ ^stMode ]
+    stSize [ ^stSize ]
+    stAtime [ ^stAtime ]
+    stMtime [ ^stMtime ]
+    stCtime [ ^stCtime ]
+]
 
-    select: aBlock [
-       "Evaluate aBlock once for each file in the directory represented by the
-        receiver, passing a File or Directory object to aBlock. Returns the
-        *names* of the files for which aBlock returns true."
+]
 
-       <category: 'enumerating'>
-       | ws |
-       ws := WriteStream on: (Array new: 50).
-       self do: [ :each |
-           (aBlock value: each) ifTrue: [ ws nextPut: each ] ].
-       ^ws contents
-    ]
 
-    filesMatching: aPattern do: block [
-       "Evaluate block on the File objects that match aPattern (according to
-        String>>#match:) in the directory named by the receiver."
+
+String extend [
+    / aName [
+       "Answer a File object as appropriate for a file named
+        'aName' in the directory represented by the receiver."
 
-       <category: 'enumerating'>
-       self namesDo: [:name |
-           (aPattern match: name) ifTrue: [block value: (self at: name)]]
+       <category: 'filesystem'>
+       ^(File path: self) at: aName
     ]
 
-    namesMatching: aPattern do: block [
-       "Evaluate block on the file names that match aPattern (according to
-        String>>#match:) in the directory named by the receiver."
+    asFile [
+       "Answer a File object for the file whose name is in the receiver."
 
-       <category: 'enumerating'>
-       vfsHandler 
-           do: [:name | (aPattern match: name) ifTrue: [block value: (self 
nameAt: name)]]
+       <category: 'filesystem'>
+       ^(File path: self)
     ]
 ]
 
-
-String extend [
-    / aName [
-       "Answer a File or Directory object as appropriate for a file named
-        'aName' in the directory represented by the receiver."
-
-       ^(File name: self) at: aName
-    ]
+Eval [
+    File initialize
 ]
diff --git a/kernel/FileDescr.st b/kernel/FileDescr.st
index b22a271..6649ca6 100644
--- a/kernel/FileDescr.st
+++ b/kernel/FileDescr.st
@@ -131,8 +131,8 @@ do arbitrary processing on the files.'>
        ((fileName indexOfSubCollection: '://') > 0 
            and: [fileMode = FileStream read]) 
                ifTrue: [^NetClients.URIResolver openStreamOn: fileName ifFail: 
aBlock ].
-       ^(VFS.VFSHandler for: fileName asString) 
-           open: self
+       ^self
+           fopen: fileName
            mode: fileMode
            ifFail: aBlock
     ]
diff --git a/kernel/FilePath.st b/kernel/FilePath.st
new file mode 100644
index 0000000..5b31b47
--- /dev/null
+++ b/kernel/FilePath.st
@@ -0,0 +1,790 @@
+"======================================================================
+|
+|   FilePath Method Definitions
+|
+|
+ ======================================================================"
+
+"======================================================================
+|
+| Copyright 2008 Free Software Foundation, Inc.
+| Written by Paolo Bonzini.
+|
+| This file is part of the GNU Smalltalk class library.
+|
+| The GNU Smalltalk class library is free software; you can redistribute it
+| and/or modify it under the terms of the GNU Lesser General Public License
+| as published by the Free Software Foundation; either version 2.1, or (at
+| your option) any later version.
+| 
+| The GNU Smalltalk class library is distributed in the hope that it will be
+| useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
+| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser
+| General Public License for more details.
+| 
+| You should have received a copy of the GNU Lesser General Public License
+| along with the GNU Smalltalk class library; see the file COPYING.LIB.
+| If not, write to the Free Software Foundation, 59 Temple Place - Suite
+| 330, Boston, MA 02110-1301, USA.  
+|
+ ======================================================================"
+
+
+
+Object subclass: FilePath [
+    | path |
+    
+    <category: 'Streams-Files'>
+    <comment: 'I expose the syntax of file names, including paths.  I know how 
to
+manipulate such a path by splitting it into its components.  In addition,
+I expose information about files (both real and virtual) such as their
+size and timestamps.'>
+
+    FilePath class >> append: fileName to: directory [
+       "Answer the name of a file named `fileName' which resides in a directory
+        named `directory'."
+
+       <category: 'file name management'>
+       directory isEmpty ifTrue: [^fileName].
+       fileName isEmpty ifTrue: [^directory].
+       Directory pathSeparator == $\ 
+           ifFalse: [(fileName at: 1) isPathSeparator ifTrue: [^fileName]]
+           ifTrue: 
+               [(fileName at: 1) isPathSeparator 
+                   ifTrue: 
+                       [^(directory size >= 2 and: [(directory at: 2) = $:]) 
+                           ifTrue: ['%1:%2' % 
+                                       {directory first.
+                                       fileName}]
+                           ifFalse: [fileName]].
+               (fileName size >= 2 and: [(fileName at: 2) = $:]) ifTrue: 
[^fileName]].
+       ^(directory at: directory size) isPathSeparator 
+           ifTrue: [directory , fileName]
+           ifFalse: [directory , Directory pathSeparatorString , fileName]
+    ]
+
+    FilePath class >> extensionFor: aString [
+       "Answer the extension of a file named `aString'.  Note: the extension
+        includes an initial dot."
+
+       <category: 'file name management'>
+       | index |
+       aString isEmpty ifTrue: [^''].
+       index := aString findLast: 
+                       [:each | 
+                       each = Directory pathSeparator ifTrue: [^''].
+                       each = $.].
+
+       "Special case foo, .foo and /bar/.foo, all of which have no extension"
+       index <= 1 ifTrue: [^''].
+       (aString at: index - 1) = Directory pathSeparator ifTrue: [^''].
+       ^aString copyFrom: index to: aString size
+    ]
+
+    FilePath class >> stripExtensionFrom: aString [
+       "Remove the extension from the name of a file called `aString', and
+        answer the result."
+
+       <category: 'file name management'>
+       | index |
+       aString isEmpty ifTrue: [^''].
+       index := aString findLast: 
+                       [:each | 
+                       each = Directory pathSeparator ifTrue: [^aString].
+                       each = $.].
+
+       "Special case foo, .foo and /bar/.foo, all of which have no extension"
+       index <= 1 ifTrue: [^aString].
+       (aString at: index - 1) = Directory pathSeparator ifTrue: [^aString].
+       ^aString copyFrom: 1 to: index - 1
+    ]
+
+    FilePath class >> stripPathFrom: aString [
+       "Remove the path from the name of a file called `aString', and
+        answer the file name plus extension."
+
+       <category: 'file name management'>
+       | index |
+       aString isEmpty ifTrue: [^''].
+       index := aString findLast: [:each | each = Directory pathSeparator].
+       ^aString copyFrom: index + 1 to: aString size
+    ]
+
+    FilePath class >> pathFor: aString ifNone: aBlock [
+       "Determine the path of the name of a file called `aString', and
+        answer the result.  With the exception of the root directory, the
+        final slash is stripped.  If there is no path, evaluate aBlock and
+        return the result."
+
+       <category: 'file name management'>
+       | index |
+       aString isEmpty ifTrue: [^aBlock value].
+       index := aString findLast: [:each | each = Directory pathSeparator].
+       index = 0 ifTrue: [^aBlock value].
+       index = 1 ifTrue: [^Directory pathSeparatorString].
+       ^aString copyFrom: 1 to: index - 1
+    ]
+
+    FilePath class >> pathFor: aString [
+       "Determine the path of the name of a file called `aString', and
+        answer the result.  With the exception of the root directory, the
+        final slash is stripped."
+
+       <category: 'file name management'>
+       ^self pathFor: aString ifNone: ['']
+    ]
+
+    FilePath class >> stripFileNameFor: aString [
+       "Determine the path of the name of a file called `aString', and
+        answer the result as a directory name including the final slash."
+
+       <category: 'file name management'>
+       | index |
+       aString isEmpty ifTrue: [^'./'].
+       index := aString findLast: [:each | each = Directory pathSeparator].
+       index = 0 ifTrue: [^'./'].
+       index = 1 ifTrue: [^Directory pathSeparatorString].
+       ^aString copyFrom: 1 to: index
+    ]
+
+    FilePath class >> isAbsolute: aString [
+        "Answer whether aString is an absolute ptah."
+
+       (aString at: 1) isPathSeparator ifTrue: [ ^true ].
+       Directory pathSeparator == $\ ifFalse: [ ^false ].
+       "Windows paths starting X:/ are absolute"
+       ^aString size >= 3 and: [
+                (aString at: 2) = $: and: [(aString at: 3) isPathSeparator]]
+    ]
+
+    FilePath class >> fullNameFor: aString [
+       "Answer the full path to a file called `aString', resolving the `.' and
+        `..' directory entries, and answer the result.  `/..' is the same as 
'/'."
+
+       <category: 'file name management'>
+       | path canonical result isWindows |
+       isWindows := Directory pathSeparator == $\.
+       "Windows paths starting X:/ are absolute"
+       path := OrderedCollection new.
+       (self isAbsolute: aString)
+           ifFalse: 
+               [path addAll: (Directory workingName substrings: Directory 
pathSeparator)].
+
+       "A Windows path may contain both / and \ separators. Clean it up
+        to allow easy parsing"
+       canonical := Directory pathSeparator = $/ 
+                   ifTrue: [aString]
+                   ifFalse: [aString copyReplacing: $/ withObject: Directory 
pathSeparator].
+       (canonical substrings: Directory pathSeparator) do: 
+               [:each | 
+               each = '.' 
+                   ifFalse: 
+                       [each = '..' 
+                           ifTrue: [path isEmpty ifFalse: [path removeLast]]
+                           ifFalse: [path add: each]]].
+       path isEmpty ifTrue: [^Directory pathSeparatorString].
+       result := path inject: ''
+                   into: [:old :each | old , Directory pathSeparatorString , 
each].
+
+       "Remove initial / from /C:/"
+       ^(isWindows and: 
+               [result size >= 4 and: 
+                       [(result at: 1) isPathSeparator 
+                           and: [(result at: 3) = $: and: [(result at: 4) 
isPathSeparator]]]]) 
+           ifTrue: [result copyFrom: 2]
+           ifFalse: [result]
+    ]
+
+    FilePath class >> pathFrom: srcName to: destName [
+       "Answer the relative path to destName when the current
+        directory is srcName's directory."
+       <category: 'file name management'>
+       ^self computePathFrom: (File fullNameFor: srcName asString)
+           to: (File fullNameFor: destName asString)
+    ]
+
+    FilePath class >> computePathFrom: srcName to: destName [
+       <category: 'private'>
+       | src dest srcCanon destCanon path |
+       "A Windows path may contain both / and \ separators. Clean it up
+        to allow easy parsing"
+       srcCanon := Directory pathSeparator = $/ 
+                   ifTrue: [srcName]
+                   ifFalse: [srcName copyReplacing: $/ withObject: Directory 
pathSeparator].
+       destCanon := Directory pathSeparator = $/ 
+                   ifTrue: [destName]
+                   ifFalse: [destName copyReplacing: $/ withObject: Directory 
pathSeparator].
+
+       src := srcCanon subStrings: Directory pathSeparator.
+       dest := destCanon subStrings: Directory pathSeparator.
+       src := src asOrderedCollection.
+       src removeLast.
+       dest := dest asOrderedCollection.
+       dest isEmpty ifTrue: [dest addLast: ''].
+       path := (src notEmpty and: [src first ~= dest first]) 
+                   ifTrue: [OrderedCollection with: '']
+                   ifFalse: 
+                       [[src isEmpty or: [dest size = 1 or: [src first ~= dest 
first]]] 
+                           whileFalse: 
+                               [src removeFirst.
+                               dest removeFirst].
+                       src collect: [:each | '..']].
+       path addAllLast: dest.
+       ^path fold: [:a :b | a , Directory pathSeparatorString , b]
+    ]
+
+    asFile [
+       "Answer the receiver."
+
+       <category: 'converting'>
+       ^self
+    ]
+
+    displayOn: aStream [
+       "Print a representation of the receiver on aStream."
+
+       <category: 'printing'>
+       | name string |
+       name := self asString.
+       (name anySatisfy: [:each | '"(){}[]$\<>#'' `' includes: each]) 
+           ifFalse: 
+               [aStream nextPutAll: name.
+               ^self].
+       string := Directory pathSeparator = $/ 
+                   ifTrue: ['''%1''' % {name copyReplaceAll: '''' with: 
'''\'''''}]
+                   ifFalse: [
+                       {'"'.
+                       name.
+                       '"'} join].
+       aStream nextPutAll: string
+    ]
+
+    printOn: aStream [
+       "Print a representation of the receiver on aStream."
+
+       <category: 'printing'>
+       aStream
+           nextPut: $<;
+           print: self class;
+           space;
+           display: self;
+           nextPut: $>
+    ]
+
+    mode [
+       "Answer the permission bits for the file identified by the receiver"
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    size [
+       "Answer the size of the file identified by the receiver"
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    mode: anInteger [
+       "Set the permission bits for the file identified by the receiver to be
+        anInteger."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    lastAccessTime: aDateTime [
+       "Update the last access time of the file corresponding to the receiver,
+        to be aDateTime."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    lastAccessTime: accessDateTime lastModifyTime: modifyDateTime [
+       "Update the timestamps of the file corresponding to the receiver, to be
+        accessDateTime and modifyDateTime."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    lastAccessTime [
+       "Answer the last access time of the file identified by the receiver"
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    lastChangeTime [
+       "Answer the last change time of the file identified by the receiver
+        (the `last change time' has to do with permissions, ownership and the
+        like). On some operating systems, this could actually be the
+        file creation time."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    creationTime [
+       "Answer the creation time of the file identified by the receiver.
+        On some operating systems, this could actually be the last change time
+        (the `last change time' has to do with permissions, ownership and the
+        like)."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    lastModifyTime: aDateTime [
+       "Update the last modification timestamp of the file corresponding to the
+        receiver, to be aDateTime."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    lastModifyTime [
+       "Answer the last modify time of the file identified by the receiver
+        (the `last modify time' has to do with the actual file contents)."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    refresh [
+       "Refresh the statistics for the receiver"
+
+       <category: 'accessing'>
+    ]
+
+    exists [
+       "Answer whether a file with the name contained in the receiver does 
exist."
+
+       <category: 'testing'>
+       self subclassResponsibility
+    ]
+
+    isSymbolicLink [
+       "Answer whether a file with the name contained in the receiver does 
exist
+        and does not identify a directory."
+
+       <category: 'testing'>
+       self subclassResponsibility
+    ]
+
+    isFile [
+       "Answer whether a file with the name contained in the receiver does 
exist
+        and does not identify a directory."
+
+       <category: 'testing'>
+       ^self exists and: [ self isDirectory not ]
+    ]
+
+    isRelative [
+       "Answer whether the receiver identifies a relative path."
+
+       <category: 'testing'>
+       ^self isAbsolute not
+    ]
+
+    isAbsolute [
+       "Answer whether the receiver identifies an absolute path."
+
+       <category: 'testing'>
+       self subclassResponsibility
+    ]
+
+    isReadable [
+       "Answer whether a file with the name contained in the receiver does 
exist
+        and is readable"
+
+       <category: 'testing'>
+       self subclassResponsibility
+    ]
+
+    isWriteable [
+       "Answer whether a file with the name contained in the receiver does 
exist
+        and is writeable"
+
+       <category: 'testing'>
+       self subclassResponsibility
+    ]
+
+    isExecutable [
+       "Answer whether a file with the name contained in the receiver does 
exist
+        and is executable"
+
+       <category: 'testing'>
+       self subclassResponsibility
+    ]
+
+    isAccessible [
+       "Answer whether a directory with the name contained in the receiver does
+        exist and can be accessed"
+
+       <category: 'testing'>
+       self subclassResponsibility
+    ]
+
+    extension [
+       "Answer the extension of the receiver"
+
+       <category: 'file name management'>
+       ^File extensionFor: self name
+    ]
+
+    stripExtension [
+       "Answer the path (if any) and file name of the receiver"
+
+       <category: 'file name management'>
+       ^File stripExtensionFrom: self name
+    ]
+
+    stripPath [
+       "Answer the file name and extension (if any) of the receiver"
+
+       <category: 'file name management'>
+       ^File stripPathFrom: self name
+    ]
+
+    parent [
+       "Answer the Directory object for the receiver's path"
+
+       <category: 'file name management'>
+       ^self class path: (File pathFor: self name ifNone: [ '.' ])
+    ]
+
+    path [
+       "Answer the path (if any) of the receiver"
+
+       <category: 'file name management'>
+       ^File pathFor: self name
+    ]
+
+    stripFileName [
+       "Answer the path of the receiver, always including a directory
+        name (possibly `.') and the final directory separator"
+
+       <category: 'file name management'>
+       ^File stripFileNameFor: self name
+    ]
+
+    full [
+       "Answer the full name of the receiver, resolving the `.' and
+        `..' directory entries, and answer the result.  Answer nil if the
+        name is invalid (such as '/usr/../../badname')"
+
+       <category: 'file name management'>
+       self subclassResponsibility
+    ]
+
+    contents [
+       "Open a read-only FileStream on the receiver, read its contents,
+        close the stream and answer the contents"
+
+       <category: 'file operations'>
+       | stream contents |
+       stream := self readStream.
+       contents := stream contents.
+       stream close.
+       ^contents
+    ]
+
+    touch [
+       "Update the timestamp of the file corresponding to the receiver."
+
+       <category: 'file operations'>
+       | now |
+       self exists 
+           ifTrue: 
+               [now := DateTime now.
+               self lastAccessTime: now lastModifyTime: now]
+           ifFalse: [(self open: FileStream append) close]
+    ]
+
+    open: mode [
+       "Open the receiver in the given mode (as answered by FileStream's
+        class constant methods)"
+
+       <category: 'file operations'>
+       ^self open: mode
+           ifFail: [SystemExceptions.FileError signal: 'could not open ' , 
self name]
+    ]
+
+    openDescriptor: mode [
+       "Open the receiver in the given mode (as answered by FileStream's
+        class constant methods)"
+
+       <category: 'file operations'>
+       ^self openDescriptor: mode
+           ifFail: [SystemExceptions.FileError signal: 'could not open ' , 
self name]
+    ]
+
+    open: mode ifFail: aBlock [
+       "Open the receiver in the given mode (as answered by FileStream's
+        class constant methods). Upon failure, evaluate aBlock."
+
+       <category: 'file operations'>
+       ^self open: FileStream mode: mode ifFail: aBlock
+    ]
+
+    openDescriptor: mode ifFail: aBlock [
+       "Open the receiver in the given mode (as answered by FileStream's
+        class constant methods). Upon failure, evaluate aBlock."
+
+       <category: 'file operations'>
+       ^self open: FileDescriptor mode: mode ifFail: aBlock
+    ]
+
+    open: class mode: mode ifFail: aBlock [
+       "Open the receiver in the given mode (as answered by FileStream's
+        class constant methods)"
+
+       <category: 'file operations'>
+       self subclassResponsibility
+    ]
+
+    withReadStreamDo: aBlock [
+       "Invoke aBlock with a reading stream open on me, closing it
+        when the dynamic extent of aBlock ends."
+       <category: 'file operations'>
+       | stream |
+       stream := self readStream.
+       ^[aBlock value: stream] ensure: [stream close]
+    ]
+
+    fileIn [
+       "File in the receiver"
+
+       <category: 'file operations'>
+       self withReadStreamDo: [ :fs | fs fileIn ]
+    ]
+
+    readStream [
+       "Open a read-only FileStream on the receiver"
+
+       <category: 'file operations'>
+       ^self open: FileStream read
+    ]
+
+    withWriteStreamDo: aBlock [
+       "Invoke aBlock with a writing stream open on me, closing it
+        when the dynamic extent of aBlock ends."
+       <category: 'file operations'>
+       | stream |
+       stream := self writeStream.
+       ^[aBlock value: stream] ensure: [stream close]
+    ]
+
+    writeStream [
+       "Open a write-only FileStream on the receiver"
+
+       <category: 'file operations'>
+       ^self open: FileStream write
+    ]
+
+    symlinkAs: destName [
+       "Create destName as a symbolic link of the receiver.  The appropriate
+        relative path is computed automatically."
+
+       <category: 'file operations'>
+       self subclassResponsibility
+    ]
+
+    pathFrom: dirName [
+       "Compute the relative path from the directory dirName to the receiver"
+
+       <category: 'file operations'>
+       self subclassResponsibility
+    ]
+
+    symlinkFrom: srcName [
+       "Create the receiver as a symbolic link from srcName (relative to the
+        path of the receiver)."
+
+       <category: 'file operations'>
+       self subclassResponsibility
+    ]
+
+    remove [
+       "Remove the file identified by the receiver"
+
+       <category: 'file operations'>
+       self subclassResponsibility
+    ]
+
+    renameTo: newName [
+       "Rename the file identified by the receiver to newName"
+
+       <category: 'file operations'>
+       self subclassResponsibility
+    ]
+
+    pathTo: destName [
+       "Compute the relative path from the receiver to destName."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    / aName [
+       "Answer a File or Directory object as appropriate for a file named
+        'aName' in the directory represented by the receiver."
+
+       ^self at: aName
+    ]
+
+    at: aName [
+       "Answer a File or Directory object as appropriate for a file named
+        'aName' in the directory represented by the receiver."
+
+       <category: 'accessing'>
+       self subclassResponsibility
+    ]
+
+    includes: aName [
+        "Answer whether a file named `aName' exists in the directory 
represented
+         by the receiver."
+
+        <category: 'accessing'>
+        ^(self at: aName) exists
+    ]
+
+    allFilesMatching: aPattern do: aBlock [
+       "Evaluate aBlock on the File objects that match aPattern (according to
+        String>>#match:) in the directory named by the receiver. Recursively
+        descend into directories."
+
+       <category: 'enumerating'>
+       self namesDo: 
+               [:name | 
+               | f |
+               f := self at: name.
+               (aPattern match: name) ifTrue: [aBlock value: f].
+               f isDirectory 
+                   ifTrue: 
+                       [((#('.' '..') includes: name) or: [f isSymbolicLink]) 
+                           ifFalse: [f allFilesMatching: aPattern do: aBlock]]]
+    ]
+
+    files [
+       "Answer an Array with File objects for the contents of the directory
+        represented by the receiver."
+
+       <category: 'enumerating'>
+       ^self reject: [ :each | each isDirectory ]
+    ]
+
+    directories [
+       "Answer an Array with Directory objects for the subdirectories
+        of the directory represented by the receiver."
+
+       <category: 'enumerating'>
+       ^self select: [ :each | each isDirectory ]
+    ]
+
+    entries [
+       "Answer an Array with File or Directory objects for the contents
+        of the directory represented by the receiver."
+
+       <category: 'enumerating'>
+       | ws |
+       ws := WriteStream on: (Array new: 50).
+       self do: [:each | ws nextPut: each].
+       ^ws contents
+    ]
+
+    entryNames [
+       "Answer an Array with the names of the files in the directory
+        represented by the receiver."
+
+       <category: 'enumerating'>
+       | ws |
+       ws := WriteStream on: (Array new: 50).
+       self namesDo: [:each | ws nextPut: each].
+       ^ws contents
+    ]
+
+    do: aBlock [
+       "Evaluate aBlock once for each file in the directory represented by the
+        receiver, passing its name."
+
+       <category: 'enumerating'>
+       self namesDo: [ :name |
+           aBlock value: (self at: name) ]
+    ]
+
+    namesDo: aBlock [
+       "Evaluate aBlock once for each file in the directory represented by the
+        receiver, passing its name."
+
+       <category: 'enumerating'>
+       self subclassResponsibility
+    ]
+
+    filesMatching: aPattern [
+       "Evaluate aBlock once for each file in the directory represented by the
+        receiver, passing a File or Directory object to aBlock. Returns the
+        *names* of the files for which aBlock returns true."
+
+       <category: 'enumerating'>
+       | ws |
+       ws := WriteStream on: (Array new: 50).
+       self namesDo: [ :name |
+           (aPattern match: name) ifTrue: [ ws nextPut: (self at: name) ] ].
+       ^ws contents
+    ]
+
+    reject: aBlock [
+       "Evaluate aBlock once for each file in the directory represented by the
+        receiver, passing a File or Directory object to aBlock. Returns the
+        *names* of the files for which aBlock returns true."
+
+       <category: 'enumerating'>
+       | ws |
+       ws := WriteStream on: (Array new: 50).
+       self do: [ :each |
+           (aBlock value: each) ifFalse: [ ws nextPut: each ] ].
+       ^ws contents
+    ]
+
+    select: aBlock [
+       "Evaluate aBlock once for each file in the directory represented by the
+        receiver, passing a File or Directory object to aBlock. Returns the
+        *names* of the files for which aBlock returns true."
+
+       <category: 'enumerating'>
+       | ws |
+       ws := WriteStream on: (Array new: 50).
+       self do: [ :each |
+           (aBlock value: each) ifTrue: [ ws nextPut: each ] ].
+       ^ws contents
+    ]
+
+    filesMatching: aPattern do: block [
+       "Evaluate block on the File objects that match aPattern (according to
+        String>>#match:) in the directory named by the receiver."
+
+       <category: 'enumerating'>
+       self namesDo: [:name |
+           (aPattern match: name) ifTrue: [block value: (self at: name)]]
+    ]
+
+    nameAt: aName [
+       "Answer a FilePath for a file named `aName' residing in the directory
+        represented by the receiver."
+
+       <category: 'directory operations'>
+       ^File append: aName to: self asString
+    ]
+
+    namesMatching: aPattern do: block [
+       "Evaluate block on the file names that match aPattern (according to
+        String>>#match:) in the directory named by the receiver."
+
+       <category: 'enumerating'>
+       self namesDo: [:name |
+            (aPattern match: name) ifTrue: [block value: (self nameAt: name)]]
+    ]
+]
diff --git a/kernel/Makefile.frag b/kernel/Makefile.frag
index e24a91c..a86db26 100644
--- a/kernel/Makefile.frag
+++ b/kernel/Makefile.frag
@@ -1,3 +1,3 @@
 $(srcdir)/kernel/stamp-classes: \
-kernel/Array.st kernel/CompildMeth.st kernel/LookupTable.st kernel/RunArray.st 
kernel/ArrayColl.st kernel/CompiledBlk.st kernel/Magnitude.st 
kernel/Semaphore.st kernel/DeferBinding.st kernel/Association.st 
kernel/HomedAssoc.st kernel/ContextPart.st kernel/MappedColl.st 
kernel/SeqCollect.st kernel/Autoload.st kernel/DLD.st kernel/Memory.st 
kernel/Set.st kernel/Bag.st kernel/Date.st kernel/Message.st 
kernel/SharedQueue.st kernel/Behavior.st kernel/Delay.st kernel/Metaclass.st 
kernel/SmallInt.st kernel/BlkClosure.st kernel/Continuation.st 
kernel/Generator.st kernel/Dictionary.st kernel/MethodDict.st 
kernel/SortCollect.st kernel/BlkContext.st kernel/DirMessage.st 
kernel/MethodInfo.st kernel/Stream.st kernel/Boolean.st kernel/Directory.st 
kernel/MthContext.st kernel/String.st kernel/UniString.st kernel/ExcHandling.st 
kernel/Namespace.st kernel/SymLink.st kernel/VFS.st kernel/VFSZip.st 
kernel/Builtins.st kernel/False.st kernel/Number.st kernel/Symbol.st 
kernel/ByteArray.st kernel/File.st kernel/ObjDumper.st kernel/SysDict.st 
kernel/ScaledDec.st kernel/FileSegment.st kernel/Object.st kernel/Time.st 
kernel/ByteStream.st kernel/FileStream.st kernel/Security.st 
kernel/OrderColl.st kernel/CFuncs.st kernel/Float.st kernel/PkgLoader.st 
kernel/Transcript.st kernel/CObject.st kernel/Fraction.st kernel/Point.st 
kernel/True.st kernel/CStruct.st kernel/IdentDict.st kernel/PosStream.st 
kernel/UndefObject.st kernel/CType.st kernel/IdentitySet.st kernel/ProcSched.st 
kernel/ProcEnv.st kernel/ValueAdapt.st kernel/CharArray.st kernel/Integer.st 
kernel/Process.st kernel/CallinProcess.st kernel/WeakObjects.st 
kernel/Character.st kernel/UniChar.st kernel/Interval.st kernel/RWStream.st 
kernel/OtherArrays.st kernel/Class.st kernel/LargeInt.st kernel/Random.st 
kernel/WriteStream.st kernel/ClassDesc.st kernel/Link.st kernel/ReadStream.st 
kernel/ObjMemory.st kernel/Collection.st kernel/LinkedList.st 
kernel/Rectangle.st kernel/AnsiDates.st kernel/CompildCode.st 
kernel/LookupKey.st kernel/BindingDict.st kernel/AbstNamespc.st 
kernel/RootNamespc.st kernel/AnsiExcept.st kernel/HashedColl.st 
kernel/FileDescr.st kernel/FloatD.st kernel/FloatE.st kernel/FloatQ.st 
kernel/URL.st kernel/VarBinding.st kernel/RecursionLock.st kernel/Getopt.st 
kernel/Regex.st kernel/StreamOps.st 
+kernel/Array.st kernel/CompildMeth.st kernel/LookupTable.st kernel/RunArray.st 
kernel/ArrayColl.st kernel/CompiledBlk.st kernel/Magnitude.st 
kernel/Semaphore.st kernel/DeferBinding.st kernel/Association.st 
kernel/HomedAssoc.st kernel/ContextPart.st kernel/MappedColl.st 
kernel/SeqCollect.st kernel/Autoload.st kernel/DLD.st kernel/Memory.st 
kernel/Set.st kernel/Bag.st kernel/Date.st kernel/Message.st 
kernel/SharedQueue.st kernel/Behavior.st kernel/Delay.st kernel/Metaclass.st 
kernel/SmallInt.st kernel/BlkClosure.st kernel/Continuation.st 
kernel/Generator.st kernel/Dictionary.st kernel/MethodDict.st 
kernel/SortCollect.st kernel/BlkContext.st kernel/DirMessage.st 
kernel/MethodInfo.st kernel/Stream.st kernel/Boolean.st kernel/Directory.st 
kernel/MthContext.st kernel/String.st kernel/UniString.st kernel/ExcHandling.st 
kernel/Namespace.st kernel/SymLink.st kernel/VFS.st kernel/VFSZip.st 
kernel/Builtins.st kernel/False.st kernel/Number.st kernel/Symbol.st 
kernel/ByteArray.st kernel/FilePath.st kernel/File.st kernel/ObjDumper.st 
kernel/SysDict.st kernel/ScaledDec.st kernel/FileSegment.st kernel/Object.st 
kernel/Time.st kernel/ByteStream.st kernel/FileStream.st kernel/Security.st 
kernel/OrderColl.st kernel/CFuncs.st kernel/Float.st kernel/PkgLoader.st 
kernel/Transcript.st kernel/CObject.st kernel/Fraction.st kernel/Point.st 
kernel/True.st kernel/CStruct.st kernel/IdentDict.st kernel/PosStream.st 
kernel/UndefObject.st kernel/CType.st kernel/IdentitySet.st kernel/ProcSched.st 
kernel/ProcEnv.st kernel/ValueAdapt.st kernel/CharArray.st kernel/Integer.st 
kernel/Process.st kernel/CallinProcess.st kernel/WeakObjects.st 
kernel/Character.st kernel/UniChar.st kernel/Interval.st kernel/RWStream.st 
kernel/OtherArrays.st kernel/Class.st kernel/LargeInt.st kernel/Random.st 
kernel/WriteStream.st kernel/ClassDesc.st kernel/Link.st kernel/ReadStream.st 
kernel/ObjMemory.st kernel/Collection.st kernel/LinkedList.st 
kernel/Rectangle.st kernel/AnsiDates.st kernel/CompildCode.st 
kernel/LookupKey.st kernel/BindingDict.st kernel/AbstNamespc.st 
kernel/RootNamespc.st kernel/AnsiExcept.st kernel/HashedColl.st 
kernel/FileDescr.st kernel/FloatD.st kernel/FloatE.st kernel/FloatQ.st 
kernel/URL.st kernel/VarBinding.st kernel/RecursionLock.st kernel/Getopt.st 
kernel/Regex.st kernel/StreamOps.st 
        touch $(srcdir)/kernel/stamp-classes
diff --git a/kernel/VFS.st b/kernel/VFS.st
index e767a46..2497498 100644
--- a/kernel/VFS.st
+++ b/kernel/VFS.st
@@ -1636,22 +1636,6 @@ ArchiveMemberHandler subclass: 
TmpFileArchiveMemberHandler [
 
 
 
-Namespace current: Kernel [
-
-Object subclass: Stat [
-    
-    | stMode stSize stAtime stMtime stCtime |
-    stMode [ ^stMode ]
-    stSize [ ^stSize ]
-    stAtime [ ^stAtime ]
-    stMtime [ ^stMtime ]
-    stCtime [ ^stCtime ]
-]
-
-]
-
-
-
 Eval [
     VFS.RealFileHandler initialize.
     VFS.DecodedFileHandler initialize.
diff --git a/libgst/files.c b/libgst/files.c
index 8b985c8..82c64a3 100644
--- a/libgst/files.c
+++ b/libgst/files.c
@@ -270,6 +270,7 @@ static const char standard_files[] = {
   "AnsiExcept.st\0"
 
   /* Virtual filesystem layer */
+  "FilePath.st\0"
   "File.st\0"
   "Directory.st\0"
   "VFS.st\0"
diff --git a/packages.xml b/packages.xml
index dc0b527..860eac2 100644
--- a/packages.xml
+++ b/packages.xml
@@ -123,6 +123,7 @@
   <file>Number.st</file>
   <file>Symbol.st</file>
   <file>ByteArray.st</file>
+  <file>FilePath.st</file>
   <file>File.st</file>
   <file>ObjDumper.st</file>
   <file>SysDict.st</file>
-- 
1.5.3.4.910.gc5122-dirty





reply via email to

[Prev in Thread] Current Thread [Next in Thread]