Implement '&' operator between two Translate_Set.

Add corresponding regression test.

TN: eng/toolchain/templates-parser#4

Author: TurboGit

regtests/tests/0143_translate_set/test.out

@@ -0,0 +1,3 @@
+1
+2
+3

regtests/tests/0143_translate_set/test.py

@@ -0,0 +1,4 @@
+from test_support import *
+
+gprbuild('trans_set')
+run('trans_set')

regtests/tests/0143_translate_set/test.yaml

@@ -0,0 +1,37 @@
+------------------------------------------------------------------------------
+--                             Templates Parser                             --
+--                                                                          --
+--                       Copyright (C) 2024, AdaCore                        --
+--                                                                          --
+--  This is free software;  you can redistribute it  and/or modify it       --
+--  under terms of the  GNU General Public License as published  by the     --
+--  Free Software  Foundation;  either version 3,  or (at your option) any  --
+--  later version.  This software is distributed in the hope  that it will  --
+--  be useful, but WITHOUT ANY WARRANTY;  without even the implied warranty --
+--  of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU     --
+--  General Public License for  more details.                               --
+--                                                                          --
+--  You should have  received  a copy of the GNU General  Public  License   --
+--  distributed  with  this  software;   see  file COPYING3.  If not, go    --
+--  to http://www.gnu.org/licenses for a complete copy of the license.      --
+------------------------------------------------------------------------------
+
+with Ada.Text_IO;
+
+with Templates_Parser;
+
+procedure Trans_Set is
+   use Ada;
+   use Templates_Parser;
+   S1 : Translate_Set;
+   S2 : Translate_Set;
+begin
+   Insert (S1, Assoc ("VAR1", 1));
+   Insert (S1, Assoc ("VAR2", 2));
+
+   Insert (S2, Assoc ("VAR3", 3));
+
+   S1 := S1 & S2;
+
+   Text_IO.Put_Line (Parse ("trans_set.tmplt", S1));
+end Trans_Set;

regtests/tests/0143_translate_set/trans_set.adb

@@ -0,0 +1,26 @@
+------------------------------------------------------------------------------
+--                             Templates Parser                             --
+--                                                                          --
+--                        Copyright (C) 2024, AdaCore                       --
+--                                                                          --
+--  This is free software;  you can redistribute it  and/or modify it       --
+--  under terms of the  GNU General Public License as published  by the     --
+--  Free Software  Foundation;  either version 3,  or (at your option) any  --
+--  later version.  This software is distributed in the hope  that it will  --
+--  be useful, but WITHOUT ANY WARRANTY;  without even the implied warranty --
+--  of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU     --
+--  General Public License for  more details.                               --
+--                                                                          --
+--  You should have  received  a copy of the GNU General  Public  License   --
+--  distributed  with  this  software;   see  file COPYING3.  If not, go    --
+--  to http://www.gnu.org/licenses for a complete copy of the license.      --
+------------------------------------------------------------------------------
+
+with "templates_parser";
+
+project Trans_Set is
+
+   for Source_Dirs use (".");
+   for Main use ("trans_set.adb");
+
+end Trans_Set;

regtests/tests/0143_translate_set/trans_set.gpr

@@ -0,0 +1,3 @@
+@_VAR1_@
+@_VAR2_@
+@_VAR3_@

regtests/tests/0143_translate_set/trans_set.tmplt

@@ -1307,6 +1307,16 @@ package body Templates_Parser is
       return T;
    end "&";
 
+   function "&" (Left, Right : Translate_Set) return Translate_Set is
+      T : Translate_Set := Left;
+   begin
+      for A of Right.Set.all loop
+         Insert (T, A);
+      end loop;
+
+      return T;
+   end "&";
+
    ---------
    -- "+" --
    ---------

src/templates_parser.adb

@@ -265,6 +265,14 @@ package Templates_Parser is
    --  doing [T1 := T2 & Assoc] will add Assoc into T2 and set T1 as an
    --  alias. This is designed this way for efficiency.
 
+   function "&" (Left, Right : Translate_Set) return Translate_Set;
+   --  Merge Right Translate_Set into Left and return Left with all
+   --  association in Right added. Note that "&" will modify its
+   --  first parameter Left. It is intended to be used as [T := T & T2],
+   --  doing [T1 := T2 & T3] will add all associations from T3 into T2
+   --  and set T1 as an alias of T2. This is designed this way for
+   --  efficiency.
+
    function "+" (Item : Association) return Translate_Set
      with Inline => True,
           Post   => Size ("+"'Result) = 1;