1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164 | -- Copyright (C) 2014-2022, AdaCore
-- SPDX-License-Identifier: Apache-2.0
--
-- This package provides the capability to automatically discover the layout
-- of source files in an Ada project, given a list of files, or a file name
-- pattern and a list of directories.
--
-- It is useful in order to easily run Libadalang on a complex project that
-- does not have its own GPR project file.
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
private with Ada.Containers.Hashed_Maps;
with GNAT.Regexp;
with GNAT.Regpat;
with GNATCOLL.VFS;
with Langkit_Support.Symbols;
with Libadalang.Analysis; use Libadalang.Analysis;
with Libadalang.Common; use Libadalang.Common;
package Libadalang.Auto_Provider is
use Support.Text;
Default_Source_Filename_Pattern : constant GNAT.Regpat.Pattern_Matcher :=
GNAT.Regpat.Compile ("\.(ad.|a|spc|bdy)$");
Default_Source_Filename_Regexp : constant GNAT.Regexp.Regexp :=
GNAT.Regexp.Compile (".*\.(ad.|a|spc|bdy)");
-- Default matchers for Ada source filenames. They match most usual file
-- extensions used for Ada sources: ``.ads``, ``.adb``, ``.ada``, ``.spc``,
-- ``.bdy``, etc.
function Find_Files
(Name_Pattern : GNAT.Regpat.Pattern_Matcher :=
Default_Source_Filename_Pattern;
Directories : GNATCOLL.VFS.File_Array)
return GNATCOLL.VFS.File_Array_Access;
-- Return the list of absolute file names for all regular files in the
-- given ``Directories`` whose name match the given regular expression
-- ``Name_Pattern``. The result is dynamically allocated, so the caller
-- must free it when done with it.
function Find_Files_Regexp
(Name_Pattern : GNAT.Regexp.Regexp := Default_Source_Filename_Regexp;
Directories : GNATCOLL.VFS.File_Array)
return GNATCOLL.VFS.File_Array_Access;
-- Like ``Find_Files``, but works on GNAT.Regexp patterns.
--
-- Note: this function is not an overload, so that calls such as
-- ``Find_Files (Directories => D);`` are not ambiguous.
type Auto_Unit_Provider is
new Libadalang.Analysis.Unit_Provider_Interface with private;
-- Unit provider for a given list of files
overriding function Get_Unit_Filename
(Provider : Auto_Unit_Provider;
Name : Text_Type;
Kind : Analysis_Unit_Kind) return String;
--% no-document: True
overriding procedure Get_Unit_Location
(Provider : Auto_Unit_Provider;
Name : Text_Type;
Kind : Analysis_Unit_Kind;
Filename : in out Unbounded_String;
PLE_Root_Index : in out Natural);
--% no-document: True
overriding function Get_Unit
(Provider : Auto_Unit_Provider;
Context : Analysis_Context'Class;
Name : Text_Type;
Kind : Analysis_Unit_Kind;
Charset : String := "";
Reparse : Boolean := False) return Analysis_Unit'Class;
--% no-document: True
overriding procedure Get_Unit_And_PLE_Root
(Provider : Auto_Unit_Provider;
Context : Analysis_Context'Class;
Name : Text_Type;
Kind : Analysis_Unit_Kind;
Charset : String := "";
Reparse : Boolean := False;
Unit : in out Analysis_Unit'Class;
PLE_Root_Index : in out Natural);
--% no-document: True
overriding procedure Release (Provider : in out Auto_Unit_Provider);
--% no-document: True
function Create_Auto_Provider
(Input_Files : GNATCOLL.VFS.File_Array;
Charset : String := Default_Charset) return Auto_Unit_Provider;
-- Return a unit provider that knows which compilation units are to be
-- found in the given list of source files.
--
-- This knowledge is built trying to parse all given ``Input_Files`` as Ada
-- source files and listing the compilation units found there. Files that
-- cannot be parsed properly are discarded. If two compilation units are
-- found for the same unit, the first that is found in ``Input_Files`` is
-- taken and the other ones are discarded.
--
-- Source files are decoded using the given ``Charset``.
--
-- .. todo:: Find a way to report discarded source files/compilation units.
function Create_Auto_Provider_Reference
(Input_Files : GNATCOLL.VFS.File_Array;
Charset : String := Default_Charset) return Unit_Provider_Reference;
-- Wrapper around ``Create_Auto_Provider`` as a shortcut to create a unit
-- provider reference.
--
--% belongs-to: Auto_Unit_Provider
private
use GNATCOLL.VFS;
use Langkit_Support.Symbols;
type Filename_And_PLE_Root is record
Filename : Unbounded_String;
PLE_Root_Index : Positive;
end record;
package Unit_Maps is new Ada.Containers.Hashed_Maps
(Key_Type => Symbol_Type,
Element_Type => Filename_And_PLE_Root,
Hash => Hash,
Equivalent_Keys => "=");
type Auto_Unit_Provider is new Libadalang.Analysis.Unit_Provider_Interface
with record
Keys : Symbol_Table;
Mapping : Unit_Maps.Map;
end record;
type Auto_Unit_Provider_Access is access all Auto_Unit_Provider;
function As_Key
(Name : Text_Type;
Kind : Analysis_Unit_Kind;
Provider : Auto_Unit_Provider) return Symbol_Type;
-- Given a compilation unit name and a kind (body? spec?), return a
-- (unique) key for the unit to file mapping.
procedure Create_Auto_Provider
(Provider : out Auto_Unit_Provider;
Input_Files : GNATCOLL.VFS.File_Array;
Charset : String := Default_Charset);
-- Helper for the Create_Auto_Provider functions
function Create_Auto_Provider_Reference
(Input_Files : GNATCOLL.VFS.File_Array;
Charset : String := Default_Charset) return Unit_Provider_Reference
is (Create_Unit_Provider_Reference
(Create_Auto_Provider (Input_Files, Charset)));
end Libadalang.Auto_Provider;
|