User Tools

Site Tools


stats:proc:changeattributes_task

Differences

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

Link to this comparison view

stats:proc:changeattributes_task [2011/09/29 00:18]
Patrick Michel created
stats:proc:changeattributes_task [2013/07/10 12:34]
Line 1: Line 1:
-====== Change Attributes (Task) ====== 
- 
-<code xcend> 
-changeAttributes(ident id, ident taskId, double maxPoints) { 
-  assume exists //​exams/​exam[id]/​tasks/​task[taskId];​ # implies the existence of the exam 
-  ​ 
-  assume maxPoints >= 0; 
-  assume //​exams/​exam[id]/​results/​participant[x]/​result[taskId]/​points < maxPoints; 
-  ​ 
-  update //​exams/​exam[id]/​tasks/​task[taskId]/​maxPoints maxPoints; 
-} # roles: examiner[id] 
-</​code>​ 
  
stats/proc/changeattributes_task.txt ยท Last modified: 2013/07/10 12:34 (external edit)