Rewrite project status data

Create a specific package to handle project status which is a
combination of project type and a load status.

Only use implicit project for specific cases and remove it
as a fallback mechanism. To replace it, create an empty
context when the project can't be loaded.

Add a test

For eng/ide/ada_language_server#1358

Author: Boulanger

Diff for: gnat/lsp_server.gpr

@@ -38,6 +38,7 @@ project LSP_Server is
 
    for Object_Dir use "../.obj/server";
    for Main use ("lsp-ada_driver.adb");
+   --  Need C++ to use a linker compatible with libfswatch
    for Languages use ("Ada", "C++");
 
    package Naming is

Diff for: source/ada/lsp-ada_handlers-project_diagnostics.adb

@@ -15,188 +15,26 @@
 -- of the license.                                                          --
 ------------------------------------------------------------------------------
 
-with GPR2.Source_Reference;
-with GPR2.Message;
-with GPR2.Path_Name;
-
-with VSS.Strings;
-
-with LSP.Enumerations;
-with LSP.Utils;
-
 package body LSP.Ada_Handlers.Project_Diagnostics is
 
-   Project_Loading_Status_Messages : constant array (Load_Project_Status)
-     of VSS.Strings.Virtual_String :=
-       (Single_Project_Found       =>
-          VSS.Strings.To_Virtual_String
-            ("Unique project in root directory was found and "
-             & "loaded, but it wasn't explicitly configured."),
-        No_Runtime_Found           =>
-          VSS.Strings.To_Virtual_String
-            ("The project was loaded, but no Ada runtime found. "
-             & "Please check the installation of the Ada compiler."),
-        No_Project_Found           =>
-          VSS.Strings.To_Virtual_String
-            ("No project found in root directory. "
-             & "Please create a project file and add it to the "
-             & "configuration."),
-        Multiple_Projects_Found    =>
-          VSS.Strings.To_Virtual_String
-            ("No project was loaded, because more than one "
-             & "project file has been found in the root directory. "
-             & "Please change configuration to point a correct project "
-             & "file."),
-        Invalid_Project_Configured =>
-          VSS.Strings.To_Virtual_String
-            ("Project file has errors and can't be loaded."),
-        others                     => VSS.Strings.Empty_Virtual_String);
-   --  The diagnostics' messages depending on the project loading status.
-
-   Project_Loading_Status_Severities : constant array (Load_Project_Status)
-     of LSP.Enumerations.DiagnosticSeverity :=
-       (Valid_Project_Configured   => LSP.Enumerations.Hint,
-        Alire_Project              => LSP.Enumerations.Hint,
-        Single_Project_Found       => LSP.Enumerations.Hint,
-        No_Runtime_Found           => LSP.Enumerations.Warning,
-        Multiple_Projects_Found    => LSP.Enumerations.Error,
-        No_Project_Found           => LSP.Enumerations.Error,
-        Invalid_Project_Configured => LSP.Enumerations.Error);
-   --  The diagnostics' severities depending on the project loading status.
-
    --------------------
    -- Get_Diagnostic --
    --------------------
 
    overriding procedure Get_Diagnostic
      (Self    : in out Diagnostic_Source;
       Context : LSP.Ada_Contexts.Context;
-      Errors  : out LSP.Structures.Diagnostic_Vector)
-   is
-      use LSP.Structures;
-
-      Parent_Diagnostic : LSP.Structures.Diagnostic;
-      GPR2_Messages     : GPR2.Log.Object renames
-        Self.Handler.Project_Status.GPR2_Messages;
-
-      procedure Create_Project_Loading_Diagnostic;
-      --  Create a parent diagnostic for the project loading status.
-
-      procedure Append_GPR2_Diagnostics;
-      --  Append the GPR2 messages to the given parent diagnostic, if any.
-
-      ---------------------------------------
-      -- Create_Project_Loading_Diagnostic --
-      ---------------------------------------
-
-      procedure Create_Project_Loading_Diagnostic is
-         Sloc : constant LSP.Structures.A_Range :=
-           (start  => (0, 0),
-            an_end => (0, 0));
-      begin
-         --  Initialize the parent diagnostic.
-         Parent_Diagnostic.a_range := ((0, 0), (0, 0));
-         Parent_Diagnostic.source := "project";
-         Parent_Diagnostic.severity :=
-           (True, Project_Loading_Status_Severities (Self.Last_Status));
-
-         --  If we don't have any GPR2 messages, display the project loading
-         --  status message in the parent diagnostic directly.
-         --  Otherwise display a generic message in the parent amnd append it
-         --  to its children, along with the other GPR2 messages.
-         if GPR2_Messages.Is_Empty then
-            Parent_Diagnostic.message := Project_Loading_Status_Messages
-              (Self.Last_Status);
-         else
-            declare
-               Project_File : GNATCOLL.VFS.Virtual_File renames
-                  Self.Handler.Project_Status.Project_File;
-               URI          : constant LSP.Structures.DocumentUri :=
-                  Self.Handler.To_URI
-                    (Project_File.Display_Full_Name);
-            begin
-               Parent_Diagnostic.message := "Project Problems";
-               Parent_Diagnostic.relatedInformation.Append
-                 (LSP.Structures.DiagnosticRelatedInformation'
-                    (location =>
-                       LSP.Structures.Location'
-                         (uri    => URI, a_range => Sloc,
-                          others => <>),
-                     message  =>
-                       Project_Loading_Status_Messages
-                         (Self.Last_Status)));
-            end;
-         end if;
-      end Create_Project_Loading_Diagnostic;
-
-      -----------------------------
-      -- Append_GPR2_Diagnostics --
-      -----------------------------
-
-      procedure Append_GPR2_Diagnostics is
-         use GPR2.Message;
-         use LSP.Enumerations;
-      begin
-         for Msg of GPR2_Messages loop
-            if Msg.Level in GPR2.Message.Warning .. GPR2.Message.Error then
-               declare
-                  Sloc : constant GPR2.Source_Reference.Object :=
-                    GPR2.Message.Sloc (Msg);
-                  File : constant GPR2.Path_Name.Object :=
-                    (if Sloc.Is_Defined and then Sloc.Has_Source_Reference
-                     then
-                        GPR2.Path_Name.Create_File
-                          (GPR2.Filename_Type (Sloc.Filename))
-                     else
-                        Self.Handler.Project_Tree.Root_Path);
-               begin
-                  --  Display a diagnostic for GPR2 messages only if the file
-                  --  attached to the message is defined.
-                  if File.Is_Defined and then File.Has_Value then
-                     Parent_Diagnostic.relatedInformation.Append
-                       (LSP .Structures.DiagnosticRelatedInformation'
-                          (location => LSP.Structures.Location'
-                               (uri     => LSP.Utils.To_URI (File),
-                                a_range => LSP.Utils.To_Range (Sloc),
-                                others  => <>),
-                           message  =>
-                             VSS.Strings.Conversions.To_Virtual_String
-                               (Msg.Message)));
-                  end if;
-               end;
-
-               --  If we have one error in the GPR2 messages, the parent
-               --  diagnostic's severity should be "error" too, otherwise
-               --  "warning".
-               if Msg.Level = GPR2.Message.Error then
-                  Parent_Diagnostic.severity :=
-                    (True, LSP.Enumerations.Error);
-               elsif Parent_Diagnostic.severity.Value /=
-                 LSP.Enumerations.Error
-               then
-                  Parent_Diagnostic.severity :=
-                    (True, LSP.Enumerations.Warning);
-               end if;
-            end if;
-         end loop;
-      end Append_GPR2_Diagnostics;
-
+      Errors  : out LSP.Structures.Diagnostic_Vector) is
    begin
-      Self.Last_Status := Self.Handler.Project_Status.Load_Status;
+      Self.Last_Status := Self.Handler.Project_Status;
 
+      Self.Handler.Tracer.Trace ("Diag: " & Self.Last_Status'Image);
       --  If we have a valid project return immediately: we want to display
       --  diagnostics only if there is an issue to solve or a potential
       --  enhancement.
-      if Self.Last_Status = Valid_Project_Configured
-        or else (Self.Last_Status = Alire_Project and then GPR2_Messages.Is_Empty)
-      then
-         return;
-      end if;
-
-      Create_Project_Loading_Diagnostic;
-      Append_GPR2_Diagnostics;
 
-      Errors.Append (Parent_Diagnostic);
+      Errors.Append_Vector
+        (LSP.Ada_Project_Loading.Get_Diagnostics (Self.Last_Status));
    end Get_Diagnostic;
 
    ------------------------
@@ -210,9 +48,9 @@ package body LSP.Ada_Handlers.Project_Diagnostics is
    is
       pragma Unreferenced (Context);
    begin
-      return
-        (Self.Last_Status /= Self.Handler.Project_Status.Load_Status
-         or else not Self.Handler.Project_Status.GPR2_Messages.Is_Empty);
+      return LSP.Ada_Project_Loading.Has_New_Diagnostics
+        (Self.Last_Status,
+         Self.Handler.Project_Status);
    end Has_New_Diagnostic;
 
 end LSP.Ada_Handlers.Project_Diagnostics;

Diff for: source/ada/lsp-ada_handlers-project_diagnostics.ads

@@ -16,6 +16,7 @@
 ------------------------------------------------------------------------------
 
 with LSP.Ada_Contexts;
+with LSP.Ada_Project_Loading;
 with LSP.Diagnostic_Sources;
 
 package LSP.Ada_Handlers.Project_Diagnostics is
@@ -39,7 +40,7 @@ private
    type Diagnostic_Source
      (Handler : not null access LSP.Ada_Handlers.Message_Handler)
    is limited new LSP.Diagnostic_Sources.Diagnostic_Source with record
-      Last_Status : Load_Project_Status := No_Project_Found;
+      Last_Status : LSP.Ada_Project_Loading.Project_Status_Type;
    end record;
 
 end LSP.Ada_Handlers.Project_Diagnostics;