This is an old revision of the document!
# the current implementation also changes the username, i.e. it would need an additional parameter, I can't support it and I would forbid it anyway. changeAttributes(ident uid, ident username, string firstName, string lastName) { assume exists //accounts/account[uid]/admin || uid = username; assume exists //accounts/account[username]; # implicitly true in OO implementations update //accounts/account[username]/firstName firstName; update //accounts/account[username]/lastName lastName; }