This shows you the differences between two versions of the page.
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> | ||