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 16:26]
Patrick Michel
stats:schema:group [2013/01/22 16:09]
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 curSize ​        { integer [ . = count(../​id,​ ..exercise/​students/​student/​group) ]} # NEW +          attribute curSize ​        { integer [ . = count(../​id,​ ..exercise/​students/​student/​group) ]} 
-          attribute maxSize ​        { integer [ . >= 0 ]} # 3.1+          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] ]}
         }                                    }                           
       }                                    }                             
stats/schema/group.txt · Last modified: 2013/07/10 12:47 (external edit)