Merge branch 'mku/fix_gnatformat_config_issues' into 'master'

Fix gnatformat testing issues related to the default configuration file

See merge request eng/libadalang/libadalang!1695

extensions/default_unparsing_config.json

@@ -29,6 +29,44 @@
         }
       }
     },
+    "AbstractSubpDecl": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "recurse_field",
+            "field": "f_overriding"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_subp_spec"
+          },
+          "line",
+          {
+            "kind": "text",
+            "text": "is"
+          },
+          {
+            "kind": "text",
+            "text": "abstract"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_aspects"
+          },
+          {
+            "kind": "text",
+            "text": ";"
+          }
+        ]
+      },
+      "fields": {
+        "f_aspects": [
+          "hardlineWithoutBreakParent",
+          "recurse"
+        ]
+      }
+    },
     "AcceptStmt": {
       "node": {
         "kind": "group",
@@ -228,7 +266,6 @@
             "kind": "text",
             "text": "new"
           },
-          "whitespace",
           {
             "kind": "recurse_field",
             "field": "f_subpool"
@@ -239,6 +276,20 @@
             "field": "f_type_or_expr"
           }
         ]
+      },
+      "fields": {
+        "f_subpool": [
+          "whitespace",
+          {
+            "kind": "text",
+            "text": "("
+          },
+          "recurse",
+          {
+            "kind": "text",
+            "text": ")"
+          }
+        ]
       }
     },
     "AlternativesList": {
@@ -617,8 +668,11 @@
                 "text": "("
               },
               {
-                "kind": "recurse_field",
-                "field": "f_suffix"
+                "kind": "innerRoot",
+                "contents": {
+                  "kind": "recurse_field",
+                  "field": "f_suffix"
+                }
               },
               {
                 "kind": "text",
@@ -1047,6 +1101,59 @@
         }
       }
     },
+    "CompositeConstraint": {
+      "node": {
+        "kind": "group",
+        "document": [
+          "line",
+          {
+            "kind": "text",
+            "text": "("
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_constraints"
+          },
+          {
+            "kind": "text",
+            "text": ")"
+          }
+        ]
+      }
+    },
+    "CompositeConstraintAssoc": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "recurse_field",
+            "field": "f_ids"
+          },
+          {
+            "kind": "innerRoot",
+            "contents": {
+              "kind": "recurse_field",
+              "field": "f_constraint_expr"
+            }
+          }
+        ]
+      },
+      "fields": {
+        "f_ids": {
+          "kind": "align",
+          "width": 2,
+          "contents": [
+            "recurse",
+            "whitespace",
+            {
+              "kind": "text",
+              "text": "=>"
+            },
+            "line"
+          ]
+        }
+      }
+    },
     "ConcatOp": {
       "node": {
         "kind": "group",
@@ -2476,14 +2583,19 @@
                 "kind": "recurse_field",
                 "field": "f_iter_expr"
               },
-              "line",
               {
                 "kind": "recurse_field",
                 "field": "f_iter_filter"
               }
             ]
           }
         ]
+      },
+      "fields": {
+        "f_iter_filter": [
+          "line",
+          "recurse"
+        ]
       }
     },
     "ForLoopStmt": {
@@ -5748,4 +5860,4 @@
     }
   },
   "max_empty_lines": 1
-}
+}

testsuite/tests/unparsing/call_stmt/param_align/input.ada

@@ -0,0 +1,5 @@
+Foo
+  (AAAA => Foo_1,
+  BB => Foo_2,
+  CCCCCCC => Foo_3,
+  DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD => 7);

testsuite/tests/unparsing/call_stmt/param_align/test.out

@@ -0,0 +1,5 @@
+Foo
+  (AAAA => Foo_1,
+   BB => Foo_2,
+   CCCCCCC => Foo_3,
+   DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD => 7);

testsuite/tests/unparsing/call_stmt/param_align/test.yaml

@@ -0,0 +1,6 @@
+driver: unparser
+rule: stmt
+description: |
+  Base test for a `CallStmt`. Tests that if the statement is too long, the
+  underlying `CallExpr` breaks. Additionally, this test checks this behaviour
+  when the `;` is at the line length limit.

testsuite/tests/unparsing/for_loop_stmt/array_init/input.ada

@@ -0,0 +1,3 @@
+   for I in My_Tasks'Range loop
+      My_Tasks (I).Start (I);
+   end loop;

testsuite/tests/unparsing/for_loop_stmt/array_init/test.out

@@ -0,0 +1,3 @@
+for I in My_Tasks'Range loop
+   My_Tasks (I).Start (I);
+end loop;

testsuite/tests/unparsing/for_loop_stmt/array_init/test.yaml

@@ -0,0 +1,4 @@
+driver: unparser
+rule: stmt
+description: |
+  Test that no line breaks are added.

testsuite/tests/unparsing/object_decl/with_composite_constraints/input.ada

@@ -0,0 +1 @@
+Max : not null Person_Name := new Person(Sex=>M);

testsuite/tests/unparsing/object_decl/with_composite_constraints/test.out

@@ -0,0 +1 @@
+Max : not null Person_Name := new Person (Sex => M);

testsuite/tests/unparsing/object_decl/with_composite_constraints/test.yaml

@@ -0,0 +1,4 @@
+driver: unparser
+rule: object_decl
+description: |
+  Base test case for a short `ObjectDecl`.

testsuite/tests/unparsing/single_protected_decl/test.out

@@ -2,5 +2,5 @@ protected Shared_Array is
    function Component (N : in Index) return Item;
    procedure Set_Component (N : in Index; E : in Item);
 private
-   Table : Item_Array(Index) := (others => Null_Item);
+   Table : Item_Array (Index) := (others => Null_Item);
 end Shared_Array;

testsuite/tests/unparsing/subp_decl/abstract/input.ada

@@ -0,0 +1,3 @@
+    procedure Take(Element : out Element_Type;
+                   From : in out Set) is abstract;
+

testsuite/tests/unparsing/subp_decl/abstract/test.out

@@ -0,0 +1 @@
+procedure Take (Element : out Element_Type; From : in out Set) is abstract;

testsuite/tests/unparsing/subp_decl/abstract/test.yaml

@@ -0,0 +1,5 @@
+driver: unparser
+rule: subp_decl
+description: |
+  Test that no line break is added after the `f_overriding` fields when the
+  declaration fits in one line.