User Tools

Site Tools


stats:proc:granttutorrights

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:granttutorrights [2011/09/29 19:35]
Patrick Michel
stats:proc:granttutorrights [2012/05/29 16:45]
Patrick Michel
Line 3: Line 3:
 <code xcend> <code xcend>
 grantTutorRights(ident uid, ident username, ident exerciseId, ident groupId) { grantTutorRights(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];​ # implicitly true in OO implementations   assume exists //​accounts/​account[username];​ # implicitly true in OO implementations
Line 9: Line 9:
   ​   ​
   assume not exists //​accounts/​account[username]/​tutor[exerciseId]/​group[groupId]);​   assume not exists //​accounts/​account[username]/​tutor[exerciseId]/​group[groupId]);​
-  assume not exists //​exercises/​exercise[exerciseId]/​groups/​group[groupId]/​tutor[account]; # implied by integrity and the assumption before+  assume not exists //​exercises/​exercise[exerciseId]/​groups/​group[groupId]/​tutor[username]; 
 +    ​# implied by integrity and the assumption before
  
   if not exists //​accounts/​account[username]/​tutor[exerciseId] then # we could split the tutor rights here   if not exists //​accounts/​account[username]/​tutor[exerciseId] then # we could split the tutor rights here
stats/proc/granttutorrights.txt · Last modified: 2013/07/10 12:33 (external edit)