User Tools

Site Tools


stats:proc:deletegroup

This is an old revision of the document!


Delete Group

deleteGroup(ident uid, ident id, ident groupId) {
  assume exists //accounts/account[uid]/assistant[id];
 
  assume exists //exercises/exercise[id]/groups/group[groupId];
 
  assume size(//exercises/exercise[id]/groups/group[groupId]/tutor) = 0;
  assume count(groupId, //exercises/exercise[id]/students/student/group)) = 0;
 
  remove //exercises/exercise[id]/groups/group[groupId];
}
stats/proc/deletegroup.1339003436.txt.gz · Last modified: 2012/06/06 19:23 by Patrick Michel