girparser: Report error on unsupported GIR version

Fixes bug 629805.

diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala
index 53cb317dddd42aa8ac7246ed87c3596726533da5..0540388510b603d9c3b9d28f307652d47a2128d8 100644 (file)
--- a/vala/valagirparser.vala
+++ b/vala/valagirparser.vala
@@ -131,8 +131,14 @@ public class Vala.GirParser : CodeVisitor {
                return new SourceReference (this.current_source_file, begin.line, begin.column, end.line, end.column);
        }
 
+       const string GIR_VERSION = "1.2";
+
        void parse_repository () {
                start_element ("repository");
+               if (reader.get_attribute ("version") != GIR_VERSION) {
+                       Report.error (get_current_src (), "unsupported GIR version %s (supported: %s)".printf (reader.get_attribute ("version"), GIR_VERSION));
+                       return;
+               }
                next ();
                while (current_token == MarkupTokenType.START_ELEMENT) {
                        if (reader.name == "namespace") {