This is an old revision of the document!

Delete Group

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]