User Tools

Site Tools


stats:proc:leaveteam

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:leaveteam [2011/10/24 15:53]
Patrick Michel
stats:proc:leaveteam [2013/07/10 12:34] (current)
Line 2: Line 2:
  
 <code xcend> <code xcend>
-leaveTeam(string ​uid, string ​id, string ​studentId) { +leaveTeam(ident uid, ident id, ident studentId) { 
-  assume exists ​//accounts/​account[uid]/​tutor[id]/​group[//exercises/​exercise[id]/​student[studentId]/​group];​+  assume exists /​account[uid]/​tutor[id]/​group[/​exercise[id]/​student[studentId]/​group];​
     # implies the existence of the student, the exercise, the group and enough rights by a tutor account     # 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;​+  assume exists /​exercise[id]/​student[studentId]/​team;​
    
-  remove ​//exercises/​exercise[id]/​student[studentId]/​team;​+  remove /​exercise[id]/​student[studentId]/​team;​
 }</​code>​ }</​code>​
  
stats/proc/leaveteam.1319464427.txt.gz · Last modified: 2011/10/24 15:53 by Patrick Michel