--- a/trunk/src/Declarations.d	Mon Jul 09 17:21:05 2007 +0000
+++ b/trunk/src/Declarations.d	Mon Jul 09 17:48:03 2007 +0000
@@ -173,3 +173,13 @@
     this.statements = statements;
   }
 }
+
+class InvariantDeclaration : Declaration
+{
+  Statement[] statements;
+  this(Statement[] statements)
+  {
+    super(true);
+    this.statements = statements;
+  }
+}

--- a/trunk/src/Parser.d	Mon Jul 09 17:21:05 2007 +0000
+++ b/trunk/src/Parser.d	Mon Jul 09 17:48:03 2007 +0000
@@ -143,6 +143,9 @@
     case T.Tilde:
       decl = parseDestructorDeclaration();
       break;
+    case T.Invariant:
+      decl = parseInvariantDeclaration();
+      break;
     case T.Module:
       // Error: module is optional and can only appear once at the top of the source file.
       break;
@@ -523,6 +526,22 @@
     return new StaticDestructorDeclaration(statements);
   }
 
+  Declaration parseInvariantDeclaration()
+  {
+    assert(token.type == T.Invariant);
+    nT(); // Skip invariant keyword.
+    // Optional () for getting ready porting to D 2.0
+    if (token.type == T.LParen)
+    {
+      nT();
+      require(T.RParen);
+    }
+    require(T.LBrace);
+    auto statements = parseStatements();
+    require(T.RBrace);
+    return new InvariantDeclaration(statements);
+  }
+
   /+++++++++++++++++++++++++++++
   + Expression parsing methods +
   +++++++++++++++++++++++++++++/