User Tools

Site Tools


stats:proc:createtask

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
stats:proc:createtask [2011/09/29 00:19]
Patrick Michel
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] />; 
-# roles: examiner[id]+}
 </​code>​ </​code>​
  
stats/proc/createtask.1317248340.txt.gz · Last modified: 2011/09/29 00:19 by Patrick Michel