User Tools

Site Tools


stats:proc:addresult_task

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:addresult_task [2011/09/29 11:32]
Patrick Michel
stats:proc:addresult_task [2011/09/29 19:24]
Patrick Michel
Line 2: Line 2:
  
 <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 11: Line 13:
  
   insert //​exams/​exam[id]/​results/​participant[studentId] <result task=[taskId] points=[points] />;   insert //​exams/​exam[id]/​results/​participant[studentId] <result task=[taskId] points=[points] />;
-# roles: examiner[id]+}
 </​code>​ </​code>​
  
stats/proc/addresult_task.txt · Last modified: 2013/07/10 12:34 (external edit)