User Tools

Site Tools


stats:schema:group

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:schema:group [2011/09/29 11:11]
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 ] # 4.1, 2.8 +      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 maxSize ​        { integer [ . >= 0 ]} # 3.1 +      ​attribute maxSize ​        { integer [ . >= 0 ]} 
-  + 
-          element tutor * account ​  {[ exists ​//accounts/​account[./​account] ]} # 1.5, 2.+      element tutor * account ​  {[ exists /​account[./​account]/​tutor[..exercise/​id]/group[..group/id] ]
-        ​                          ​ +                              ​
-                                  ​+
 </​code>​ </​code>​
  
stats/schema/group.1317287515.txt.gz · Last modified: 2011/09/29 11:11 by Patrick Michel