Support for DIP1009 (new contracts syntax), #375

dub.json

@@ -4,7 +4,7 @@
     "targetType": "autodetect",
     "license": "BSL-1.0",
     "dependencies": {
-      "libdparse": "~>0.8.6"
+      "libdparse": "~>0.9.7"
     },
     "targetPath" : "bin/",
     "targetName" : "dfmt",

libdparse

@@ -1 +1 @@
-Subproject commit 086cf06051bb1f33c94891ba6c39a57f164ee296
+Subproject commit 7ca3cb87b695a1d6b195ad7730c2094d07f22933

src/dfmt/formatter.d

@@ -1906,7 +1906,7 @@ const pure @safe @nogc:
     bool isBlockHeaderToken(IdType t)
     {
         return t == tok!"for" || t == tok!"foreach" || t == tok!"foreach_reverse"
-            || t == tok!"while" || t == tok!"if" || t == tok!"out"
+            || t == tok!"while" || t == tok!"if" || t == tok!"in"|| t == tok!"out"
             || t == tok!"do" || t == tok!"catch" || t == tok!"with"
             || t == tok!"synchronized" || t == tok!"scope";
     }
@@ -1916,7 +1916,18 @@ const pure @safe @nogc:
         if (i + index < 0 || i + index >= tokens.length)
             return false;
         auto t = tokens[i + index].type;
-        return isBlockHeaderToken(t);
+        bool isExpressionContract;
+
+        if (i + index + 3 < tokens.length)
+        {
+            isExpressionContract = (t == tok!"in" && peekImplementation(tok!"(", i + 1, true))
+                || (t == tok!"out" && (peekImplementation(tok!"(", i + 1, true)
+                    && (peekImplementation(tok!";", i + 2, true)
+                        || (peekImplementation(tok!"identifier", i + 2, true)
+                            && peekImplementation(tok!";", i + 3, true)))));
+        }
+
+        return isBlockHeaderToken(t) && !isExpressionContract;
     }
 
     bool isSeparationToken(IdType t) nothrow

tests/allman/dip1009.d.ref

@@ -0,0 +1,21 @@
+int foo(int arg)
+in
+{
+    assert(arg > 0);
+}
+out (result)
+{
+    assert(result == 0);
+}
+do
+{
+    return 0;
+}
+
+int bar(int arg)
+in(arg > 0)
+out(; true)
+out /*Major*/ ( /*Tom*/ result /*To ground control*/ ; result == 0)
+{
+    return 0;
+}

tests/dip1009.d

@@ -0,0 +1,15 @@
+int foo(int arg)
+in { assert(arg > 0); }
+out (result) {assert(result == 0);}
+do
+{
+    return 0;
+}
+
+int bar(int arg)
+in ( arg > 0 )
+out(; true)
+out/*Major*/ ( /*Tom*/ result /*To ground control*/; result==0)
+{
+    return 0;
+}

tests/otbs/dip1009.d.ref

@@ -0,0 +1,17 @@
+int foo(int arg)
+in {
+    assert(arg > 0);
+}
+out (result) {
+    assert(result == 0);
+}
+do {
+    return 0;
+}
+
+int bar(int arg)
+in(arg > 0)
+out(; true)
+out /*Major*/ ( /*Tom*/ result /*To ground control*/ ; result == 0) {
+    return 0;
+}