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/29 19:27]
Patrick Michel
stats:proc:changeattributes_exercise [2013/07/10 12:32] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 changeAttributes(ident uid, 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 /​account[uid]/​admin || exists /​account[uid]/​assistant[id];​
-  assume exists ​//exercise/​exercise[id];​ # implicitly true in OO implementations+  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.1317317228.txt.gz · Last modified: 2011/09/29 19:27 by Patrick Michel