-- PDRemoteStreamImpl.mesa
-- Copyright (C) 1984, Xerox Corporation. All rights reserved.
-- Michael Plass, 14-Sep-84 14:48:44
--
DIRECTORY Stream, STP, PDRemoteStream, String;
PDRemoteStreamImpl: PROGRAM
IMPORTS STP, String, Stream
EXPORTS PDRemoteStream
= BEGIN
Error: PUBLIC ERROR [expl: LONG STRING, retryable: BOOL] = CODE;
Retryable: PROC [code: STP.ErrorCode] RETURNS [BOOL] = {
RETURN [SELECT code FROM connectionTimedOut, connectionRejected, connectionClosed, noConnection, noNameLookupResponse => TRUE, ENDCASE => FALSE]
};
Lookup: PUBLIC PROC [fileName: LONG STRING, createDate: LONG STRING, name, password: LONG STRING] RETURNS [bytes: INT] = {
bytes ← MyLookup[fileName, createDate, name, password !
STP.Error => {
ERROR Error[expl: error, retryable: Retryable[code]]
};
];
};
ParseName: PUBLIC PROC [fileName, server, rest: LONG STRING] = {
state: NAT ← 0;
server.length ← 0;
rest.length ← 0;
FOR i: NAT IN [0..fileName.length) DO
c: CHAR ← fileName[i];
charType: NAT ← SELECT c FROM
'[ => 0,
'/ => 1,
'] => 2,
'< => 3,
'> => 4,
'! => 5,
IN ['0..'9], IN ['a..'z], IN ['A..'Z] => 6,
'-, '+, '$, '., '' => 6
ENDCASE => Error[expl: "Illegal character in filename", retryable: FALSE];
SELECT state*7+charType FROM
0*7+0 => state ← 1;
0*7+1 => state ← 7;
1*7+6 => {server[server.length] ← c; server.length ← server.length + 1};
1*7+2 => state ← 2;
2*7+3 => {state ← 3; rest[rest.length] ← '<; rest.length ← rest.length + 1};
3*7+6,
3*7+4 => {rest[rest.length] ← c; rest.length ← rest.length + 1};
3*7+5 => {state ← 4; rest[rest.length] ← c; rest.length ← rest.length + 1};
4*7+6 => {
rest[rest.length] ← c; rest.length ← rest.length + 1;
IF c IN ['0..'9] THEN state ← 5
ELSE IF c = 'l OR c = 'L OR c = 'h OR c='H THEN state ← 6
ELSE state ← 9
};
5*7+6 => {
rest[rest.length] ← c; rest.length ← rest.length + 1;
IF c NOT IN ['0..'9] THEN state ← 9
};
7*7+6 => {server[server.length] ← c; server.length ← server.length + 1};
7*7+1 => {state ← 8; rest[rest.length] ← '<; rest.length ← rest.length + 1};
7*8+6 => {rest[rest.length] ← c; rest.length ← rest.length + 1};
7*8+1 => {rest[rest.length] ← '>; rest.length ← rest.length + 1};
7*8+5 => {state ← 4; rest[rest.length] ← c; rest.length ← rest.length + 1};
ENDCASE => Error[expl: "Illegal filename", retryable: FALSE];
ENDLOOP;
SELECT state FROM
3, 8 => {rest[rest.length] ← '!; rest[rest.length+1] ← 'H; rest.length ← rest.length + 2};
5, 6 => NULL;
ENDCASE => Error[expl: "Illegal filename", retryable: FALSE];
};
MyLookup: PROC [fileName, createDate, name, password: LONG STRING] RETURNS [bytes: INT ← 0] = {
server: LONG STRING ← [80];
rest: LONG STRING ← [80];
stp: STP.Handle ← NIL;
open: BOOL ← FALSE;
expandedName: LONG STRING ← [80];
success: BOOLEAN ← FALSE;
NoteFileProc: STP.NoteFileProcType = {
fileInfo: STP.FileInfo ← stp.GetFileInfo[];
continue ← no;
success ← TRUE;
String.AppendString[expandedName, file];
bytes ← fileInfo.size;
String.Copy[to: createDate, from: fileInfo.create];
};
ParseName[fileName, server, rest];
stp ← STP.Create[];
BEGIN ENABLE UNWIND => {
-- IF open THEN stp.Close[ ! STP.Error => {CONTINUE}];
stp ← stp.Destroy
};
desiredProps: STP.DesiredProperties ← ALL[FALSE];
desiredProps[directory] ← TRUE;
desiredProps[nameBody] ← TRUE;
desiredProps[version] ← TRUE;
desiredProps[createDate] ← TRUE;
desiredProps[size] ← TRUE;
String.AppendChar[expandedName, '[ ];
String.AppendString[expandedName, server];
String.AppendChar[expandedName, '] ];
[] ← stp.Open[server];
open ← TRUE;
stp.Login[name, password];
stp.SetDesiredProperties[desiredProps];
stp.Enumerate[rest, NoteFileProc];
-- stp.Close[ ! STP.Error => {CONTINUE}];
END;
stp ← stp.Destroy;
IF success THEN {String.Copy[to: fileName, from: expandedName]}
ELSE Error[expl: "File not found", retryable: FALSE];
};
Read: PUBLIC PROC [fileName: LONG STRING, name, password: LONG STRING, action: PROC[Stream.Handle]] = {
MyRead[fileName, name, password, action !
STP.Error => {
ERROR Error[expl: error, retryable: Retryable[code]]
};
];
};
MyRead: PROC [fileName: LONG STRING, name, password: LONG STRING, action: PROC[Stream.Handle]] = {
server: LONG STRING ← [80];
rest: LONG STRING ← [80];
stp: STP.Handle ← NIL;
open: BOOL ← FALSE;
stream: Stream.Handle ← NIL;
ParseName[fileName, server, rest];
stp ← STP.Create[];
BEGIN ENABLE UNWIND => {
-- IF open THEN stp.Close[ ! STP.Error => {CONTINUE}];
IF stream # NIL THEN {stream.Delete; stream ← NIL};
stp ← stp.Destroy;
};
[] ← stp.Open[server];
open ← TRUE;
stp.Login[name, password];
stream ← stp.CreateRemoteStream[rest, read];
action[stream];
-- stp.Close[ ! STP.Error => {CONTINUE}];
END;
stream.Delete;
stream ← NIL;
stp ← stp.Destroy;
};
END.