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