[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]