Differences

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

--- stats:proc:unregisterstudent [2011/09/29 00:44]
Patrick Michel
+++ stats:proc:unregisterstudent [2013/07/10 12:34] (current)
@@ Line 1: / Line 1: @@
-====== Remove Student ======
+====== Unregister Student ======
 <code xcend>
-removeStudent(ident id, ident studentId) {
+unregisterStudent(ident uid, ident id, ident studentId) {
-  assume exists //exercises/exercise[id]/students/student[studentId]; # implies the exercise exists
+  assume exists /exercise[id] && /exercise[id]/open &&
+         exists /account[uid]/student && /account[uid]/student/id = studentId
+      || exists /account[uid]/assistant[id];
+  assume exists /exercise[id]/student[studentId]; # implies the exercise exists
+  assume size(/exercise[id]/student[studentId]/result) = 0; # don't allow unregistering if results are there
+  assume not exists /exercise[id]/student[studentId]/group; # don't allow if signed in a group
-  remove //exercises/exercise[id]/students/student[studentId];
+  remove /exercise[id]/student[studentId];
-} # roles: student[studentId]
+}
 </code>

Transcend