User Tools

Site Tools


stats:proc:registerstudent

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:registerstudent [2013/06/18 15:21]
Mathias Weber
stats:proc:registerstudent [2013/07/10 12:44] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 registerStudent(ident uid, ident id, ident studentId) { registerStudent(ident uid, ident id, ident studentId) {
-  assume count (studentId, ​//accounts/​account/​student/​id) = 1;+  assume count (studentId, /​account/​student/​id) = 1;
  
-  assume exists ​//exercises/​exercise[id] && ​//exercises/​exercise[id]/​open &&  +  assume exists /​exercise[id] && /​exercise[id]/​open &&  
-         ​exists ​//accounts/​account[uid]/​student && ​//accounts/​account[uid]/​student/​id = studentId +         ​exists /​account[uid]/​student && /​account[uid]/​student/​id = studentId 
-      || exists ​//accounts/​account[uid]/​assistant[id];​+      || exists /​account[uid]/​assistant[id];​
  
-  assume exists ​//exercises/​exercise[id];​ +  assume exists /​exercise[id];​ 
-  assume not exists ​//exercises/​exercise[id]/students/​student[studentId];​+  assume not exists /​exercise[id]/​student[studentId];​
   ​   ​
-  insert ​//exercises/​exercise[id]/​students ​<student id=[studentId] />;+  insert /​exercise[id] <student id=[studentId] />;
 } }
 </​code>​ </​code>​
stats/proc/registerstudent.1371561698.txt.gz · Last modified: 2013/06/18 15:21 by Mathias Weber