<> <> <> 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.