<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://clean.cs.ru.nl/index.php?action=history&amp;feed=atom&amp;title=Directory</id>
	<title>Directory - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://clean.cs.ru.nl/index.php?action=history&amp;feed=atom&amp;title=Directory"/>
	<link rel="alternate" type="text/html" href="https://clean.cs.ru.nl/index.php?title=Directory&amp;action=history"/>
	<updated>2026-06-15T07:25:11Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0</generator>
	<entry>
		<id>https://clean.cs.ru.nl/index.php?title=Directory&amp;diff=552&amp;oldid=prev</id>
		<title>Bas Lijnse at 10:57, 6 July 2010</title>
		<link rel="alternate" type="text/html" href="https://clean.cs.ru.nl/index.php?title=Directory&amp;diff=552&amp;oldid=prev"/>
		<updated>2010-07-06T10:57:47Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 10:57, 6 July 2010&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l14&quot;&gt;Line 14:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 14:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  ::Path = RelativePath [PathStep]&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  ::Path = RelativePath [PathStep]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;         | AbsolutePath DiskName [PathStep]&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;         | AbsolutePath DiskName [PathStep]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-added&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  // on UNIX systems the DiskName is ignored&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  // on UNIX systems the DiskName is ignored&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  // on DOS/Windows/MacOS the &amp;quot;:&amp;quot; is omitted&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  // on DOS/Windows/MacOS the &amp;quot;:&amp;quot; is omitted&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-added&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  ::PathStep =   PathUp&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  ::PathStep =   PathUp&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;             |   PathDown String&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;             |   PathDown String&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  ::DiskName :== String&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;  ::DiskName :== String&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;   &lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;   &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-added&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;To reference a file named &amp;quot;a&amp;quot; in the current directory&amp;#039;s parent direcory type RelativePath [PathUp, PathDown &amp;quot;a&amp;quot;]. The corresponding platform dependent specifications would be &amp;quot;..\\a&amp;quot; (Windows) &amp;quot; ../a&amp;quot; (Unix) or &amp;quot; ::a&amp;quot; (MacOS). To reference the file named &amp;quot;a&amp;quot; on disk &amp;quot;myDisk&amp;quot; of your Mac type  AbsolutePath &amp;quot;myDisk&amp;quot; [PathDown &amp;quot;a&amp;quot;].&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;To reference a file named &amp;quot;a&amp;quot; in the current directory&amp;#039;s parent direcory type RelativePath [PathUp, PathDown &amp;quot;a&amp;quot;]. The corresponding platform dependent specifications would be &amp;quot;..\\a&amp;quot; (Windows) &amp;quot; ../a&amp;quot; (Unix) or &amp;quot; ::a&amp;quot; (MacOS). To reference the file named &amp;quot;a&amp;quot; on disk &amp;quot;myDisk&amp;quot; of your Mac type  AbsolutePath &amp;quot;myDisk&amp;quot; [PathDown &amp;quot;a&amp;quot;].&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Bas Lijnse</name></author>
	</entry>
	<entry>
		<id>https://clean.cs.ru.nl/index.php?title=Directory&amp;diff=551&amp;oldid=prev</id>
		<title>Bas Lijnse: Created page with &#039;The Directory module lets you access and manipulate directories. It separates platform dependent file system features from those features that all supported platforms have in com…&#039;</title>
		<link rel="alternate" type="text/html" href="https://clean.cs.ru.nl/index.php?title=Directory&amp;diff=551&amp;oldid=prev"/>
		<updated>2010-07-06T10:57:27Z</updated>

		<summary type="html">&lt;p&gt;Created page with &amp;#039;The Directory module lets you access and manipulate directories. It separates platform dependent file system features from those features that all supported platforms have in com…&amp;#039;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;The Directory module lets you access and manipulate directories. It separates platform dependent file system features from those features that all supported platforms have in common.&lt;br /&gt;
&lt;br /&gt;
The following operations are supported:&lt;br /&gt;
* getting the contents of a directory with various information about all it&amp;#039;s files;&lt;br /&gt;
* getting this information for a single file;&lt;br /&gt;
* creating a directory;&lt;br /&gt;
* moving/renaming files/directories;&lt;br /&gt;
* removing files/directories;&lt;br /&gt;
* setting and retrieving the current directory;&lt;br /&gt;
* getting the names of all disks.&lt;br /&gt;
&lt;br /&gt;
Paths can be specified in a platform independent way. Therefore we defined the following types:&lt;br /&gt;
&lt;br /&gt;
 ::Path = RelativePath [PathStep]&lt;br /&gt;
        | AbsolutePath DiskName [PathStep]&lt;br /&gt;
&lt;br /&gt;
 // on UNIX systems the DiskName is ignored&lt;br /&gt;
 // on DOS/Windows/MacOS the &amp;quot;:&amp;quot; is omitted&lt;br /&gt;
&lt;br /&gt;
 ::PathStep =   PathUp&lt;br /&gt;
            |   PathDown String&lt;br /&gt;
 ::DiskName :== String&lt;br /&gt;
 &lt;br /&gt;
&lt;br /&gt;
To reference a file named &amp;quot;a&amp;quot; in the current directory&amp;#039;s parent direcory type RelativePath [PathUp, PathDown &amp;quot;a&amp;quot;]. The corresponding platform dependent specifications would be &amp;quot;..\\a&amp;quot; (Windows) &amp;quot; ../a&amp;quot; (Unix) or &amp;quot; ::a&amp;quot; (MacOS). To reference the file named &amp;quot;a&amp;quot; on disk &amp;quot;myDisk&amp;quot; of your Mac type  AbsolutePath &amp;quot;myDisk&amp;quot; [PathDown &amp;quot;a&amp;quot;].&lt;br /&gt;
&lt;br /&gt;
The specifications in the definition module should be self explanatory.&lt;br /&gt;
&lt;br /&gt;
Hints: Specifying absolute paths inherently leads into platform dependent programs.To check whether a given file exists use the &amp;quot;getFileInfo&amp;quot; function.&lt;/div&gt;</summary>
		<author><name>Bas Lijnse</name></author>
	</entry>
</feed>