User Tools

Site Tools


stats:proc:removeresult_sheet

Differences

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

Link to this comparison view

Next revision
Previous revision
stats:proc:removeresult_sheet [2011/09/28 20:54]
Patrick Michel created
stats:proc:removeresult_sheet [2013/07/10 12:34] (current)
Line 2: Line 2:
  
 <code xcend> <code xcend>
-removeResult(ident id, ident studentId, ident sheetId) { +removeResult(ident uid, ident id, ident studentId, ident sheetId) { 
-  assume exists //exercises/​exercise[id]/​students/​student[studentId]/​result[sheetId];​ # implies the existence of pretty much everything+  assume exists /account[uid]/assistant[id] 
 +      || exists /​account[uid]/​tutor[id]/​group[/​exercise[id]/​student[studentId]/​group];​ 
 + 
 +  assume exists /​exercise[id]/​student[studentId]/​result[sheetId];​ # implies the existence of pretty much everything
   ​   ​
-  remove ​//exercises/​exercise[id]/students/​student[studentId]/​result[sheetId];​+  remove /​exercise[id]/​student[studentId]/​result[sheetId];​
 } }
 </​code>​ </​code>​
stats/proc/removeresult_sheet.1317236077.txt.gz · Last modified: 2011/09/28 20:54 by Patrick Michel