User Tools

Site Tools



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

Link to this comparison view

Next revision
Previous revision
stats:proc:changeattributes_exercise [2011/09/27 20:58]
Patrick Michel created
stats:proc:changeattributes_exercise [2013/07/10 12:32] (current)
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 //exercise/​exercise[id];​ # implicitly true in OO implementations+  assume exists /account[uid]/admin || exists /​account[uid]/​assistant[id];​ 
 +  assume exists ​/​exercise[id];​ # implicitly true in OO implementations
-  update ​//exercise/​exercise[id]/​lecture lecture; +  update /​exercise[id]/​lecture lecture; 
-  update ​//exercise/​exercise[id]/​term term;+  update /​exercise[id]/​term term;
 } }
 </​code>​ </​code>​
stats/proc/changeattributes_exercise.1317149914.txt.gz · Last modified: 2011/09/27 20:58 by Patrick Michel