This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
stats:schema:group [2011/09/29 11:11] Patrick Michel |
stats:schema:group [2011/11/03 12:28] Patrick Michel |
||
---|---|---|---|
Line 7: | Line 7: | ||
<code xcend> | <code xcend> | ||
element groups { | element groups { | ||
- | element group * id { [ count(./id, ..exercise/students/student/group) < ./maxSize ] # 4.1, 2.8 | + | 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 maxSize { integer [ . >= 0 ]} # 3.1 | + | attribute curSize { integer [ . = count(../id, ..exercise/students/student/group) ]} |
+ | attribute maxSize { integer [ . >= 0 ]} | ||
- | element tutor * account {[ exists //accounts/account[./account] ]} # 1.5, 2.9 | + | element tutor * account {[ exists //accounts/account[./account]/tutor[..exercise/id]/group[..group/id] ]} |
} | } | ||
} | } |