<<>> <> <> <> <> DIRECTORY List, Rope, SunRPC, SunRPCBinding; NameService: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; RegistrationRecord: TYPE = RECORD [ name: ROPE, instance: ROPE, host: ROPE, sbh: ROPE, appl: List.LORA ]; Registration: TYPE = REF RegistrationRecord; ExportRPCSun: PROC [name: ROPE, sp: SunRPC.Server, prog, vers: INT, proto: SunRPCBinding.Transport ¬ $TCP, instance: ROPE _ NIL, appl: List.LORA _ NIL] RETURNS [sbh: ROPE, uid: ROPE]; <> <<(ROPE)>> <> <<((a.b)(c.d)...)>> <> ReexportRPCSun: PROC [uid: ROPE, name: ROPE, sp: SunRPC.Server, prog, vers: INT, proto: SunRPCBinding.Transport ¬ $TCP, instance: ROPE _ NIL, appl: List.LORA _ NIL] RETURNS [sbh: ROPE]; <> ImportRPCSun: PROC [name: ROPE _ NIL, instance: ROPE _ NIL, host: ROPE _ NIL, appl: List.LORA _ NIL] RETURNS [h: SunRPC.Handle, r: Registration]; <> ImportRegistrations: PROC [name: ROPE _ NIL, instance: ROPE _ NIL, host: ROPE _ NIL, appl: List.LORA] RETURNS [regList: LIST OF Registration]; <> SBHToRope: PROC [prog, vers: INT, proto: SunRPCBinding.Transport, hostAddr: ROPE, port: CARD] RETURNS [sbh: ROPE]; <> SBHFromRope: PROC [sbh: ROPE] RETURNS [prog, vers: INT, proto: SunRPCBinding.Transport, hostAddr: ROPE, port: CARD]; <> END.