This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
stats:schema:group [2011/11/03 12:28] Patrick Michel |
stats:schema:group [2013/07/10 12:47] (current) |
||
---|---|---|---|
Line 6: | Line 6: | ||
<code xcend> | <code xcend> | ||
- | element groups { | + | element group * id { [ count(./id, ..exercise/student/group) <= ./maxSize ] |
- | element group * id { [ count(./id, ..exercise/students/student/group) < ./maxSize ] | + | attribute day { "Monday" | "Tuesday" | "Wednesday" | "Thursday" | "Friday" | "Saturday" | "Sunday" } |
- | attribute day { "Monday" | "Tuesday" | "Wednesday" | "Thursday" | "Friday" | "Saturday" | "Sunday" } | + | attribute time { string } |
- | attribute time { string } | + | attribute location { string } |
- | attribute location { string } | + | attribute curSize { integer [ . = count(../id, ..exercise/student/group) ]} |
- | attribute curSize { integer [ . = count(../id, ..exercise/students/student/group) ]} | + | attribute maxSize { integer [ . >= 0 ]} |
- | attribute maxSize { integer [ . >= 0 ]} | + | |
- | + | element tutor * account {[ exists /account[./account]/tutor[..exercise/id]/group[..group/id] ]} | |
- | element tutor * account {[ exists //accounts/account[./account]/tutor[..exercise/id]/group[..group/id] ]} | + | } |
- | } | + | |
- | } | + | |
</code> | </code> | ||