User Tools

Site Tools


stats:proc:deletetask

Differences

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

Link to this comparison view

stats:proc:deletetask [2011/09/27 20:52]
Patrick Michel created
stats:proc:deletetask [2013/07/10 12:34]
Line 1: Line 1:
-====== Delete Task ====== 
- 
-<code xcend> 
-deleteTask(ident id, ident taskId) { 
-  assume exists //​exams/​exam[id]/​tasks/​task[taskId];​ # implies the exam exists, which is implicitly true anyway 
- 
-  assume size(//​exams/​exam[id]/​results/​participant/​result[taskId]) = 0; 
- 
-  remove //​exams/​exam[id]/​tasks/​task[taskId];​ 
-} 
-</​code>​ 
  
stats/proc/deletetask.txt ยท Last modified: 2013/07/10 12:34 (external edit)