User Tools

Site Tools


stats:proc:revoketutorrights

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
stats:proc:revoketutorrights [2011/09/29 19:35]
Patrick Michel
stats:proc:revoketutorrights [2012/05/29 16:41]
Patrick Michel
Line 3: Line 3:
 <code xcend> <code xcend>
 revokeTutorRights(ident uid, ident username, ident exerciseId, ident groupId) { revokeTutorRights(ident uid, ident username, ident exerciseId, ident groupId) {
-  assume exists //​accounts/​account[uid]/​assistant[id];+  assume exists //​accounts/​account[uid]/​assistant[exerciseId];
   ​   ​
-  assume exists //​accounts/​account[username]/​tutor[exerciseId]/​group[groupId]; ​# implies the account exists, which is implicitly true anyway +  assume exists //​accounts/​account[username]/​tutor[exerciseId]/​group[groupId];​ 
-  assume exists //​exercises/​exercise[exerciseId]/​groups/​group[groupId]/​tutor[account]; # implied by integrity and the assumption before+  assume exists //​exercises/​exercise[exerciseId]/​groups/​group[groupId]/​tutor[username]; 
 +    ​# implied by integrity and the assumption before
  
   remove //​accounts/​account[username]/​tutor[exerciseId]/​group[groupId];​   remove //​accounts/​account[username]/​tutor[exerciseId]/​group[groupId];​
Line 12: Line 13:
     remove //​accounts/​account[username]/​tutor[exerciseId];​     remove //​accounts/​account[username]/​tutor[exerciseId];​
   fi   fi
-  remove //​exercises/​exercise[exerciseId]/​groups/​group[groupId]/​tutor[account];+  remove //​exercises/​exercise[exerciseId]/​groups/​group[groupId]/​tutor[username];
 } }
 </​code>​ </​code>​
stats/proc/revoketutorrights.txt · Last modified: 2013/07/10 12:33 (external edit)