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:03]
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 ]+        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) ]}
           attribute maxSize ​        { integer [ . >= 0 ]}           attribute maxSize ​        { integer [ . >= 0 ]}
    
-          element tutor * account ​  {[ exists //​accounts/​account[./​account] ]} # 1.5+          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)