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

Both sides previous revision Previous revision
Next revision
Previous revision
stats:proc:removeresult_sheet [2011/09/29 00:13]
Patrick Michel
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];​ 
-# roles: tutor[id, groupId] <- groupId is no parameter of procedure!+}
 </​code>​ </​code>​
stats/proc/removeresult_sheet.1317248032.txt.gz · Last modified: 2011/09/29 00:13 by Patrick Michel