
DIRECTORY
Ascii USING [NUL, SP, TAB],
Commander USING [CommandProc, Handle, Register],
Convert USING [CardFromRope, Error, RopeFromCard],
IO USING [BreakProc, CharClass, GetTokenRope, PutF, rope, STREAM],
PFSBackdoor,
PFSNames,
ProcessProps USING [GetProp],
RefText USING [Append, Fetch, Length, ObtainScratch, ReleaseScratch],
Rope USING [Concat, Fetch, FromRefText, IsEmpty, Length, ROPE, Substr],
RuntimeError USING [ ],
XNSFilingNames USING [ ],
XNSFilingOps USING [Op],
XNSFilingPrivate USING [ ];

XNSFilingPathImpl: CEDAR MONITOR
IMPORTS Commander, Convert, IO, PFSBackdoor, PFSNames, ProcessProps, RefText, Rope
EXPORTS XNSFilingNames, XNSFilingPrivate
SHARES PFSNames ~ {
ROPE: TYPE ~ Rope.ROPE;
DebugOut: PUBLIC PROC [msg: ROPE] ~ {
IF ( debugging ) THEN {
cmd: Commander.Handle ~ NARROW[ProcessProps.GetProp[$CommanderHandle]];
out: IO.STREAM ~ IF ( cmd # NIL )
THEN cmd.out ELSE  NARROW[ProcessProps.GetProp[$StdOut]];
IF ( out = NIL ) THEN { --MessageWindow.Append[msg, TRUE];-- RETURN };
out.PutF["%g\n", IO.rope[msg] ];
};
};

debugging: BOOL м FALSE;

DebugCmd: Commander.CommandProc ~ {
atom: ATOM ~ NARROW[cmd.procData.clientData];
SELECT atom FROM
$true => { debugging м TRUE };
$false => { debugging м FALSE };
ENDCASE => { result м $Failure };
};
Error: ERROR ~ CODE;

Unparsed: TYPE ~ RECORD [ canonicalUnparsing: ROPE м NIL ];

UnparseName: PUBLIC PROC [name: PFSNames.PATH] RETURNS [filingName: ROPE] ~ {
serverComponent: BOOL м TRUE;
cproc: PFSNames.ComponentProc ~ {
chunk: ROPE ~ UnparseComponent[comp];
filingName м filingName.Concat[chunk];
IF ( serverComponent ) THEN { 
IF ( comp.name.len # 0 ) THEN filingName м filingName.Concat[":"];
serverComponent м FALSE; 
}
};
sproc: PFSNames.SeparatorProc ~ {
IF ( NOT serverComponent )
THEN { IF ( separatorPresent ) THEN filingName м filingName.Concat["/"] }
ELSE { IF ( NOT separatorPresent ) THEN serverComponent м FALSE };
};
unparsed: REF Unparsed;
name м PFSNames.NonNIL[name];
unparsed м WITH name.GetUnparsingHint[] SELECT FROM
unp: REF Unparsed => unp,
ENDCASE => NIL;
IF ( unparsed # NIL ) THEN RETURN [unparsed.canonicalUnparsing];
name.Map[cproc, sproc];
};

UnparseComponent: PUBLIC PROC [component: PFSNames.Component] RETURNS [r: ROPE] ~ {
chunk: ROPE ~ component.name.base.Substr[component.name.start, component.name.len];
vers: ROPE ~ UnparseVersion[component.version];
r м Rope.Concat[chunk, vers];
};

UnparseVersion: PUBLIC PROC [version: PFSNames.Version] RETURNS [r: ROPE] ~ {
HardCase: PROC RETURNS [v: ROPE] ~ INLINE {
numb: ROPE ~ Convert.RopeFromCard[version.version];
v м Rope.Concat["!", numb];
};
r м SELECT version.versionKind FROM
none => NIL,
lowest => "!-",
highest => "!+",
all => "!*",
numeric => HardCase[],
ENDCASE => NIL;
};

ParseName: PUBLIC PROC [name: ROPE] RETURNS [parsedName: PFSNames.PATH] ~ {
absolute, directory: BOOL м FALSE;
comps: LIST OF PFSNames.Component м NIL;
IF ( name.IsEmpty[] ) THEN RETURN [NIL];
IF ( FALSE ) THEN DebugOut[name];
absolute м ( name.Fetch[0] = '/ );
IF ( absolute ) THEN comps м CONS[ [], comps ];
directory м ( name.Fetch[name.Length[]-1] = '/ );
{
ENABLE Error => {
msg: ROPE ~ name.Concat[": syntactically invalid file name"];
PFSBackdoor.ProduceError[invalidNameSyntax, msg];
};
pos: NAT м IF ( absolute ) THEN 1 ELSE 0;
limit: NAT м name.Length[];
firstComponent: BOOL м TRUE;
ScanComponent: PROC ~ {
nextComp: PFSNames.Component;
base: ROPE; start, len: INT;
[nextComp, pos] м ParseComponent[name, pos];
base м nextComp.name.base; start м nextComp.name.start; len м nextComp.name.len;
SELECT TRUE FROM
( NOT firstComponent ) => { NULL };
( absolute ) => { NULL };
( len <= 0 ) => { NULL };
( base.Fetch[start+len.PRED] = ': ) => {
absolute м TRUE;
nextComp.name.len м len.PRED;
};
ENDCASE => { NULL };
firstComponent м FALSE;
comps м CONS[nextComp, comps];
};
ScanSeparator: PROC ~ {
IF ( name.Fetch[pos] # '/ ) THEN ERROR Error[];
pos м pos.SUCC;
};
DO
IF ( pos >= limit ) THEN EXIT;
ScanComponent[];
IF ( pos >= limit ) THEN EXIT;
ScanSeparator[];
ENDLOOP;
};
{
unparsed: REF Unparsed ~ NEW[Unparsed м [name]];
parsedName м PFSNames.ConstructName[components: comps, absolute: absolute, directory: directory, reverse: TRUE, unparsed: unparsed];
};
};

ParseComponent: PUBLIC PROC [name: ROPE, first: NAT м 0]
RETURNS [component: PFSNames.Component м [], next: NAT] ~ {
limit: NAT м name.Length[];
next м first;
DO
IF ( next >= limit ) THEN {
component.name м [name, first, next-first];
EXIT;
};
SELECT ( name.Fetch[next] ) FROM
'! => {
component.name м [name, first, next-first];
[component.version, next] м ParseVersion[name, next];
EXIT;
};
'/ => {
component.name м [name, first, next-first];
EXIT;
};
ENDCASE => next м next.SUCC;
ENDLOOP;
};

ParseVersion: PUBLIC PROC [v: ROPE, first: NAT м 0]
RETURNS [version: PFSNames.Version м [none], next: NAT] ~ {
limit: NAT м v.Length[];
next м first;
IF ( next >= limit ) THEN RETURN;
IF ( v.Fetch[next]#'! ) THEN ERROR Error[];
next м next.SUCC;
SELECT v.Fetch[next] FROM 
IN ['0..'9] => {
vers: ROPE; card: CARD32;
start: NAT м next;
next м next.SUCC;
WHILE ( next < limit ) AND ( v.Fetch[next] IN ['0..'9] ) DO next м next.SUCC ENDLOOP;
vers м v.Substr[start, next-start];
card м Convert.CardFromRope[vers];
version м [numeric, card]; -- next м next;
RETURN;
};
'H, 'h => RETURN[ [highest], next.SUCC ];
'L, 'l => RETURN[ [lowest], next.SUCC ]; 
'+ => RETURN[ [highest], next.SUCC ];
'- => RETURN[ [lowest], next.SUCC ]; 
'N, 'n => RETURN[ [next], next.SUCC ]; 
'* => RETURN[ [all], next.SUCC ]; 
ENDCASE => NULL;
ERROR Error[];
};

ParseNameFromStream: PUBLIC PROC [s: IO.STREAM] RETURNS [name: PFSNames.PATH] ~ {
FileNameProc: IO.BreakProc ~ {
OPEN Ascii;
class: IO.CharClass ~ SELECT char FROM
NUL, SP, TAB => sepr,
ENDCASE => other;
RETURN [class];
};
ropeName: ROPE м IO.GetTokenRope[s, FileNameProc].token;
name м ParseName[ropeName];
};

RopeForPath: PROC [path: PFSNames.PATH] RETURNS [rope: ROPE м NIL] ~ {
};

ParseFSName: PROC [file: ROPE]
RETURNS [dir: LIST OF ROPE, name: ROPE, vers: PFSNames.Version] ~ {
dirSeen: BOOL м FALSE;
versR: ROPE м NIL;
stopAt: INT м file.Length[];
FOR i: INT DECREASING IN [0..file.Length[]) DO
c: CHAR ~ file.Fetch[index: i];
SELECT c FROM
'! => { versR м file.Substr[start: i]; stopAt м i.PRED };
'> => {
IF ( dirSeen )
THEN dir м CONS[file.Substr[start: i.SUCC, len: stopAt.PRED], dir]
ELSE name м file.Substr[start: i.SUCC, len: stopAt - i];
dirSeen м TRUE;
stopAt м i-1;
};
'< => {
dir м CONS[file.Substr[start: i.SUCC, len: stopAt-i], dir];
EXIT; -- this must be the last char
};
ENDCASE => NULL;
ENDLOOP;
vers м [$none];
IF ( versR.Length[] > 1 ) THEN {
rope: ROPE ~ Rope.Substr[base: versR, start: 1];
card: CARD32 м 0;
card м Convert.CardFromRope[rope ! Convert.Error => { CONTINUE }];
IF ( card > 0 ) THEN vers м [$numeric, card];
};
};

ConvertFSNameToXNS: PUBLIC PROC [file: ROPE, op: XNSFilingOps.Op]
RETURNS [name: ROPE м NIL] ~ {
text: REF TEXT ~ RefText.ObtainScratch[nChars: 200];
AddChar: PROC [c: CHAR] = { text[text.length] м c; text.length м text.length.SUCC };
versionR: ROPE м NIL;
text.length м 0;
FOR i: INT IN [0..file.Length[]) DO
c: CHAR ~ file.Fetch[index: i];
SELECT c FROM
'< => { LOOP }; -- throw the < away.
'> => { AddChar['/] }; -- the XNS server uses / as a file separator
'* => { AddChar[c]; AddChar[c] }; -- kludge to handle *
'! => { versionR м file.Substr[start: i]; EXIT }; -- the whole version including the !
ENDCASE => { AddChar[c] };
ENDLOOP;
name м Rope.FromRefText[s: text];
RefText.ReleaseScratch[t: text];
IF ( versionR # NIL ) THEN {
SELECT versionR.Length[] FROM
0 => { versionR м NIL }; -- no version specified
1 => {
versionR м SELECT op FROM
delete => "!-", -- lowest
enumerate => NIL,
enumerateNames => NIL,
rename => "!+", -- highest
retrieve => "!+", -- highest
store => "!+", -- is this right?
ENDCASE => ERROR; -- can't happen 
};
2 => { -- is it H, L or *?
versionR м SELECT versionR.Fetch[1] FROM
'h, 'H => "!+",
'l, 'L => "!-",
'* => NIL,
ENDCASE => versionR;
};
ENDCASE => NULL;
IF ( versionR # NIL ) THEN name м name.Concat[versionR];
};
};

ConvertPathToFile: PROC [path: REF TEXT, isDir: BOOL м FALSE]
RETURNS [file: ROPE м NIL] ~ {
slashSeen: BOOL м FALSE;
state: {name, version} м name;
name: REF TEXT м RefText.ObtainScratch[nChars: 200];
ver: REF TEXT м RefText.ObtainScratch[nChars: 200];
AddChar: PROC [t: REF TEXT, c: CHAR] ~ { t[t.length] м c; t.length м t.length.SUCC };
name.length м 0;
ver.length м 0;
AddChar[name, '<]; -- since the path doesn't have this
FOR i: INT IN [0..RefText.Length[path]) DO
c: CHAR ~ RefText.Fetch[path, i];
SELECT c FROM
'! => { ver.length м 0; state м version };
'/ => {
slashSeen м TRUE;
ver.length м 0;  -- discard the version information since it is still a subdir
state м name; -- go back to collection characters
AddChar[name, '>]; -- insert FS's notion of what a delineator is
};
'> => { -- an illegal character
RefText.ReleaseScratch[t: name];
RefText.ReleaseScratch[t: ver];
RETURN;
};
ENDCASE => {
SELECT state FROM
name => AddChar[name, c];
version => AddChar[ver, c];
ENDCASE => ERROR;
};
ENDLOOP;
IF ( state = version ) THEN { -- this is the version from the item last on the path
IF ( ( NOT slashSeen ) OR ( isDir ) ) THEN AddChar[name, '>];
AddChar[name, '!]; -- indicate the version
name м RefText.Append[to: name, from: ver]; -- and glue it on
};
file м Rope.FromRefText[s: name];
RefText.ReleaseScratch[t: name];
RefText.ReleaseScratch[t: ver];
};

Commander.Register["XNSFiling.DebugOn", DebugCmd, "start logging", $true];
Commander.Register["XNSFiling.DebugOff", DebugCmd, "stop logging", $false];
}.

   Ф  
XNSFilingPathImpl.mesa
Copyright ╙ 1990, 1992 by Xerox Corporation.  All rights reserved.
Bill Jackson (bj), May 30, 1990 3:33 pm PDT
MessageWindow USING [Append],
Magic
XNSFilingNames
Canonical parsing.
A convenient way to read a whitespace-delimited name from a stream; 
Filename Utils
the version rope is just a ! so do the 'default'
discard the version information since it is still a subdir
 Э╩╬  Ц(cedarcode) styleХNewlineDelimiter
Щ ЪЬЩJЪЬ
╧eЬ7ЩBJЩ+IcodeШ ЧЪ╧k	Ш	KЪ	ЬЮЬЮЬЮЬЮЬШKЪЬ
ЮЬ!Ш0KЪЬЮЬ%Ш2KЪЮЬЮЬ2ЮЬШBKЪЬЮЬ
ЩKЪЬШKЪЬ	Ш	KЪЬЮЬШKЪЬЮЬ8ШEKЪЬЮЬ/ЮЬ
ШGKЪЬЮЬШKЪЬЮЬШKЪЬЮЬШKЪЬЮЬШKШ ЧЪ╧nЬЮЬЮШ KЪЮЬЮЬ4ШRKЪЮЬ!Ш(KЪЮЬШKЪЮЬЮЬЮЬШhead2Ъ╧zЩЪЯЬЮЬЮЬЮЬШ%ЪЮЬЮЬШKЪЬЮЬ)ШGKЪЬЮЬЮЬЮЬ	ЮЬЮЬ	ЮЬЮЬ Ш[KЪ
ЮЬ	ЮЬЮЬ╧c$ЬЮЬШFKЪЬЮЬШ KШЧKШKШ ЧKЪЬЮЬЮЬШKШ ЪЯЬШ#KЪЬЮЬЮЬШ-ЪЮЬЮШKЪЬЮЬШKЪЬЮЬШ KЪЮЬШ!ЧKШЧЧЪаЩЪЯЬЮЬЮЬШKШ ЧЪ	Ь
ЮЬЮЬЮЬЮЬШ;KШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬШMKЪЬЮЬЮЬШЪЬ!Ш!KЪЬЮЬШ%KШ&ЪЮЬЮЬШKЪЮЬЮЬ%ШBKЪЬЮЬШKЪЬШЧKЪЬШЧЪЬ!Ш!ЪЮЬЮЬШKЪЮЬЮЬЮЬ&ШIKЪ
ЮЬЮЬЮЬЮЬЮЬШBЧKЪЬШЧKЪЬ
ЮЬ
ШKШЪЬЮЬЮЬЮШ3KЪЬЮЬШKЪЮЬЮЬШЧKЪЮЬЮЬЮЬЮЬШ@KШKШKШ ЧЪ
ЯЬЮЬЮЬ!ЮЬЮЬШSKЪЬЮЬHШSKЪЬЮЬ%Ш/KШKШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШMЪ
ЯЬЮЬЮЬЮЬЮЬШ+KЪЬЮЬ)Ш3KШKШЧЪЬЮЬЮШ#KЪЬЮЬШKШKШKШKЪЬШKЪЮЬЮЬШЧKШKШ ЧЪЯ	ЬЮЬЮЬЮЬЮЬЮЬШKKЩKЪЬЮЬЮЬШ"KЪЬЮЬЮЬЮЬШ(KЪЮЬЮЬЮЬЮЬШ(KЪЮЬЮЬЮЬШ!KШ"KЪЮЬЮЬ	ЮЬШ/KШ1ШЪЮЬШKЪЬЮЬ4Ш=KЪЬ1Ш1KШЧKЪ	ЬЮЬЮЬЮЬЮЬШ)KЪЬЮЬШKЪЬЮЬЮЬШЪЯЬЮЬШKЪЬШKЪЬЮЬЮЬШKШ,KШPЪЮЬЮЬЮШKЪЬЮЬЮЬШ#KЪЬЮЬШKЪЬЮЬШЪЬЮЬШ(KЪЬЮЬШKЪЬЮЬШKШЧKЪЮЬЮЬШЧKЪЬЮЬШKЪЬЮЬШKШЧЪЯЬЮЬШKЪЮЬЮЬЮЬ	Ш/KЪЬ
ЮЬШKЪЬШЧЪЮШKЪЮЬЮЬЮЬШKЪЬШKЪЮЬЮЬЮЬШKШKЪЮЬШЧKШЧЪЬШKЪЬ
ЮЬЮЬШ0KЪЬjЮЬШДKЪЬШЧKЪЬШKШ ЧЪЯЬЮЬЮЬЮЬ	ЮЬЮЬ,ЮЬШtKЪЬЮЬШKШЪЮШЪЮЬЮЬШKШ+KЪЮЬШKШЧЪЮЬЮШ ЪЬШKШ+KШ5KЪЮЬШKЪЬШЧЪЬШKШ+KЪЮЬШKЪЬШЧKЪЮЬЮЬШЧKЪЮЬШЧKШKШ ЧЪЯЬЮЬЮЬЮЬ	ЮЬЮЬ,ЮЬШoKЪЬЮЬШKШKЪЮЬЮЬЮЬШ!KЪЮЬЮЬЮЬ	Ш+KЪЬЮЬШЪЮЬЮЬШЪЮЬШKЪЬЮЬЮЬШKЪЬЮЬШKЪЬЮЬШKЪЮЬЮЬЮЬЮЬЮЬЮЬШUKШ#KШ"KЪЬбЬбШ*KЪЮЬШKЪЬШЧKЪЬ
ЮЬЮЬШ)KЪЬ
ЮЬЮЬШ)KЪЬЮЬЮЬШ%KЪЬЮЬЮЬШ%KЪЬ
ЮЬЮЬШ'KЪЬЮЬЮЬШ"KЪЮЬЮЬШЧKЪЮЬ	ШKШKШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬШQKЩDЪЯЬЮЬШKЪЮЬШЪЬЮЬЮЬЮШ&KЪЮЬЮЬЮЬ	ШKЪЮЬ
ШЧKЪЮЬ	ШKЪЬШЧKЪЬ
ЮЬЮЬ%Ш8KШKЪЬШЧKШ ЧЪаЩЪЯЬЮЬЮЬЮЬЮЬЮЬШFKШKШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШbKЪЬ	ЮЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬШЪ	ЮЬЮЬЮ
ЬЮЬЮШ.KХStartOfExpansion [base: ROPE, index: INT _ 0]ЪЬЮЬШЪЮЬЮШKЪЬ2ЮЬШ9ЪЬШЦ9[base: ROPE, start: INT _ 0, len: INT _ 2147483647]ЪЮЬШKЪЮЬЮЬЮЬЮЬШBKЪЮЬЮЬШ8ЧKЪЬ
ЮЬШKШKЪЬШЧЪЬШKЪЬЮЬЮЬШ;KЪЮЬбШ#KШЧKЪЮЬЮЬШЧKЪЮЬШЧKШЪЮЬЮЬШ KЪЬЮЬ&Ш0KЪЬЮЬШKЪЬ6ЮЬШBKЪЮЬЮЬШ-KШЧKШKШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬШ`KЪЬЮЬЮЬ&Ш4KЦ[nChars: NAT]ЪЯЬЮЬЮЬ7ЮЬШTKЪЬ
ЮЬЮЬШKШЪЮЬЮЬЮЬЮШ#KЦ [base: ROPE, index: INT _ 0]ЪЬЮЬШЪЮЬЮШKЪЬЮЬбШ$KЪЬб,ШCKЪЬ"бШ7KЪЬ*ЮЬб$ШVKЪЮЬШЧKЪЮЬШЧKЦ([base: ROPE _ NIL, rest: ROPE _ NIL]Ш!KЦ[t: REF TEXT]Ш ЪЮЬЮЬЮЬШЪЮЬЮШKЪЬЮЬбШ0ЪЬШKЪЬ0Щ0ЪЬЮЬЮШKЪЬб	ШKЪЬЮЬШKЪЬЮЬШKЪЬб
ШKЪЬб
ШKЪЬбШ KЪЮЬЮЬбШ"ЧKЪЬШЧЪЬбШЪЬЮЬЮШ(KЪЬШKЪЬШKЪЬЮЬШ
KЪЮЬШЧKШЧKЪЮЬЮЬШЧKЪЮЬЮЬЮЬШ8KЪЬШЧKЪЬШЧKШ ЪЯЬЮЬЮЬЮЬ	ЮЬЮЬЮЬЮЬЮЬШ\KЪЬЮЬЮЬШKШKЪЬЮЬЮЬ&Ш4KЪЬЮЬЮЬ&Ш3KЦ[nChars: NAT]ЪЯЬЮЬЮЬЮЬЮЬ+ЮЬШUKШKШKЪЬб#Ш6ЪЮЬЮЬЮЬЮШ*KЪЬЮЬШ!ЪЮЬЮШШ*KЪЬ:Щ:ЧЪЬШKЪЬЮЬШKЪЬб=ШNKЪЬб#Ш1KЪЬб-Ш@KЪЬШЧЪЬбШKЦ[t: REF TEXT]Ш KЦ[t: REF TEXT]ШKЪЮЬШKШЧЪЮЬШЪЮЬЮШKЪЬШKЪЬШKЪЮЬЮЬШЧKЪЬШЧЧKЪЮЬШЧЪЮЬЮЬб5ШSKЦP[to: REF TEXT, from: RefText.PureText, start: NAT _ 0, len: NAT _ 32767]ЪЮЬЮЬЮЬЮЬШ=KЪЬбШ*KЪЬ,бШ=KЪЬШЧKЦ>[s: REF READONLY TEXT, start: NAT _ 0, len: NAT _ 32767]Ш!KЦ[t: REF TEXT]Ш KЦ[t: REF TEXT]ШKЪЬШKШ ЧЧKЪЬJШJKЪЬKШKKШKШ ЧЧ ЕЧ    %h  6╩  