This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
stats:proc:leaveteam [2012/05/29 16:35] Patrick Michel |
stats:proc:leaveteam [2013/07/10 12:34] (current) |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| <code xcend> | <code xcend> | ||
| leaveTeam(ident uid, ident id, ident studentId) { | leaveTeam(ident uid, ident id, ident studentId) { | ||
| - | assume exists //accounts/account[uid]/tutor[id]/group[//exercises/exercise[id]/student[studentId]/group]; | + | assume exists /account[uid]/tutor[id]/group[/exercise[id]/student[studentId]/group]; |
| # implies the existence of the student, the exercise, the group and enough rights by a tutor account | # implies the existence of the student, the exercise, the group and enough rights by a tutor account | ||
| - | assume exists //exercises/exercise[id]/student[studentId]/team; | + | assume exists /exercise[id]/student[studentId]/team; |
| - | remove //exercises/exercise[id]/student[studentId]/team; | + | remove /exercise[id]/student[studentId]/team; |
| }</code> | }</code> | ||