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 [2012/05/29 16:35]
Patrick Michel
stats:proc:leaveteam [2013/07/10 12:34] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 leaveTeam(ident uid, ident id, ident 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.1338302152.txt.gz ยท Last modified: 2012/05/29 16:35 by Patrick Michel