FileNamesImpl.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
L. Stewart, January 16, 1984 1:03 pm
Russ Atkinson (RRA) April 17, 1985 11:39:42 am PST
DIRECTORY
FileNames,
FS USING [EnumerateForNames, Error, FileInfo, GetDefaultWDir, NameProc],
List USING [AList, Assoc, PutAssoc],
ProcessProps USING [GetPropList],
RefText USING [AppendRope, New],
Rope USING [Cat, Concat, Fetch, Find, FromRefText, Index, IsEmpty, Length, Replace, ROPE, SkipTo, Substr, Translate, TranslatorType],
UserCredentials USING [Get];
FileNamesImpl:
CEDAR
PROGRAM
IMPORTS FS, List, ProcessProps, RefText, Rope, UserCredentials
EXPORTS FileNames
= BEGIN
LOR: TYPE = LIST OF ROPE;
LORA: TYPE = LIST OF REF ANY;
ROPE: TYPE = Rope.ROPE;
FileWithSearchRules:
PUBLIC
PROC [root:
ROPE, defaultExtension:
ROPE, requireExtension:
BOOL ←
TRUE, requireExact:
BOOL ←
TRUE, searchRules:
REF
ANY]
RETURNS [fullPath:
ROPE ←
NIL, ambiguous:
BOOL ←
FALSE] = {
FileWithSearchRules uses the working directory and the search rules to try to translate the short name of a file into a full path name. Calls ResolveRelativePath first. NIL is returned if the file cannot be found.
searchRules should either be a LIST OF REF ANY or a LIST OF Rope.ROPE.
If requireExtension, then if root has an extension, it must be the same as defaultExtension.
FileWithSearchRules adds !H to all pattern matches
IF requireExact = TRUE, then FileWithSearchRules will not try for a unique pattern match, but will only check exact names.
FileWithSearchRules returns NIL and ambiguous = TRUE if it finds more than one matching file.
FileNames returns not-NIL and ambiguous = TRUE if the result was found as a consequence of an exact pattern match.
FileWithSearchRules uses the following rules:
IF root is a full path name then {
tries root
tries Concat[root, defaultExtension]
tries for a unique match for Cat[root, *, defaultExtension]
}
ELSE {
tries root (automatically used $WorkingDirectory)
FOR wdir ← each element of search rules {
tries Concat[wdir, root]
}
tries Concat[root, defaultExtension] (automatically used $WorkingDirectory)
FOR wdir ← each element of search rules {
tries Cat[wdir, root, defaultExtension]
}
IF NOT requireExact THEN FOR wdir ← each element of search rules {
tries for a unique match for Cat[wdir, root, *, defaultExtension]
}
}
Returns NIL if can't find it.
fullPathName: BOOL ← FALSE;
withExt: ROPE ← NIL;
withStarExt: ROPE ← NIL;
rules: LORA;
ropeRules: LOR;
list: LORA;
ropeList: LOR;
hasExtension: BOOL;
hasVersion: BOOL;
doRoot, doWithExt, doWithStarExt: BOOL;
Try:
PROC [name:
ROPE, wDir:
ROPE ←
NIL]
RETURNS [found:
BOOL] = {
IF name.IsEmpty[] THEN RETURN[FALSE];
fullPath ← FS.FileInfo[name: name, wDir: wDir ! FS.Error => IF error.group = user THEN CONTINUE].fullFName;
IF
NOT fullPath.IsEmpty[]
THEN {
fullPath ← ConvertToSlashFormat[fullPath];
RETURN[TRUE];
};
RETURN[FALSE];
};
UniqueMatch:
PROC [name:
ROPE, wDir:
ROPE ←
NIL]
RETURNS [found:
BOOL] = {
lst: LOR ← NIL;
p:
FS.NameProc = {
continue ← lst = NIL; -- give up after this name if it is the second one
IF lst # NIL THEN ambiguous ← TRUE;
lst ← CONS[fullFName, lst];
};
IF name.IsEmpty[]
THEN {
fullPath ← NIL;
RETURN[TRUE];
};
FS.EnumerateForNames[pattern: name, proc: p, wDir: wDir ! FS.Error => IF error.group = $user THEN CONTINUE];
IF lst = NIL THEN RETURN[FALSE];
IF ambiguous
THEN {
fullPath ← NIL;
RETURN[TRUE];
};
Exactly one match
ambiguous ← TRUE;
fullPath ← ConvertToSlashFormat[lst.first];
RETURN[TRUE];
};
IF root.IsEmpty[] THEN RETURN[NIL];
root ← ResolveRelativePath[root];
fullPathName ← root.Fetch[0] = '/ OR root.Fetch[0] = '[;
hasExtension ← root.Find["."] # -1;
hasVersion ← root.Find["!"] # -1;
IF requireExtension AND NOT hasExtension AND hasVersion THEN RETURN[NIL];
IF requireExtension
AND hasExtension
THEN {
IF Rope.Find[s1: root, s2: defaultExtension, pos1: 0, case: FALSE] # (Rope.Index[s1: root, s2: "!", pos1: 0, case: TRUE] - defaultExtension.Length[]) THEN RETURN[NIL];
};
IF
NOT hasExtension
THEN {
withExt ← Rope.Concat[root, defaultExtension];
withStarExt ← Rope.Cat[root, "*", defaultExtension];
IF root.Find["!"] = -1
THEN {
withExt ← Rope.Concat[withExt, "!H"];
withStarExt ← Rope.Concat[withStarExt, "!H"];
};
};
doRoot ← NOT requireExtension OR hasExtension;
doWithExt ← NOT hasExtension;
doWithStarExt ← (NOT requireExact) AND (NOT hasExtension);
IF fullPathName
THEN {
try the exact matches
IF doRoot AND Try[name: root] THEN RETURN;
IF doWithExt AND Try[name: withExt] THEN RETURN;
try for a unique match
IF doWithStarExt AND UniqueMatch[name: withStarExt] THEN RETURN;
}
ELSE {
IF doRoot AND Try[name: root] THEN RETURN;
WITH searchRules
SELECT
FROM
lra: LORA => rules ← lra;
lr: LOR => ropeRules ← lr;
ENDCASE;
list ← rules;
ropeList ← ropeRules;
IF doRoot
THEN {
WHILE list #
NIL
DO
IF Try[name: root, wDir: NARROW[list.first, ROPE]] THEN RETURN;
list ← list.rest;
ENDLOOP;
WHILE ropeList #
NIL
DO
IF Try[name: root, wDir: ropeList.first] THEN RETURN;
ropeList ← ropeList.rest;
ENDLOOP;
};
IF doWithExt AND Try[name: withExt] THEN RETURN;
IF doWithExt
THEN {
list ← rules;
ropeList ← ropeRules;
WHILE list #
NIL
DO
IF Try[name: withExt, wDir: NARROW[list.first, ROPE]] THEN RETURN;
list ← list.rest;
ENDLOOP;
WHILE ropeList #
NIL
DO
IF Try[name: withExt, wDir: ropeList.first] THEN RETURN;
ropeList ← ropeList.rest;
ENDLOOP;
};
IF doWithStarExt
THEN {
IF UniqueMatch[name: withStarExt] THEN RETURN;
list ← rules;
ropeList ← ropeRules;
WHILE list #
NIL
DO
IF UniqueMatch[name: withStarExt, wDir: NARROW[list.first, ROPE]] THEN RETURN;
list ← list.rest;
ENDLOOP;
WHILE ropeList #
NIL
DO
IF UniqueMatch[name: withStarExt, wDir: ropeList.first] THEN RETURN;
ropeList ← ropeList.rest;
ENDLOOP;
};
};
};
ParseState: TYPE = {idle, slash, oneDot, twoDots};
ResolveRelativePath:
PUBLIC
PROC [path:
ROPE]
RETURNS [
ROPE] = {
If path starts with or contains ./ or ../, ResolveRelativePath converts it into the equivalent full path name using the $WorkingDirectory property on the process properties list.
If path is exactly . or .., ResolveRelativePath converts it to the current or parent directory.
i: INT ← 0;
state: ParseState ← slash;
pathLength: INT;
out: REF TEXT ← NIL;
char: CHAR;
usedCWD: BOOL ← FALSE;
HandleDot is called with pos pointing to the location of the trailing '/ is the "/./" construct, it works if either the leading or trailing slash aren't there, as in "./xxx" or "xxx/."
After execution of HandleDot, out holds the path tp to and including the leading / while path holds the path after the trailing slash.
If the leading slash doesn't exist, then out will be allocated but empty.
If the trailing slash doesn't exist (or was the last character in path), then path will be empty
HandleDot:
PROC [pos:
INT] = {
IF out = NIL THEN out ← RefText.New[pathLength];
IF pos - 1 > 0 THEN out ← RefText.AppendRope[to: out, from: path.Substr[0, pos - 1]];
out now includes up to and including the leading slash.
IF pos >= pathLength THEN path ← NIL
ELSE path ← path.Substr[pos + 1];
path now starts at the character after the trailing slash
pathLength ← path.Length[]; -- recompute pathLength
};
HandleDotDot:
PROC [pos:
INT] = {
HandleDotDot is called with pos pointing to the location of the trailing '/ is the "/../" construct. It worksif either the leading or trailing slash aren't there, as in "../xxx" or "xxx/.."
After execution of HandleDotDot, out holds the path tp to and including the / terminating the parent directory while path holds the path after the trailing slash.
If the leading slash doesn't exist, then out will contain the parent of CWD.
If the trailing slash doesn't exist (or was the last character in path), then path will be empty
first: BOOL ← TRUE;
pos is the location of the trailing '/
IF out = NIL THEN out ← RefText.New[pathLength];
IF pos - 2 > 0 THEN out ← RefText.AppendRope[to: out, from: path.Substr[0, pos - 2]];
out now contains the path up to and including the leading slash
IF pos >= pathLength THEN path ← NIL
ELSE path ← path.Substr[pos + 1];
path now starts at the character after the trailing slash
pathLength ← path.Length[]; -- recompute pathLength
Now strip back out to the last slash, provided it is not the first character examined
pos ← out.length - 1; -- index of last character in out
DO
IF pos < 0
THEN {
out.length ← 0;
IF usedCWD THEN EXIT;
usedCWD ← TRUE;
out ← RefText.AppendRope[to: out, from: CurrentWorkingDirectory[]];
pos ← out.length - 1; -- continue scanning at end of CWD
LOOP;
};
IF out[pos] = '/
AND
NOT first
THEN {
out.length ← pos + 1;
EXIT;
};
pos ← pos - 1;
first ← FALSE;
ENDLOOP;
};
path ← ConvertToSlashFormat[path];
pathLength ← path.Length[];
IF pathLength = 0 THEN RETURN[path];
DO
IF i >= pathLength THEN EXIT;
char ← path.Fetch[i];
SELECT state
FROM
idle => IF char = '/ THEN state ← slash;
slash => {
SELECT char
FROM
'. => state ← oneDot;
'/ => state ← slash;
ENDCASE => state ← idle;
};
oneDot => {
SELECT char
FROM
'. => state ← twoDots;
'/ => {
-- delete the "./" construct
HandleDot[i];
i ← 0; -- continue scanning from beginning (since HandleDot has re-written path)
state ← slash;
LOOP;
};
ENDCASE => state ← idle;
};
twoDots => {
IF char = '/
THEN {
-- handle the "../" construct
HandleDotDot[i];
i ← 0; -- continue scanning from beginning (since HandleDot has re-written path)
state ← slash;
The next character we get should be the one after the slash
LOOP;
}
ELSE state ← idle;
};
ENDCASE => ERROR;
i ← i + 1;
ENDLOOP;
handle state at end of path
IF state = oneDot
OR state = twoDots
THEN {
The next lines call HandleDot (or DotDot) with a pointer to the '/ which is off the end of the path.
IF state = oneDot THEN HandleDot[pathLength]
ELSE HandleDotDot[pathLength];
path ← Rope.FromRefText[out];
}
ELSE {
IF out # NIL THEN path ← Rope.Concat[Rope.FromRefText[out], path];
};
IF path.IsEmpty[] AND NOT usedCWD THEN path ← CurrentWorkingDirectory[];
RETURN[path];
};
ConvertToSlashFormat:
PUBLIC
PROC [path:
ROPE]
RETURNS [
ROPE] = {
pos: INT;
ToSlash: Rope.TranslatorType = {
new ←
SELECT old
FROM
'[, '], '<, '> => '/
ENDCASE => old;
};
Convert to slashes
pos ← path.Find["]<"];
IF pos # -1 THEN path ← Rope.Replace[base: path, start: pos, len: 2, with: "/"];
IF Rope.SkipTo[s: path, pos: 0, skip: "[]<>"] = path.Length[] THEN RETURN[path];
path ← Rope.Translate[base: path, translator: ToSlash];
RETURN[path];
};
CurrentWorkingDirectory:
PUBLIC
PROC
RETURNS [
ROPE] = {
ra: REF ANY ← List.Assoc[key: $WorkingDirectory, aList: ProcessProps.GetPropList[]];
wDir: ROPE;
length: INT;
slashWDir: ROPE;
IF
ISTYPE[ra,
ROPE]
AND ra #
NIL
THEN {
wDir ← NARROW[ra];
slashWDir ← ConvertToSlashFormat[wDir];
length ← slashWDir.Length[];
IF slashWDir = wDir AND length > 0 AND slashWDir.Fetch[length - 1] = '/ THEN RETURN[wDir]; -- EQ
}
ELSE slashWDir ← ConvertToSlashFormat[FS.GetDefaultWDir[]];
Store back the altered version.
length ← slashWDir.Length[];
IF length > 0
AND slashWDir.Fetch[length - 1] # '/
THEN
slashWDir ← Rope.Concat[slashWDir, "/"];
[] ← List.PutAssoc[key: $WorkingDirectory, val: slashWDir, aList: ProcessProps.GetPropList[]];
RETURN[slashWDir];
};
HomeDirectory:
PUBLIC
PROC
RETURNS [
ROPE] = {
RETURN[Rope.Cat["///Users/", UserCredentials.Get[].name, "/"]];
};
IsADirectory:
PUBLIC
PROC [path:
ROPE]
RETURNS [
BOOL] = {
length: INT;
path ← ConvertToSlashFormat[path];
length ← path.Length[];
IF length = 0 THEN RETURN[FALSE];
RETURN[path.Fetch[length-1] = '/];
};
IsAPattern:
PUBLIC
PROC [path:
ROPE]
RETURNS [
BOOL] = {
RETURN[path.Find["*"] # -1];
};
GetShortName:
PUBLIC
PROC [path:
ROPE, stripOffVersionNumber:
BOOL ←
TRUE]
RETURNS [
ROPE] = {
path ← ConvertToSlashFormat[path];
IF stripOffVersionNumber
THEN {
Strip off the version number
pos: INT ← path.Find["!"];
IF pos # -1 THEN path ← path.Substr[0, pos];
};
RETURN[Tail[s: path, char: '/]];
};
Tail:
PUBLIC
PROC [s:
ROPE, char:
CHAR]
RETURNS [
ROPE] = {
Tail returns the part of a rope after the last instance of char.
pos: INT ← s.Length[] - 1;
IF pos < 0 THEN RETURN[NIL];
DO
IF s.Fetch[pos] = char THEN RETURN[s.Substr[pos + 1]];
IF pos = 0 THEN RETURN[s];
pos ← pos - 1;
ENDLOOP;
};
StripVersionNumber:
PUBLIC
PROC [path:
ROPE]
RETURNS [
ROPE] = {
pos: INT;
path ← ConvertToSlashFormat[path];
pos ← path.Find["!"];
IF pos = -1 THEN RETURN[path];
RETURN[path.Substr[0, pos]];
};
IsRemote:
PUBLIC
PROC [path:
ROPE]
RETURNS [
BOOL] = {
first, second: CHAR;
path ← ConvertToSlashFormat[path];
IF path.Length[] < 2 THEN ERROR;
first ← path.Fetch[0];
second ← path.Fetch[1];
RETURN[NOT ((first = '/ AND second = '/) OR (first = '[ AND second = ']))];
};
InASubdirectory:
PUBLIC
PROC [parent:
ROPE, path:
ROPE]
RETURNS [
BOOL] = {
pos: INT;
path ← ConvertToSlashFormat[path];
pos ← Rope.Find[s1: path, s2: parent, case: FALSE];
IF pos = -1 THEN RETURN [FALSE];
RETURN [Rope.Find[s1: path, s2: "/", pos1: parent.Length[]] # -1];
};
FirstSubdirectory:
PUBLIC
PROC [parent:
ROPE, path:
ROPE]
RETURNS [
ROPE] = {
pos: INT;
end: INT;
path ← ConvertToSlashFormat[path];
pos ← Rope.Find[s1: path, s2: parent, case: FALSE];
IF pos # 0 THEN RETURN [NIL];
pos ← parent.Length[];
IF pos = 0 THEN RETURN [NIL];
end ← Rope.Find[s1: path, s2: "/", pos1: pos];
IF end = -1 THEN RETURN [NIL];
RETURN [Rope.Substr[base: path, start: 0, len: end + 1]];
};
DirectoryContaining:
PUBLIC
PROC [path:
ROPE, pos:
INT]
RETURNS [
ROPE] = {
Return the prefix of the part of name before pos which is the name of a directory.
length: INT;
path ← ConvertToSlashFormat[path];
length ← path.Length[];
IF length = 0 THEN RETURN[NIL];
pos ← MIN[pos, length-1];
DO
IF path.Fetch[pos] = '/ THEN RETURN[Rope.Substr[base: path, start: 0, len: pos + 1]];
IF pos = 0 THEN RETURN[NIL];
pos ← pos - 1;
ENDLOOP;
};
Directory:
PUBLIC
PROC [path:
ROPE]
RETURNS [
ROPE] = {
Return the directory part of a name.
c: CHAR;
pos: INT;
path ← ConvertToSlashFormat[path];
pos ← path.Length[];
DO
pos ← pos - 1;
IF pos < 0 THEN RETURN[NIL];
c ← path.Fetch[pos];
IF c = '/ OR c = '> OR c = '] THEN RETURN[Rope.Substr[base: path, start: 0, len: pos + 1]];
ENDLOOP;
};
Parent:
PUBLIC
PROC [path:
ROPE]
RETURNS [
ROPE] = {
If path is a directory, then returns the parent directory. If path is a file, then returns the current directory. In either case, this means that Parent returns the directory which contains the current object.
pathLength: INT;
pos: INT;
path ← ConvertToSlashFormat[path];
pathLength ← path.Length[];
IF pathLength <= 1 THEN RETURN[NIL];
pos ← IF path.Fetch[pathLength - 1] = '/ THEN pathLength - 2 ELSE pathLength - 1;
RETURN [DirectoryContaining[path: path, pos: pos]];
};
END.
January 15, 1984 6:01 pm, Stewart, bulletproofing, fix ResolveRelativePath