User Tools

Site Tools


stats:proc:revokeassistantrights

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:revokeassistantrights [2012/05/29 16:38]
Patrick Michel
stats:proc:revokeassistantrights [2013/07/10 12:32] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 revokeAssistantRights(ident uid, ident username, ident exerciseId) { revokeAssistantRights(ident uid, ident username, ident exerciseId) {
-  assume exists ​//accounts/​account[uid]/​admin;​+  assume exists /​account[uid]/​admin;​
  
-  assume exists ​//accounts/​account[username]/​exercise[exerciseId];​ # implies the account exists, which is implicitly true anyway +  assume exists /​account[username]/​assistant[exerciseId];​ # implies the account exists, which is implicitly true anyway 
-  assume exists ​//exercises/​exercise[exerciseId]/​assistant[username];​ # implied by integrity and the assumption before+  assume exists /​exercise[exerciseId]/​assistant[username];​ # implied by integrity and the assumption before
  
-  remove ​//accounts/​account[username]/​exercise[exerciseId];​ +  remove /​account[username]/​assistant[exerciseId];​ 
-  remove ​//exercises/​exercise[exerciseId]/​assistant[username];​+  remove /​exercise[exerciseId]/​assistant[username];​
 } }
 </​code>​ </​code>​
  
stats/proc/revokeassistantrights.1338302285.txt.gz · Last modified: 2012/05/29 16:38 by Patrick Michel