User Tools

Site Tools


stats:proc:validateaccount

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
stats:proc:validateaccount [2011/10/13 23:15]
Patrick Michel
stats:proc:validateaccount [2013/07/10 12:32] (current)
Line 2: Line 2:
  
 <code xcend> <code xcend>
-validateAccount(string ​username, string code) { +validateAccount(ident username, string code) { 
-  assume exists ​//accounts/​account[username]/​code;​ # implies existence of the account+  assume exists /​account[username]/​code;​ # implies existence of the account
   ​   ​
-  assume ​//accounts/​account[username]/​code = code;+  assume /​account[username]/​code = code;
   ​   ​
-  remove ​//accounts/​account[username]/​code;​+  remove /​account[username]/​code;​
 } }
 </​code>​ </​code>​
  
stats/proc/validateaccount.1318540554.txt.gz · Last modified: 2011/10/13 23:15 by Patrick Michel