<<>> <> <> <> <> <<>> <> <<>> DIRECTORY ThSmarts, ThSmartsSunRPC, ThSmartsSunRPCServer, Thrush, ThrushSunRPC, ThrushSunRPCConvert; ThSmartsSunRPCToThSmarts: CEDAR PROGRAM IMPORTS ThSmarts, ThrushSunRPCConvert EXPORTS ThSmartsSunRPCServer ~ { OPEN ThSmartsSunRPC, ThSmartsSunRPCServer, ThrushSunRPCConvert; <<>> Substitution: PUBLIC SubstitutionType = { ThSmarts.Substitution[shh: Thrush.none, convEvent: SrToConvEvent[convEvent], oldPartyID: oldPartyID, newPartyID: newPartyID]; }; ReportAction: PUBLIC ReportActionType = { ThSmarts.ReportAction[shh: Thrush.none, report: SrToActionReport[report]]; }; CheckIn: PUBLIC CheckInType = { ThSmarts.CheckIn[shh: Thrush.none, credentials: SrToCredentials[credentials], voicePath: voicePath, reason: SrToATOM[reason], remark: SrToROPE[remark], nextScheduledCheck: nextScheduledCheck]; }; Progress: PUBLIC ProgressType = { ThSmarts.Progress[shh: Thrush.none, convEvent: SrToConvEvent[convEvent]]; }; }. <> <> <> <<>>