Change detection of sources using GPR2

LAL project provider is also using GPR2 Project_Tree and
they are not been designed to support Update_Sources.
The only solution is to do a full reload to recreate the
contexts.

Also add defensive code when trying to access the potential
undefined source.

Add missing blocking priority for didCreate/Rename/Delete-Files

Add tests.

Closes eng/ide/ada_language_server#1465

Author: Boulanger

source/ada/lsp-ada_driver.adb

@@ -96,7 +96,10 @@ with LSP.Server_Notifications.DidChange;
 with LSP.Server_Notifications.DidChangeConfiguration;
 with LSP.Server_Notifications.DidChangeWorkspaceFolders;
 with LSP.Server_Notifications.DidClose;
+with LSP.Server_Notifications.DidCreateFiles;
+with LSP.Server_Notifications.DidDeleteFiles;
 with LSP.Server_Notifications.DidOpen;
+with LSP.Server_Notifications.DidRenameFiles;
 with LSP.Server_Notifications.Exits;
 with LSP.Server_Requests.Declaration;
 with LSP.Server_Requests.Definition;
@@ -626,6 +629,18 @@ begin
            (LSP.Server_Notifications.DidClose.Notification'Tag,
             Ada_Fence_Message_Handler'Unchecked_Access);
 
+         Server.Register_Handler
+           (LSP.Server_Notifications.DidCreateFiles.Notification'Tag,
+            Ada_Fence_Message_Handler'Unchecked_Access);
+
+         Server.Register_Handler
+           (LSP.Server_Notifications.DidRenameFiles.Notification'Tag,
+            Ada_Fence_Message_Handler'Unchecked_Access);
+
+         Server.Register_Handler
+           (LSP.Server_Notifications.DidDeleteFiles.Notification'Tag,
+            Ada_Fence_Message_Handler'Unchecked_Access);
+
          Server.Register_Handler
            (LSP.Server_Notifications.DidChangeWorkspaceFolders.Notification'Tag,
             Ada_Fence_Message_Handler'Unchecked_Access);

source/ada/lsp-ada_handlers-other_file_commands.adb

@@ -166,7 +166,9 @@ package body LSP.Ada_Handlers.Other_File_Commands is
                   View           : constant GPR2.Project.View.Object :=
                     Handler.Project_Tree.Root_Project;
                   Visible_Source : constant GPR2.Build.Source.Object :=
-                    View.Visible_Source (F.Simple_Name);
+                    (if View.Has_Source (F.Simple_Name)
+                     then View.Visible_Source (F.Simple_Name)
+                     else GPR2.Build.Source.Undefined);
                   Unit           : GPR2.Build.Compilation_Unit.Object :=
                     GPR2.Build.Compilation_Unit.Undefined;
                begin

source/ada/lsp-ada_handlers.adb

@@ -1848,42 +1848,9 @@ package body LSP.Ada_Handlers is
    begin
       Self.Log_Method_In ("On_DidCreateFiles_Notification");
 
-      --  New sources were created on this project, so recompute its view
-      Self.Project_Tree.Clear_Sources;
-
-      --  For each created file of Value.files:
-      --  - find the contexts that contains its directory
-      --  - add it to those contexts
-      --  - index it on those contexts
-
-      for File of Value.files loop
-         declare
-            use VSS.Strings.Conversions;
-
-            Created_File : constant GNATCOLL.VFS.Virtual_File :=
-              Self.To_File (To_DocumentUri (File.uri));
-
-            function Has_Dir
-              (Context : LSP.Ada_Contexts.Context)
-                  return Boolean
-            is (Context.List_Source_Directories.Contains
-                (Created_File.Dir));
-            --  Return True if Old_File is a source of the project held by
-            --  Context.
-
-         begin
-            for Context of Self.Contexts.Each_Context
-              (Has_Dir'Unrestricted_Access)
-            loop
-               Context.Include_File (Created_File);
-               Context.Index_File (Created_File);
-
-               Self.Tracer.Trace
-                 ("Included " & Created_File.Display_Base_Name
-                  & " in context " & To_UTF_8_String (Context.Id));
-            end loop;
-         end;
-      end loop;
+      --  LAL Contexts are not handling source updates so we need a full reload
+      --  to avoid caching issues.
+      Self.Reload_Project;
 
       Self.Log_Method_Out ("On_DidCreateFiles_Notification");
    end On_DidCreateFiles_Notification;
@@ -1898,34 +1865,9 @@ package body LSP.Ada_Handlers is
    begin
       Self.Log_Method_In ("On_DidDeleteFiles_Notification");
 
-      --  Some project sources were deleted, so recompute its view
-      Self.Project_Tree.Clear_Sources;
-
-      --  For each delete file of Value.files:
-      --  - find the contexts that contains it
-      --  - remove it from those contexts
-      --  - re-index it on those contexts so that an empty unit is reparsed
-
-      for File of Value.files loop
-         declare
-            Deleted_URI : constant LSP.Structures.DocumentUri :=
-              To_DocumentUri (File.uri);
-
-            Deleted_File : constant GNATCOLL.VFS.Virtual_File :=
-              Self.To_File (Deleted_URI);
-
-         begin
-            for Context of Self.Contexts_For_File (Deleted_File) loop
-               Context.Exclude_File (Deleted_File);
-               Context.Index_File (Deleted_File);
-
-               Self.Tracer.Trace
-                 ("Excluded " & Deleted_File.Display_Base_Name
-                  & " from context "
-                  & VSS.Strings.Conversions.To_UTF_8_String (Context.Id));
-            end loop;
-         end;
-      end loop;
+      --  LAL Contexts are not handling source updates so we need a full reload
+      --  to avoid caching issues.
+      Self.Reload_Project;
 
       Self.Log_Method_Out ("On_DidDeleteFiles_Notification");
    end On_DidDeleteFiles_Notification;
@@ -1995,100 +1937,13 @@ package body LSP.Ada_Handlers is
 
    overriding procedure On_DidRenameFiles_Notification
      (Self  : in out Message_Handler;
-      Value : LSP.Structures.RenameFilesParams)
-   is
-      use LSP.Ada_Context_Sets;
-
-      package URI_Contexts_Maps is new
-        Ada.Containers.Hashed_Maps
-          (Key_Type        => LSP.Structures.DocumentUri,
-           Element_Type    => Context_Lists.List,
-           Hash            => LSP.Structures.Get_Hash,
-           Equivalent_Keys => LSP.Structures."=",
-           "="             => Context_Lists."=");
-
-      subtype URI_Contexts_Map is URI_Contexts_Maps.Map;
-
-      URIs_Contexts : URI_Contexts_Map;
-
+      Value : LSP.Structures.RenameFilesParams) is
    begin
       Self.Log_Method_In ("On_DidRenameFiles_Notification");
 
-      --  Some project sources were renamed, so recompute its view
-      Self.Project_Tree.Clear_Sources;
-
-      --  For each oldUri of Value.files:
-      --  - map it to a list of context that contains it
-      --  - remove it from those contexts
-      --  - re-index it on those contexts so that an empty unit is reparsed
-
-      for File_Rename of Value.files loop
-         declare
-            use VSS.Strings.Conversions;
-
-            Old_URI : constant LSP.Structures.DocumentUri :=
-              To_DocumentUri (File_Rename.oldUri);
-
-            Old_File : constant GNATCOLL.VFS.Virtual_File :=
-              Self.To_File (Old_URI);
-
-            URI_Contexts : Context_Lists.List;
-
-         begin
-            for Context of Self.Contexts_For_File (Old_File) loop
-               URI_Contexts.Append (Context);
-               Context.Exclude_File (Old_File);
-               Context.Index_File (Old_File);
-
-               Self.Tracer.Trace
-                 ("Excluded " & Old_File.Display_Full_Name
-                  & " from context " & To_UTF_8_String (Context.Id));
-            end loop;
-
-            URIs_Contexts.Insert (Old_URI, URI_Contexts);
-         end;
-      end loop;
-
-      --  For each (oldUri, newUri) tuple:
-      --  - add newUri to all contexts that contained oldUri
-      --  - index the newUri (using the appriate method depending if
-      --    (there's an open document of not)
-
-      for File_Rename of Value.files loop
-         declare
-            use VSS.Strings.Conversions;
-            use type LSP.Ada_Documents.Document_Access;
-
-            New_URI : constant LSP.Structures.DocumentUri :=
-              To_DocumentUri (File_Rename.newUri);
-
-            Old_URI : constant LSP.Structures.DocumentUri :=
-              To_DocumentUri (File_Rename.oldUri);
-
-            New_File : constant GNATCOLL.VFS.Virtual_File :=
-              Self.To_File (New_URI);
-
-            Document : constant LSP.Ada_Documents.Document_Access :=
-              Get_Open_Document (Self, New_URI);
-
-            Is_Document_Open : constant Boolean := Document /= null;
-
-         begin
-            for Context of URIs_Contexts (Old_URI) loop
-               Context.Include_File (New_File);
-
-               if Is_Document_Open then
-                  Context.Index_Document (Document.all);
-               else
-                  Context.Index_File (New_File);
-               end if;
-
-               Self.Tracer.Trace
-                 ("Included " & New_File.Display_Base_Name & " in context "
-                  & To_UTF_8_String (Context.Id));
-            end loop;
-         end;
-      end loop;
+      --  LAL Contexts are not handling source updates so we need a full reload
+      --  to avoid caching issues.
+      Self.Reload_Project;
 
       Self.Log_Method_Out ("On_DidRenameFiles_Notification");
    end On_DidRenameFiles_Notification;

testsuite/ada_lsp/did_create_files/main.adb

@@ -0,0 +1,5 @@
+with Foo;
+procedure Main is
+begin
+   Foo.Bar;
+end Main;

testsuite/ada_lsp/did_create_files/src1/foo.ads

@@ -0,0 +1,5 @@
+package Foo is
+
+   procedure Bar;
+
+end Foo;

testsuite/ada_lsp/did_create_files/src2/foo.2.ada

@@ -0,0 +1,8 @@
+package body Foo is
+
+   procedure Bar is
+   begin
+      null;
+   end Bar;
+
+end Foo;

testsuite/ada_lsp/did_create_files/test.gpr

@@ -0,0 +1,9 @@
+project Test is
+
+   for Source_Dirs use (".", "src1", "src2");
+
+   package Naming is
+      for Spec_Suffix ("Ada") use ".1.ada";
+   end Naming;
+
+end Test;