User Tools

Site Tools


stats:proc:signoutgroup

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:signoutgroup [2011/10/15 20:19]
Patrick Michel
stats:proc:signoutgroup [2013/07/10 12:34] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 signOutGroup(ident uid, ident id, ident studentId) { signOutGroup(ident uid, ident id, ident studentId) {
-  assume exists ​//exercises/​exercise[id] && ​//exercises/​exercise[id]/​open &&  +  assume exists /​exercise[id] && /​exercise[id]/​open &&  
-         ​exists ​//accounts/​account[uid]/​student && ​//accounts/​account[uid]/​student/​id = studentId +         ​exists /​account[uid]/​student && /​account[uid]/​student/​id = studentId 
-      || exists ​//accounts/​account[uid]/​assistant[id];​+      || exists /​account[uid]/​assistant[id];​
  
-  assume exists ​//exercises/​exercise[id]/students/​student[studentId]/​group;​ # implies existence of the exercise and student, even the group+  assume exists /​exercise[id]/​student[studentId]/​group;​ 
 +    ​# implies existence of the exercise and student, even the group
   ​   ​
-  ​remove //​exercises/​exercise[id]/​students/​student[studentId]/​group;​ +   
-  update ​//exercises/​exercise[id]/groups/group[//exercises/​exercise[id]/students/​student[studentId]/​group]/​curSize +  update /​exercise[id]/​group[/​exercise[id]/​student[studentId]/​group]/​curSize 
-    (//exercises/​exercise[id]/groups/group[//exercises/​exercise[id]/students/​student[studentId]/​group]/​curSize - 1)+    (/​exercise[id]/​group[/​exercise[id]/​student[studentId]/​group]/​curSize - 1) 
 +  remove /​exercise[id]/​student[studentId]/​group;​
 } }
 </​code>​ </​code>​
stats/proc/signoutgroup.1318702785.txt.gz · Last modified: 2011/10/15 20:19 by Patrick Michel