User Tools

Site Tools


stats:proc:changeattributes_task

Change Attributes (Task)

changeAttributes(ident uid, ident id, ident taskId, double maxPoints) {
  assume exists /account[uid]/examiner[id];
 
  assume exists /exam[id]/task[taskId]; # implies the existence of the exam
 
  assume maxPoints >= 0;
  assume /exam[id]/participant[x]/result[taskId]/points <= maxPoints;
 
  update /exam[id]/task[taskId]/maxPoints maxPoints;
}
stats/proc/changeattributes_task.txt · Last modified: 2013/07/10 12:34 (external edit)