Merge branch 'gnatformat-issue_57' into 'master'

Improve TypeAccessDef on SubpSpec nodes

Closes eng/ide/gnatformat#57

See merge request eng/libadalang/libadalang!1725

extensions/default_unparsing_config.json

@@ -5833,8 +5833,14 @@
             "field": "f_has_constant"
           },
           {
-            "kind": "recurse_field",
-            "field": "f_subtype_indication"
+            "kind": "continuationLineIndent",
+            "contents": [
+              "line",
+              {
+                "kind": "recurse_field",
+                "field": "f_subtype_indication"
+              }
+            ]
           }
         ]
       }

testsuite/tests/unparsing/anonymous_type_decl/access_type/long_not_null_access/input.ada

@@ -0,0 +1,5 @@
+procedure Initialize
+  (Self     : in out Default_Message_Handler'Class;
+   Handler  :
+     not null access LSP.Server_Message_Visitors.Server_Message_Visitor'Classss;
+   Priority : LSP.Server_Jobs.Job_Priority := LSP.Server_Jobs.Fence);

testsuite/tests/unparsing/anonymous_type_decl/access_type/long_not_null_access/test.out

@@ -0,0 +1,6 @@
+procedure Initialize
+  (Self     : in out Default_Message_Handler'Class;
+   Handler  :
+     not null access
+       LSP.Server_Message_Visitors.Server_Message_Visitor'Classss;
+   Priority : LSP.Server_Jobs.Job_Priority := LSP.Server_Jobs.Fence);

testsuite/tests/unparsing/anonymous_type_decl/access_type/long_not_null_access/test.yaml

@@ -0,0 +1,6 @@
+driver: unparser
+rule: subp_decl
+description: |
+  This test checks the formatting of a long not null anonymous access type
+  declaration. It is expected a line break after the `access` token and that
+  `f_subtype_indication` is continuation line indented.

testsuite/tests/unparsing/anonymous_type_decl/access_type/short_not_null_access/input.ada

@@ -0,0 +1,6 @@
+procedure Initialize
+  (Self     : in out Default_Message_Handler'Class;
+   Handler  :
+     not null access LSP.Server_Message_Visitors.Server_Message_Visitor'Class;
+   Priority : LSP.Server_Jobs.Job_Priority := LSP.Server_Jobs.Fence);
+

testsuite/tests/unparsing/anonymous_type_decl/access_type/short_not_null_access/test.out

@@ -0,0 +1,5 @@
+procedure Initialize
+  (Self     : in out Default_Message_Handler'Class;
+   Handler  :
+     not null access LSP.Server_Message_Visitors.Server_Message_Visitor'Class;
+   Priority : LSP.Server_Jobs.Job_Priority := LSP.Server_Jobs.Fence);

testsuite/tests/unparsing/anonymous_type_decl/access_type/short_not_null_access/test.yaml

@@ -0,0 +1,5 @@
+driver: unparser
+rule: subp_decl
+description: |
+  This test checks the formatting of a simple not null anonymous access type
+  declaration. It is expected the declaration stays on a single line.

testsuite/tests/unparsing/type_def/type_access_def/long_subtype_indication/test.out

@@ -1,2 +1,3 @@
 type Aaaaaaaa is
-  access BBBBBBBBBBBbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb;
+  access
+    BBBBBBBBBBBbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb;

testsuite/tests/unparsing/type_def/type_access_def/long_subtype_indication/test.yaml

@@ -1,8 +1,8 @@
-description: |
-    This test checks the formatting of a simple access type declaration
-    having a long subtype indication.
-    It is expected the declaration be splitted after `is` keyword and
-    the new line be indented with a line continuation indentation.
-
 driver: unparser
 rule: type_decl
+description: |
+  This test checks the formatting of a simple access type declaration having a
+  long subtype indication. It is expected the declaration be splitted after
+  `is` keyword and the new line be indented with a line continuation
+  indentation. It is also expected a line break before `f_subtype_indication`
+  and for it to also be continuation line indented.