This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
stats:proc:deleteexam [2011/10/02 10:37] Patrick Michel |
stats:proc:deleteexam [2011/10/07 14:32] Patrick Michel |
||
---|---|---|---|
Line 7: | Line 7: | ||
assume exists //exams/exam[id]; | assume exists //exams/exam[id]; | ||
| | ||
- | assume size(//acounts/account/examiner[id]) = 0; | + | assume size(//exams/exam[id]/examiner) = 0; |
assume size(//exams/exam[id]/results/participant) = 0; # don't allow to delete if participants are there | assume size(//exams/exam[id]/results/participant) = 0; # don't allow to delete if participants are there |