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/09/29 00:08]
Patrick Michel
stats:proc:signoutgroup [2013/06/20 11:02]
Mathias Weber
Line 2: Line 2:
  
 <code xcend> <code xcend>
-signOutGroup(ident id, ident studentId) { +signOutGroup(ident uid, ident id, ident studentId) { 
-  assume exists //​exercises/​exercise[id]/​students/​student[studentId]/​group;​ # implies existence of the exercise and student, even the group+  assume exists //​exercises/​exercise[id] && //​exercises/​exercise[id]/​open &&  
 +         ​exists //​accounts/​account[uid]/​student && //​accounts/​account[uid]/​student/​id = studentId 
 +      || exists //​accounts/​account[uid]/​assistant[id];​ 
 + 
 +  assume exists //​exercises/​exercise[id]/​students/​student[studentId]/​group;​ 
 +    ​# implies existence of the exercise and student, even the group
   ​   ​
 +  ​
 +  update //​exercises/​exercise[id]/​groups/​group[//​exercises/​exercise[id]/​students/​student[studentId]/​group]/​curSize
 +    (//​exercises/​exercise[id]/​groups/​group[//​exercises/​exercise[id]/​students/​student[studentId]/​group]/​curSize - 1)
   remove //​exercises/​exercise[id]/​students/​student[studentId]/​group;​   remove //​exercises/​exercise[id]/​students/​student[studentId]/​group;​
-# roles: assistant[id]+}
 </​code>​ </​code>​
stats/proc/signoutgroup.txt · Last modified: 2013/07/10 12:34 (external edit)