DIRECTORY Rope USING [ROPE]; FSPseudoServers: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; PseudoServerList: TYPE = LIST OF PseudoServerRep; PseudoServerRep: TYPE = RECORD [ server: ROPE, avoidCheck: BOOL, write: ROPE, read: LIST OF ROPE]; GetPseudoServers: PROC RETURNS [PseudoServerList]; SetPseudoServers: PROC [list: PseudoServerList]; TranslateForWrite: PROC [server: ROPE] RETURNS [ROPE]; TranslateForRead: PROC [server: ROPE] RETURNS [LIST OF ROPE]; AvoidRemoteCheck: PROC [server: ROPE] RETURNS [BOOL]; END. ÆFSPseudoServers.mesa Copyright c 1984 by Xerox Corporation. All rights reserved. Russ Atkinson, October 19, 1984 9:24:41 am PDT Note: all server names must be given without brackets both as arguments and as elements of a PseudoServerList. Translates the server name into the server name specified for writing. If no such translation is present, returns the original server name. Translates the server name into the server names specified for reading. If no such translation is present, returns a list containing the original server name. Determines if the server name implies not checking for remote versions. This is useful to reduce server traffic in cases where the files are known to be frozen. Ê„˜šœ™Jšœ Ïmœ1™