User Tools

Site Tools


stats:proc:deletegroup

Differences

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

Link to this comparison view

stats:proc:deletegroup [2011/09/29 00:02]
Patrick Michel
stats:proc:deletegroup [2013/07/10 12:34]
Line 1: Line 1:
-====== Delete Group ====== 
- 
-<code xcend> 
-deleteGroup(ident id, ident groupId) { 
-  assume exists //​exercises/​exercise[id]/​groups/​group[groupId];​ 
-  ​ 
-  assume size(//​accounts/​account/​tutor[id]/​group[groupId]) = 0; 
-  assume count(groupId,​ //​exercises/​exercise[id]/​students/​student/​group)) = 0; 
-  ​ 
-  remove //​exercises/​exercise[id]/​groups/​group[id];​ 
-} # roles: assistant[id] 
-</​code>​ 
  
stats/proc/deletegroup.txt ยท Last modified: 2013/07/10 12:34 (external edit)