diff options
Diffstat (limited to 'data')
| -rw-r--r-- | data/schemata/interface_definition.rnc | 2 | ||||
| -rw-r--r-- | data/schemata/interface_definition.rng | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/data/schemata/interface_definition.rnc b/data/schemata/interface_definition.rnc index 3ad1dd8..5c60ffb 100644 --- a/data/schemata/interface_definition.rnc +++ b/data/schemata/interface_definition.rnc @@ -50,7 +50,7 @@ node = element node tagNode = element tagNode { (ownerAttr? & nodeNameAttr), - (properties? & children ) + (properties? & (element keepChildOrder { empty })? & children ) } # Leaf nodes are terminal configuration nodes that can't have children, diff --git a/data/schemata/interface_definition.rng b/data/schemata/interface_definition.rng index 4625b67..a42808b 100644 --- a/data/schemata/interface_definition.rng +++ b/data/schemata/interface_definition.rng @@ -84,6 +84,11 @@ <optional> <ref name="properties"/> </optional> + <optional> + <element name="keepChildOrder"> + <empty/> + </element> + </optional> <ref name="children"/> </interleave> </element> |