User Tools

Site Tools


stats:proc:addparticipant

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:addparticipant [2012/01/11 14:40]
Patrick Michel
stats:proc:addparticipant [2013/07/10 12:34] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 addParticipant(ident uid, ident id, ident studentId) { addParticipant(ident uid, ident id, ident studentId) {
-  assume exists ​//accounts/​account[uid]/​student && ​//accounts/​account[uid]/​student/​id = studentId && ​//exams/​exam[id]/​free +  assume exists /​account[uid]/​student && /​account[uid]/​student/​id = studentId && /​exam[id]/​free 
-      || exists ​//accounts/​account[uid]/​examiner[id];​+      || exists /​account[uid]/​examiner[id];​
  
-  assume exists ​//exams/exam[id]; # implicitly true in OO implementations +  assume exists /exam[id]; # implicitly true in OO implementations 
-  assume ​exists //accounts/​account/​student[studentId];+  assume ​count (studentId, ​/​account/​student/id) = 1;
   ​   ​
-  assume not exists ​//exams/exam[id]/results/​participant[studentId];​+  assume not exists /​exam[id]/​participant[studentId];​
   ​   ​
-  insert ​//exams/exam[id]/results/​participant[studentId];​+  insert /​exam[id]/​participant[studentId];​
 } }
 </​code>​ </​code>​
  
  
stats/proc/addparticipant.1326289221.txt.gz · Last modified: 2012/01/11 14:40 by Patrick Michel