User Tools

Site Tools


stats:proc:changeattributes_exercise

Change Attributes (Exercise)

changeAttributes(ident uid, ident id, string lecture, string term) {
  assume exists /account[uid]/admin || exists /account[uid]/assistant[id];
 
  assume exists /exercise[id]; # implicitly true in OO implementations
 
  update /exercise[id]/lecture lecture;
  update /exercise[id]/term term;
}
stats/proc/changeattributes_exercise.txt · Last modified: 2013/07/10 12:32 (external edit)