[vala] girparser: Report unused metadata information
- From: Evan Nemerson <evann src gnome org>
- To: commits-list gnome org
- Cc: 
- Subject: [vala] girparser: Report unused metadata information
- Date: Mon,  8 Nov 2010 10:03:15 +0000 (UTC)
commit 7f70ac17396bbd5e987fb97842ad2a80725679bf
Author: Luca Bruno <lucabru src gnome org>
Date:   Sun Aug 29 15:11:02 2010 +0200
    girparser: Report unused metadata information
 vala/valagirparser.vala |   30 ++++++++++++++++++++++++++++++
 1 files changed, 30 insertions(+), 0 deletions(-)
---
diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala
index 2e19773..3089ad1 100644
--- a/vala/valagirparser.vala
+++ b/vala/valagirparser.vala
@@ -591,6 +591,8 @@ public class Vala.GirParser : CodeVisitor {
 		next ();
 		parse_repository ();
 
+		report_unused_metadata (metadata);
+
 		reader = null;
 		this.current_source_file = null;
 	}
@@ -2353,6 +2355,34 @@ public class Vala.GirParser : CodeVisitor {
 		return c;
 	}
 
+	/* Reporting */
+	void report_unused_metadata (Metadata metadata) {
+		if (metadata == Metadata.empty) {
+			return;
+		}
+
+		if (metadata.args.size == 0 && metadata.children.size == 0) {
+			Report.warning (metadata.source_reference, "empty metadata");
+			return;
+		}
+
+		foreach (var arg_type in metadata.args.get_keys ()) {
+			var arg = metadata.args[arg_type];
+			if (!arg.used) {
+				// if metadata is used and argument is not, then it's a unexpected argument
+				Report.warning (arg.source_reference, "argument never used");
+			}
+		}
+
+		foreach (var child in metadata.children) {
+			if (!child.used) {
+				Report.warning (child.source_reference, "metadata never used");
+			} else {
+				report_unused_metadata (child);
+			}
+		}
+	}
+
 	/* Post-parsing */
 
 	void resolve_gir_symbols () {
[
Date Prev][
Date Next]   [
Thread Prev][
Thread Next]   
[
Thread Index]
[
Date Index]
[
Author Index]