User Tools

Site Tools


stats:proc:addstudentid

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
stats:proc:addstudentid [2012/05/15 14:38]
Patrick Michel
stats:proc:addstudentid [2013/07/10 12:32] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 addStudentId(ident uid, ident username, ident id) { addStudentId(ident uid, ident username, ident id) {
-  assume exists ​//accounts/​account[uid]/​admin;​+  assume exists /​account[uid]/​admin;​
  
-  assume exists ​//accounts/​account[username];​ # implicitly true in OO implementations +  assume exists /​account[username];​ # implicitly true in OO implementations 
-  assume not exists ​//accounts/​account[username]/​student;​ +  assume not exists /​account[username]/​student;​ 
-  assume count(id, ​//accounts/​account/​student/​id) = 0;+  assume count(id, /​account/​student/​id) = 0;
    
-  insert ​//accounts/​account[username] <student id=[id] />;+  insert /​account[username] <student id=[id] />;
 } }
 </​code>​ </​code>​
stats/proc/addstudentid.1337085488.txt.gz · Last modified: 2012/05/15 14:38 by Patrick Michel