User Tools

Site Tools


stats:proc:deletesheet

This is an old revision of the document!


Delete Sheet

deleteSheet(ident id, ident sheetId) {
  assume exists //exercises/exercise[id]/sheets/sheet[sheetId]; # implies existence of the exercise
 
  assume size(//exercises/exercise[id]/students/student/result[sheetId]) = 0;
 
  remove //exercises/exercise[id]/sheets/sheet[sheetId];
} # roles: assistant[id]
stats/proc/deletesheet.1317247319.txt.gz · Last modified: 2011/09/29 00:01 by Patrick Michel