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
Next revision
Previous revision
stats:proc:addstudentid [2011/09/28 10:49]
Patrick Michel
stats:proc:addstudentid [2012/05/15 14:38]
Patrick Michel
Line 2: Line 2:
  
 <code xcend> <code xcend>
-# pretty much the canonical addStudent procedure +addStudentId(ident uid, ident username, ​ident id) { 
-addStudentId(ident username, ​string ​id) {+  assume exists //​accounts/​account[uid]/​admin;​ 
   assume exists //​accounts/​account[username];​ # implicitly true in OO implementations   assume exists //​accounts/​account[username];​ # implicitly true in OO implementations
   assume not exists //​accounts/​account[username]/​student;​   assume not exists //​accounts/​account[username]/​student;​
stats/proc/addstudentid.txt · Last modified: 2013/07/10 12:32 (external edit)