Merge branch '1110-some-refactoring-tools-are-not-documented' into 'master'

Resolve "Some refactoring tools are not documented"

Closes #1110

See merge request eng/ide/ada_language_server!1140

Author: joaopsazevedo

doc/refactoring_tools.md

@@ -148,3 +148,32 @@
 
 ![introduce parameter](https://user-images.githubusercontent.com/22893717/181477996-564a1365-33df-4227-bb82-e9ed802b4ed0.gif)
 
+## Replace Type
+
+* Replaces a type in the intire project by another type provided by the user.
+
+[Source](https://github.com/AdaCore/libadalang-tools/blob/master/src/laltools-refactor-replace_type.ads)
+
+[Demo Source](../integration/vscode/Code%20Samples/refactoring_demos/replace_type)
+
+![replace type](https://user-images.githubusercontent.com/22893717/217803466-ae5500fe-a071-4fe9-a669-24cd9c82917a.gif)
+
+## Auto Import
+
+* For an unresolved name, suggests all packages that can be imported and prefix to be added so that that the name gets resolved.
+
+[Source](https://github.com/AdaCore/libadalang-tools/blob/master/src/laltools-refactor_imports.ads)
+
+[Demo Source](../integration/vscode/Code%20Samples/refactoring_demos/auto_import)
+
+![auto import](https://user-images.githubusercontent.com/22893717/217804710-e686ef22-227b-4e81-8bb1-1f218e5709df.gif)
+
+## Sort Dependencies
+
+* Sorts all with and use clauses and their associated pragmas.
+
+[Source](https://github.com/AdaCore/libadalang-tools/blob/master/src/laltools-refactor-sort_dependencies.ads)
+
+[Demo Source](../integration/vscode/Code%20Samples/refactoring_demos/sort_dependencies)
+
+![replace type](https://user-images.githubusercontent.com/22893717/217805066-ee69e6d6-4c9e-4075-8eb6-1fca7793c428.gif)

integration/vscode/Code Samples/refactoring_demos/auto_import/a.adb

@@ -0,0 +1,8 @@
+package body A is
+
+   procedure Subprogram is
+   begin
+      null;
+   end Subprogram;
+
+end A;

integration/vscode/Code Samples/refactoring_demos/auto_import/a.ads

@@ -0,0 +1,17 @@
+with Ada.Containers.Indefinite_Hashed_Maps;
+with Ada.Strings.Hash;
+
+package A is
+
+   package Integer_Hashed_Maps is new
+     Ada.Containers.Indefinite_Hashed_Maps
+       (Key_Type        => String,
+        Element_Type    => Integer,
+        Hash            => Ada.Strings.Hash,
+        Equivalent_Keys => "=");
+
+   package IHM renames Integer_Hashed_Maps;
+
+   procedure Subprogram;
+
+end A;

integration/vscode/Code Samples/refactoring_demos/auto_import/default.gpr

@@ -0,0 +1,2 @@
+project Default is
+end Default;

integration/vscode/Code Samples/refactoring_demos/auto_import/main.adb

@@ -0,0 +1,5 @@
+procedure Main is
+   M : Map;
+begin
+   Subprogram;
+end Main;

integration/vscode/Code Samples/refactoring_demos/replace_type/default.gpr

@@ -0,0 +1,2 @@
+project Default is
+end Default;

integration/vscode/Code Samples/refactoring_demos/replace_type/main.adb

@@ -0,0 +1,8 @@
+with Test;
+
+procedure Main is
+   F : constant Test.Foo := 1;
+   B : constant Test.Bar := 1;
+begin
+   null;
+end Main;

integration/vscode/Code Samples/refactoring_demos/replace_type/test.ads

@@ -0,0 +1,15 @@
+package Test is
+
+   type Foo;
+
+   type Foo is new Integer;
+
+   type Baz is new Integer;
+
+   type Bar is new Foo;
+
+   F : constant Foo := 1;
+
+   B : constant Bar := 1;
+
+end Test;

integration/vscode/Code Samples/refactoring_demos/sort_dependencies/bar.ads

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

integration/vscode/Code Samples/refactoring_demos/sort_dependencies/corge.ads

@@ -0,0 +1,5 @@
+package Corge is
+
+   
+
+end Corge;