User Tools

Site Tools


stats:proc:validateaccount

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
stats:proc:validateaccount [2011/10/13 23:14]
Patrick Michel created
stats:proc:validateaccount [2011/10/13 23:16]
Patrick Michel
Line 2: Line 2:
  
 <code xcend> <code xcend>
-proc(string ​username, string code) {+validateAccount(ident username, string code) {
   assume exists //​accounts/​account[username]/​code;​ # implies existence of the account   assume exists //​accounts/​account[username]/​code;​ # implies existence of the account
   ​   ​
stats/proc/validateaccount.txt ยท Last modified: 2013/07/10 12:32 (external edit)