This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
stats:proc:addresult_task [2011/09/27 20:57] Patrick Michel created |
stats:proc:addresult_task [2011/09/29 19:24] Patrick Michel |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Add Result ====== | + | ====== Add Result (Task) ====== |
<code xcend> | <code xcend> | ||
- | addResult(ident id, ident studentId, ident taskId, double points) { | + | addResult(ident uid, ident id, ident studentId, ident taskId, double points) { |
+ | assume exists //accounts/account[uid]/examiner[id]; | ||
assume exists //exams/exam[id]/results/participant[studentId]; # can also be implicitly true in an OO language | assume exists //exams/exam[id]/results/participant[studentId]; # can also be implicitly true in an OO language | ||
assume exists //exams/exam[id]/tasks/task[taskId]; | assume exists //exams/exam[id]/tasks/task[taskId]; | ||
Line 8: | Line 10: | ||
assume not exists //exams/exam[id]/results/participant[studentId]/result[taskId]; | assume not exists //exams/exam[id]/results/participant[studentId]/result[taskId]; | ||
- | assume points >= 0 && points < //exams/exam[id]/tasks/task[taskId]/maxPoints; | + | assume points >= 0 && points <= //exams/exam[id]/tasks/task[taskId]/maxPoints; |
insert //exams/exam[id]/results/participant[studentId] <result task=[taskId] points=[points] />; | insert //exams/exam[id]/results/participant[studentId] <result task=[taskId] points=[points] />; |