<> <> <> DIRECTORY Thrush USING [ ActionReport, ConvEvent, Credentials, PartyID, Reason, ROPE, SHHH, unencrypted ]; ThSmarts: CEDAR DEFINITIONS = { <Smarts communication is entirely advisory, and entirely through calls on Progress. This is further described in the ThParty implementations.>> Progress: PROC[ <> shh: Thrush.SHHH_Thrush.unencrypted, convEvent: Thrush.ConvEvent ]; ReportAction: PROC[ shh: Thrush.SHHH_Thrush.unencrypted, report: Thrush.ActionReport ]; <> <<>> Substitution: PROC[ <> <> shh: Thrush.SHHH_Thrush.unencrypted, convEvent: Thrush.ConvEvent, oldPartyID: Thrush.PartyID, newPartyID: Thrush.PartyID ]; CheckIn: PROC[ <> <> <<$welcome -- issued just after smarts has registered with party.>> <<$hello -- just checking.>> <<$trylater -- issued just before the connection is dissolved; automatic attempts to reconnect after the nextScheduledCheck interval has expired not discouraged.>> <<$goodbye -- issued just before the connection is dissolved; automatic reconnection discouraged, since there is evidence that the user has moved to a different location.>> <<$pleasedisconnect -- request to disconnect, but it's ok to try a reconnect after the nextScheduledCheck interval.>> <<$pleasesaygoodbye -- Requests a permanent disconnect, probably because the server version is changing.>> <> <> <> shh: Thrush.SHHH_Thrush.unencrypted, credentials: Thrush.Credentials, voicePath: BOOL _ TRUE, -- A voice path is available reason: Thrush.Reason, remark: Thrush.ROPE_NIL, nextScheduledCheck: INT _ noneScheduled ]; noneScheduled: INT = LAST[INT]; }. <> <> <> <<>>