User Tools

Site Tools


stats:proc:changeattributes_exercise

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 Both sides next revision
stats:proc:changeattributes_exercise [2011/09/29 00:01]
Patrick Michel
stats:proc:changeattributes_exercise [2011/09/29 19:27]
Patrick Michel
Line 2: Line 2:
  
 <code xcend> <code xcend>
-changeAttributes(ident id, string lecture, string term) {+changeAttributes(ident uid, ident id, string lecture, string term) { 
 +  assume exists //​accounts/​account[uid]/​admin || exists //​accounts/​account[uid]/​assistant[id];​ 
   assume exists //​exercise/​exercise[id];​ # implicitly true in OO implementations   assume exists //​exercise/​exercise[id];​ # implicitly true in OO implementations
    
   update //​exercise/​exercise[id]/​lecture lecture;   update //​exercise/​exercise[id]/​lecture lecture;
   update //​exercise/​exercise[id]/​term term;   update //​exercise/​exercise[id]/​term term;
-# roles: admin, assistant[id]+}
 </​code>​ </​code>​
  
stats/proc/changeattributes_exercise.txt · Last modified: 2013/07/10 12:32 (external edit)