From c7bb60559e3f1e4cfeef807863a6c7148d793a41 Mon Sep 17 00:00:00 2001 From: jacob1 Date: Fri, 31 Oct 2014 01:23:41 -0400 Subject: [PATCH] generator.py warns when two elements have the same ID --- generator.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/generator.py b/generator.py index a5df4863e..9569a5c1e 100644 --- a/generator.py +++ b/generator.py @@ -36,10 +36,14 @@ def generateElements(elementFiles, outputCpp, outputH): directives.append(match.split(" ")) classDirectives = [] + usedIDs = [] for d in directives: if d[0] == "ElementClass": d[3] = int(d[3]) classDirectives.append(d) + if d[3] in usedIDs: + print("WARNING: duplicate element ID {} ({})".format(d[3],d[2])) + usedIDs.append(d[3]) elementIDs = sorted(classDirectives, key=lambda directive: directive[3]) @@ -168,12 +172,16 @@ def generateTools(toolFiles, outputCpp, outputH): directives.append(match.split(" ")) classDirectives = [] + usedIDs = [] for d in directives: if d[0] == "ToolClass": toolClasses[d[1]] = [] toolHeader += "#define %s %s\n" % (d[2], d[3]) d[3] = int(d[3]) classDirectives.append(d) + if d[3] in usedIDs: + print("WARNING: duplicate tool ID {} ({})".format(d[3],d[2])) + usedIDs.append(d[3]) for d in directives: if d[0] == "ToolHeader":