User Tools

Site Tools


stats:proc:deleteexercise

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
stats:proc:deleteexercise [2011/09/28 23:49]
Patrick Michel
stats:proc:deleteexercise [2011/10/08 15:39]
Patrick Michel
Line 2: Line 2:
  
 <code xcend> <code xcend>
-deleteExercise(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(//exercises/exercise[id]/assistant) = 0; 
-  assume size(//accounts/account/tutor[id]) = 0;+  assume size(//exercises/exercise[id]/​groups/​group/tutor) = 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];​
-# roles: admin+}
 </​code>​ </​code>​
  
stats/proc/deleteexercise.txt · Last modified: 2013/07/10 12:34 (external edit)