Differences

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

--- stats:proc:grantexaminerrights [2011/09/28 23:50] – Patrick Michel
+++ stats:proc:grantexaminerrights [2013/07/10 12:32] (current) – external edit 127.0.0.1
@@ Line 2: / Line 2: @@
 <code xcend>
-grantExaminerRights(ident username, ident examId) {
+grantExaminerRights(ident uid, ident username, ident examId) {
-  assume exists //accounts/account[username]; # implicitly true in OO implementations
+  assume exists /account[uid]/admin;
-  assume exists //exams/exam[examId];
-  assume not exists //accounts/account[username]/examiner[exam]);
+  assume exists /account[username]; # implicitly true in OO implementations
-  assume not exists //exams/exam[examId]/examiner[account]); # implied by integrity and the assumption before
+  assume exists /exam[examId];
-  insert //accounts/account[username] <examiner exam=[examId] />;
+  assume not exists /account[username]/examiner[examId]);
-  insert //exams/exam[examId] <examiner account=[username] />;
+  assume not exists /exam[examId]/examiner[username]); # implied by integrity and the assumption before
-} # roles: admin
+  insert /account[username] <examiner exam=[examId] />;
+  insert /exam[examId] <examiner account=[username] />;
+}
 </code>