Report duplicate object IDs

This commit is contained in:
James Westman 2021-11-03 14:58:33 -05:00
parent dfb09b9357
commit 241668fb94
No known key found for this signature in database
GPG key ID: CE2DBA0ADB654EA6
5 changed files with 68 additions and 1 deletions

View file

@ -51,6 +51,11 @@ class UI(AstNode):
return gir_ctx
@lazy_prop
def objects_by_id(self):
return { obj.id: obj for obj in self.iterate_children_recursive() if hasattr(obj, "id") }
@validate()
def gir_errors(self):
# make sure gir is loaded
@ -66,6 +71,19 @@ class UI(AstNode):
self.children[Template][1].group.start)
@validate()
def unique_ids(self):
passed = {}
for obj in self.iterate_children_recursive():
if obj.tokens["id"] is None:
continue
if obj.tokens["id"] in passed:
token = obj.group.tokens["id"]
raise CompileError(f"Duplicate object ID '{obj.tokens['id']}'", token.start, token.end)
passed[obj.tokens["id"]] = obj
def emit_xml(self, xml: XmlEmitter):
xml.start_tag("interface")
for x in self.children: