Differences

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

--- stats:proc:registerstudent [2011/09/29 19:42]
Patrick Michel
+++ stats:proc:registerstudent [2013/07/10 12:44] (current)
@@ Line 1: / Line 1: @@
-====== Add Student ======
+====== Register Student ======
 <code xcend>
-addStudent(ident uid, ident id, ident studentId) {
+registerStudent(ident uid, ident id, ident studentId) {
-  assume //accounts/account[uid]/student/id = studentId;
+  assume count (studentId, /account/student/id) = 1;
-  assume exists //exercises/exercise[id];
+  assume exists /exercise[id] && /exercise[id]/open &&
-  assume exists //accounts/account/student[studentId];
+         exists /account[uid]/student && /account[uid]/student/id = studentId
+      || exists /account[uid]/assistant[id];
-  assume not exists //exercises/exercise[id]/students/student[studentId];
+  assume exists /exercise[id];
+  assume not exists /exercise[id]/student[studentId];
-  insert //exercises/exercise[id]/students <student id=[studentId] />;
+  insert /exercise[id] <student id=[studentId] />;
 }
 </code>

Transcend