User Tools

Site Tools


stats:proc:creategrade

This is an old revision of the document!


Create Grade

createGrade(ident id, ident gradeId, double value, double minPoints) {
  assume exists //exams/exam[id]; # implicitly true in OO implementations
  assume not exists //exams/exam[id]/grades/grade[gradeId];
 
  assume count(value, //exams/exam[id]/grades/grade/value) = 0;
  assume count(minPoints, //exams/exam[id]/grades/grade/minPoints) = 0;
 
  assume //exams/exam[id]/grades/grade[x]/value < value -> //exams/exam[id]/grades/grade[x]/minPoints > minPoints;
  assume value < //exams/exam[id]/grades/grade[x]/value -> minPoints < //exams/exam[id]/grades/grade[x]/minPoints;
 
  insert //exams/exam[id]/grades <grade id=[gradeId] value=[value] minPoints=[minPoints] />;
} # roles: examiner[id]
stats/proc/creategrade.1317250406.txt.gz · Last modified: 2011/09/29 00:53 by Patrick Michel