User Tools

Site Tools


stats:proc:assignteam

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
stats:proc:assignteam [2012/05/22 09:56]
Patrick Michel
stats:proc:assignteam [2013/07/10 12:34] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 assignTeam(ident uid, ident id, ident studentId, ident teamId) { assignTeam(ident uid, ident id, ident studentId, ident teamId) {
-  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 not exists ​//exercises/​exercise[id]/students/​student[studentId]/​team;​+  assume not exists /​exercise[id]/​student[studentId]/​team;​
   ​   ​
-  insert ​//exercises/​exercise[id]/students/​student[studentId]/​team teamId;+  insert /​exercise[id]/​student[studentId]/​team teamId;
 } }
 </​code>​ </​code>​
  
stats/proc/assignteam.1337673414.txt.gz ยท Last modified: 2012/05/22 09:56 by Patrick Michel