User Tools

Site Tools


stats:proc:creategrade

This is an old revision of the document!


Create Grade

createGrade(ident uid, ident id, ident gradeId, string name, double value, double minPoints) {
  assume exists //accounts/account[uid]/examiner[id];
 
  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 exists //exams/exam[id]/grades/grade[x] && //exams/exam[id]/grades/grade[x]/value < value -> //exams/exam[id]/grades/grade[x]/minPoints > minPoints;
  assume exists //exams/exam[id]/grades/grade[x] && value < //exams/exam[id]/grades/grade[x]/value -> minPoints > //exams/exam[id]/grades/grade[x]/minPoints;
 
  insert //exams/exam[id]/grades <grade id=[gradeId] name=[name] value=[value] minPoints=[minPoints] />;
}
stats/proc/creategrade.1344354761.txt.gz · Last modified: 2012/08/07 17:52 by Patrick Michel