<> <> <> <> DIRECTORY Commander USING [Handle], Rope USING [ROPE], XNSAuth USING [Identity]; XNSCredentials: CEDAR DEFINITIONS ~ { Identity: TYPE ~ XNSAuth.Identity; GetIdentity: PROC RETURNS [Identity]; <> <<>> SetIdentity: PROC[XNSAuth.Identity]; XNSLoginFromNameAndPassword: PROC[name, password: Rope.ROPE, strongCredentials: BOOL ¬ TRUE] RETURNS[identityWasSet: BOOL]; DoLogin: PROC[cmd: Commander.Handle, strongCredentials: BOOL ¬ TRUE] RETURNS[identityWasSet: BOOL]; XNSCredentialsChangeProc: TYPE = PROC [new: XNSAuth.Identity, clientData: REF ANY]; <<>> RegisterForChange: PROC [proc: XNSCredentialsChangeProc, clientData: REF ANY ¬ NIL]; <<>> }.