Merge branch 'gnatformat-issue_45' into 'master'

Add table alignment to AggregateAssoc, ComponentDecl, ObjectDecl, ParamAssoc and ParamSpec

Closes eng/ide/gnatformat#45

See merge request eng/libadalang/libadalang!1710

testsuite/tests/unparsing/aggregate/long_complete/test.out

@@ -1,4 +1,4 @@
 Foo :=
   (Baaaar with
-     Qux => Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
+     Qux   => Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
      Baaaz => Bazzzzzzzz);

testsuite/tests/unparsing/bracket_aggregate/long_complete/test.out

@@ -1,4 +1,4 @@
 Foo :=
   [Baaaar with
-     Qux => Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
+     Qux   => Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
      Baaaz => Bazzzzzzzz];

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

@@ -0,0 +1 @@
+Ada.Text_IO.Put_Line (Foooooooooooo, Prettier_Ada.Documents.Json.Serialize (Document));

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

@@ -0,0 +1,2 @@
+Ada.Text_IO.Put_Line
+  (Foooooooooooo, Prettier_Ada.Documents.Json.Serialize (Document));

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

@@ -0,0 +1,5 @@
+driver: unparser
+rule: stmt
+description: |
+  Tests that if the statement is too long, the underlying `CallExpr` breaks.
+  Additionally, this that if the `f_suffix` fits, it does not break.

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

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

testsuite/tests/unparsing/enum_rep_clause/everything_long/test.out

@@ -1,7 +1,7 @@
 for VeeeeeeeeeeeeryLoooooooooooongTyyyyyyyyyyyyyyyyypeNaaaaaaaaaaaame use
   (Aaaaaaaaaaaa => 1,
-   Bbbbbbbbbbb => 5,
-   Ccccccccc => 10,
-   Dddd => 1,
-   E => 5,
-   F => 10);
+   Bbbbbbbbbbb  => 5,
+   Ccccccccc    => 10,
+   Dddd         => 1,
+   E            => 5,
+   F            => 10);

testsuite/tests/unparsing/enum_rep_clause/long_aggregate/test.out

@@ -1,7 +1,7 @@
 for T use
   (Aaaaaaaaaaaa => 1,
-   Bbbbbbbbbbb => 5,
-   Ccccccccc => 10,
-   Dddd => 1,
-   E => 5,
-   F => 10);
+   Bbbbbbbbbbb  => 5,
+   Ccccccccc    => 10,
+   Dddd         => 1,
+   E            => 5,
+   F            => 10);

testsuite/tests/unparsing/generic_package_instantiation/long_with_params/test.out

@@ -4,7 +4,7 @@ package Foo is new
      "-j",
      "--jobs",
      Garply => Natural,
-     Corge => 1,
-     Fred =>
+     Corge  => 1,
+     Fred   =>
        "Maaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaax",
-     Bar => Bar_Foo);
+     Bar    => Bar_Foo);

testsuite/tests/unparsing/generic_subp_decl/empty_formal_part/test.out

@@ -1,5 +1,5 @@
 generic
 function Perform_Comparison_Check
   (Comparing_Value : Foo_Bar_Baz;
-   Rule_Value : Foo_Bar_Baz;
-   Logic_Operator : Unbounded_String) return Boolean;
+   Rule_Value      : Foo_Bar_Baz;
+   Logic_Operator  : Unbounded_String) return Boolean;

testsuite/tests/unparsing/generic_subp_decl/non_empty_formal_part/test.out

@@ -2,9 +2,9 @@ generic
    type Foo_Bar_Baz is private;
    with
      function ">"
-       (Left_Left_Left_Left_Left : Foo_Bar_Baz;
+       (Left_Left_Left_Left_Left      : Foo_Bar_Baz;
         Right_Right_Right_Right_Right : Foo_Bar_Baz) return Boolean is <>;
 function Perform_Comparison_Check
   (Comparing_Value : Foo_Bar_Baz;
-   Rule_Value : Foo_Bar_Baz;
-   Logic_Operator : Unbounded_String) return Boolean;
+   Rule_Value      : Foo_Bar_Baz;
+   Logic_Operator  : Unbounded_String) return Boolean;

testsuite/tests/unparsing/generic_subp_instantiation/long_with_params/test.out

@@ -4,7 +4,7 @@ function Foo is new
      "-j",
      "--jobs",
      Garply => Natural,
-     Corge => 1,
-     Fred =>
+     Corge  => 1,
+     Fred   =>
        "Maaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaax",
-     Bar => Bar_Foo);
+     Bar    => Bar_Foo);

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

@@ -0,0 +1,9 @@
+procedure Main is
+   AAAAAAAAAAAAAAAA             : Baaaaaar              := Bar;
+   BBBBBBBBBBBBBBBBBBBB         : Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaz :=
+       Bazzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz;
+   CCCCCCCCCCCCCCCCCCCCCCCCCCCC : Quuuuuuuuuuuuuuuuuux  := Qux;
+   DDDDDDDDDDDDDDD              : Corge;
+begin
+   null;
+end Main;

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

@@ -0,0 +1,11 @@
+procedure Main
+is
+   AAAAAAAAAAAAAAAA             : Baaaaaar             := Bar;
+   BBBBBBBBBBBBBBBBBBBB         :
+     Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaz       :=
+       Bazzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz;
+   CCCCCCCCCCCCCCCCCCCCCCCCCCCC : Quuuuuuuuuuuuuuuuuux := Qux;
+   DDDDDDDDDDDDDDD              : Corge;
+begin
+   null;
+end Main;

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

@@ -0,0 +1,6 @@
+driver: unparser
+rule: subp_body
+description: |
+  Test the alignemnt of the `:` and `:=` tokens on `ObjectDecl` nodes.
+  Also test continuation line indentation when they're followed by a line
+  break.

testsuite/tests/unparsing/record_type_def/record_with_component_default_expr/test.out

@@ -1,6 +1,6 @@
 type Date is
   record
     A : Integer range 1 .. 31 := 15;
-    B : Real := 0.15;
-    C : String := "my_str";
+    B : Real                  := 0.15;
+    C : String                := "my_str";
   end record;

testsuite/tests/unparsing/record_type_def/simple_record/test.out

@@ -1,6 +1,6 @@
 type Date is
   record
-    Day : Integer range 1 .. 31;
+    Day   : Integer range 1 .. 31;
     Month : Month_Enum;
-    Year : Integer range 0 .. 4000;
+    Year  : Integer range 0 .. 4000;
   end record;

testsuite/tests/unparsing/subp_spec/function/param_ids_diff_length/input.ada

@@ -0,0 +1,5 @@
+function Foo
+  (AAAAAAAAAAAA : Bar;
+   BBBBBBBBBBBBB : Baz;
+   CCCCCCCCCCCCCC : Qux;
+   DDDDDDDDDDDDDDD : Corge) return Freeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed

testsuite/tests/unparsing/subp_spec/function/param_ids_diff_length/test.out

@@ -0,0 +1,6 @@
+function Foo
+  (AAAAAAAAAAAA    : Bar;
+   BBBBBBBBBBBBB   : Baz;
+   CCCCCCCCCCCCCC  : Qux;
+   DDDDDDDDDDDDDDD : Corge)
+   return Freeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed

testsuite/tests/unparsing/subp_spec/function/param_ids_diff_length/test.yaml

@@ -0,0 +1,4 @@
+driver: unparser
+rule: subp_spec
+description: |
+  Test that parameters ids of different length are aligned by the `:` token.

testsuite/tests/unparsing/subp_spec/function/param_ids_types_diff_length/input.ada

@@ -0,0 +1,5 @@
+function Foo
+  (AAAAAAAAAAAAAAAA : Baaaaaar := Bar;
+   BBBBBBBBBBBBBBBBBBBB : Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaz := Bazzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz;
+   CCCCCCCCCCCCCCCCCCCCCCCCCCCC : Quuuuuuuuuuuuuuuuuux := Qux;
+   DDDDDDDDDDDDDDD : Corge) return Freeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed

testsuite/tests/unparsing/subp_spec/function/param_ids_types_diff_length/test.out

@@ -0,0 +1,8 @@
+function Foo
+  (AAAAAAAAAAAAAAAA             : Baaaaaar              := Bar;
+   BBBBBBBBBBBBBBBBBBBB         :
+     Baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaz :=
+       Bazzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz;
+   CCCCCCCCCCCCCCCCCCCCCCCCCCCC : Quuuuuuuuuuuuuuuuuux  := Qux;
+   DDDDDDDDDDDDDDD              : Corge)
+   return Freeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed

testsuite/tests/unparsing/subp_spec/function/param_ids_types_diff_length/test.yaml

@@ -0,0 +1,6 @@
+driver: unparser
+rule: subp_spec
+description: |
+  Test the alignemnt of the `:` and `:=` tokens on `ParamSpec` nodes.
+  Also test continuation line indentation when they're followed by a line
+  break.