This is an old revision of the document!
createTask(ident uid, ident id, ident taskId, double maxPoints) { assume exists //accounts/account[uid]/examiner[id]; assume exists //exams/exam[id]; # implicitly true in OO implementations assume not exists //exams/exam[id]/tasks/task[taskId]; assume maxPoints >= 0; insert //exams/exam[id]/tasks <task id=[taskId] maxPoints=[maxPoints] />; }