User Tools

Site Tools


stats:proc:createtask

Differences

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

Link to this comparison view

Next revision
Previous revision
stats:proc:createtask [2011/09/27 20:51]
Patrick Michel created
stats:proc:createtask [2011/09/29 19:22]
Patrick Michel
Line 2: Line 2:
  
 <code xcend> <code xcend>
-createTask(ident id, ident taskId, double maxPoints) {+createTask(ident uid, ident id, ident taskId, double maxPoints) { 
 +  assume exists //​accounts/​account[uid]/​examiner[id];​ 
   assume exists //​exams/​exam[id];​ # implicitly true in OO implementations   assume exists //​exams/​exam[id];​ # implicitly true in OO implementations
   assume not exists //​exams/​exam[id]/​tasks/​task[taskId];​   assume not exists //​exams/​exam[id]/​tasks/​task[taskId];​
stats/proc/createtask.txt · Last modified: 2013/07/10 12:42 (external edit)