Index: tools/metrics/actions/print_style.py |
diff --git a/tools/metrics/actions/print_style.py b/tools/metrics/actions/print_style.py |
index 39deb2300e3984b679a2d74f3f8d78cfc2e4cee4..817b148ebb8fd5f971fb9e708f173bc528ea4c5c 100644 |
--- a/tools/metrics/actions/print_style.py |
+++ b/tools/metrics/actions/print_style.py |
@@ -27,6 +27,13 @@ ATTRIBUTE_ORDER = { |
'with-suffix': ['name'], |
} |
+# Attribute names that must be explicitly specified on nodes that support them. |
+REQUIRED_ATTRIBUTES = [ |
+ 'label', |
+ 'name', |
+ 'separator', |
+] |
+ |
# Tag names for top-level nodes whose children we don't want to indent. |
TAGS_THAT_DONT_INDENT = [ |
'actions', |
@@ -59,6 +66,7 @@ TAGS_ALPHABETIZATION_RULES = { |
def GetPrintStyle(): |
"""Returns an XmlStyle object for pretty printing actions.""" |
return pretty_print_xml.XmlStyle(ATTRIBUTE_ORDER, |
+ REQUIRED_ATTRIBUTES, |
TAGS_THAT_HAVE_EXTRA_NEWLINE, |
TAGS_THAT_DONT_INDENT, |
TAGS_THAT_ALLOW_SINGLE_LINE, |