User Tools

Site Tools


stats:proc:revokeexaminerrights

Differences

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

Link to this comparison view

stats:proc:revokeexaminerrights [2011/09/27 20:37]
Patrick Michel created
stats:proc:revokeexaminerrights [2013/07/10 12:32]
Line 1: Line 1:
-====== Revoke Examiner Rights ====== 
  
-<code xcend> 
-revokeExaminerRights(ident username, ident examId) { 
-  assume exists //​accounts/​account[username]/​examiner[exam];​ # implies the account exists, which is implicitly true anyway 
-  assume exists //​exams/​exam[examId]/​examiner[account];​ # implied by integrity and the assumption before 
- 
-  remove //​accounts/​account[username]/​examiner[exam];​ 
-  remove //​exams/​exam[examId]/​examiner[username];​ 
-} 
-</​code>​ 
stats/proc/revokeexaminerrights.txt ยท Last modified: 2013/07/10 12:32 (external edit)