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 revisionPrevious revision
Next revision
Previous revision
stats:proc:removeresult_sheet [2011/09/29 00:13] – Patrick Michelstats:proc:removeresult_sheet [2013/07/10 12:34] (current) – external edit 127.0.0.1
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: by Patrick Michel

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki