equal
deleted
inserted
replaced
858 element = children[0] |
858 element = children[0] |
859 group = {"type": ELEMENTSGROUP, "doc": annotations} |
859 group = {"type": ELEMENTSGROUP, "doc": annotations} |
860 if element["type"] == CHOICE: |
860 if element["type"] == CHOICE: |
861 group["choices"] = element["choices"] |
861 group["choices"] = element["choices"] |
862 else: |
862 else: |
863 group.update({"elements": element["elements"], "order": group["order"]}) |
863 group.update({"elements": element["elements"], "order": element["order"]}) |
864 group.update(attributes) |
864 group.update(attributes) |
865 return group |
865 return group |
866 |
866 |
867 # Constraint elements |
867 # Constraint elements |
868 |
868 |