From 555729bc497b2507407ecd2f0ae29a4e9fe36f70 Mon Sep 17 00:00:00 2001 From: Noel Grandin Date: Thu, 1 Aug 2019 16:00:41 +0200 Subject: remove some resolved ui suppressions and enhance the script to make finding the unused ones easier Change-Id: I937246e98d93fb999a23f2283b6794eaaa6dfa99 Reviewed-on: https://gerrit.libreoffice.org/76806 Tested-by: Jenkins Reviewed-by: Noel Grandin --- bin/gla11y | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'bin') diff --git a/bin/gla11y b/bin/gla11y index f93121484648..0120326d29a2 100755 --- a/bin/gla11y +++ b/bin/gla11y @@ -249,6 +249,7 @@ widgets_labels = [ progname = os.path.basename(sys.argv[0]) suppressions = {} +suppressions_to_line = {} false_positives = {} ids = {} ids_dup = {} @@ -1297,9 +1298,12 @@ def main(): if suppr is not None: try: supprfile = open(suppr, 'r') + line_no = 1; for line in supprfile.readlines(): prefix = line.rstrip() suppressions[prefix] = True + suppressions_to_line[prefix] = line_no + line_no = line_no + 1; supprfile.close() except IOError: pass @@ -1370,7 +1374,10 @@ def main(): n += 1 if n > 0: - print("%s suppression%s unused" % (n, 's' if n > 1 else '')) + print("%s suppression%s unused:" % (n, 's' if n > 1 else '')) + for (suppr,unused) in suppressions.items(): + if unused: + print(" %s:%s" % (suppressions_to_line[suppr], suppr)) if gen_supprfile is not None: gen_supprfile.close() -- cgit