User Tools

Site Tools


stats:proc:addresult_sheet

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:addresult_sheet [2011/09/29 19:40]
Patrick Michel
stats:proc:addresult_sheet [2013/07/10 12:34] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 addResult(ident uid, ident id, ident studentId, ident sheetId, double points) { addResult(ident uid, ident id, ident studentId, ident sheetId, double points) {
-  assume exists ​//accounts/​account[uid]/​assistant[id] ||  +  assume exists /​account[uid]/​assistant[id] ​ 
-         exists ​//accounts/​account[uid]/​tutor[id]/​group[//exercises/​exercise[id]/students/​student[studentId]/​group];​+      ​|| exists /​account[uid]/​tutor[id]/​group[/​exercise[id]/​student[studentId]/​group];​
  
-  assume exists ​//exercises/​exercise[id]/students/​student[studentId];​ # implies the existence of the exercise +  assume exists /​exercise[id]/​student[studentId];​ # implies the existence of the exercise 
-  assume exists ​//exercises/​exercise[id]/sheets/​sheet[sheetId];​ # dito+  assume exists /​exercise[id]/​sheet[sheetId];​ # dito
   ​   ​
-  assume not exists ​//exercises/​exercise[id]/students/​student[studentId]/​result[sheetId];​+  assume not exists /​exercise[id]/​student[studentId]/​result[sheetId];​
   ​   ​
-  assume points >= 0 && points <= //exercises/​exercise[id]/sheets/​sheet[sheetId]/​maxPoints;​+  assume points >= 0 && points <= /​exercise[id]/​sheet[sheetId]/​maxPoints;​
   ​   ​
-  insert ​//exercises/​exercise[id]/students/​student[studentId] <result sheet=[sheetId] points=[points] />;+  insert /​exercise[id]/​student[studentId] <result sheet=[sheetId] points=[points] />;
 } }
 </​code>​ </​code>​
stats/proc/addresult_sheet.1317318014.txt.gz · Last modified: 2011/09/29 19:40 by Patrick Michel