Merge branch 'gnatformat-issue_54' into 'master'

Add QuantifiedExpr config See merge request eng/libadalang/libadalang!1722
AdaCore · Aug 1, 2024 · c8ef0d8 · c8ef0d8
2 parents 01c9f10 + 00f2689
commit c8ef0d8
Show file tree

Hide file tree

Showing 4 changed files with 53 additions and 0 deletions.
diff --git a/extensions/default_unparsing_config.json b/extensions/default_unparsing_config.json
@@ -4835,6 +4835,39 @@
         ]
       }
     },
+    "QuantifiedExpr": {
+      "node": {
+        "kind": "group",
+        "document": {
+          "kind": "innerRoot",
+          "contents": [
+            {
+              "kind": "text",
+              "text": "for"
+            },
+            "whitespace",
+            {
+              "kind": "recurse_field",
+              "field": "f_quantifier"
+            },
+            {
+              "kind": "recurse_field",
+              "field": "f_loop_spec"
+            },
+            "line",
+            {
+              "kind": "text",
+              "text": "=>"
+            },
+            "whitespace",
+            {
+              "kind": "recurse_field",
+              "field": "f_expr"
+            }
+          ]
+        }
+      }
+    },
     "QualExpr": {
       "node": {
         "kind": "group",

diff --git a/testsuite/tests/unparsing/quantified_expr/input.ada b/testsuite/tests/unparsing/quantified_expr/input.ada
@@ -0,0 +1,7 @@
+if (for some Change of Value.contentChanges => Change > 80)
+  or else (for all Change of Value.contentChanges
+           => Change.text.Character_Length)
+then
+   --  Don't dump very long changes to avoid stack overflow
+   Self.Output.Put ("<some big change>", Ok);
+end if;
diff --git a/testsuite/tests/unparsing/quantified_expr/test.out b/testsuite/tests/unparsing/quantified_expr/test.out
@@ -0,0 +1,7 @@
+if (for some Change of Value.contentChanges => Change > 80)
+  or else (for all Change of Value.contentChanges
+           => Change.text.Character_Length)
+then
+   --  Don't dump very long changes to avoid stack overflow
+   Self.Output.Put ("<some big change>", Ok);
+end if;
diff --git a/testsuite/tests/unparsing/quantified_expr/test.yaml b/testsuite/tests/unparsing/quantified_expr/test.yaml
@@ -0,0 +1,6 @@
+driver: unparser
+rule: stmt
+description: |
+  This test checks that `QuantifiedExpr` nodes:
+  - do not line break is they fit in the line
+  - line breaks before the `=>` token if they don't fit in the line