User Tools

Site Tools



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:changeattributes_exercise [2011/09/28 23:49]
Patrick Michel
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; 
-# roles: admin+}
 </​code>​ </​code>​
stats/proc/changeattributes_exercise.1317246579.txt.gz · Last modified: 2011/09/28 23:49 by Patrick Michel