User Tools

Site Tools


stats:proc:deleteexercise

Differences

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

Link to this comparison view

Next revision
Previous revision
Next revision Both sides next revision
stats:proc:deleteexercise [2011/09/28 21:26]
Patrick Michel created
stats:proc:deleteexercise [2011/10/02 10:36]
Patrick Michel
Line 1: Line 1:
-====== ​Remove ​Exercise ======+====== ​Delete ​Exercise ======
  
 <code xcend> <code xcend>
-removeExercise(ident id) {+deleteExercise(ident uid, ident id) { 
 +  assume exists //​accounts/​account[uid]/​admin;​ 
   assume exists //​exercises/​exercise[id];​   assume exists //​exercises/​exercise[id];​
   ​   ​
   assume size(//​accounts/​account/​assistant[id]) = 0;   assume size(//​accounts/​account/​assistant[id]) = 0;
   assume size(//​accounts/​account/​tutor[id]) = 0;   assume size(//​accounts/​account/​tutor[id]) = 0;
 +  ​
 +  assume size(//​exercises/​exercise[id]/​students/​student) = 0; # don't allow to delete if students are there
   ​   ​
   remove //​exercises/​exercise[id];​   remove //​exercises/​exercise[id];​
stats/proc/deleteexercise.txt · Last modified: 2013/07/10 12:34 (external edit)