In Debug mode, copy locally all ASN.1 files

To support project export

src/taste-aadl_parser.adb

@@ -277,6 +277,10 @@ package body TASTE.AADL_Parser is
          Put_Info ("Dump of the Command Line");
          Model.Configuration.Debug_Dump (Output);
          Close (Output);
+
+         Put_Info ("Make a local copy of ASN.1 files for export");
+         Create_Path (Output_Path & "/Export");
+         Model.Data_View.Export_ASN1_Files (Output_Path & "/Export/");
       end if;
    exception
       when Error : others =>

src/taste-data_view.adb

@@ -151,4 +151,14 @@ package body TASTE.Data_View is
          end loop;
       end loop;
    end Debug_Dump;
+
+   procedure Export_ASN1_Files (DV : Taste_Data_View; Output_Path : String) is
+   begin
+      for Each of DV.ASN1_Files loop
+         Ada.Directories.Copy_File
+                    (Source_Name => To_String (Each.Path),
+                     Target_Name => Output_Path
+                        & Ada.Directories.Simple_Name (To_String (Each.path)));
+      end loop;
+   end Export_ASN1_Files;
 end TASTE.Data_View;

src/taste-data_view.ads

@@ -64,4 +64,7 @@ package TASTE.Data_View is
 
    procedure Debug_Dump (DV : Taste_Data_View; Output : File_Type);
 
+   --  Make a local copy of ASN.1 files to allow project export
+   procedure Export_ASN1_Files (DV : Taste_Data_View; Output_Path : String);
+
 end TASTE.Data_View;