<<>> <> <> <> DIRECTORY Rope, Arpa, SunRPCAuth, SunRPC; MS: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; ReturnCodes: TYPE = MACHINE DEPENDENT { Success(0), IllegalMaintainSpec(1), CouldntRunProgram(2), IllegalMaintainID(3) }; ReturnCodesNames: READONLY ARRAY ReturnCodes OF ROPE; String: TYPE = ROPE; Maintainargs: TYPE = RECORD [ idStr: ROPE, progName: ROPE, progArgs: SeqType0, uid: INT32, pid: INT32 ]; SeqType0: TYPE = REF SeqType0Object; SeqType0Object: TYPE = RECORD [SEQUENCE size: [0..LAST[INT32]) OF String]; Maintainreturn: TYPE = REF MaintainreturnObject; MaintainreturnObject: TYPE = RECORD [ union: SELECT returnCode: ReturnCodes FROM Success => [pid: INT32], IllegalMaintainID, CouldntRunProgram, IllegalMaintainSpec => [], ENDCASE]; Unmaintainargs: TYPE = RECORD [ idStr: ROPE ]; END.