User Tools

Site Tools


stats:proc:deletetask

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
stats:proc:deletetask [2011/09/29 19:24]
Patrick Michel
stats:proc:deletetask [2013/07/10 12:34] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 deleteTask(ident uid, ident id, ident taskId) { deleteTask(ident uid, ident id, ident taskId) {
-  assume exists ​//accounts/​account[uid]/​examiner[id];​+  assume exists /​account[uid]/​examiner[id];​
  
-  assume exists ​//exams/exam[id]/tasks/​task[taskId];​ # implies the exam exists, which is implicitly true anyway+  assume exists /​exam[id]/​task[taskId];​ # implies the exam exists, which is implicitly true anyway
  
-  assume size(//exams/exam[id]/results/​participant/​result[taskId]) = 0;+  assume size(/​exam[id]/​participant/​result[taskId]) = 0;
  
-  remove ​//exams/exam[id]/tasks/​task[taskId];​+  remove /​exam[id]/​task[taskId];​
 } }
 </​code>​ </​code>​
  
stats/proc/deletetask.1317317040.txt.gz ยท Last modified: 2011/09/29 19:24 by Patrick Michel