User Tools

Site Tools


stats:proc:unregisterstudent

Differences

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

Link to this comparison view

stats:proc:unregisterstudent [2011/09/29 19:42]
Patrick Michel
stats:proc:unregisterstudent [2013/07/10 12:34]
Line 1: Line 1:
-====== Remove Student ====== 
  
-<code xcend> 
-removeStudent(ident uid, ident id, ident studentId) { 
-  assume //​accounts/​account[uid]/​student/​id = studentId; 
- 
-  assume exists //​exercises/​exercise[id]/​students/​student[studentId];​ # implies the exercise exists 
-  ​ 
-  remove //​exercises/​exercise[id]/​students/​student[studentId];​ 
-} 
-</​code>​ 
stats/proc/unregisterstudent.txt ยท Last modified: 2013/07/10 12:34 (external edit)