summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--schema/interface_definition.rng5
-rwxr-xr-xscripts/build-command-templates9
2 files changed, 13 insertions, 1 deletions
diff --git a/schema/interface_definition.rng b/schema/interface_definition.rng
index d1bd9a708..5a0a48845 100644
--- a/schema/interface_definition.rng
+++ b/schema/interface_definition.rng
@@ -169,6 +169,11 @@
</element>
</optional>
<optional>
+ <element name="type">
+ <text/>
+ </element>
+ </optional>
+ <optional>
<!-- These are meaningful only for tag nodes -->
<group>
<element name="keepChildOrder">
diff --git a/scripts/build-command-templates b/scripts/build-command-templates
index ff0ce05f0..d1871c1c8 100755
--- a/scripts/build-command-templates
+++ b/scripts/build-command-templates
@@ -165,6 +165,12 @@ def get_properties(p):
except:
pass
+ # Get type
+ try:
+ props["type"] = p.find("type").text
+ except:
+ pass
+
# Get "multi"
if p.find("multi") is not None:
props["multi"] = True
@@ -233,7 +239,8 @@ def process_node(n, tmpl_dir):
props["owner"] = owner
# Type should not be set for non-tag, non-leaf nodes
if node_type != "node":
- props["type"] = "txt"
+ if "type" not in props.keys():
+ props["type"] = "txt"
if node_type == "tagNode":
props["tag"] = "True"