DIRECTORY
CrRPC USING [Handle],
IO USING [STREAM],
PFS USING [FileType, Mutability, nullUniqueID, tUnspecified, UniqueID],
PFSClass USING [AttachProc, CloseProc, CopyProc, DeleteProc, EnumerateClientPropertiesProc, EnumerateForInfoProc, EnumerateForNamesProc, FileInfoProc, FileManipulationProcs, FileManipulationProcsObject, FSHandle, FSObject, GetClientPropertyProc, GetHandleProc, GetInfoProc, LookupNameProc, MaintenanceProcs, MaintenanceProcsObject, OpenFile, OpenProc, ReadProc, Register, RenameProc, RetrieveProc, SetAttributesProc, SetByteCountAndUniqueIDProc, SetClientPropertyProc, StoreProc, SweepProc, ValidateProc, WriteProc],
PFSNames USING [PATH],
Rope USING [ROPE];

XNSViewImpl: CEDAR MONITOR LOCKS tr USING tr: Transport
IMPORTS PFSClass ~ {
ROPE: TYPE ~ Rope.ROPE;
Transport: TYPE ~ REF TransportBody;
TransportBody: TYPE ~ MONITORED RECORD [
crH: CrRPC.Handle,
mnt: REF
];

TransportProc: TYPE ~ PROC [tr: Transport];

CallProtected: PROC [mnt: REF, inner: TransportProc] ~ {
crH: CrRPC.Handle ~ NIL;
link: Transport ~ NEW[TransportBody];
UnderLock: ENTRY TransportProc ~ {
ENABLE UNWIND => { NULL };
inner[tr];
};
link.crH м crH;
link.mnt м mnt;
UnderLock[link];
};
xnsFlavor: ATOM ~ $XNS;

VFS: TYPE ~ REF VFSInstance;
VFSInstance: TYPE ~ RECORD [
fs: ROPE,
flavorSpecified: BOOL
];

GetHandle: PFSClass.GetHandleProc ~ {
instance: VFS ~ NEW[VFSInstance м [fs: fs, flavorSpecified: flavorSpecified] ];
downMsg м NIL;
h м NEW[PFSClass.FSObject м vfsн];
h.data м instance;
};

vfs: PFSClass.FSHandle ~ NEW [PFSClass.FSObject м [
flavor: xnsFlavor,
name: NIL, -- filled in upon instantiation
maintenanceProcs: mo,
procs: fmo,
data: NIL -- filled in upon instantiation
]];
mo: PFSClass.MaintenanceProcs ~
NEW [PFSClass.MaintenanceProcsObject м [
sweep: Sweep,
validate: Validate
]];
Sweep: PFSClass.SweepProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
NULL;
};

Validate: PFSClass.ValidateProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
obsolete м FALSE; downMsg м NIL;
IF ( FALSE ) THEN { obsolete м TRUE; downMsg м NIL };
IF ( FALSE ) THEN { obsolete м FALSE; downMsg м "downMsg" };
};
fmo: PFSClass.FileManipulationProcs ~
NEW[PFSClass.FileManipulationProcsObject м [
delete: Delete,
enumerateForInfo: EnumerateForInfo,
enumerateForNames: EnumerateForNames,
fileInfo: FileInfo,
lookupName: Lookup,
rename: Rename,
copy: Copy,
setAttributes: SetAttributes,
setByteCountAndUniqueID: SetByteCountAndUniqueID,
setClientProperty: SetClientProperty,
getClientProperty: GetClientProperty,
enumerateClientProperties: EnumerateClientProperties,
read: Read,
write: Write,
open: Open,
close: Close,
store: Store,
retrieve: Retrieve,
attach: Attach,
getInfo: GetInfo
]];
XNSDelete: PROC ~ {
<<
fileH: FilingP10V5.Handle; withKids: BOOL;
[fileH: fileH, withKids: withKids] м FindFile[mnt, crH, file, wantedUniqueID, $delete];
IF ( withKids ) THEN {
ENABLE UNWIND => {
mnt.session.verifier м XNSAuth.GetNextVerifier[mnt.conversation];
FilingP10V5.Close[h: crH, file: fileH, session: mnt.sessionн];
};
xx: ROPE ~ IO.PutFR["Directory %g has children", IO.rope[file] ];
PFSBackdoor.ProduceError[accessDenied, xx]
};
{
delete: BOOL м IF ( proc = NIL ) THEN TRUE ELSE proc[fullName, uniqueID];
IF ( delete ) THEN {
mnt.session.verifier м XNSAuth.GetNextVerifier[mnt.conversation];
FilingP10V5.Delete[h: crH, file: fileH, session: mnt.sessionн];
};
};
mnt.active м FALSE; ReturnConnection[crH];
>>
};

Delete: PFSClass.DeleteProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
DeleteInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
fullName: PFSNames.PATH м NIL;
uniqueID: PFS.UniqueID м PFS.nullUniqueID;
continue: BOOL м IF ( proc = NIL ) THEN TRUE ELSE proc[fullName, uniqueID];
};
CallProtected[mnt, DeleteInner];
};

XNSEnumerateForInfo: PROC ~ {
<<
P: PROC [file: ROPE, bytes: INT, created: BasicTime.GMT, fileType: FileType, version: Version, fID: FileID, isDir: BOOL, withKids: BOOL, pathName: REF TEXT] RETURNS [continue: BOOL] = {
continue м proc[file, bytes, created, fileType];
};
InnerEnumerate[h, pattern, FALSE, P, $enumerate];
>>
};

EnumerateForInfo: PFSClass.EnumerateForInfoProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
EnumerateForInfoInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
fullFName: PFSNames.PATH м NIL;
attachedTo: PFSNames.PATH м NIL;
uniqueID: PFS.UniqueID м PFS.nullUniqueID;
bytes: INT м 0;
mutability: PFS.Mutability м immutable;
fileType: PFS.FileType м PFS.tUnspecified;
continue: BOOL м IF ( proc = NIL ) THEN TRUE ELSE
proc[fullFName, attachedTo, uniqueID, bytes, mutability, fileType];
};
CallProtected[mnt, EnumerateForInfoInner];
};

EnumerateForNames: PFSClass.EnumerateForNamesProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
EnumerateForNamesInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
name: PFSNames.PATH;
continue: BOOL м IF ( proc = NIL ) THEN TRUE ELSE proc[name];
};
CallProtected[mnt, EnumerateForNamesInner];
};

FileInfo: PFSClass.FileInfoProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
FileInfoInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
version м [none];
attachedTo м NIL;
bytes м 0;
uniqueID м PFS.nullUniqueID;
mutability м immutable;
fileType м PFS.tUnspecified;
};
CallProtected[mnt, FileInfoInner];
};

Lookup: PFSClass.LookupNameProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
path: PFSNames.PATH;
LookupInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
path м NIL;
};
CallProtected[mnt, LookupInner];
RETURN[path];
};

Rename: PFSClass.RenameProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
RenameInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
done м TRUE;
};
CallProtected[mnt, RenameInner];
};

Copy: PFSClass.CopyProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
CopyInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
done м TRUE;
};
CallProtected[mnt, CopyInner];
};

SetAttributes: PFSClass.SetAttributesProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
SetAttributesInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
NULL;
};
CallProtected[mnt, SetAttributesInner];
};

SetByteCountAndUniqueID: PFSClass.SetByteCountAndUniqueIDProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
SetByteCountAndUniqueIDInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
NULL;
};
CallProtected[mnt, SetByteCountAndUniqueIDInner];
};

SetClientProperty: PFSClass.SetClientPropertyProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
SetClientPropertyInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
NULL;
};
CallProtected[mnt, SetClientPropertyInner];
};

GetClientProperty: PFSClass.GetClientPropertyProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
GetClientPropertyInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
propertyValue м NIL;
};
CallProtected[mnt, GetClientPropertyInner];
};

EnumerateClientProperties: PFSClass.EnumerateClientPropertiesProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
EnumerateClientPropertiesInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
propertyName: ROPE; propertyValue: ROPE;
continue: BOOL м IF ( proc = NIL ) THEN TRUE ELSE proc[propertyName, propertyValue];
};
CallProtected[mnt, EnumerateClientPropertiesInner];
};

Open: PFSClass.OpenProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
of: PFSClass.OpenFile;
OpenInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
of м NIL;
};
CallProtected[mnt, OpenInner];
RETURN[of];
};

Read: PFSClass.ReadProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
ReadInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
bytesRead м 0;
};
CallProtected[mnt, ReadInner];
};

Write: PFSClass.WriteProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
WriteInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
bytesWritten м 0;
};
CallProtected[mnt, WriteInner];
};

Close: PFSClass.CloseProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
CloseInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
NULL;
};
CallProtected[mnt, CloseInner];
};

Store: PFSClass.StoreProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
StoreInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
fullName: PFSNames.PATH м NIL;
continue: BOOL м IF ( proc = NIL ) THEN TRUE ELSE proc[fullName];
};
CallProtected[mnt, StoreInner];
};

Retrieve: PFSClass.RetrieveProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
RetrieveInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
fullFName: PFSNames.PATH м NIL;
bytes: INT м 0;
uniqueID: PFS.UniqueID м PFS.nullUniqueID;
s: IO.STREAM м IF ( proc = NIL ) THEN NIL ELSE proc[fullFName, bytes, uniqueID];
IF ( s = NIL ) THEN ERROR;
};
CallProtected[mnt, RetrieveInner];
};

Attach: PFSClass.AttachProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
AttachInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
toFName м NIL;
};
CallProtected[mnt, AttachInner];
};

GetInfo: PFSClass.GetInfoProc ~ {
class: PFSClass.FSHandle ~ h;
mnt: VFS ~ NARROW[class.data];
GetInfoInner: TransportProc ~ {
ENABLE UNWIND => { NULL };
fullFName м NIL;
attachedTo м NIL;
uniqueID м PFS.nullUniqueID;
bytes м 0;
mutability м immutable;
fileType м PFS.tUnspecified;
};
CallProtected[mnt, GetInfoInner];
};

Init: PROC ~ {
PFSClass.Register[xnsFlavor, GetHandle];
};

Init[];
}.

   ╪  
XNSViewImpl.mesa
Copyright ╙ 1990, 1992 by Xerox Corporation.  All rights reserved.
Bill Jackson (bj), February 19, 1990 0:11 am PST

PFSBackdoor USING [ProduceError],
Transport Management
XNS Virtual File System(s)
Attempt to Attach new vfs[h]
Maintenance Object
Maintenance Operations
File Manipulation Object
File Manipulation Procs
mnt.session.verifier _ XNSAuth.GetNextVerifier[mnt.conversation];
FilingP10V5.Close[h: crH, file: fileH, session: mnt.session^];
Э╩▐  Ц(cedarcode) styleХNewlineDelimiter
Щ codeЪЬЩKЪЬ
╧eЬ7ЩBKЩ0KЩ ЧЪ╧k	Ш	KЪЬЮЬ
ШKЪЮЬЮЬЮЬШKЪЮЬЮЬ>ШGKЪЬ	ЮЬЎШДKЪЬ	ЮЬЮЬШKЪЬЮЬЩ!KЪЬЮЬЮЬШKШ ЧЪ
╧nЬЮЬЮЬЮЬЮЬШ7KЪЮЬШKЪЮЬЮЬЮЬШheadЪ╧zЩKЪЬЮЬЮЬШ$ЪЬЮЬЮ	ЬЮЬШ(KЪЬШKЪЬЮШKЪЬШKШ ЧKЪЬЮЬЮЬШ+KШ ЪЯЬЮЬЮЬШ8KЪЬЮЬШKЪЬЮЬШ%ЪЯ	ЬЮЬШ"KЪЮЬЮЬЮЬШKЪЬ
Ш
KЪЬШЧKШKШKЪЬШKЪЬШЧЧЪаЩKЪ╧b	ЬЮЬШKШ KЪЮЬЮЬЮЬШЪЬЮЬЮЬШKЪЬЮЬШ	KЪЬЮШKЪЬШKШ ЧЪЯ	ЬШ%KЪЬ
ЮЬЮЬ<ШOKЪЬ
ЮЬШKЪЬЮЬбЬШ"KЩKШKЪЬШKШ ЧЪбЬЮЬШ3KЪЬб	ЬШKЪЬЮЬ╧cШ*KЪЬбЬШKЪЬбЬШKЪЬЮЬвШ)KЪЬШЧЧЪаЩЪбЬЮЬ%ШHKЪЬШKЪЬШKЪЬШЧЧЪаЩЪЯЬШKЪЬШKЪЬЮЬЮЬШKЪЮЬШKЪЬШKШ ЧЪЯЬШ#KЪЬШKЪЬЮЬЮЬШKЪЬЮЬЮЬШ KЪ
ЮЬЮЬЮЬЮЬЮЬШ5KЪЮЬЮЬЮЬЮЬШ<KЪЬШЧЧЪаЩЪбЬ#ЮЬ)ШRKШKЪЬ#Ш#KЪЬ%Ш%KЪЬШKЪЬШKЪЬШKЪЬШKЪЬШKЪЬ1Ш1KЪЬ%Ш%KЪЬ%Ш%KЪЬ5Ш5KЪЬШKЪЬШKЪЬШKЪЬШKЪЬШKЪЬШKЪЬШKШKЪЬШЧЧЪаЩЪЯ	ЬЮЬШKЪЬШKЪЬ%ЮЬШ*KШWЪЮЬЮЬШЪЮЬЮЬШKШAKХStartOfExpansionO[h: CrRPC.Handle, file: FilingP10V5.Handle, session: FilingP10V5.Session]Ш>KЪЬШЧKЪЬЮЬЮЬ$ЮЬШAKЪЬ*Ш*KШЧЪЬШIcode2ЦO[h: CrRPC.Handle, file: FilingP10V5.Handle, session: FilingP10V5.Session]ЪЬЮЬЮЬ
ЮЬЮЬЮЬЮЬШIЪЮЬЮЬШKШAMШ?KЪЬAЩAKЦO[h: CrRPC.Handle, file: FilingP10V5.Handle, session: FilingP10V5.Session]Щ>MШЧMШЧMЪЬЮЬШ*MЪЬШKШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШЪЯЬШKЪЮЬЮЬЮЬШMЦO[h: CrRPC.Handle, file: FilingP10V5.Handle, session: FilingP10V5.Session]ЪЬЮЬЮЬШMЪЬ
ЮЬЮЬШ*MЪЬ
ЮЬЮЬ
ЮЬЮЬЮЬЮЬШKMШЧMЪЬ Ш KЪЬШKШ ЧЪЯЬЮЬШKЪЬШЪЯЬЮЬЮЬ	ЮЬЮЬ<ЮЬЮЬЮЬЮЬЮЬЮЬШ╣KШ0KЪЬШЧMЪЬЮЬШ1MЪЬШKШKШ ЧЪЯЬ#Ш3KЪЬШKЪЬЮЬЮЬШЪЯЬШ(KЪЮЬЮЬЮЬШMЪЬЮЬЮЬШMЪЬЮЬЮЬШ MЪЬ
ЮЬЮЬШ*MЪЬЮЬШMЪЬЮЬШ'MЪЬ
ЮЬЮЬШ*MЪЬ
ЮЬЮЬ
ЮЬЮЬЮЬЮЬDШuMЪЬШЧMЪЬ*Ш*KЪЬШKШ ЧЪЯЬ$Ш5KЪЬШKЪЬЮЬЮЬШЪЯЬШ)KЪЮЬЮЬЮЬШMЪЬЮЬШMЪЬ
ЮЬЮЬ
ЮЬЮЬЮЬЮЬШ=MЪЬШЧMЪЬ+Ш+KЪЬШKШ ЧЪЯЬШ#KЪЬШKЪЬЮЬЮЬШЪЯЬШ KЪЮЬЮЬЮЬШKШKЪЬЮЬШKШ
KЪЬЮЬШKШKЪЬЮЬШMЪЬШЧMЪЬ"Ш"KЪЬШKШ ЧЪЯЬШ#KЪЬШKЪЬЮЬЮЬШMЪЬЮЬШЪЯЬШKЪЮЬЮЬЮЬШMЪЬЮЬШMЪЬШЧMЪЬ Ш KЪЮЬШKЪЬШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШЪЯЬШKЪЮЬЮЬЮЬШKЪЬЮЬШMЪЬШЧMЪЬ Ш KЪЬШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШЪЯ	ЬШKЪЮЬЮЬЮЬШKЪЬЮЬШMЪЬШЧMЪЬШKЪЬШKШ ЧЪЯЬ Ш-KЪЬШKЪЬЮЬЮЬШЪЯЬШ%KЪЮЬЮЬЮЬШMЪЮЬШMЪЬШЧMЪЬ'Ш'KЪЬШKШ ЧЪЯЬ*ШAKЪЬШKЪЬЮЬЮЬШЪЯЬШ/KЪЮЬЮЬЮЬШMЪЮЬШMЪЬШЧMЪЬ1Ш1KЪЬШKШ ЧЪЯЬ$Ш5KЪЬШKЪЬЮЬЮЬШЪЯЬШ)KЪЮЬЮЬЮЬШMЪЮЬШMЪЬШЧMЪЬ+Ш+KЪЬШKШ ЧЪЯЬ$Ш5KЪЬШKЪЬЮЬЮЬШЪЯЬШ)KЪЮЬЮЬЮЬШMЪЬЮЬШMЪЬШЧMЪЬ+Ш+KЪЬШKШ ЧЪЯЬ,ШEKЪЬШKЪЬЮЬЮЬШЪЯЬШ1KЪЮЬЮЬЮЬШMЪЬЮЬЮЬШ(MЪЬ
ЮЬЮЬ
ЮЬЮЬЮЬЮЬ#ШTMЪЬШЧMЪЬ3Ш3KЪЬШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШKЪЬШЪЯ	ЬШKЪЮЬЮЬЮЬШMЪЬЮЬШ	MЪЬШЧMЪЬШKЪЮЬШKЪЬШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШЪЯ	ЬШKЪЮЬЮЬЮЬШMШMЪЬШЧMЪЬШKЪЬШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШЪЯ
ЬШKЪЮЬЮЬЮЬШMШMЪЬШЧMЪЬШKЪЬШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШЪЯ
ЬШKЪЮЬЮЬЮЬШMЪЮЬШMЪЬШЧMЪЬШKЪЬШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШЪЯ
ЬШKЪЮЬЮЬЮЬШMЪЬЮЬЮЬШMЪЬ
ЮЬЮЬ
ЮЬЮЬЮЬЮЬШAMЪЬШЧMЪЬШKЪЬШKШ ЧЪЯЬШ#KЪЬШKЪЬЮЬЮЬШЪЯЬШ KЪЮЬЮЬЮЬШMЪЬЮЬЮЬШMЪЬЮЬШMЪЬ
ЮЬЮЬШ*MЪЬЮЬЮЬЮЬ
ЮЬЮЬЮЬЮЬ"ШPMЪЮЬЮЬЮЬЮЬШMЪЬШЧMЪЬ"Ш"KЪЬШKШ ЧЪЯЬШKЪЬШKЪЬЮЬЮЬШЪЯЬШKЪЮЬЮЬЮЬШMЪЬ
ЮЬШMЪЬШЧMЪЬ Ш KЪЬШKШ ЧЪЯЬШ!KЪЬШKЪЬЮЬЮЬШЪЯЬШKЪЮЬЮЬЮЬШMЪЬЮЬШMЪЬЮЬШKЪЬЮЬШKШ
KШKЪЬЮЬШMЪЬШЧMЪЬ!Ш!KЪЬШKШ ЧЧЪЯЬЮЬШKЪЬб	ЬШ(KШKШ ЧKШKЪЬШKШ ЧЧ ЕЧ    $ш  6Ю  