User Tools

Site Tools


stats:proc:leaveteam

Differences

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

Link to this comparison view

stats:proc:leaveteam [2011/10/24 15:53]
Patrick Michel
stats:proc:leaveteam [2013/07/10 12:34]
Line 1: Line 1:
-====== Leave Team ====== 
- 
-<code xcend> 
-leaveTeam(string uid, string id, string studentId) { 
-  assume exists //​accounts/​account[uid]/​tutor[id]/​group[//​exercises/​exercise[id]/​student[studentId]/​group];​ 
-    # implies the existence of the student, the exercise, the group and enough rights by a tutor account 
-  
-  assume exists //​exercises/​exercise[id]/​student[studentId]/​team;​ 
-  
-  remove //​exercises/​exercise[id]/​student[studentId]/​team;​ 
-}</​code>​ 
  
stats/proc/leaveteam.txt ยท Last modified: 2013/07/10 12:34 (external edit)