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 [2011/10/15 20:21]
Patrick Michel
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 //​accounts/​account[uid]/​assistant[id] 
 +      || exists //​accounts/​account[uid]/​tutor[id]/​group[//​exercises/​exercise[id]/​students/​student[studentId]/​group];​ 
   assume exists //​exercises/​exercise[id]/​students/​student[studentId]/​result[sheetId];​ # implies the existence of pretty much everything   assume exists //​exercises/​exercise[id]/​students/​student[studentId]/​result[sheetId];​ # implies the existence of pretty much everything
   ​   ​
   remove //​exercises/​exercise[id]/​students/​student[studentId]/​result[sheetId];​   remove //​exercises/​exercise[id]/​students/​student[studentId]/​result[sheetId];​
-# roles: tutor[id, groupId] <- groupId is no parameter of procedure!+}
 </​code>​ </​code>​
stats/proc/removeresult_sheet.txt · Last modified: 2013/07/10 12:34 (external edit)