User Tools

Site Tools


stats:proc:deletegroup

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:deletegroup [2011/09/29 00:02]
Patrick Michel
stats:proc:deletegroup [2012/06/06 19:23]
Patrick Michel
Line 2: Line 2:
  
 <code xcend> <code xcend>
-deleteGroup(ident id, ident groupId) {+deleteGroup(ident uid, ident id, ident groupId) { 
 +  assume exists //​accounts/​account[uid]/​assistant[id];​ 
 +  ​
   assume exists //​exercises/​exercise[id]/​groups/​group[groupId];​   assume exists //​exercises/​exercise[id]/​groups/​group[groupId];​
   ​   ​
-  assume size(//accounts/account/​tutor[id]/​group[groupId]) = 0;+  assume size(//exercises/exercise[id]/groups/​group[groupId]/tutor) = 0;
   assume count(groupId,​ //​exercises/​exercise[id]/​students/​student/​group)) = 0;   assume count(groupId,​ //​exercises/​exercise[id]/​students/​student/​group)) = 0;
   ​   ​
-  remove //​exercises/​exercise[id]/​groups/​group[id]; +  remove //​exercises/​exercise[id]/​groups/​group[groupId]; 
-# roles: assistant[id]+}
 </​code>​ </​code>​
  
stats/proc/deletegroup.txt · Last modified: 2013/07/10 12:34 (external edit)