This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
stats:proc:createtask [2011/09/27 20:51] Patrick Michel created |
stats:proc:createtask [2013/07/10 12:42] (current) |
||
---|---|---|---|
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 //exams/exam[id]; # implicitly true in OO implementations | + | assume exists /account[uid]/examiner[id]; |
- | assume not exists //exams/exam[id]/tasks/task[taskId]; | + | |
+ | assume exists /exam[id]; # implicitly true in OO implementations | ||
+ | assume not exists /exam[id]/task[taskId]; | ||
assume maxPoints >= 0; | assume maxPoints >= 0; | ||
| | ||
- | insert //exams/exam[id]/tasks <task id=[taskId] maxPoints=[maxPoints] />; | + | insert /exam[id] <task id=[taskId] maxPoints=[maxPoints] />; |
} | } | ||
</code> | </code> | ||