User Tools

Site Tools


stats:proc:deletesheet

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

stats:proc:deletesheet [2011/09/29 19:34]
Patrick Michel
stats:proc:deletesheet [2013/07/10 12:34]
Line 1: Line 1:
-====== Delete Sheet ====== 
  
-<code xcend> 
-deleteSheet(ident uid, ident id, ident sheetId) { 
-  assume exists //​accounts/​account[uid]/​assistant[id];​ 
-  ​ 
-  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];​ 
-} 
-</​code>​ 
stats/proc/deletesheet.txt ยท Last modified: 2013/07/10 12:34 (external edit)