Commit | Line | Data |
---|---|---|
417451fe | 1 | ;; ada-xref.el --- for lookup and completion in Ada mode |
797aab3c | 2 | |
ba318903 | 3 | ;; Copyright (C) 1994-2014 Free Software Foundation, Inc. |
797aab3c GM |
4 | |
5 | ;; Author: Markus Heritsch <Markus.Heritsch@studbox.uni-stuttgart.de> | |
6 | ;; Rolf Ebert <ebert@inf.enst.fr> | |
7 | ;; Emmanuel Briot <briot@gnat.com> | |
417451fe | 8 | ;; Maintainer: Stephen Leake <stephen_leake@stephe-leake.org> |
797aab3c | 9 | ;; Keywords: languages ada xref |
bd78fa1d | 10 | ;; Package: ada-mode |
797aab3c | 11 | |
874d7995 | 12 | ;; This file is part of GNU Emacs. |
797aab3c | 13 | |
b1fc2b50 | 14 | ;; GNU Emacs is free software: you can redistribute it and/or modify |
797aab3c | 15 | ;; it under the terms of the GNU General Public License as published by |
b1fc2b50 GM |
16 | ;; the Free Software Foundation, either version 3 of the License, or |
17 | ;; (at your option) any later version. | |
797aab3c | 18 | |
2be7dabc | 19 | ;; GNU Emacs is distributed in the hope that it will be useful, |
797aab3c GM |
20 | ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
21 | ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
22 | ;; GNU General Public License for more details. | |
23 | ||
24 | ;; You should have received a copy of the GNU General Public License | |
b1fc2b50 | 25 | ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
797aab3c GM |
26 | |
27 | ;;; Commentary: | |
28 | ;;; This Package provides a set of functions to use the output of the | |
29 | ;;; cross reference capabilities of the GNAT Ada compiler | |
30 | ;;; for lookup and completion in Ada mode. | |
31 | ;;; | |
797aab3c | 32 | ;;; If a file *.`adp' exists in the ada-file directory, then it is |
333f9019 | 33 | ;;; read for configuration information. It is read only the first |
797aab3c GM |
34 | ;;; time a cross-reference is asked for, and is not read later. |
35 | ||
36 | ;;; You need Emacs >= 20.2 to run this package | |
37 | ||
417451fe JB |
38 | |
39 | ;;; History: | |
40 | ;; | |
41 | ||
3afbc435 PJ |
42 | ;;; Code: |
43 | ||
797aab3c GM |
44 | ;; ----- Requirements ----------------------------------------------------- |
45 | ||
46 | (require 'compile) | |
47 | (require 'comint) | |
7abe197c JB |
48 | (require 'find-file) |
49 | (require 'ada-mode) | |
797aab3c | 50 | |
417451fe | 51 | ;; ------ User variables |
797aab3c | 52 | (defcustom ada-xref-other-buffer t |
fb7ada5f | 53 | "If nil, always display the cross-references in the same buffer. |
eec3232e | 54 | Otherwise create either a new buffer or a new frame." |
797aab3c GM |
55 | :type 'boolean :group 'ada) |
56 | ||
93cdce20 | 57 | (defcustom ada-xref-create-ali nil |
fb7ada5f | 58 | "If non-nil, run gcc whenever the cross-references are not up-to-date. |
ced16f5d | 59 | If nil, the cross-reference mode never runs gcc." |
797aab3c GM |
60 | :type 'boolean :group 'ada) |
61 | ||
62 | (defcustom ada-xref-confirm-compile nil | |
fb7ada5f | 63 | "If non-nil, ask for confirmation before compiling or running the application." |
797aab3c GM |
64 | :type 'boolean :group 'ada) |
65 | ||
66 | (defcustom ada-krunch-args "0" | |
fb7ada5f | 67 | "Maximum number of characters for filenames created by `gnatkr'. |
ced16f5d | 68 | Set to 0, if you don't use crunched filenames. This should be a string." |
797aab3c GM |
69 | :type 'string :group 'ada) |
70 | ||
d5875b25 JB |
71 | (defcustom ada-gnat-cmd "gnat" |
72 | "Default GNAT project file parser. | |
73 | Will be run with args \"list -v -Pfile.gpr\". | |
74 | Default is standard GNAT distribution; alternate \"gnatpath\" | |
75 | is faster, available from Ada mode web site." | |
76 | :type 'string :group 'ada) | |
77 | ||
c94ca9e0 | 78 | (defcustom ada-gnatls-args '("-v") |
fb7ada5f | 79 | "Arguments to pass to `gnatls' to find location of the runtime. |
ced16f5d | 80 | Typical use is to pass `--RTS=soft-floats' on some systems that support it. |
c94ca9e0 | 81 | |
ced16f5d | 82 | You can also add `-I-' if you do not want the current directory to be included. |
c94ca9e0 | 83 | Otherwise, going from specs to bodies and back will first look for files in the |
ced16f5d | 84 | current directory. This only has an impact if you are not using project files, |
c94ca9e0 JB |
85 | but only ADA_INCLUDE_PATH." |
86 | :type '(repeat string) :group 'ada) | |
87 | ||
4884c50b | 88 | (defcustom ada-prj-default-comp-opt "-gnatq -gnatQ" |
15ea3b67 GM |
89 | "Default compilation options." |
90 | :type 'string :group 'ada) | |
91 | ||
92 | (defcustom ada-prj-default-bind-opt "" | |
93 | "Default binder options." | |
94 | :type 'string :group 'ada) | |
95 | ||
96 | (defcustom ada-prj-default-link-opt "" | |
97 | "Default linker options." | |
98 | :type 'string :group 'ada) | |
99 | ||
100 | (defcustom ada-prj-default-gnatmake-opt "-g" | |
ced16f5d | 101 | "Default options for `gnatmake'." |
15ea3b67 GM |
102 | :type 'string :group 'ada) |
103 | ||
d5875b25 JB |
104 | (defcustom ada-prj-default-gpr-file "" |
105 | "Default GNAT project file. | |
106 | If non-empty, this file is parsed to set the source and object directories for | |
107 | the Ada mode project." | |
108 | :type 'string :group 'ada) | |
109 | ||
110 | (defcustom ada-prj-ada-project-path-sep | |
8175cb90 JB |
111 | (cond ((boundp 'path-separator) path-separator) ; 20.3+ |
112 | ((memq system-type '(windows-nt ms-dos)) ";") | |
113 | (t ":")) | |
d5875b25 JB |
114 | "Default separator for ada_project_path project variable." |
115 | :type 'string :group 'ada) | |
116 | ||
4884c50b | 117 | (defcustom ada-prj-gnatfind-switches "-rf" |
ced16f5d RS |
118 | "Default switches to use for `gnatfind'. |
119 | You should modify this variable, for instance to add `-a', if you are working | |
4884c50b | 120 | in an environment where most ALI files are write-protected. |
ced16f5d | 121 | The command `gnatfind' is used every time you choose the menu |
4884c50b SM |
122 | \"Show all references\"." |
123 | :type 'string :group 'ada) | |
124 | ||
0262d5e1 JB |
125 | (defcustom ada-prj-default-check-cmd |
126 | (concat "${cross_prefix}gnatmake -u -c -gnatc ${gnatmake_opt} ${full_current}" | |
127 | " -cargs ${comp_opt}") | |
fb7ada5f | 128 | "Default command to be used to compile a single file. |
0262d5e1 JB |
129 | Emacs will substitute the current filename for ${full_current}, or add |
130 | the filename at the end. This is the same syntax as in the project file." | |
131 | :type 'string :group 'ada) | |
132 | ||
eec3232e | 133 | (defcustom ada-prj-default-comp-cmd |
93cdce20 SM |
134 | (concat "${cross_prefix}gnatmake -u -c ${gnatmake_opt} ${full_current} -cargs" |
135 | " ${comp_opt}") | |
fb7ada5f | 136 | "Default command to be used to compile a single file. |
417451fe | 137 | Emacs will substitute the current filename for ${full_current}, or add |
7977c946 | 138 | the filename at the end. This is the same syntax as in the project file." |
15ea3b67 GM |
139 | :type 'string :group 'ada) |
140 | ||
141 | (defcustom ada-prj-default-debugger "${cross_prefix}gdb" | |
fb7ada5f | 142 | "Default name of the debugger." |
797aab3c GM |
143 | :type 'string :group 'ada) |
144 | ||
145 | (defcustom ada-prj-default-make-cmd | |
d5875b25 | 146 | (concat "${cross_prefix}gnatmake -o ${main} ${main} ${gnatmake_opt} " |
417451fe | 147 | "-cargs ${comp_opt} -bargs ${bind_opt} -largs ${link_opt}") |
fb7ada5f | 148 | "Default command to be used to compile the application. |
797aab3c GM |
149 | This is the same syntax as in the project file." |
150 | :type 'string :group 'ada) | |
151 | ||
152 | (defcustom ada-prj-default-project-file "" | |
fb7ada5f | 153 | "Name of the current project file. |
417451fe JB |
154 | Emacs will not try to use the search algorithm to find the project file if |
155 | this string is not empty. It is set whenever a project file is found." | |
797aab3c GM |
156 | :type '(file :must-match t) :group 'ada) |
157 | ||
158 | (defcustom ada-gnatstub-opts "-q -I${src_dir}" | |
fb7ada5f | 159 | "Options to pass to `gnatsub' to generate the body of a package. |
eec3232e | 160 | This has the same syntax as in the project file (with variable substitution)." |
797aab3c GM |
161 | :type 'string :group 'ada) |
162 | ||
163 | (defcustom ada-always-ask-project nil | |
fb7ada5f | 164 | "If nil, use default values when no project file was found. |
15ea3b67 GM |
165 | Otherwise, ask the user for the name of the project file to use." |
166 | :type 'boolean :group 'ada) | |
797aab3c | 167 | |
72bc50c0 | 168 | (defconst ada-on-ms-windows (memq system-type '(windows-nt)) |
7977c946 | 169 | "True if we are running on Windows.") |
4884c50b SM |
170 | |
171 | (defcustom ada-tight-gvd-integration nil | |
fb7ada5f | 172 | "If non-nil, a new Emacs frame will be swallowed in GVD when debugging. |
75497862 KS |
173 | If GVD is not the debugger used, nothing happens." |
174 | :type 'boolean :group 'ada) | |
4884c50b | 175 | |
93cdce20 | 176 | (defcustom ada-xref-search-with-egrep t |
fb7ada5f | 177 | "If non-nil, use egrep to find the possible declarations for an entity. |
93cdce20 | 178 | This alternate method is used when the exact location was not found in the |
ced16f5d | 179 | information provided by GNAT. However, it might be expensive if you have a lot |
93cdce20 SM |
180 | of sources, since it will search in all the files in your project." |
181 | :type 'boolean :group 'ada) | |
182 | ||
183 | (defvar ada-load-project-hook nil | |
184 | "Hook that is run when loading a project file. | |
185 | Each function in this hook takes one argument FILENAME, that is the name of | |
186 | the project file to load. | |
187 | This hook should be used to support new formats for the project files. | |
188 | ||
189 | If the function can load the file with the given filename, it should create a | |
190 | buffer that contains a conversion of the file to the standard format of the | |
ced16f5d RS |
191 | project files, and return that buffer. (The usual \"src_dir=\" or \"obj_dir=\" |
192 | lines.) It should return nil if it doesn't know how to convert that project | |
93cdce20 SM |
193 | file.") |
194 | ||
195 | ||
797aab3c GM |
196 | ;; ------- Nothing to be modified by the user below this |
197 | (defvar ada-last-prj-file "" | |
eec3232e | 198 | "Name of the last project file entered by the user.") |
797aab3c | 199 | |
0262d5e1 | 200 | (defconst ada-prj-file-extension ".adp" |
eec3232e | 201 | "The extension used for project files.") |
797aab3c | 202 | |
15ea3b67 GM |
203 | (defvar ada-xref-runtime-library-specs-path '() |
204 | "Directories where the specs for the standard library is found. | |
205 | This is used for cross-references.") | |
206 | ||
207 | (defvar ada-xref-runtime-library-ali-path '() | |
208 | "Directories where the ali for the standard library is found. | |
209 | This is used for cross-references.") | |
210 | ||
797aab3c | 211 | (defvar ada-xref-pos-ring '() |
eec3232e GM |
212 | "List of positions selected by the cross-references functions. |
213 | Used to go back to these positions.") | |
797aab3c | 214 | |
4884c50b SM |
215 | (defvar ada-cd-command |
216 | (if (string-match "cmdproxy.exe" shell-file-name) | |
217 | "cd /d" | |
218 | "cd") | |
ced16f5d RS |
219 | "Command to use to change to a specific directory. |
220 | On Windows systems using `cmdproxy.exe' as the shell, | |
221 | we need to use `/d' or the drive is never changed.") | |
4884c50b | 222 | |
72bc50c0 | 223 | (defvar ada-command-separator (if ada-on-ms-windows " && " "\n") |
ced16f5d RS |
224 | "Separator to use between multiple commands to `compile' or `start-process'. |
225 | `cmdproxy.exe' doesn't recognize multiple-line commands, so we have to use | |
4884c50b SM |
226 | \"&&\" for now.") |
227 | ||
797aab3c | 228 | (defconst ada-xref-pos-ring-max 16 |
7977c946 | 229 | "Number of positions kept in the list `ada-xref-pos-ring'.") |
797aab3c GM |
230 | |
231 | (defvar ada-operator-re | |
15ea3b67 | 232 | "\\+\\|-\\|/\\|\\*\\*\\|\\*\\|=\\|&\\|abs\\|mod\\|rem\\|and\\|not\\|or\\|xor\\|<=\\|<\\|>=\\|>" |
eec3232e | 233 | "Regexp to match for operators.") |
797aab3c | 234 | |
15ea3b67 | 235 | (defvar ada-xref-project-files '() |
0262d5e1 JB |
236 | "Associative list of project files with properties. |
237 | It has the format: (project project ...) | |
238 | A project has the format: (project-file . project-plist) | |
7977c946 | 239 | \(See 'apropos plist' for operations on property lists). |
d5875b25 | 240 | See `ada-default-prj-properties' for the list of valid properties. |
7977c946 JB |
241 | The current project is retrieved with `ada-xref-current-project'. |
242 | Properties are retrieved with `ada-xref-get-project-field', set with | |
243 | `ada-xref-set-project-field'. If project properties are accessed with no | |
0262d5e1 | 244 | project file, a (nil . default-properties) entry is created.") |
15ea3b67 | 245 | |
c94ca9e0 JB |
246 | |
247 | ;; ----- Identlist manipulation ------------------------------------------- | |
248 | ;; An identlist is a vector that is used internally to reference an identifier | |
249 | ;; To facilitate its use, we provide the following macros | |
250 | ||
251 | (defmacro ada-make-identlist () (make-vector 8 nil)) | |
252 | (defmacro ada-name-of (identlist) (list 'aref identlist 0)) | |
253 | (defmacro ada-line-of (identlist) (list 'aref identlist 1)) | |
254 | (defmacro ada-column-of (identlist) (list 'aref identlist 2)) | |
255 | (defmacro ada-file-of (identlist) (list 'aref identlist 3)) | |
256 | (defmacro ada-ali-index-of (identlist) (list 'aref identlist 4)) | |
257 | (defmacro ada-declare-file-of (identlist) (list 'aref identlist 5)) | |
258 | (defmacro ada-references-of (identlist) (list 'aref identlist 6)) | |
259 | (defmacro ada-on-declaration (identlist) (list 'aref identlist 7)) | |
260 | ||
261 | (defmacro ada-set-name (identlist name) (list 'aset identlist 0 name)) | |
262 | (defmacro ada-set-line (identlist line) (list 'aset identlist 1 line)) | |
263 | (defmacro ada-set-column (identlist col) (list 'aset identlist 2 col)) | |
264 | (defmacro ada-set-file (identlist file) (list 'aset identlist 3 file)) | |
265 | (defmacro ada-set-ali-index (identlist index) (list 'aset identlist 4 index)) | |
266 | (defmacro ada-set-declare-file (identlist file) (list 'aset identlist 5 file)) | |
267 | (defmacro ada-set-references (identlist ref) (list 'aset identlist 6 ref)) | |
268 | (defmacro ada-set-on-declaration (ident value) (list 'aset ident 7 value)) | |
269 | ||
270 | (defsubst ada-get-ali-buffer (file) | |
417451fe | 271 | "Read the ali file FILE into a new buffer, and return the buffer's name." |
c94ca9e0 JB |
272 | (find-file-noselect (ada-get-ali-file-name file))) |
273 | ||
274 | ||
275 | ;; ----------------------------------------------------------------------- | |
276 | ||
4884c50b | 277 | (defun ada-quote-cmd (cmd) |
7977c946 | 278 | "Duplicate all `\\' characters in CMD so that it can be passed to `compile'." |
4884c50b | 279 | (mapconcat 'identity (split-string cmd "\\\\") "\\\\")) |
15ea3b67 | 280 | |
0262d5e1 JB |
281 | (defun ada-find-executable (exec-name) |
282 | "Find the full path to the executable file EXEC-NAME. | |
d5875b25 | 283 | If not found, throw an error. |
32b1a27f | 284 | On Windows systems, this will properly handle .exe extension as well." |
d5875b25 JB |
285 | (let ((result (or (ada-find-file-in-dir exec-name exec-path) |
286 | (ada-find-file-in-dir (concat exec-name ".exe") exec-path)))) | |
287 | (if result | |
288 | result | |
289 | (error "'%s' not found in path" exec-name)))) | |
0262d5e1 | 290 | |
4884c50b | 291 | (defun ada-initialize-runtime-library (cross-prefix) |
ced16f5d | 292 | "Initialize the variables for the runtime library location. |
417451fe | 293 | CROSS-PREFIX is the prefix to use for the `gnatls' command." |
d5875b25 JB |
294 | (let ((gnatls |
295 | (condition-case nil | |
296 | ;; if gnatls not found, just give up (may not be using GNAT) | |
297 | (ada-find-executable (concat cross-prefix "gnatls")) | |
298 | (error nil)))) | |
299 | (if gnatls | |
300 | (save-excursion | |
301 | (setq ada-xref-runtime-library-specs-path '() | |
302 | ada-xref-runtime-library-ali-path '()) | |
303 | (set-buffer (get-buffer-create "*gnatls*")) | |
304 | (widen) | |
305 | (erase-buffer) | |
306 | ;; Even if we get an error, delete the *gnatls* buffer | |
307 | (unwind-protect | |
308 | (let ((status (apply 'call-process gnatls (append '(nil t nil) ada-gnatls-args)))) | |
309 | (goto-char (point-min)) | |
310 | ||
311 | ;; Since we didn't provide all the inputs gnatls expects, it returns status 4 | |
312 | (if (/= 4 status) | |
313 | (error (buffer-substring (point) (line-end-position)))) | |
314 | ||
315 | ;; Source path | |
316 | ||
317 | (search-forward "Source Search Path:") | |
318 | (forward-line 1) | |
319 | (while (not (looking-at "^$")) | |
320 | (back-to-indentation) | |
321 | (if (looking-at "<Current_Directory>") | |
322 | (add-to-list 'ada-xref-runtime-library-specs-path ".") | |
323 | (add-to-list 'ada-xref-runtime-library-specs-path | |
324 | (buffer-substring-no-properties | |
325 | (point) | |
e180ab9f | 326 | (point-at-eol)))) |
d5875b25 JB |
327 | (forward-line 1)) |
328 | ||
329 | ;; Object path | |
330 | ||
331 | (search-forward "Object Search Path:") | |
332 | (forward-line 1) | |
333 | (while (not (looking-at "^$")) | |
334 | (back-to-indentation) | |
335 | (if (looking-at "<Current_Directory>") | |
336 | (add-to-list 'ada-xref-runtime-library-ali-path ".") | |
337 | (add-to-list 'ada-xref-runtime-library-ali-path | |
338 | (buffer-substring-no-properties | |
339 | (point) | |
e180ab9f | 340 | (point-at-eol)))) |
d5875b25 JB |
341 | (forward-line 1)) |
342 | ) | |
343 | (kill-buffer nil)))) | |
344 | ||
40f7e0e8 | 345 | (setq ada-xref-runtime-library-specs-path |
15ea3b67 | 346 | (reverse ada-xref-runtime-library-specs-path)) |
40f7e0e8 | 347 | (setq ada-xref-runtime-library-ali-path |
15ea3b67 GM |
348 | (reverse ada-xref-runtime-library-ali-path)) |
349 | )) | |
350 | ||
d5875b25 JB |
351 | (defun ada-gnat-parse-gpr (plist gpr-file) |
352 | "Set gpr_file, src_dir and obj_dir properties in PLIST by parsing GPR-FILE. | |
32b1a27f | 353 | Return new value of PLIST. |
d5875b25 JB |
354 | GPR_FILE must be full path to file, normalized. |
355 | src_dir, obj_dir will include compiler runtime. | |
356 | Assumes environment variable ADA_PROJECT_PATH is set properly." | |
9a529312 | 357 | (with-current-buffer (get-buffer-create "*gnatls*") |
d5875b25 JB |
358 | (erase-buffer) |
359 | ||
360 | ;; this can take a long time; let the user know what's up | |
361 | (message "Parsing %s ..." gpr-file) | |
362 | ||
363 | ;; Even if we get an error, delete the *gnatls* buffer | |
364 | (unwind-protect | |
365 | (let* ((cross-prefix (plist-get plist 'cross_prefix)) | |
366 | (gnat (concat cross-prefix ada-gnat-cmd)) | |
367 | ;; Putting quotes around gpr-file confuses gnatpath on Lynx; not clear why | |
368 | (gpr-opt (concat "-P" gpr-file)) | |
369 | (src-dir '()) | |
370 | (obj-dir '()) | |
371 | (status (call-process gnat nil t nil "list" "-v" gpr-opt))) | |
372 | (goto-char (point-min)) | |
373 | ||
374 | (if (/= 0 status) | |
375 | (error (buffer-substring (point) (line-end-position)))) | |
376 | ||
377 | ;; Source path | |
378 | ||
379 | (search-forward "Source Search Path:") | |
380 | (forward-line 1) ; first directory in list | |
381 | (while (not (looking-at "^$")) ; terminate on blank line | |
382 | (back-to-indentation) ; skip whitespace | |
6dc439cb SM |
383 | (add-to-list 'src-dir |
384 | (if (looking-at "<Current_Directory>") | |
385 | default-directory | |
d5875b25 JB |
386 | (expand-file-name |
387 | (buffer-substring-no-properties | |
388 | (point) (line-end-position))))) | |
389 | (forward-line 1)) | |
390 | ||
391 | ;; Object path | |
392 | ||
393 | (search-forward "Object Search Path:") | |
394 | (forward-line 1) | |
395 | (while (not (looking-at "^$")) | |
396 | (back-to-indentation) | |
6dc439cb SM |
397 | (add-to-list 'obj-dir |
398 | (if (looking-at "<Current_Directory>") | |
399 | default-directory | |
d5875b25 JB |
400 | (expand-file-name |
401 | (buffer-substring-no-properties | |
402 | (point) (line-end-position))))) | |
403 | (forward-line 1)) | |
404 | ||
405 | ;; Set properties | |
406 | (setq plist (plist-put plist 'gpr_file gpr-file)) | |
dd4fdc44 JB |
407 | (setq plist (plist-put plist 'src_dir src-dir)) |
408 | (plist-put plist 'obj_dir obj-dir) | |
d5875b25 JB |
409 | ) |
410 | (kill-buffer nil) | |
411 | (message "Parsing %s ... done" gpr-file) | |
412 | ) | |
413 | )) | |
414 | ||
15ea3b67 | 415 | (defun ada-treat-cmd-string (cmd-string) |
d5875b25 JB |
416 | "Replace variable references ${var} in CMD-STRING with the appropriate value. |
417 | Also replace standard environment variables $var. | |
417451fe JB |
418 | Assumes project exists. |
419 | As a special case, ${current} is replaced with the name of the current | |
420 | file, minus extension but with directory, and ${full_current} is | |
4884c50b | 421 | replaced by the name including the extension." |
15ea3b67 GM |
422 | |
423 | (while (string-match "\\(-[^-\$IO]*[IO]\\)?\${\\([^}]+\\)}" cmd-string) | |
4884c50b SM |
424 | (let (value |
425 | (name (match-string 2 cmd-string))) | |
426 | (cond | |
427 | ((string= name "current") | |
428 | (setq value (file-name-sans-extension (buffer-file-name)))) | |
429 | ((string= name "full_current") | |
430 | (setq value (buffer-file-name))) | |
431 | (t | |
15ea3b67 | 432 | (save-match-data |
4884c50b SM |
433 | (setq value (ada-xref-get-project-field (intern name)))))) |
434 | ||
435 | ;; Check if there is an environment variable with the same name | |
436 | (if (null value) | |
437 | (if (not (setq value (getenv name))) | |
f020b5c9 | 438 | (message "%s" (concat "No project or environment variable " name " found")))) |
a1506d29 | 439 | |
15ea3b67 GM |
440 | (cond |
441 | ((null value) | |
4884c50b | 442 | (setq cmd-string (replace-match "" t t cmd-string))) |
15ea3b67 | 443 | ((stringp value) |
4884c50b | 444 | (setq cmd-string (replace-match value t t cmd-string))) |
15ea3b67 GM |
445 | ((listp value) |
446 | (let ((prefix (match-string 1 cmd-string))) | |
4884c50b | 447 | (setq cmd-string (replace-match |
15ea3b67 GM |
448 | (mapconcat (lambda(x) (concat prefix x)) value " ") |
449 | t t cmd-string))))) | |
450 | )) | |
d5875b25 | 451 | (substitute-in-file-name cmd-string)) |
15ea3b67 | 452 | |
a1506d29 | 453 | |
15ea3b67 | 454 | (defun ada-xref-get-project-field (field) |
4884c50b | 455 | "Extract the value of FIELD from the current project file. |
417451fe | 456 | Project variables are substituted. |
4884c50b SM |
457 | |
458 | Note that for src_dir and obj_dir, you should rather use | |
7977c946 JB |
459 | `ada-xref-get-src-dir-field' or `ada-xref-get-obj-dir-field' |
460 | which will in addition return the default paths." | |
15ea3b67 | 461 | |
85187d83 | 462 | (let* ((project-plist (cdr (ada-xref-current-project))) |
d5875b25 | 463 | (value (plist-get project-plist field))) |
15ea3b67 | 464 | |
d5875b25 JB |
465 | (cond |
466 | ((eq field 'gnatmake_opt) | |
467 | (let ((gpr-file (plist-get project-plist 'gpr_file))) | |
468 | (if (not (string= gpr-file "")) | |
469 | (setq value (concat "-P\"" gpr-file "\" " value))))) | |
4884c50b | 470 | |
d5875b25 JB |
471 | ;; FIXME: check for src_dir, obj_dir here, rather than requiring user to do it |
472 | (t | |
473 | nil)) | |
474 | ||
475 | ;; Substitute the ${...} constructs in all the strings, including | |
476 | ;; inside lists | |
4884c50b SM |
477 | (cond |
478 | ((stringp value) | |
479 | (ada-treat-cmd-string value)) | |
480 | ((null value) | |
481 | nil) | |
482 | ((listp value) | |
483 | (mapcar (lambda(x) (if x (ada-treat-cmd-string x) x)) value)) | |
484 | (t | |
485 | value) | |
486 | ) | |
487 | )) | |
488 | ||
4884c50b SM |
489 | (defun ada-xref-get-src-dir-field () |
490 | "Return the full value for src_dir, including the default directories. | |
491 | All the directories are returned as absolute directories." | |
492 | ||
493 | (let ((build-dir (ada-xref-get-project-field 'build_dir))) | |
494 | (append | |
495 | ;; Add ${build_dir} in front of the path | |
496 | (list build-dir) | |
a1506d29 | 497 | |
4884c50b SM |
498 | (ada-get-absolute-dir-list (ada-xref-get-project-field 'src_dir) |
499 | build-dir) | |
a1506d29 | 500 | |
4884c50b SM |
501 | ;; Add the standard runtime at the end |
502 | ada-xref-runtime-library-specs-path))) | |
503 | ||
504 | (defun ada-xref-get-obj-dir-field () | |
505 | "Return the full value for obj_dir, including the default directories. | |
506 | All the directories are returned as absolute directories." | |
507 | ||
508 | (let ((build-dir (ada-xref-get-project-field 'build_dir))) | |
509 | (append | |
510 | ;; Add ${build_dir} in front of the path | |
511 | (list build-dir) | |
a1506d29 | 512 | |
4884c50b SM |
513 | (ada-get-absolute-dir-list (ada-xref-get-project-field 'obj_dir) |
514 | build-dir) | |
a1506d29 | 515 | |
4884c50b SM |
516 | ;; Add the standard runtime at the end |
517 | ada-xref-runtime-library-ali-path))) | |
518 | ||
85187d83 JB |
519 | (defun ada-xref-set-project-field (field value) |
520 | "Set FIELD to VALUE in current project. Assumes project exists." | |
521 | ;; same algorithm to find project-plist as ada-xref-current-project | |
522 | (let* ((file-name (ada-xref-current-project-file)) | |
523 | (project-plist (cdr (assoc file-name ada-xref-project-files)))) | |
524 | ||
525 | (setq project-plist (plist-put project-plist field value)) | |
526 | (setcdr (assoc file-name ada-xref-project-files) project-plist))) | |
527 | ||
4884c50b SM |
528 | (defun ada-xref-update-project-menu () |
529 | "Update the menu Ada->Project, with the list of available project files." | |
96a483d9 SM |
530 | ;; Create the standard items. |
531 | (let ((submenu | |
532 | `("Project" | |
533 | ["Load..." ada-set-default-project-file t] | |
534 | ["New..." ada-prj-new t] | |
535 | ["Edit..." ada-prj-edit t] | |
536 | "---" | |
d5875b25 | 537 | ;; Add the project files |
96a483d9 SM |
538 | ,@(mapcar |
539 | (lambda (x) | |
d5875b25 JB |
540 | (let* ((name (or (car x) "<default>")) |
541 | (command `(lambda () | |
542 | "Select the current project file." | |
543 | (interactive) | |
544 | (ada-select-prj-file ,name)))) | |
96a483d9 | 545 | (vector |
d5875b25 | 546 | (file-name-nondirectory name) |
96a483d9 SM |
547 | command |
548 | :button (cons | |
549 | :toggle | |
550 | (equal ada-prj-default-project-file | |
551 | (car x)) | |
552 | )))) | |
75497862 | 553 | |
96a483d9 | 554 | (or ada-xref-project-files '(nil)))))) |
75497862 | 555 | |
96a483d9 | 556 | (easy-menu-add-item ada-mode-menu '() submenu))) |
4884c50b SM |
557 | |
558 | ||
559 | ;;------------------------------------------------------------- | |
560 | ;;-- Searching a file anywhere on the source path. | |
561 | ;;-- | |
562 | ;;-- The following functions provide support for finding a file anywhere | |
563 | ;;-- on the source path, without providing an explicit directory. | |
564 | ;;-- They also provide file name completion in the minibuffer. | |
565 | ;;-- | |
566 | ;;-- Public subprograms: ada-find-file | |
567 | ;;-- | |
568 | ;;------------------------------------------------------------- | |
569 | ||
570 | (defun ada-do-file-completion (string predicate flag) | |
571 | "Completion function when reading a file from the minibuffer. | |
32b1a27f JB |
572 | Completion is attempted in all the directories in the source path, |
573 | as defined in the project file." | |
417451fe | 574 | ;; FIXME: doc arguments |
f020b5c9 JB |
575 | |
576 | ;; This function is not itself interactive, but it is called as part | |
577 | ;; of the prompt of interactive functions, so we require a project | |
578 | ;; file. | |
579 | (ada-require-project-file) | |
4884c50b SM |
580 | (let (list |
581 | (dirs (ada-xref-get-src-dir-field))) | |
582 | ||
583 | (while dirs | |
584 | (if (file-directory-p (car dirs)) | |
40f7e0e8 SM |
585 | (setq list (append list (file-name-all-completions string (car dirs))))) |
586 | (setq dirs (cdr dirs))) | |
4884c50b SM |
587 | (cond ((equal flag 'lambda) |
588 | (assoc string list)) | |
589 | (flag | |
590 | list) | |
591 | (t | |
592 | (try-completion string | |
593 | (mapcar (lambda (x) (cons x 1)) list) | |
594 | predicate))))) | |
595 | ||
596 | ;;;###autoload | |
597 | (defun ada-find-file (filename) | |
417451fe | 598 | "Open FILENAME, from anywhere in the source path. |
4884c50b SM |
599 | Completion is available." |
600 | (interactive | |
601 | (list (completing-read "File: " 'ada-do-file-completion))) | |
602 | (let ((file (ada-find-src-file-in-dir filename))) | |
603 | (if file | |
604 | (find-file file) | |
a867ead0 | 605 | (error "%s not found in src_dir" filename)))) |
4884c50b | 606 | |
797aab3c | 607 | |
797aab3c GM |
608 | ;; ----- Utilities ------------------------------------------------- |
609 | ||
610 | (defun ada-require-project-file () | |
85187d83 JB |
611 | "If the current project does not exist, load or create a default one. |
612 | Should only be called from interactive functions." | |
d5875b25 JB |
613 | (if (string= "" ada-prj-default-project-file) |
614 | (ada-reread-prj-file (ada-prj-find-prj-file t)))) | |
a1506d29 | 615 | |
d5875b25 JB |
616 | (defun ada-xref-current-project-file () |
617 | "Return the current project file name; never nil. | |
618 | Call `ada-require-project-file' first if a project must exist." | |
85187d83 JB |
619 | (if (not (string= "" ada-prj-default-project-file)) |
620 | ada-prj-default-project-file | |
d5875b25 | 621 | (ada-prj-find-prj-file t))) |
85187d83 | 622 | |
d5875b25 JB |
623 | (defun ada-xref-current-project () |
624 | "Return the current project. | |
625 | Call `ada-require-project-file' first to ensure a project exists." | |
32b1a27f | 626 | (let ((file-name (ada-xref-current-project-file))) |
85187d83 JB |
627 | (assoc file-name ada-xref-project-files))) |
628 | ||
629 | (defun ada-show-current-project () | |
630 | "Display current project file name in message buffer." | |
631 | (interactive) | |
632 | (message (ada-xref-current-project-file))) | |
633 | ||
634 | (defun ada-show-current-main () | |
d5875b25 | 635 | "Display current main file name in message buffer." |
85187d83 | 636 | (interactive) |
d5875b25 | 637 | (message "ada-mode main: %s" (ada-xref-get-project-field 'main))) |
85187d83 | 638 | |
797aab3c | 639 | (defun ada-xref-push-pos (filename position) |
eec3232e | 640 | "Push (FILENAME, POSITION) on the position ring for cross-references." |
797aab3c GM |
641 | (setq ada-xref-pos-ring (cons (list position filename) ada-xref-pos-ring)) |
642 | (if (> (length ada-xref-pos-ring) ada-xref-pos-ring-max) | |
643 | (setcdr (nthcdr (1- ada-xref-pos-ring-max) ada-xref-pos-ring) nil))) | |
644 | ||
645 | (defun ada-xref-goto-previous-reference () | |
eec3232e | 646 | "Go to the previous cross-reference we were on." |
797aab3c GM |
647 | (interactive) |
648 | (if ada-xref-pos-ring | |
eec3232e GM |
649 | (let ((pos (car ada-xref-pos-ring))) |
650 | (setq ada-xref-pos-ring (cdr ada-xref-pos-ring)) | |
651 | (find-file (car (cdr pos))) | |
652 | (goto-char (car pos))))) | |
797aab3c GM |
653 | |
654 | (defun ada-convert-file-name (name) | |
417451fe | 655 | "Convert from NAME to a name that can be used by the compilation commands. |
a8b6a3a6 | 656 | This is overridden on VMS to convert from VMS filenames to Unix filenames." |
797aab3c | 657 | name) |
417451fe | 658 | ;; FIXME: use convert-standard-filename instead |
797aab3c | 659 | |
d5875b25 JB |
660 | (defun ada-set-default-project-file (file) |
661 | "Set FILE as the current project file." | |
eec3232e | 662 | (interactive "fProject file:") |
d5875b25 JB |
663 | (ada-parse-prj-file file) |
664 | (ada-select-prj-file file)) | |
15ea3b67 GM |
665 | |
666 | ;; ------ Handling the project file ----------------------------- | |
797aab3c | 667 | |
d5875b25 JB |
668 | (defun ada-prj-find-prj-file (&optional no-user-question) |
669 | "Find the project file associated with the current buffer. | |
85187d83 JB |
670 | If the buffer is not in Ada mode, or not associated with a file, |
671 | return `ada-prj-default-project-file'. Otherwise, search for a file with | |
672 | the same base name as the Ada file, but extension given by | |
673 | `ada-prj-file-extension' (default .adp). If not found, search for *.adp | |
674 | in the current directory; if several are found, and NO-USER-QUESTION | |
675 | is non-nil, prompt the user to select one. If none are found, return | |
676 | 'default.adp'." | |
797aab3c | 677 | |
15ea3b67 | 678 | (let (selected) |
797aab3c | 679 | |
3da360a7 | 680 | (if (not (and (derived-mode-p 'ada-mode) |
d5875b25 | 681 | buffer-file-name)) |
c94ca9e0 | 682 | |
85187d83 JB |
683 | ;; Not in an Ada buffer, or current buffer not associated |
684 | ;; with a file (for instance an emerge buffer) | |
d5875b25 | 685 | (setq selected nil) |
a1506d29 | 686 | |
4884c50b | 687 | ;; other cases: use a more complex algorithm |
a1506d29 | 688 | |
d5875b25 | 689 | (let* ((current-file (buffer-file-name)) |
4884c50b SM |
690 | (first-choice (concat |
691 | (file-name-sans-extension current-file) | |
0262d5e1 | 692 | ada-prj-file-extension)) |
4884c50b | 693 | (dir (file-name-directory current-file)) |
a1506d29 | 694 | |
4884c50b SM |
695 | (prj-files (directory-files |
696 | dir t | |
697 | (concat ".*" (regexp-quote | |
0262d5e1 | 698 | ada-prj-file-extension) "$"))) |
4884c50b | 699 | (choice nil)) |
a1506d29 | 700 | |
4884c50b | 701 | (cond |
a1506d29 | 702 | |
4884c50b | 703 | ((file-exists-p first-choice) |
85187d83 | 704 | ;; filename.adp |
40f7e0e8 | 705 | (setq selected first-choice)) |
a1506d29 | 706 | |
4884c50b | 707 | ((= (length prj-files) 1) |
85187d83 | 708 | ;; Exactly one project file was found in the current directory |
40f7e0e8 | 709 | (setq selected (car prj-files))) |
a1506d29 | 710 | |
4884c50b | 711 | ((and (> (length prj-files) 1) (not no-user-question)) |
85187d83 | 712 | ;; multiple project files in current directory, ask the user |
4884c50b SM |
713 | (save-window-excursion |
714 | (with-output-to-temp-buffer "*choice list*" | |
715 | (princ "There are more than one possible project file.\n") | |
716 | (princ "Which one should we use ?\n\n") | |
717 | (princ " no. file name \n") | |
718 | (princ " --- ------------------------\n") | |
719 | (let ((counter 1)) | |
720 | (while (<= counter (length prj-files)) | |
721 | (princ (format " %2d) %s\n" | |
722 | counter | |
723 | (nth (1- counter) prj-files))) | |
724 | (setq counter (1+ counter)) | |
c94ca9e0 | 725 | |
4884c50b SM |
726 | ))) ; end of with-output-to ... |
727 | (setq choice nil) | |
728 | (while (or | |
729 | (not choice) | |
730 | (not (integerp choice)) | |
731 | (< choice 1) | |
732 | (> choice (length prj-files))) | |
027a4b6b | 733 | (setq choice (string-to-number |
4884c50b | 734 | (read-from-minibuffer "Enter No. of your choice: ")))) |
40f7e0e8 | 735 | (setq selected (nth (1- choice) prj-files)))) |
a1506d29 | 736 | |
4884c50b | 737 | ((= (length prj-files) 0) |
85187d83 | 738 | ;; No project file in the current directory; ask user |
4884c50b SM |
739 | (unless (or no-user-question (not ada-always-ask-project)) |
740 | (setq ada-last-prj-file | |
741 | (read-file-name | |
742 | (concat "project file [" ada-last-prj-file "]:") | |
743 | nil ada-last-prj-file)) | |
744 | (unless (string= ada-last-prj-file "") | |
40f7e0e8 | 745 | (setq selected ada-last-prj-file)))) |
4884c50b | 746 | ))) |
c94ca9e0 JB |
747 | |
748 | (or selected "default.adp") | |
797aab3c GM |
749 | )) |
750 | ||
d5875b25 JB |
751 | (defun ada-default-prj-properties () |
752 | "Return the default project properties list with the current buffer as main." | |
753 | ||
754 | (let ((file (buffer-file-name nil))) | |
755 | (list | |
756 | ;; variable name alphabetical order | |
8794c483 | 757 | 'ada_project_path (or (getenv "ADA_PROJECT_PATH") "") |
d5875b25 JB |
758 | 'ada_project_path_sep ada-prj-ada-project-path-sep |
759 | 'bind_opt ada-prj-default-bind-opt | |
760 | 'build_dir default-directory | |
761 | 'casing (if (listp ada-case-exception-file) | |
762 | ada-case-exception-file | |
763 | (list ada-case-exception-file)) | |
764 | 'check_cmd (list ada-prj-default-check-cmd) ;; FIXME: should not a list | |
765 | 'comp_cmd (list ada-prj-default-comp-cmd) ;; FIXME: should not a list | |
766 | 'comp_opt ada-prj-default-comp-opt | |
767 | 'cross_prefix "" | |
768 | 'debug_cmd (concat ada-prj-default-debugger | |
72bc50c0 | 769 | " ${main}" (if ada-on-ms-windows ".exe")) ;; FIXME: don't need .exe? |
d5875b25 JB |
770 | 'debug_post_cmd (list nil) |
771 | 'debug_pre_cmd (list (concat ada-cd-command " ${build_dir}")) | |
772 | 'gnatmake_opt ada-prj-default-gnatmake-opt | |
773 | 'gnatfind_opt ada-prj-gnatfind-switches | |
774 | 'gpr_file ada-prj-default-gpr-file | |
775 | 'link_opt ada-prj-default-link-opt | |
776 | 'main (if file | |
777 | (file-name-nondirectory | |
778 | (file-name-sans-extension file)) | |
779 | "") | |
780 | 'make_cmd (list ada-prj-default-make-cmd) ;; FIXME: should not a list | |
781 | 'obj_dir (list ".") | |
782 | 'remote_machine "" | |
72bc50c0 | 783 | 'run_cmd (list (concat "./${main}" (if ada-on-ms-windows ".exe"))) |
d5875b25 JB |
784 | ;; FIXME: should not a list |
785 | ;; FIXME: don't need .exe? | |
786 | 'src_dir (list ".") | |
787 | ))) | |
797aab3c | 788 | |
15ea3b67 | 789 | (defun ada-parse-prj-file (prj-file) |
d5875b25 JB |
790 | "Read PRJ-FILE, set project properties in `ada-xref-project-files'." |
791 | (let ((project (ada-default-prj-properties))) | |
c94ca9e0 | 792 | |
d5875b25 JB |
793 | (setq prj-file (expand-file-name prj-file)) |
794 | (if (string= (file-name-extension prj-file) "gpr") | |
40f7e0e8 | 795 | (setq project (ada-gnat-parse-gpr project prj-file)) |
d5875b25 | 796 | |
40f7e0e8 | 797 | (setq project (ada-parse-prj-file-1 prj-file project)) |
d5875b25 | 798 | ) |
c94ca9e0 | 799 | |
d5875b25 JB |
800 | ;; Store the project properties |
801 | (if (assoc prj-file ada-xref-project-files) | |
802 | (setcdr (assoc prj-file ada-xref-project-files) project) | |
803 | (add-to-list 'ada-xref-project-files (cons prj-file project))) | |
4884c50b | 804 | |
d5875b25 JB |
805 | (ada-xref-update-project-menu) |
806 | )) | |
a1506d29 | 807 | |
d5875b25 JB |
808 | (defun ada-parse-prj-file-1 (prj-file project) |
809 | "Parse the Ada mode project file PRJ-FILE, set project properties in PROJECT. | |
810 | Return new value of PROJECT." | |
811 | (let ((ada-buffer (current-buffer)) | |
812 | ;; fields that are lists or otherwise require special processing | |
813 | ada_project_path casing comp_cmd check_cmd | |
814 | debug_pre_cmd debug_post_cmd gpr_file make_cmd obj_dir src_dir run_cmd) | |
815 | ||
816 | ;; Give users a chance to use compiler-specific project file formats | |
817 | (let ((buffer (run-hook-with-args-until-success | |
818 | 'ada-load-project-hook prj-file))) | |
819 | (unless buffer | |
820 | ;; we load the project file with no warnings; if it does not | |
821 | ;; exist, we stay in the Ada buffer; no project variable | |
822 | ;; settings will be found. That works for the default | |
823 | ;; "default.adp", which does not exist as a file. | |
824 | (setq buffer (find-file-noselect prj-file nil))) | |
825 | (set-buffer buffer)) | |
4884c50b | 826 | |
d5875b25 JB |
827 | (widen) |
828 | (goto-char (point-min)) | |
4884c50b | 829 | |
d5875b25 JB |
830 | ;; process each line |
831 | (while (not (eobp)) | |
a1506d29 | 832 | |
d5875b25 JB |
833 | ;; ignore lines that don't have the format "name=value", put |
834 | ;; 'name', 'value' in match-string. | |
835 | (if (looking-at "^\\([^=\n]+\\)=\\(.*\\)") | |
836 | (cond | |
837 | ;; FIXME: strip trailing spaces | |
838 | ;; variable name alphabetical order | |
839 | ((string= (match-string 1) "ada_project_path") | |
840 | (add-to-list 'ada_project_path | |
841 | (expand-file-name | |
842 | (substitute-in-file-name (match-string 2))))) | |
a1506d29 | 843 | |
d5875b25 | 844 | ((string= (match-string 1) "build_dir") |
40f7e0e8 | 845 | (setq project |
d5875b25 JB |
846 | (plist-put project 'build_dir |
847 | (file-name-as-directory (match-string 2))))) | |
4884c50b | 848 | |
d5875b25 JB |
849 | ((string= (match-string 1) "casing") |
850 | (add-to-list 'casing | |
851 | (expand-file-name (substitute-in-file-name (match-string 2))))) | |
852 | ||
853 | ((string= (match-string 1) "check_cmd") | |
854 | (add-to-list 'check_cmd (match-string 2))) | |
855 | ||
856 | ((string= (match-string 1) "comp_cmd") | |
857 | (add-to-list 'comp_cmd (match-string 2))) | |
858 | ||
859 | ((string= (match-string 1) "debug_post_cmd") | |
860 | (add-to-list 'debug_post_cmd (match-string 2))) | |
861 | ||
862 | ((string= (match-string 1) "debug_pre_cmd") | |
863 | (add-to-list 'debug_pre_cmd (match-string 2))) | |
864 | ||
865 | ((string= (match-string 1) "gpr_file") | |
866 | ;; expand now; path is relative to Emacs project file | |
867 | (setq gpr_file (expand-file-name (match-string 2)))) | |
868 | ||
869 | ((string= (match-string 1) "make_cmd") | |
870 | (add-to-list 'make_cmd (match-string 2))) | |
871 | ||
872 | ((string= (match-string 1) "obj_dir") | |
873 | (add-to-list 'obj_dir | |
874 | (file-name-as-directory | |
875 | (expand-file-name (match-string 2))))) | |
876 | ||
877 | ((string= (match-string 1) "run_cmd") | |
878 | (add-to-list 'run_cmd (match-string 2))) | |
879 | ||
880 | ((string= (match-string 1) "src_dir") | |
881 | (add-to-list 'src_dir | |
882 | (file-name-as-directory | |
883 | (expand-file-name (match-string 2))))) | |
884 | ||
885 | (t | |
886 | ;; any other field in the file is just copied | |
40f7e0e8 | 887 | (setq project (plist-put project |
d5875b25 JB |
888 | (intern (match-string 1)) |
889 | (match-string 2)))))) | |
890 | ||
891 | (forward-line 1)) | |
892 | ||
893 | ;; done reading file | |
894 | ||
895 | ;; back to the user buffer | |
896 | (set-buffer ada-buffer) | |
897 | ||
898 | ;; process accumulated lists | |
899 | (if ada_project_path | |
900 | (let ((sep (plist-get project 'ada_project_path_sep))) | |
901 | (setq ada_project_path (reverse ada_project_path)) | |
902 | (setq ada_project_path (mapconcat 'identity ada_project_path sep)) | |
40f7e0e8 | 903 | (setq project (plist-put project 'ada_project_path ada_project_path)) |
d5875b25 JB |
904 | ;; env var needed now for ada-gnat-parse-gpr |
905 | (setenv "ADA_PROJECT_PATH" ada_project_path))) | |
906 | ||
40f7e0e8 SM |
907 | (if debug_post_cmd (setq project (plist-put project 'debug_post_cmd (reverse debug_post_cmd)))) |
908 | (if debug_pre_cmd (setq project (plist-put project 'debug_pre_cmd (reverse debug_pre_cmd)))) | |
909 | (if casing (setq project (plist-put project 'casing (reverse casing)))) | |
910 | (if check_cmd (setq project (plist-put project 'check_cmd (reverse check_cmd)))) | |
911 | (if comp_cmd (setq project (plist-put project 'comp_cmd (reverse comp_cmd)))) | |
912 | (if make_cmd (setq project (plist-put project 'make_cmd (reverse make_cmd)))) | |
913 | (if run_cmd (setq project (plist-put project 'run_cmd (reverse run_cmd)))) | |
d5875b25 JB |
914 | |
915 | (if gpr_file | |
916 | (progn | |
40f7e0e8 | 917 | (setq project (ada-gnat-parse-gpr project gpr_file)) |
d5875b25 JB |
918 | ;; append Ada source and object directories to others from Emacs project file |
919 | (setq src_dir (append (plist-get project 'src_dir) src_dir)) | |
920 | (setq obj_dir (append (plist-get project 'obj_dir) obj_dir)) | |
921 | (setq ada-xref-runtime-library-specs-path '() | |
922 | ada-xref-runtime-library-ali-path '())) | |
923 | ) | |
924 | ||
925 | ;; FIXME: gnatpath.exe doesn't output the runtime libraries, so always call ada-initialize-runtime-library | |
926 | ;; if using a gpr_file, the runtime library directories are | |
927 | ;; included in src_dir and obj_dir; otherwise they are in the | |
928 | ;; 'runtime-library' variables. | |
929 | ;; FIXME: always append to src_dir, obj_dir | |
930 | (ada-initialize-runtime-library (or (ada-xref-get-project-field 'cross_prefix) "")) | |
931 | ;;) | |
932 | ||
40f7e0e8 SM |
933 | (if obj_dir (setq project (plist-put project 'obj_dir (reverse obj_dir)))) |
934 | (if src_dir (setq project (plist-put project 'src_dir (reverse src_dir)))) | |
d5875b25 JB |
935 | |
936 | project | |
15ea3b67 | 937 | )) |
a1506d29 | 938 | |
d5875b25 JB |
939 | (defun ada-select-prj-file (file) |
940 | "Select FILE as the current project file." | |
941 | (interactive) | |
942 | (setq ada-prj-default-project-file (expand-file-name file)) | |
943 | ||
944 | (let ((casing (ada-xref-get-project-field 'casing))) | |
945 | (if casing | |
946 | (progn | |
947 | ;; FIXME: use ada-get-absolute-dir here | |
948 | (setq ada-case-exception-file casing) | |
949 | (ada-case-read-exceptions)))) | |
950 | ||
951 | (let ((ada_project_path (ada-xref-get-project-field 'ada_project_path))) | |
952 | (if ada_project_path | |
953 | ;; FIXME: use ada-get-absolute-dir, mapconcat here | |
954 | (setenv "ADA_PROJECT_PATH" ada_project_path))) | |
955 | ||
956 | (setq compilation-search-path (ada-xref-get-src-dir-field)) | |
957 | ||
958 | (setq ada-search-directories-internal | |
959 | ;; FIXME: why do we need directory-file-name here? | |
960 | (append (mapcar 'directory-file-name compilation-search-path) | |
961 | ada-search-directories)) | |
962 | ||
963 | ;; return 't', for decent display in message buffer when called interactively | |
964 | t) | |
a1506d29 | 965 | |
93cdce20 | 966 | (defun ada-find-references (&optional pos arg local-only) |
eec3232e | 967 | "Find all references to the entity under POS. |
93cdce20 | 968 | Calls gnatfind to find the references. |
32b1a27f JB |
969 | If ARG is non-nil, the contents of the old *gnatfind* buffer is preserved. |
970 | If LOCAL-ONLY is non-nil, only declarations in the current file are returned." | |
ced16f5d | 971 | (interactive "d\nP") |
797aab3c GM |
972 | (ada-require-project-file) |
973 | ||
974 | (let* ((identlist (ada-read-identifier pos)) | |
417451fe | 975 | (alifile (ada-get-ali-file-name (ada-file-of identlist))) |
15ea3b67 | 976 | (process-environment (ada-set-environment))) |
797aab3c GM |
977 | |
978 | (set-buffer (get-file-buffer (ada-file-of identlist))) | |
979 | ||
980 | ;; if the file is more recent than the executable | |
981 | (if (or (buffer-modified-p (current-buffer)) | |
417451fe JB |
982 | (file-newer-than-file-p (ada-file-of identlist) alifile)) |
983 | (ada-find-any-references (ada-name-of identlist) | |
984 | (ada-file-of identlist) | |
985 | nil nil local-only arg) | |
797aab3c | 986 | (ada-find-any-references (ada-name-of identlist) |
417451fe JB |
987 | (ada-file-of identlist) |
988 | (ada-line-of identlist) | |
989 | (ada-column-of identlist) local-only arg))) | |
797aab3c GM |
990 | ) |
991 | ||
93cdce20 SM |
992 | (defun ada-find-local-references (&optional pos arg) |
993 | "Find all references to the entity under POS. | |
ced16f5d | 994 | Calls `gnatfind' to find the references. |
32b1a27f | 995 | If ARG is non-nil, the contents of the old *gnatfind* buffer is preserved." |
ced16f5d | 996 | (interactive "d\nP") |
93cdce20 SM |
997 | (ada-find-references pos arg t)) |
998 | ||
f020b5c9 JB |
999 | (defconst ada-gnatfind-buffer-name "*gnatfind*") |
1000 | ||
93cdce20 SM |
1001 | (defun ada-find-any-references |
1002 | (entity &optional file line column local-only append) | |
eec3232e | 1003 | "Search for references to any entity whose name is ENTITY. |
93cdce20 | 1004 | ENTITY was first found the location given by FILE, LINE and COLUMN. |
32b1a27f JB |
1005 | If LOCAL-ONLY is non-nil, then list only the references in FILE, |
1006 | which is much faster. | |
1007 | If APPEND is non-nil, then append the output of the command to the | |
1008 | existing buffer `*gnatfind*', if there is one." | |
797aab3c GM |
1009 | (interactive "sEntity name: ") |
1010 | (ada-require-project-file) | |
1011 | ||
ced16f5d | 1012 | ;; Prepare the gnatfind command. Note that we must protect the quotes |
4884c50b SM |
1013 | ;; around operators, so that they are correctly handled and can be |
1014 | ;; processed (gnatfind \"+\":...). | |
1015 | (let* ((quote-entity | |
1016 | (if (= (aref entity 0) ?\") | |
72bc50c0 | 1017 | (if ada-on-ms-windows |
4884c50b SM |
1018 | (concat "\\\"" (substring entity 1 -1) "\\\"") |
1019 | (concat "'\"" (substring entity 1 -1) "\"'")) | |
1020 | entity)) | |
1021 | (switches (ada-xref-get-project-field 'gnatfind_opt)) | |
d5875b25 JB |
1022 | ;; FIXME: use gpr_file |
1023 | (cross-prefix (ada-xref-get-project-field 'cross_prefix)) | |
1024 | (command (concat cross-prefix "gnat find " switches " " | |
4884c50b | 1025 | quote-entity |
417451fe JB |
1026 | (if file (concat ":" (file-name-nondirectory file))) |
1027 | (if line (concat ":" line)) | |
1028 | (if column (concat ":" column)) | |
93cdce20 SM |
1029 | (if local-only (concat " " (file-name-nondirectory file))) |
1030 | )) | |
1031 | old-contents) | |
797aab3c GM |
1032 | |
1033 | ;; If a project file is defined, use it | |
4884c50b SM |
1034 | (if (and ada-prj-default-project-file |
1035 | (not (string= ada-prj-default-project-file ""))) | |
417451fe JB |
1036 | (if (string-equal (file-name-extension ada-prj-default-project-file) |
1037 | "gpr") | |
d5875b25 JB |
1038 | (setq command (concat command " -P\"" ada-prj-default-project-file "\"")) |
1039 | (setq command (concat command " -p\"" ada-prj-default-project-file "\"")))) | |
797aab3c | 1040 | |
f020b5c9 | 1041 | (if (and append (get-buffer ada-gnatfind-buffer-name)) |
9a529312 | 1042 | (with-current-buffer "*gnatfind*" |
93cdce20 | 1043 | (setq old-contents (buffer-string)))) |
a1506d29 | 1044 | |
ced16f5d | 1045 | (let ((compilation-error "reference")) |
e02f48d7 | 1046 | (compilation-start command 'compilation-mode (lambda (_mode) ada-gnatfind-buffer-name))) |
797aab3c GM |
1047 | |
1048 | ;; Hide the "Compilation" menu | |
9a529312 | 1049 | (with-current-buffer ada-gnatfind-buffer-name |
93cdce20 SM |
1050 | (local-unset-key [menu-bar compilation-menu]) |
1051 | ||
1052 | (if old-contents | |
1053 | (progn | |
1054 | (goto-char 1) | |
40f7e0e8 | 1055 | (setq buffer-read-only nil) |
93cdce20 | 1056 | (insert old-contents) |
40f7e0e8 | 1057 | (setq buffer-read-only t) |
93cdce20 | 1058 | (goto-char (point-max))))) |
797aab3c GM |
1059 | ) |
1060 | ) | |
1061 | ||
4884c50b | 1062 | (defalias 'ada-change-prj (symbol-function 'ada-set-default-project-file)) |
797aab3c | 1063 | |
797aab3c GM |
1064 | ;; ----- Identifier Completion -------------------------------------------- |
1065 | (defun ada-complete-identifier (pos) | |
417451fe | 1066 | "Try to complete the identifier around POS, using compiler cross-reference information." |
797aab3c GM |
1067 | (interactive "d") |
1068 | (ada-require-project-file) | |
1069 | ||
15ea3b67 | 1070 | ;; Initialize function-local variables and jump to the .ali buffer |
797aab3c GM |
1071 | ;; Note that for regexp search is case insensitive too |
1072 | (let* ((curbuf (current-buffer)) | |
417451fe JB |
1073 | (identlist (ada-read-identifier pos)) |
1074 | (sofar (concat "^[0-9]+[a-zA-Z][0-9]+[ *]\\(" | |
1075 | (regexp-quote (ada-name-of identlist)) | |
1076 | "[a-zA-Z0-9_]*\\)")) | |
1077 | (completed nil) | |
1078 | (symalist nil)) | |
797aab3c | 1079 | |
15ea3b67 GM |
1080 | ;; Open the .ali file |
1081 | (set-buffer (ada-get-ali-buffer (buffer-file-name))) | |
797aab3c GM |
1082 | (goto-char (point-max)) |
1083 | ||
1084 | ;; build an alist of possible completions | |
1085 | (while (re-search-backward sofar nil t) | |
1086 | (setq symalist (cons (cons (match-string 1) nil) symalist))) | |
1087 | ||
1088 | (setq completed (try-completion "" symalist)) | |
1089 | ||
1090 | ;; kills .ali buffer | |
1091 | (kill-buffer nil) | |
1092 | ||
1093 | ;; deletes the incomplete identifier in the buffer | |
1094 | (set-buffer curbuf) | |
1095 | (looking-at "[a-zA-Z0-9_]+") | |
1096 | (replace-match "") | |
1097 | ;; inserts the completed symbol | |
1098 | (insert completed) | |
1099 | )) | |
1100 | ||
1101 | ;; ----- Cross-referencing ---------------------------------------- | |
1102 | ||
1103 | (defun ada-point-and-xref () | |
c94ca9e0 | 1104 | "Jump to the declaration of the entity below the cursor." |
797aab3c GM |
1105 | (interactive) |
1106 | (mouse-set-point last-input-event) | |
1107 | (ada-goto-declaration (point))) | |
1108 | ||
c94ca9e0 JB |
1109 | (defun ada-point-and-xref-body () |
1110 | "Jump to the body of the entity under the cursor." | |
1111 | (interactive) | |
1112 | (mouse-set-point last-input-event) | |
1113 | (ada-goto-body (point))) | |
1114 | ||
1115 | (defun ada-goto-body (pos &optional other-frame) | |
1116 | "Display the body of the entity around POS. | |
417451fe | 1117 | OTHER-FRAME non-nil means display in another frame. |
c94ca9e0 JB |
1118 | If the entity doesn't have a body, display its declaration. |
1119 | As a side effect, the buffer for the declaration is also open." | |
1120 | (interactive "d") | |
1121 | (ada-goto-declaration pos other-frame) | |
1122 | ||
1123 | ;; Temporarily force the display in the same buffer, since we | |
1124 | ;; already changed previously | |
1125 | (let ((ada-xref-other-buffer nil)) | |
1126 | (ada-goto-declaration (point) nil))) | |
1127 | ||
4884c50b | 1128 | (defun ada-goto-declaration (pos &optional other-frame) |
eec3232e GM |
1129 | "Display the declaration of the identifier around POS. |
1130 | The declaration is shown in another buffer if `ada-xref-other-buffer' is | |
4884c50b SM |
1131 | non-nil. |
1132 | If OTHER-FRAME is non-nil, display the cross-reference in another frame." | |
797aab3c GM |
1133 | (interactive "d") |
1134 | (ada-require-project-file) | |
1135 | (push-mark pos) | |
1136 | (ada-xref-push-pos (buffer-file-name) pos) | |
797aab3c | 1137 | |
4884c50b SM |
1138 | ;; First try the standard algorithm by looking into the .ali file, but if |
1139 | ;; that file was too old or even did not exist, try to look in the whole | |
1140 | ;; object path for a possible location. | |
1141 | (let ((identlist (ada-read-identifier pos))) | |
0262d5e1 | 1142 | (condition-case err |
4884c50b | 1143 | (ada-find-in-ali identlist other-frame) |
0262d5e1 | 1144 | ;; File not found: print explicit error message |
54bd972f | 1145 | (ada-error-file-not-found |
0262d5e1 JB |
1146 | (message (concat (error-message-string err) |
1147 | (nthcdr 1 err)))) | |
1148 | ||
93cdce20 SM |
1149 | (error |
1150 | (let ((ali-file (ada-get-ali-file-name (ada-file-of identlist)))) | |
1151 | ||
1152 | ;; If the ALI file was up-to-date, then we probably have a predefined | |
1153 | ;; entity, whose references are not given by GNAT | |
1154 | (if (and (file-exists-p ali-file) | |
1155 | (file-newer-than-file-p ali-file (ada-file-of identlist))) | |
417451fe | 1156 | (message "No cross-reference found -- may be a predefined entity.") |
93cdce20 SM |
1157 | |
1158 | ;; Else, look in every ALI file, except if the user doesn't want that | |
1159 | (if ada-xref-search-with-egrep | |
1160 | (ada-find-in-src-path identlist other-frame) | |
ced16f5d | 1161 | (message "Cross-referencing information is not up-to-date; please recompile.") |
93cdce20 | 1162 | ))))))) |
4884c50b | 1163 | |
96a483d9 | 1164 | (defun ada-goto-declaration-other-frame (pos) |
eec3232e | 1165 | "Display the declaration of the identifier around POS. |
4c36be58 PE |
1166 | The declaration is shown in another frame if `ada-xref-other-buffer' is |
1167 | non-nil." | |
797aab3c | 1168 | (interactive "d") |
4884c50b | 1169 | (ada-goto-declaration pos t)) |
797aab3c | 1170 | |
15ea3b67 GM |
1171 | (defun ada-remote (command) |
1172 | "Return the remote version of COMMAND, or COMMAND if remote_machine is nil." | |
1173 | (let ((machine (ada-xref-get-project-field 'remote_machine))) | |
1174 | (if (or (not machine) (string= machine "")) | |
1175 | command | |
1176 | (format "%s %s '(%s)'" | |
1177 | remote-shell-program | |
1178 | machine | |
1179 | command)))) | |
1180 | ||
15ea3b67 | 1181 | (defun ada-get-absolute-dir-list (dir-list root-dir) |
417451fe | 1182 | "Return the list of absolute directories found in DIR-LIST. |
d5875b25 JB |
1183 | If a directory is a relative directory, ROOT-DIR is prepended. |
1184 | Project and environment variables are substituted." | |
1185 | (mapcar (lambda (x) (expand-file-name x (ada-treat-cmd-string root-dir))) dir-list)) | |
15ea3b67 GM |
1186 | |
1187 | (defun ada-set-environment () | |
ced16f5d RS |
1188 | "Prepare an environment for Ada compilation. |
1189 | This returns a new value to use for `process-environment', | |
1190 | but does not actually put it into use. | |
15ea3b67 GM |
1191 | It modifies the source path and object path with the values found in the |
1192 | project file." | |
1193 | (let ((include (getenv "ADA_INCLUDE_PATH")) | |
1194 | (objects (getenv "ADA_OBJECTS_PATH")) | |
1195 | (build-dir (ada-xref-get-project-field 'build_dir))) | |
1196 | (if include | |
40f7e0e8 | 1197 | (setq include (concat path-separator include))) |
15ea3b67 | 1198 | (if objects |
40f7e0e8 | 1199 | (setq objects (concat path-separator objects))) |
15ea3b67 GM |
1200 | (cons |
1201 | (concat "ADA_INCLUDE_PATH=" | |
4884c50b | 1202 | (mapconcat (lambda(x) (expand-file-name x build-dir)) |
15ea3b67 | 1203 | (ada-xref-get-project-field 'src_dir) |
4884c50b SM |
1204 | path-separator) |
1205 | include) | |
15ea3b67 GM |
1206 | (cons |
1207 | (concat "ADA_OBJECTS_PATH=" | |
4884c50b | 1208 | (mapconcat (lambda(x) (expand-file-name x build-dir)) |
15ea3b67 | 1209 | (ada-xref-get-project-field 'obj_dir) |
4884c50b SM |
1210 | path-separator) |
1211 | objects) | |
15ea3b67 GM |
1212 | process-environment)))) |
1213 | ||
1214 | (defun ada-compile-application (&optional arg) | |
ced16f5d | 1215 | "Compile the application, using the command found in the project file. |
15ea3b67 GM |
1216 | If ARG is not nil, ask for user confirmation." |
1217 | (interactive "P") | |
797aab3c | 1218 | (ada-require-project-file) |
15ea3b67 GM |
1219 | (let ((cmd (ada-xref-get-project-field 'make_cmd)) |
1220 | (process-environment (ada-set-environment)) | |
1221 | (compilation-scroll-output t)) | |
1222 | ||
4884c50b | 1223 | (setq compilation-search-path (ada-xref-get-src-dir-field)) |
15ea3b67 GM |
1224 | |
1225 | ;; If no project file was found, ask the user | |
1226 | (unless cmd | |
4884c50b | 1227 | (setq cmd '("") arg t)) |
15ea3b67 | 1228 | |
4884c50b SM |
1229 | ;; Make a single command from the list of commands, including the |
1230 | ;; commands to run it on a remote machine. | |
1231 | (setq cmd (ada-remote (mapconcat 'identity cmd ada-command-separator))) | |
a1506d29 | 1232 | |
4884c50b SM |
1233 | (if (or ada-xref-confirm-compile arg) |
1234 | (setq cmd (read-from-minibuffer "enter command to compile: " cmd))) | |
1235 | ||
1236 | ;; Insert newlines so as to separate the name of the commands to run | |
ced16f5d | 1237 | ;; and the output of the commands. This doesn't work with cmdproxy.exe, |
4884c50b | 1238 | ;; which gets confused by newline characters. |
c94ca9e0 | 1239 | (if (not (string-match ".exe" shell-file-name)) |
4884c50b | 1240 | (setq cmd (concat cmd "\n\n"))) |
a1506d29 | 1241 | |
4884c50b | 1242 | (compile (ada-quote-cmd cmd)))) |
797aab3c | 1243 | |
85187d83 | 1244 | (defun ada-set-main-compile-application () |
d5875b25 | 1245 | "Set main project variable to current buffer, build main." |
85187d83 JB |
1246 | (interactive) |
1247 | (ada-require-project-file) | |
1248 | (let* ((file (buffer-file-name (current-buffer))) | |
1249 | main) | |
1250 | (if (not file) | |
1251 | (error "No file for current buffer") | |
1252 | ||
1253 | (setq main | |
1254 | (if file | |
1255 | (file-name-nondirectory | |
1256 | (file-name-sans-extension file)) | |
1257 | "")) | |
1258 | (ada-xref-set-project-field 'main main) | |
85187d83 JB |
1259 | (ada-compile-application)))) |
1260 | ||
15ea3b67 GM |
1261 | (defun ada-compile-current (&optional arg prj-field) |
1262 | "Recompile the current file. | |
32b1a27f | 1263 | If ARG is non-nil, ask for user confirmation of the command. |
15ea3b67 | 1264 | PRJ-FIELD is the name of the field to use in the project file to get the |
7977c946 | 1265 | command, and should be either `comp_cmd' (default) or `check_cmd'." |
15ea3b67 | 1266 | (interactive "P") |
797aab3c | 1267 | (ada-require-project-file) |
15ea3b67 GM |
1268 | (let* ((field (if prj-field prj-field 'comp_cmd)) |
1269 | (cmd (ada-xref-get-project-field field)) | |
1270 | (process-environment (ada-set-environment)) | |
1271 | (compilation-scroll-output t)) | |
a1506d29 | 1272 | |
4884c50b SM |
1273 | (unless cmd |
1274 | (setq cmd '("") arg t)) | |
a1506d29 | 1275 | |
4884c50b SM |
1276 | ;; Make a single command from the list of commands, including the |
1277 | ;; commands to run it on a remote machine. | |
1278 | (setq cmd (ada-remote (mapconcat 'identity cmd ada-command-separator))) | |
a1506d29 | 1279 | |
15ea3b67 | 1280 | ;; If no project file was found, ask the user |
4884c50b SM |
1281 | (if (or ada-xref-confirm-compile arg) |
1282 | (setq cmd (read-from-minibuffer "enter command to compile: " cmd))) | |
1283 | ||
4884c50b | 1284 | (compile (ada-quote-cmd cmd)))) |
15ea3b67 GM |
1285 | |
1286 | (defun ada-check-current (&optional arg) | |
ab074cb1 | 1287 | "Check the current file for syntax errors. |
32b1a27f | 1288 | If ARG is non-nil, ask for user confirmation of the command." |
15ea3b67 GM |
1289 | (interactive "P") |
1290 | (ada-compile-current arg 'check_cmd)) | |
797aab3c | 1291 | |
15ea3b67 GM |
1292 | (defun ada-run-application (&optional arg) |
1293 | "Run the application. | |
32b1a27f | 1294 | If ARG is non-nil, ask for user confirmation." |
797aab3c GM |
1295 | (interactive) |
1296 | (ada-require-project-file) | |
1297 | ||
15ea3b67 GM |
1298 | (let ((machine (ada-xref-get-project-field 'cross_prefix))) |
1299 | (if (and machine (not (string= machine ""))) | |
1300 | (error "This feature is not supported yet for cross environments"))) | |
797aab3c | 1301 | |
15ea3b67 | 1302 | (let ((command (ada-xref-get-project-field 'run_cmd))) |
797aab3c | 1303 | |
15ea3b67 | 1304 | ;; Guess the command if it wasn't specified |
4884c50b | 1305 | (if (not command) |
40f7e0e8 | 1306 | (setq command (list (file-name-sans-extension (buffer-name))))) |
797aab3c | 1307 | |
4884c50b SM |
1308 | ;; Modify the command to run remotely |
1309 | (setq command (ada-remote (mapconcat 'identity command | |
1310 | ada-command-separator))) | |
a1506d29 | 1311 | |
15ea3b67 GM |
1312 | ;; Ask for the arguments to the command if required |
1313 | (if (or ada-xref-confirm-compile arg) | |
4884c50b SM |
1314 | (setq command (read-from-minibuffer "Enter command to execute: " |
1315 | command))) | |
797aab3c GM |
1316 | |
1317 | ;; Run the command | |
9a529312 | 1318 | (with-current-buffer (get-buffer-create "*run*") |
40f7e0e8 | 1319 | (setq buffer-read-only nil) |
4884c50b | 1320 | |
15ea3b67 | 1321 | (erase-buffer) |
4884c50b SM |
1322 | (start-process "run" (current-buffer) shell-file-name |
1323 | "-c" command) | |
1324 | (comint-mode) | |
1325 | ;; Set these two variables to their default values, since otherwise | |
1326 | ;; the output buffer is scrolled so that only the last output line | |
1327 | ;; is visible at the top of the buffer. | |
1328 | (set (make-local-variable 'scroll-step) 0) | |
1329 | (set (make-local-variable 'scroll-conservatively) 0) | |
797aab3c GM |
1330 | ) |
1331 | (display-buffer "*run*") | |
1332 | ||
1333 | ;; change to buffer *run* for interactive programs | |
1334 | (other-window 1) | |
1335 | (switch-to-buffer "*run*") | |
15ea3b67 | 1336 | )) |
797aab3c | 1337 | |
4884c50b | 1338 | (defun ada-gdb-application (&optional arg executable-name) |
15ea3b67 | 1339 | "Start the debugger on the application. |
417451fe | 1340 | If ARG is non-nil, ask the user to confirm the command. |
4884c50b | 1341 | EXECUTABLE-NAME, if non-nil, is debugged instead of the file specified in the |
417451fe | 1342 | project file." |
15ea3b67 | 1343 | (interactive "P") |
85187d83 | 1344 | (ada-require-project-file) |
797aab3c | 1345 | (let ((buffer (current-buffer)) |
4884c50b | 1346 | cmd pre-cmd post-cmd) |
4884c50b SM |
1347 | (setq cmd (if executable-name |
1348 | (concat ada-prj-default-debugger " " executable-name) | |
1349 | (ada-xref-get-project-field 'debug_cmd)) | |
1350 | pre-cmd (ada-xref-get-project-field 'debug_pre_cmd) | |
1351 | post-cmd (ada-xref-get-project-field 'debug_post_cmd)) | |
15ea3b67 GM |
1352 | |
1353 | ;; If the command was not given in the project file, start a bare gdb | |
1354 | (if (not cmd) | |
40f7e0e8 | 1355 | (setq cmd (concat ada-prj-default-debugger |
15ea3b67 | 1356 | " " |
4884c50b SM |
1357 | (or executable-name |
1358 | (file-name-sans-extension (buffer-file-name)))))) | |
1359 | ||
b0b19974 | 1360 | ;; For gvd, add an extra switch so that the Emacs window is completely |
4884c50b SM |
1361 | ;; swallowed inside the Gvd one |
1362 | (if (and ada-tight-gvd-integration | |
1363 | (string-match "^[^ \t]*gvd" cmd)) | |
1364 | ;; Start a new frame, so that when gvd exists we do not kill Emacs | |
1365 | ;; We make sure that gvd swallows the new frame, not the one the | |
1366 | ;; user has been using until now | |
1367 | ;; The frame is made invisible initially, so that GtkPlug gets a | |
ced16f5d | 1368 | ;; chance to fully manage it. Then it works fine with Enlightenment |
4884c50b SM |
1369 | ;; as well |
1370 | (let ((frame (make-frame '((visibility . nil))))) | |
40f7e0e8 | 1371 | (setq cmd (concat |
4884c50b SM |
1372 | cmd " --editor-window=" |
1373 | (cdr (assoc 'outer-window-id (frame-parameters frame))))) | |
1374 | (select-frame frame))) | |
1375 | ||
1376 | ;; Add a -fullname switch | |
1377 | ;; Use the remote machine | |
40f7e0e8 | 1378 | (setq cmd (ada-remote (concat cmd " -fullname "))) |
4884c50b SM |
1379 | |
1380 | ;; Ask for confirmation if required | |
15ea3b67 | 1381 | (if (or arg ada-xref-confirm-compile) |
40f7e0e8 | 1382 | (setq cmd (read-from-minibuffer "enter command to debug: " cmd))) |
15ea3b67 | 1383 | |
96a483d9 | 1384 | (let ((old-comint-exec (symbol-function 'comint-exec))) |
4884c50b SM |
1385 | |
1386 | ;; Do not add -fullname, since we can have a 'rsh' command in front. | |
96a483d9 | 1387 | ;; FIXME: This is evil but luckily a nop under Emacs-21.3.50 ! -stef |
e02f48d7 | 1388 | (fset 'gud-gdb-massage-args (lambda (_file args) args)) |
4884c50b | 1389 | |
40f7e0e8 | 1390 | (setq pre-cmd (mapconcat 'identity pre-cmd ada-command-separator)) |
4884c50b SM |
1391 | (if (not (equal pre-cmd "")) |
1392 | (setq pre-cmd (concat pre-cmd ada-command-separator))) | |
1393 | ||
40f7e0e8 | 1394 | (setq post-cmd (mapconcat 'identity post-cmd "\n")) |
4884c50b | 1395 | (if post-cmd |
40f7e0e8 | 1396 | (setq post-cmd (concat post-cmd "\n"))) |
4884c50b | 1397 | |
c94ca9e0 | 1398 | |
4884c50b SM |
1399 | ;; Temporarily replaces the definition of `comint-exec' so that we |
1400 | ;; can execute commands before running gdb. | |
96a483d9 | 1401 | ;; FIXME: This is evil and not temporary !!! -stef |
a1506d29 | 1402 | (fset 'comint-exec |
4884c50b SM |
1403 | `(lambda (buffer name command startfile switches) |
1404 | (let (compilation-buffer-name-function) | |
1405 | (save-excursion | |
40f7e0e8 | 1406 | (setq compilation-buffer-name-function |
4884c50b SM |
1407 | (lambda(x) (buffer-name buffer))) |
1408 | (compile (ada-quote-cmd | |
1409 | (concat ,pre-cmd | |
1410 | command " " | |
1411 | (mapconcat 'identity switches " ")))))) | |
1412 | )) | |
1413 | ||
1414 | ;; Tight integration should force the tty mode | |
1415 | (if (and (string-match "gvd" (comint-arguments cmd 0 0)) | |
1416 | ada-tight-gvd-integration | |
1417 | (not (string-match "--tty" cmd))) | |
1418 | (setq cmd (concat cmd "--tty"))) | |
a1506d29 | 1419 | |
4884c50b SM |
1420 | (if (and (string-match "jdb" (comint-arguments cmd 0 0)) |
1421 | (boundp 'jdb)) | |
1422 | (funcall (symbol-function 'jdb) cmd) | |
1423 | (gdb cmd)) | |
1424 | ||
c94ca9e0 JB |
1425 | ;; Restore the standard fset command (or for instance C-U M-x shell |
1426 | ;; wouldn't work anymore | |
1427 | ||
1428 | (fset 'comint-exec old-comint-exec) | |
1429 | ||
4884c50b SM |
1430 | ;; Send post-commands to the debugger |
1431 | (process-send-string (get-buffer-process (current-buffer)) post-cmd) | |
1432 | ||
1433 | ;; Move to the end of the debugger buffer, so that it is automatically | |
1434 | ;; scrolled from then on. | |
254746ff | 1435 | (goto-char (point-max)) |
4884c50b SM |
1436 | |
1437 | ;; Display both the source window and the debugger window (the former | |
ced16f5d | 1438 | ;; above the latter). No need to show the debugger window unless it |
4884c50b SM |
1439 | ;; is going to have some relevant information. |
1440 | (if (or (not (string-match "gvd" (comint-arguments cmd 0 0))) | |
1441 | (string-match "--tty" cmd)) | |
2d197ffb | 1442 | (split-window-below)) |
4884c50b SM |
1443 | (switch-to-buffer buffer) |
1444 | ))) | |
797aab3c | 1445 | |
15ea3b67 | 1446 | (defun ada-reread-prj-file (&optional filename) |
d5875b25 JB |
1447 | "Reread either the current project, or FILENAME if non-nil. |
1448 | If FILENAME is non-nil, set it as current project." | |
797aab3c | 1449 | (interactive "P") |
d5875b25 JB |
1450 | (if (not filename) |
1451 | (setq filename ada-prj-default-project-file)) | |
1452 | (ada-parse-prj-file filename) | |
1453 | (ada-select-prj-file filename)) | |
15ea3b67 | 1454 | |
797aab3c GM |
1455 | ;; ------ Private routines |
1456 | ||
1457 | (defun ada-xref-current (file &optional ali-file-name) | |
eec3232e | 1458 | "Update the cross-references for FILE. |
4884c50b SM |
1459 | This in fact recompiles FILE to create ALI-FILE-NAME. |
1460 | This function returns the name of the file that was recompiled to generate | |
7977c946 JB |
1461 | the cross-reference information. Note that the ali file can then be deduced |
1462 | by replacing the file extension with `.ali'." | |
797aab3c GM |
1463 | ;; kill old buffer |
1464 | (if (and ali-file-name | |
417451fe | 1465 | (get-file-buffer ali-file-name)) |
797aab3c | 1466 | (kill-buffer (get-file-buffer ali-file-name))) |
a1506d29 | 1467 | |
4884c50b SM |
1468 | (let* ((name (ada-convert-file-name file)) |
1469 | (body-name (or (ada-get-body-name name) name))) | |
15ea3b67 | 1470 | |
ced16f5d | 1471 | ;; Always recompile the body when we can. We thus temporarily switch to a |
4884c50b SM |
1472 | ;; buffer than contains the body of the unit |
1473 | (save-excursion | |
1474 | (let ((body-visible (find-buffer-visiting body-name)) | |
1475 | process) | |
1476 | (if body-visible | |
1477 | (set-buffer body-visible) | |
1478 | (find-file body-name)) | |
1479 | ||
ced16f5d | 1480 | ;; Execute the compilation. Note that we must wait for the end of the |
4884c50b SM |
1481 | ;; process, or the ALI file would still not be available. |
1482 | ;; Unfortunately, the underlying `compile' command that we use is | |
1483 | ;; asynchronous. | |
1484 | (ada-compile-current) | |
1485 | (setq process (get-buffer-process "*compilation*")) | |
1486 | ||
1487 | (while (and process | |
1488 | (not (equal (process-status process) 'exit))) | |
1489 | (sit-for 1)) | |
1490 | ||
1491 | ;; remove the buffer for the body if it wasn't there before | |
1492 | (unless body-visible | |
1493 | (kill-buffer (find-buffer-visiting body-name))) | |
1494 | )) | |
1495 | body-name)) | |
15ea3b67 GM |
1496 | |
1497 | (defun ada-find-file-in-dir (file dir-list) | |
1498 | "Search for FILE in DIR-LIST." | |
1499 | (let (found) | |
1500 | (while (and (not found) dir-list) | |
40f7e0e8 | 1501 | (setq found (concat (file-name-as-directory (car dir-list)) |
15ea3b67 | 1502 | (file-name-nondirectory file))) |
a1506d29 | 1503 | |
15ea3b67 | 1504 | (unless (file-exists-p found) |
40f7e0e8 SM |
1505 | (setq found nil)) |
1506 | (setq dir-list (cdr dir-list))) | |
15ea3b67 | 1507 | found)) |
797aab3c GM |
1508 | |
1509 | (defun ada-find-ali-file-in-dir (file) | |
417451fe | 1510 | "Find the ali file FILE, searching obj_dir for the current project. |
15ea3b67 GM |
1511 | Adds build_dir in front of the search path to conform to gnatmake's behavior, |
1512 | and the standard runtime location at the end." | |
4884c50b | 1513 | (ada-find-file-in-dir file (ada-xref-get-obj-dir-field))) |
15ea3b67 GM |
1514 | |
1515 | (defun ada-find-src-file-in-dir (file) | |
417451fe JB |
1516 | "Find the source file FILE, searching src_dir for the current project. |
1517 | Adds the standard runtime location at the end of the search path to conform | |
1518 | to gnatmake's behavior." | |
4884c50b | 1519 | (ada-find-file-in-dir file (ada-xref-get-src-dir-field))) |
797aab3c GM |
1520 | |
1521 | (defun ada-get-ali-file-name (file) | |
32b1a27f | 1522 | "Create the ali file name for the Ada file FILE. |
eec3232e GM |
1523 | The file is searched for in every directory shown in the obj_dir lines of |
1524 | the project file." | |
797aab3c GM |
1525 | |
1526 | ;; This function has to handle the special case of non-standard | |
1527 | ;; file names (i.e. not .adb or .ads) | |
1528 | ;; The trick is the following: | |
1529 | ;; 1- replace the extension of the current file with .ali, | |
1530 | ;; and look for this file | |
1531 | ;; 2- If this file is found: | |
1532 | ;; grep the "^U" lines, and make sure we are not reading the | |
ced16f5d | 1533 | ;; .ali file for a spec file. If we are, go to step 3. |
797aab3c GM |
1534 | ;; 3- If the file is not found or step 2 failed: |
1535 | ;; find the name of the "other file", ie the body, and look | |
27e428e7 | 1536 | ;; for its associated .ali file by substituting the extension |
4884c50b SM |
1537 | ;; |
1538 | ;; We must also handle the case of separate packages and subprograms: | |
1539 | ;; 4- If no ali file was found, we try to modify the file name by removing | |
1540 | ;; everything after the last '-' or '.' character, so as to get the | |
ced16f5d | 1541 | ;; ali file for the parent unit. If we found an ali file, we check that |
4884c50b | 1542 | ;; it indeed contains the definition for the separate entity by checking |
ced16f5d | 1543 | ;; the 'D' lines. This is done repeatedly, in case the direct parent is |
4884c50b | 1544 | ;; also a separate. |
797aab3c | 1545 | |
9a529312 | 1546 | (with-current-buffer (get-file-buffer file) |
d2c32364 | 1547 | (let ((short-ali-file-name (concat (file-name-base file) ".ali")) |
417451fe | 1548 | ali-file-name |
4884c50b SM |
1549 | is-spec) |
1550 | ||
1551 | ;; If we have a non-standard file name, and this is a spec, we first | |
1552 | ;; look for the .ali file of the body, since this is the one that | |
ced16f5d | 1553 | ;; contains the most complete information. If not found, we will do what |
4884c50b SM |
1554 | ;; we can with the .ali file for the spec... |
1555 | ||
1556 | (if (not (string= (file-name-extension file) "ads")) | |
1557 | (let ((specs ada-spec-suffixes)) | |
1558 | (while specs | |
1559 | (if (string-match (concat (regexp-quote (car specs)) "$") | |
1560 | file) | |
40f7e0e8 SM |
1561 | (setq is-spec t)) |
1562 | (setq specs (cdr specs))))) | |
4884c50b SM |
1563 | |
1564 | (if is-spec | |
40f7e0e8 | 1565 | (setq ali-file-name |
4884c50b | 1566 | (ada-find-ali-file-in-dir |
d2c32364 | 1567 | (concat (file-name-base (ada-other-file-name)) ".ali")))) |
a1506d29 | 1568 | |
4884c50b SM |
1569 | |
1570 | (setq ali-file-name | |
1571 | (or ali-file-name | |
a1506d29 | 1572 | |
4884c50b SM |
1573 | ;; Else we take the .ali file associated with the unit |
1574 | (ada-find-ali-file-in-dir short-ali-file-name) | |
a1506d29 | 1575 | |
4884c50b SM |
1576 | |
1577 | ;; else we did not find the .ali file Second chance: in case | |
1578 | ;; the files do not have standard names (such as for instance | |
1579 | ;; file_s.ada and file_b.ada), try to go to the other file | |
1580 | ;; and look for its ali file | |
1581 | (ada-find-ali-file-in-dir | |
d2c32364 | 1582 | (concat (file-name-base (ada-other-file-name)) ".ali")) |
4884c50b | 1583 | |
a1506d29 | 1584 | |
4884c50b SM |
1585 | ;; If we still don't have an ali file, try to get the one |
1586 | ;; from the parent unit, in case we have a separate entity. | |
d2c32364 | 1587 | (let ((parent-name (file-name-base file))) |
a1506d29 | 1588 | |
4884c50b SM |
1589 | (while (and (not ali-file-name) |
1590 | (string-match "^\\(.*\\)[.-][^.-]*" parent-name)) | |
a1506d29 | 1591 | |
40f7e0e8 SM |
1592 | (setq parent-name (match-string 1 parent-name)) |
1593 | (setq ali-file-name (ada-find-ali-file-in-dir | |
4884c50b SM |
1594 | (concat parent-name ".ali"))) |
1595 | ) | |
1596 | ali-file-name))) | |
a1506d29 | 1597 | |
4884c50b SM |
1598 | ;; If still not found, try to recompile the file |
1599 | (if (not ali-file-name) | |
ced16f5d RS |
1600 | ;; Recompile only if the user asked for this, and search the ali |
1601 | ;; filename again. We avoid a possible infinite recursion by | |
4884c50b | 1602 | ;; temporarily disabling the automatic compilation. |
a1506d29 | 1603 | |
4884c50b SM |
1604 | (if ada-xref-create-ali |
1605 | (setq ali-file-name | |
1606 | (concat (file-name-sans-extension (ada-xref-current file)) | |
1607 | ".ali")) | |
797aab3c | 1608 | |
ced16f5d | 1609 | (error "`.ali' file not found; recompile your source file")) |
a1506d29 JB |
1610 | |
1611 | ||
4884c50b SM |
1612 | ;; same if the .ali file is too old and we must recompile it |
1613 | (if (and (file-newer-than-file-p file ali-file-name) | |
1614 | ada-xref-create-ali) | |
1615 | (ada-xref-current file ali-file-name))) | |
797aab3c | 1616 | |
4884c50b | 1617 | ;; Always return the correct absolute file name |
797aab3c | 1618 | (expand-file-name ali-file-name)) |
4884c50b | 1619 | )) |
797aab3c GM |
1620 | |
1621 | (defun ada-get-ada-file-name (file original-file) | |
eec3232e | 1622 | "Create the complete file name (+directory) for FILE. |
7977c946 JB |
1623 | The original file (where the user was) is ORIGINAL-FILE. |
1624 | Search in project file for possible paths." | |
797aab3c GM |
1625 | |
1626 | (save-excursion | |
15ea3b67 GM |
1627 | |
1628 | ;; If the buffer for original-file, use it to get the values from the | |
1629 | ;; project file, otherwise load the file and its project file | |
1630 | (let ((buffer (get-file-buffer original-file))) | |
1631 | (if buffer | |
1632 | (set-buffer buffer) | |
85187d83 | 1633 | (find-file original-file))) |
a1506d29 | 1634 | |
797aab3c GM |
1635 | ;; we choose the first possible completion and we |
1636 | ;; return the absolute file name | |
15ea3b67 | 1637 | (let ((filename (ada-find-src-file-in-dir file))) |
797aab3c | 1638 | (if filename |
417451fe | 1639 | (expand-file-name filename) |
54bd972f | 1640 | (signal 'ada-error-file-not-found (file-name-nondirectory file))) |
797aab3c GM |
1641 | ))) |
1642 | ||
1643 | (defun ada-find-file-number-in-ali (file) | |
417451fe | 1644 | "Return the file number for FILE in the associated ali file." |
797aab3c GM |
1645 | (set-buffer (ada-get-ali-buffer file)) |
1646 | (goto-char (point-min)) | |
1647 | ||
1648 | (let ((begin (re-search-forward "^D"))) | |
1649 | (beginning-of-line) | |
1650 | (re-search-forward (concat "^D " (file-name-nondirectory file))) | |
1651 | (count-lines begin (point)))) | |
1652 | ||
1653 | (defun ada-read-identifier (pos) | |
417451fe | 1654 | "Return the identlist around POS and switch to the .ali buffer. |
4884c50b SM |
1655 | The returned list represents the entity, and can be manipulated through the |
1656 | macros `ada-name-of', `ada-line-of', `ada-column-of', `ada-file-of',..." | |
797aab3c GM |
1657 | |
1658 | ;; If at end of buffer (e.g the buffer is empty), error | |
1659 | (if (>= (point) (point-max)) | |
1660 | (error "No identifier on point")) | |
a1506d29 | 1661 | |
797aab3c GM |
1662 | ;; goto first character of the identifier/operator (skip backward < and > |
1663 | ;; since they are part of multiple character operators | |
1664 | (goto-char pos) | |
1665 | (skip-chars-backward "a-zA-Z0-9_<>") | |
1666 | ||
1667 | ;; check if it really is an identifier | |
1668 | (if (ada-in-comment-p) | |
1669 | (error "Inside comment")) | |
1670 | ||
1671 | (let (identifier identlist) | |
1672 | ;; Just in front of a string => we could have an operator declaration, | |
1673 | ;; as in "+", "-", .. | |
1674 | (if (= (char-after) ?\") | |
417451fe | 1675 | (forward-char 1)) |
797aab3c GM |
1676 | |
1677 | ;; if looking at an operator | |
15ea3b67 GM |
1678 | ;; This is only true if: |
1679 | ;; - the symbol is +, -, ... | |
1680 | ;; - the symbol is made of letters, and not followed by _ or a letter | |
1681 | (if (and (looking-at ada-operator-re) | |
1682 | (or (not (= (char-syntax (char-after)) ?w)) | |
1683 | (not (or (= (char-syntax (char-after (match-end 0))) ?w) | |
1684 | (= (char-after (match-end 0)) ?_))))) | |
417451fe JB |
1685 | (progn |
1686 | (if (and (= (char-before) ?\") | |
1687 | (= (char-after (+ (length (match-string 0)) (point))) ?\")) | |
1688 | (forward-char -1)) | |
40f7e0e8 | 1689 | (setq identifier (regexp-quote (concat "\"" (match-string 0) "\"")))) |
797aab3c GM |
1690 | |
1691 | (if (ada-in-string-p) | |
417451fe | 1692 | (error "Inside string or character constant")) |
797aab3c | 1693 | (if (looking-at (concat ada-keywords "[^a-zA-Z_]")) |
417451fe | 1694 | (error "No cross-reference available for reserved keyword")) |
797aab3c | 1695 | (if (looking-at "[a-zA-Z0-9_]+") |
40f7e0e8 | 1696 | (setq identifier (match-string 0)) |
417451fe | 1697 | (error "No identifier around"))) |
a1506d29 | 1698 | |
797aab3c | 1699 | ;; Build the identlist |
40f7e0e8 | 1700 | (setq identlist (ada-make-identlist)) |
797aab3c GM |
1701 | (ada-set-name identlist (downcase identifier)) |
1702 | (ada-set-line identlist | |
93cdce20 | 1703 | (number-to-string (count-lines 1 (point)))) |
797aab3c GM |
1704 | (ada-set-column identlist |
1705 | (number-to-string (1+ (current-column)))) | |
1706 | (ada-set-file identlist (buffer-file-name)) | |
1707 | identlist | |
1708 | )) | |
1709 | ||
1710 | (defun ada-get-all-references (identlist) | |
417451fe JB |
1711 | "Complete IDENTLIST with definition file and places where it is referenced. |
1712 | Information is extracted from the ali file." | |
a1506d29 | 1713 | |
797aab3c GM |
1714 | (let ((ali-buffer (ada-get-ali-buffer (ada-file-of identlist))) |
1715 | declaration-found) | |
1716 | (set-buffer ali-buffer) | |
1717 | (goto-char (point-min)) | |
1718 | (ada-set-on-declaration identlist nil) | |
1719 | ||
1720 | ;; First attempt: we might already be on the declaration of the identifier | |
1721 | ;; We want to look for the declaration only in a definite interval (after | |
1722 | ;; the "^X ..." line for the current file, and before the next "^X" line | |
a1506d29 | 1723 | |
797aab3c GM |
1724 | (if (re-search-forward |
1725 | (concat "^X [0-9]+ " (file-name-nondirectory (ada-file-of identlist))) | |
1726 | nil t) | |
417451fe | 1727 | (let ((bound (save-excursion (re-search-forward "^X " nil t)))) |
40f7e0e8 | 1728 | (setq declaration-found |
797aab3c GM |
1729 | (re-search-forward |
1730 | (concat "^" (ada-line-of identlist) | |
1731 | "." (ada-column-of identlist) | |
15ea3b67 | 1732 | "[ *]" (ada-name-of identlist) |
0262d5e1 | 1733 | "[{\[\(<= ]?\\(.*\\)$") bound t)) |
797aab3c GM |
1734 | (if declaration-found |
1735 | (ada-set-on-declaration identlist t)) | |
1736 | )) | |
1737 | ||
1738 | ;; If declaration is still nil, then we were not on a declaration, and | |
1739 | ;; have to fall back on other algorithms | |
1740 | ||
1741 | (unless declaration-found | |
a1506d29 | 1742 | |
91af3942 | 1743 | ;; Since we already know the number of the file, search for a direct |
797aab3c GM |
1744 | ;; reference to it |
1745 | (goto-char (point-min)) | |
40f7e0e8 | 1746 | (setq declaration-found t) |
797aab3c GM |
1747 | (ada-set-ali-index |
1748 | identlist | |
1749 | (number-to-string (ada-find-file-number-in-ali | |
1750 | (ada-file-of identlist)))) | |
1751 | (unless (re-search-forward (concat (ada-ali-index-of identlist) | |
93cdce20 | 1752 | "|\\([0-9]+[^0-9][0-9]+\\(\n\\.\\)? \\)*" |
797aab3c | 1753 | (ada-line-of identlist) |
c94ca9e0 | 1754 | "[^etpzkd<>=^]" |
93cdce20 | 1755 | (ada-column-of identlist) "\\>") |
797aab3c GM |
1756 | nil t) |
1757 | ||
417451fe JB |
1758 | ;; if we did not find it, it may be because the first reference |
1759 | ;; is not required to have a 'unit_number|' item included. | |
1760 | ;; Or maybe we are already on the declaration... | |
1761 | (unless (re-search-forward | |
4884c50b | 1762 | (concat |
93cdce20 SM |
1763 | "^[0-9]+.[0-9]+[ *]" |
1764 | (ada-name-of identlist) | |
0262d5e1 | 1765 | "[ <{=\(\[]\\(.\\|\n\\.\\)*\\<" |
4884c50b SM |
1766 | (ada-line-of identlist) |
1767 | "[^0-9]" | |
93cdce20 | 1768 | (ada-column-of identlist) "\\>") |
4884c50b | 1769 | nil t) |
a1506d29 | 1770 | |
797aab3c GM |
1771 | ;; If still not found, then either the declaration is unknown |
1772 | ;; or the source file has been modified since the ali file was | |
1773 | ;; created | |
40f7e0e8 | 1774 | (setq declaration-found nil) |
417451fe | 1775 | ) |
797aab3c GM |
1776 | ) |
1777 | ||
b0b19974 | 1778 | ;; Last check to be completely sure we have found the correct line (the |
797aab3c GM |
1779 | ;; ali might not be up to date for instance) |
1780 | (if declaration-found | |
1781 | (progn | |
1782 | (beginning-of-line) | |
1783 | ;; while we have a continuation line, go up one line | |
1784 | (while (looking-at "^\\.") | |
7caf6803 | 1785 | (forward-line -1) |
0262d5e1 | 1786 | (beginning-of-line)) |
797aab3c | 1787 | (unless (looking-at (concat "[0-9]+.[0-9]+[ *]" |
0262d5e1 | 1788 | (ada-name-of identlist) "[ <{=\(\[]")) |
40f7e0e8 | 1789 | (setq declaration-found nil)))) |
797aab3c GM |
1790 | |
1791 | ;; Still no success ! The ali file must be too old, and we need to | |
ced16f5d | 1792 | ;; use a basic algorithm based on guesses. Note that this only happens |
797aab3c GM |
1793 | ;; if the user does not want us to automatically recompile files |
1794 | ;; automatically | |
1795 | (unless declaration-found | |
15ea3b67 | 1796 | (if (ada-xref-find-in-modified-ali identlist) |
40f7e0e8 | 1797 | (setq declaration-found t) |
ced16f5d | 1798 | ;; No more idea to find the declaration. Give up |
797aab3c GM |
1799 | (progn |
1800 | (kill-buffer ali-buffer) | |
a867ead0 | 1801 | |
32b1a27f | 1802 | (error "No declaration of %s found" (ada-name-of identlist)) |
797aab3c GM |
1803 | ))) |
1804 | ) | |
1805 | ||
a1506d29 | 1806 | |
797aab3c GM |
1807 | ;; Now that we have found a suitable line in the .ali file, get the |
1808 | ;; information available | |
1809 | (beginning-of-line) | |
1810 | (if declaration-found | |
417451fe | 1811 | (let ((current-line (buffer-substring |
e180ab9f | 1812 | (point) (point-at-eol)))) |
417451fe | 1813 | (save-excursion |
7caf6803 | 1814 | (forward-line 1) |
417451fe JB |
1815 | (beginning-of-line) |
1816 | (while (looking-at "^\\.\\(.*\\)") | |
40f7e0e8 | 1817 | (setq current-line (concat current-line (match-string 1))) |
7caf6803 | 1818 | (forward-line 1)) |
417451fe | 1819 | ) |
797aab3c GM |
1820 | |
1821 | (if (re-search-backward "^X [0-9]+ \\([a-zA-Z0-9_.-]+\\)" nil t) | |
4884c50b SM |
1822 | |
1823 | ;; If we can find the file | |
1824 | (condition-case err | |
1825 | (ada-set-declare-file | |
1826 | identlist | |
1827 | (ada-get-ada-file-name (match-string 1) | |
1828 | (ada-file-of identlist))) | |
a1506d29 | 1829 | |
4884c50b | 1830 | ;; Else clean up the ali file |
54bd972f | 1831 | (ada-error-file-not-found |
0262d5e1 | 1832 | (signal (car err) (cdr err))) |
4884c50b SM |
1833 | (error |
1834 | (kill-buffer ali-buffer) | |
1835 | (error (error-message-string err))) | |
1836 | )) | |
a1506d29 | 1837 | |
797aab3c GM |
1838 | (ada-set-references identlist current-line) |
1839 | )) | |
1840 | )) | |
1841 | ||
1842 | (defun ada-xref-find-in-modified-ali (identlist) | |
1843 | "Find the matching position for IDENTLIST in the current ali buffer. | |
1844 | This function is only called when the file was not up-to-date, so we need | |
1845 | to make some guesses. | |
eec3232e | 1846 | This function is disabled for operators, and only works for identifiers." |
797aab3c GM |
1847 | |
1848 | (unless (= (string-to-char (ada-name-of identlist)) ?\") | |
1849 | (progn | |
417451fe | 1850 | (let ((declist '()) ;;; ( (line_in_ali_file line_in_ada) ( ... )) |
797aab3c GM |
1851 | (my-regexp (concat "[ *]" |
1852 | (regexp-quote (ada-name-of identlist)) " ")) | |
1853 | (line-ada "--") | |
1854 | (col-ada "--") | |
1855 | (line-ali 0) | |
1856 | (len 0) | |
15ea3b67 GM |
1857 | (choice 0) |
1858 | (ali-buffer (current-buffer))) | |
797aab3c | 1859 | |
417451fe JB |
1860 | (goto-char (point-max)) |
1861 | (while (re-search-backward my-regexp nil t) | |
1862 | (save-excursion | |
40f7e0e8 | 1863 | (setq line-ali (count-lines 1 (point))) |
417451fe JB |
1864 | (beginning-of-line) |
1865 | ;; have a look at the line and column numbers | |
1866 | (if (looking-at "^\\([0-9]+\\).\\([0-9]+\\)[ *]") | |
1867 | (progn | |
1868 | (setq line-ada (match-string 1)) | |
1869 | (setq col-ada (match-string 2))) | |
1870 | (setq line-ada "--") | |
1871 | (setq col-ada "--") | |
1872 | ) | |
1873 | ;; construct a list with the file names and the positions within | |
1874 | (if (re-search-backward "^X [0-9]+ \\([a-zA-Z0-9._-]+\\)" nil t) | |
797aab3c GM |
1875 | (add-to-list |
1876 | 'declist (list line-ali (match-string 1) line-ada col-ada)) | |
417451fe JB |
1877 | ) |
1878 | ) | |
1879 | ) | |
1880 | ||
1881 | ;; how many possible declarations have we found ? | |
1882 | (setq len (length declist)) | |
1883 | (cond | |
1884 | ;; none => error | |
1885 | ((= len 0) | |
1886 | (kill-buffer (current-buffer)) | |
a867ead0 DG |
1887 | (error "No declaration of %s recorded in .ali file" |
1888 | (ada-name-of identlist))) | |
417451fe JB |
1889 | ;; one => should be the right one |
1890 | ((= len 1) | |
e6ce8c42 GM |
1891 | (goto-char (point-min)) |
1892 | (forward-line (1- (caar declist)))) | |
417451fe JB |
1893 | |
1894 | ;; more than one => display choice list | |
1895 | (t | |
4884c50b SM |
1896 | (save-window-excursion |
1897 | (with-output-to-temp-buffer "*choice list*" | |
a1506d29 | 1898 | |
4884c50b SM |
1899 | (princ "Identifier is overloaded and Xref information is not up to date.\n") |
1900 | (princ "Possible declarations are:\n\n") | |
1901 | (princ " no. in file at line col\n") | |
1902 | (princ " --- --------------------- ---- ----\n") | |
1903 | (let ((counter 0)) | |
1904 | (while (< counter len) | |
1905 | (princ (format " %2d) %-21s %4s %4s\n" | |
417451fe | 1906 | (1+ counter) |
797aab3c | 1907 | (ada-get-ada-file-name |
4884c50b | 1908 | (nth 1 (nth counter declist)) |
797aab3c | 1909 | (ada-file-of identlist)) |
417451fe JB |
1910 | (nth 2 (nth counter declist)) |
1911 | (nth 3 (nth counter declist)) | |
1912 | )) | |
4884c50b SM |
1913 | (setq counter (1+ counter)) |
1914 | ) ; end of while | |
1915 | ) ; end of let | |
1916 | ) ; end of with-output-to ... | |
1917 | (setq choice nil) | |
1918 | (while (or | |
1919 | (not choice) | |
1920 | (not (integerp choice)) | |
1921 | (< choice 1) | |
1922 | (> choice len)) | |
1923 | (setq choice | |
027a4b6b | 1924 | (string-to-number |
4884c50b SM |
1925 | (read-from-minibuffer "Enter No. of your choice: ")))) |
1926 | ) | |
15ea3b67 | 1927 | (set-buffer ali-buffer) |
e6ce8c42 GM |
1928 | (goto-char (point-min)) |
1929 | (forward-line (1- (car (nth (1- choice) declist)))) | |
417451fe | 1930 | )))))) |
797aab3c GM |
1931 | |
1932 | ||
1933 | (defun ada-find-in-ali (identlist &optional other-frame) | |
eec3232e | 1934 | "Look in the .ali file for the definition of the identifier in IDENTLIST. |
09aba29c | 1935 | If OTHER-FRAME is non-nil, and `ada-xref-other-buffer' is non-nil, |
eec3232e | 1936 | opens a new window to show the declaration." |
797aab3c GM |
1937 | |
1938 | (ada-get-all-references identlist) | |
1939 | (let ((ali-line (ada-references-of identlist)) | |
4884c50b SM |
1940 | (locations nil) |
1941 | (start 0) | |
797aab3c | 1942 | file line col) |
4884c50b SM |
1943 | |
1944 | ;; Note: in some cases, an entity can have multiple references to the | |
1945 | ;; bodies (this is for instance the case for a separate subprogram, that | |
1946 | ;; has a reference both to the stub and to the real body). | |
1947 | ;; In that case, we simply go to each one in turn. | |
1948 | ||
1949 | ;; Get all the possible locations | |
0262d5e1 | 1950 | (string-match "^\\([0-9]+\\)[a-zA-Z+*]\\([0-9]+\\)[ *]" ali-line) |
40f7e0e8 | 1951 | (setq locations (list (list (match-string 1 ali-line) ;; line |
4884c50b SM |
1952 | (match-string 2 ali-line) ;; column |
1953 | (ada-declare-file-of identlist)))) | |
c94ca9e0 JB |
1954 | (while (string-match "\\([0-9]+\\)[bc]\\(<[^>]+>\\)?\\([0-9]+\\)" |
1955 | ali-line start) | |
4884c50b | 1956 | (setq line (match-string 1 ali-line) |
c94ca9e0 JB |
1957 | col (match-string 3 ali-line) |
1958 | start (match-end 3)) | |
4884c50b SM |
1959 | |
1960 | ;; it there was a file number in the same line | |
0262d5e1 JB |
1961 | ;; Make sure we correctly handle the case where the first file reference |
1962 | ;; on the line is the type reference. | |
1963 | ;; 1U2 T(2|2r3) 34r23 | |
1964 | (if (string-match (concat "[^{(<0-9]\\([0-9]+\\)|\\([^|bc]+\\)?" | |
4884c50b SM |
1965 | (match-string 0 ali-line)) |
1966 | ali-line) | |
1967 | (let ((file-number (match-string 1 ali-line))) | |
1968 | (goto-char (point-min)) | |
1969 | (re-search-forward "^D \\([a-zA-Z0-9_.-]+\\)" nil t | |
1970 | (string-to-number file-number)) | |
40f7e0e8 | 1971 | (setq file (match-string 1)) |
4884c50b SM |
1972 | ) |
1973 | ;; Else get the nearest file | |
40f7e0e8 | 1974 | (setq file (ada-declare-file-of identlist))) |
a1506d29 | 1975 | |
40f7e0e8 | 1976 | (setq locations (append locations (list (list line col file))))) |
4884c50b SM |
1977 | |
1978 | ;; Add the specs at the end again, so that from the last body we go to | |
1979 | ;; the specs | |
40f7e0e8 | 1980 | (setq locations (append locations (list (car locations)))) |
4884c50b SM |
1981 | |
1982 | ;; Find the new location we want to go to. | |
1983 | ;; If we are on none of the locations listed, we simply go to the specs. | |
1984 | ||
1985 | (setq line (caar locations) | |
1986 | col (nth 1 (car locations)) | |
1987 | file (nth 2 (car locations))) | |
a1506d29 | 1988 | |
4884c50b SM |
1989 | (while locations |
1990 | (if (and (string= (caar locations) (ada-line-of identlist)) | |
1991 | (string= (nth 1 (car locations)) (ada-column-of identlist)) | |
1992 | (string= (file-name-nondirectory (nth 2 (car locations))) | |
1993 | (file-name-nondirectory (ada-file-of identlist)))) | |
1994 | (setq locations (cadr locations) | |
1995 | line (car locations) | |
1996 | col (nth 1 locations) | |
1997 | file (nth 2 locations) | |
1998 | locations nil) | |
40f7e0e8 | 1999 | (setq locations (cdr locations)))) |
4884c50b SM |
2000 | |
2001 | ;; Find the file in the source path | |
40f7e0e8 | 2002 | (setq file (ada-get-ada-file-name file (ada-file-of identlist))) |
4884c50b SM |
2003 | |
2004 | ;; Kill the .ali buffer | |
2005 | (kill-buffer (current-buffer)) | |
797aab3c GM |
2006 | |
2007 | ;; Now go to the buffer | |
4884c50b SM |
2008 | (ada-xref-change-buffer file |
2009 | (string-to-number line) | |
2010 | (1- (string-to-number col)) | |
2011 | identlist | |
2012 | other-frame) | |
797aab3c GM |
2013 | )) |
2014 | ||
4884c50b SM |
2015 | (defun ada-find-in-src-path (identlist &optional other-frame) |
2016 | "More general function for cross-references. | |
2017 | This function should be used when the standard algorithm that parses the | |
2018 | .ali file has failed, either because that file was too old or even did not | |
2019 | exist. | |
2020 | This function attempts to find the possible declarations for the identifier | |
2021 | anywhere in the object path. | |
2022 | This command requires the external `egrep' program to be available. | |
2023 | ||
f020b5c9 | 2024 | This works well when one is using an external library and wants to find |
7977c946 | 2025 | the declaration and documentation of the subprograms one is using." |
417451fe | 2026 | ;; FIXME: what does this function do? |
4884c50b SM |
2027 | (let (list |
2028 | (dirs (ada-xref-get-obj-dir-field)) | |
2029 | (regexp (concat "[ *]" (ada-name-of identlist))) | |
2030 | line column | |
2031 | choice | |
2032 | file) | |
a1506d29 | 2033 | |
9a529312 SM |
2034 | ;; Do the grep in all the directories. We do multiple shell |
2035 | ;; commands instead of one in case there is no .ali file in one | |
2036 | ;; of the directory and the shell stops because of that. | |
a1506d29 | 2037 | |
9a529312 | 2038 | (with-current-buffer (get-buffer-create "*grep*") |
4884c50b SM |
2039 | (while dirs |
2040 | (insert (shell-command-to-string | |
81fe5f4b KS |
2041 | (concat |
2042 | "grep -E -i -h " | |
2043 | (shell-quote-argument (concat "^X|" regexp "( |$)")) | |
2044 | " " | |
2045 | (shell-quote-argument (file-name-as-directory (car dirs))) | |
2046 | "*.ali"))) | |
40f7e0e8 | 2047 | (setq dirs (cdr dirs))) |
a1506d29 | 2048 | |
4884c50b | 2049 | ;; Now parse the output |
40f7e0e8 | 2050 | (setq case-fold-search t) |
4884c50b SM |
2051 | (goto-char (point-min)) |
2052 | (while (re-search-forward regexp nil t) | |
2053 | (save-excursion | |
2054 | (beginning-of-line) | |
2055 | (if (not (= (char-after) ?X)) | |
2056 | (progn | |
2057 | (looking-at "\\([0-9]+\\).\\([0-9]+\\)") | |
2058 | (setq line (match-string 1) | |
2059 | column (match-string 2)) | |
2060 | (re-search-backward "^X [0-9]+ \\(.*\\)$") | |
40f7e0e8 | 2061 | (setq file (list (match-string 1) line column)) |
a1506d29 | 2062 | |
4884c50b SM |
2063 | ;; There could be duplicate choices, because of the structure |
2064 | ;; of the .ali files | |
2065 | (unless (member file list) | |
40f7e0e8 | 2066 | (setq list (append list (list file)))))))) |
a1506d29 | 2067 | |
4884c50b SM |
2068 | ;; Current buffer is still "*grep*" |
2069 | (kill-buffer "*grep*") | |
2070 | ) | |
a1506d29 | 2071 | |
4884c50b SM |
2072 | ;; Now display the list of possible matches |
2073 | (cond | |
a1506d29 | 2074 | |
4884c50b SM |
2075 | ;; No choice found => Error |
2076 | ((null list) | |
2077 | (error "No cross-reference found, please recompile your file")) | |
a1506d29 | 2078 | |
4884c50b SM |
2079 | ;; Only one choice => Do the cross-reference |
2080 | ((= (length list) 1) | |
40f7e0e8 | 2081 | (setq file (ada-find-src-file-in-dir (caar list))) |
4884c50b SM |
2082 | (if file |
2083 | (ada-xref-change-buffer file | |
2084 | (string-to-number (nth 1 (car list))) | |
2085 | (string-to-number (nth 2 (car list))) | |
2086 | identlist | |
2087 | other-frame) | |
a867ead0 | 2088 | (error "%s not found in src_dir" (caar list))) |
4884c50b SM |
2089 | (message "This is only a (good) guess at the cross-reference.") |
2090 | ) | |
a1506d29 | 2091 | |
4884c50b SM |
2092 | ;; Else, ask the user |
2093 | (t | |
2094 | (save-window-excursion | |
2095 | (with-output-to-temp-buffer "*choice list*" | |
a1506d29 | 2096 | |
4884c50b SM |
2097 | (princ "Identifier is overloaded and Xref information is not up to date.\n") |
2098 | (princ "Possible declarations are:\n\n") | |
2099 | (princ " no. in file at line col\n") | |
2100 | (princ " --- --------------------- ---- ----\n") | |
2101 | (let ((counter 0)) | |
2102 | (while (< counter (length list)) | |
2103 | (princ (format " %2d) %-21s %4s %4s\n" | |
2104 | (1+ counter) | |
2105 | (nth 0 (nth counter list)) | |
2106 | (nth 1 (nth counter list)) | |
2107 | (nth 2 (nth counter list)) | |
2108 | )) | |
2109 | (setq counter (1+ counter)) | |
2110 | ))) | |
2111 | (setq choice nil) | |
2112 | (while (or (not choice) | |
2113 | (not (integerp choice)) | |
2114 | (< choice 1) | |
2115 | (> choice (length list))) | |
2116 | (setq choice | |
027a4b6b | 2117 | (string-to-number |
4884c50b SM |
2118 | (read-from-minibuffer "Enter No. of your choice: ")))) |
2119 | ) | |
40f7e0e8 | 2120 | (setq choice (1- choice)) |
4884c50b SM |
2121 | (kill-buffer "*choice list*") |
2122 | ||
40f7e0e8 | 2123 | (setq file (ada-find-src-file-in-dir (car (nth choice list)))) |
4884c50b SM |
2124 | (if file |
2125 | (ada-xref-change-buffer file | |
2126 | (string-to-number (nth 1 (nth choice list))) | |
2127 | (string-to-number (nth 2 (nth choice list))) | |
2128 | identlist | |
2129 | other-frame) | |
54bd972f | 2130 | (signal 'ada-error-file-not-found (car (nth choice list)))) |
4884c50b SM |
2131 | (message "This is only a (good) guess at the cross-reference.") |
2132 | )))) | |
2133 | ||
797aab3c GM |
2134 | (defun ada-xref-change-buffer |
2135 | (file line column identlist &optional other-frame) | |
4884c50b | 2136 | "Select and display FILE, at LINE and COLUMN. |
32b1a27f JB |
2137 | If we do not end on the same identifier as IDENTLIST, find the |
2138 | closest match. Kills the .ali buffer at the end. | |
eec3232e | 2139 | If OTHER-FRAME is non-nil, creates a new frame to show the file." |
797aab3c | 2140 | |
4884c50b | 2141 | (let (declaration-buffer) |
797aab3c GM |
2142 | |
2143 | ;; Select and display the destination buffer | |
2144 | (if ada-xref-other-buffer | |
417451fe JB |
2145 | (if other-frame |
2146 | (find-file-other-frame file) | |
40f7e0e8 | 2147 | (setq declaration-buffer (find-file-noselect file)) |
417451fe JB |
2148 | (set-buffer declaration-buffer) |
2149 | (switch-to-buffer-other-window declaration-buffer) | |
2150 | ) | |
797aab3c GM |
2151 | (find-file file) |
2152 | ) | |
2153 | ||
797aab3c GM |
2154 | ;; move the cursor to the correct position |
2155 | (push-mark) | |
e6ce8c42 GM |
2156 | (goto-char (point-min)) |
2157 | (forward-line (1- line)) | |
797aab3c GM |
2158 | (move-to-column column) |
2159 | ||
2160 | ;; If we are not on the identifier, the ali file was not up-to-date. | |
2161 | ;; Try to find the nearest position where the identifier is found, | |
2162 | ;; this is probably the right one. | |
2163 | (unless (looking-at (ada-name-of identlist)) | |
2164 | (ada-xref-search-nearest (ada-name-of identlist))) | |
4884c50b | 2165 | )) |
797aab3c GM |
2166 | |
2167 | ||
2168 | (defun ada-xref-search-nearest (name) | |
417451fe JB |
2169 | "Search for NAME nearest to the position recorded in the Xref file. |
2170 | Return the position of the declaration in the buffer, or nil if not found." | |
797aab3c | 2171 | (let ((orgpos (point)) |
417451fe JB |
2172 | (newpos nil) |
2173 | (diff nil)) | |
797aab3c GM |
2174 | |
2175 | (goto-char (point-max)) | |
2176 | ||
2177 | ;; loop - look for all declarations of name in this file | |
2178 | (while (search-backward name nil t) | |
2179 | ||
2180 | ;; check if it really is a complete Ada identifier | |
2181 | (if (and | |
417451fe JB |
2182 | (not (save-excursion |
2183 | (goto-char (match-end 0)) | |
2184 | (looking-at "_"))) | |
2185 | (not (ada-in-string-or-comment-p)) | |
2186 | (or | |
2187 | ;; variable declaration ? | |
2188 | (save-excursion | |
2189 | (skip-chars-forward "a-zA-Z_0-9" ) | |
2190 | (ada-goto-next-non-ws) | |
2191 | (looking-at ":[^=]")) | |
2192 | ;; procedure, function, task or package declaration ? | |
2193 | (save-excursion | |
2194 | (ada-goto-previous-word) | |
2195 | (looking-at "\\<[pP][rR][oO][cC][eE][dD][uU][rR][eE]\\>\\|\\<[fF][uU][nN][cC][tT][iI][oO][nN]\\>\\|\\<[tT][yY][pP][eE]\\>\\|\\<[tT][aA][sS][kK]\\>\\|\\<[pP][aA][cC][kK][aA][gG][eE]\\>\\|\\<[bB][oO][dD][yY]\\>")))) | |
2196 | ||
2197 | ;; check if it is nearer than the ones before if any | |
2198 | (if (or (not diff) | |
2199 | (< (abs (- (point) orgpos)) diff)) | |
2200 | (progn | |
2201 | (setq newpos (point) | |
797aab3c GM |
2202 | diff (abs (- newpos orgpos)))))) |
2203 | ) | |
2204 | ||
2205 | (if newpos | |
417451fe JB |
2206 | (progn |
2207 | (message "ATTENTION: this declaration is only a (good) guess ...") | |
2208 | (goto-char newpos)) | |
797aab3c GM |
2209 | nil))) |
2210 | ||
2211 | ||
2212 | ;; Find the parent library file of the current file | |
2213 | (defun ada-goto-parent () | |
eec3232e | 2214 | "Go to the parent library file." |
797aab3c GM |
2215 | (interactive) |
2216 | (ada-require-project-file) | |
2217 | ||
2218 | (let ((buffer (ada-get-ali-buffer (buffer-file-name))) | |
417451fe JB |
2219 | (unit-name nil) |
2220 | (body-name nil) | |
2221 | (ali-name nil)) | |
9a529312 | 2222 | (with-current-buffer buffer |
797aab3c GM |
2223 | (goto-char (point-min)) |
2224 | (re-search-forward "^U \\([^ \t%]+\\)%[bs][ \t]+\\([^ \t]+\\)") | |
2225 | (setq unit-name (match-string 1)) | |
2226 | (if (not (string-match "\\(.*\\)\\.[^.]+" unit-name)) | |
417451fe JB |
2227 | (progn |
2228 | (kill-buffer buffer) | |
2229 | (error "No parent unit !")) | |
2230 | (setq unit-name (match-string 1 unit-name)) | |
2231 | ) | |
797aab3c GM |
2232 | |
2233 | ;; look for the file name for the parent unit specification | |
2234 | (goto-char (point-min)) | |
2235 | (re-search-forward (concat "^W " unit-name | |
417451fe JB |
2236 | "%s[ \t]+\\([^ \t]+\\)[ \t]+" |
2237 | "\\([^ \t\n]+\\)")) | |
797aab3c GM |
2238 | (setq body-name (match-string 1)) |
2239 | (setq ali-name (match-string 2)) | |
2240 | (kill-buffer buffer) | |
2241 | ) | |
2242 | ||
2243 | (setq ali-name (ada-find-ali-file-in-dir ali-name)) | |
2244 | ||
2245 | (save-excursion | |
2246 | ;; Tries to open the new ali file to find the spec file | |
2247 | (if ali-name | |
417451fe JB |
2248 | (progn |
2249 | (find-file ali-name) | |
2250 | (goto-char (point-min)) | |
2251 | (re-search-forward (concat "^U " unit-name "%s[ \t]+" | |
2252 | "\\([^ \t]+\\)")) | |
2253 | (setq body-name (match-string 1)) | |
2254 | (kill-buffer (current-buffer)) | |
2255 | ) | |
2256 | ) | |
797aab3c GM |
2257 | ) |
2258 | ||
2259 | (find-file body-name) | |
2260 | )) | |
2261 | ||
2262 | (defun ada-make-filename-from-adaname (adaname) | |
eec3232e GM |
2263 | "Determine the filename in which ADANAME is found. |
2264 | This is a GNAT specific function that uses gnatkrunch." | |
d5875b25 | 2265 | (let ((krunch-buf (generate-new-buffer "*gkrunch*")) |
ff6d2a9e | 2266 | (cross-prefix (plist-get (cdr (ada-xref-current-project)) 'cross_prefix))) |
9a529312 | 2267 | (with-current-buffer krunch-buf |
797aab3c | 2268 | ;; send adaname to external process `gnatkr'. |
0262d5e1 JB |
2269 | ;; Add a dummy extension, since gnatkr versions have two different |
2270 | ;; behaviors depending on the version: | |
2271 | ;; Up to 3.15: "AA.BB.CC" => aa-bb-cc | |
2272 | ;; After: "AA.BB.CC" => aa-bb.cc | |
d5875b25 | 2273 | (call-process (concat cross-prefix "gnatkr") nil krunch-buf nil |
0262d5e1 | 2274 | (concat adaname ".adb") ada-krunch-args) |
797aab3c GM |
2275 | ;; fetch output of that process |
2276 | (setq adaname (buffer-substring | |
417451fe JB |
2277 | (point-min) |
2278 | (progn | |
2279 | (goto-char (point-min)) | |
2280 | (end-of-line) | |
2281 | (point)))) | |
0262d5e1 JB |
2282 | ;; Remove the extra extension we added above |
2283 | (setq adaname (substring adaname 0 -4)) | |
2284 | ||
797aab3c GM |
2285 | (kill-buffer krunch-buf))) |
2286 | adaname | |
2287 | ) | |
2288 | ||
2dccd96f | 2289 | (defun ada-make-body-gnatstub (&optional interactive) |
797aab3c | 2290 | "Create an Ada package body in the current buffer. |
d5875b25 JB |
2291 | This function uses the `gnat stub' program to create the body. |
2292 | This function typically is to be hooked into `ff-file-created-hook'. | |
2293 | If INTERACTIVE is nil, assume this is called from `ff-file-created-hook'." | |
2dccd96f | 2294 | (interactive "p") |
85187d83 | 2295 | (ada-require-project-file) |
797aab3c | 2296 | |
d5875b25 JB |
2297 | ;; If not interactive, assume we are being called from |
2298 | ;; ff-file-created-hook. Then the current buffer is for the body | |
2299 | ;; file, but we will create a new one after gnat stub runs | |
2dccd96f | 2300 | (unless interactive |
ab074cb1 JB |
2301 | (set-buffer-modified-p nil) |
2302 | (kill-buffer (current-buffer))) | |
a1506d29 | 2303 | |
d5875b25 | 2304 | (save-some-buffers nil nil) |
797aab3c | 2305 | |
d5875b25 JB |
2306 | ;; Make sure the current buffer is the spec, so gnat stub gets the |
2307 | ;; right package parameter (this might not be the case if for | |
2308 | ;; instance the user was asked for a project file) | |
4884c50b SM |
2309 | |
2310 | (unless (buffer-file-name (car (buffer-list))) | |
2311 | (set-buffer (cadr (buffer-list)))) | |
2312 | ||
d5875b25 JB |
2313 | ;; Call the external process |
2314 | (let* ((project-plist (cdr (ada-xref-current-project))) | |
2315 | (gnatstub-opts (ada-treat-cmd-string ada-gnatstub-opts)) | |
2316 | (gpr-file (plist-get project-plist 'gpr_file)) | |
417451fe JB |
2317 | (filename (buffer-file-name (car (buffer-list)))) |
2318 | (output (concat (file-name-sans-extension filename) ".adb")) | |
d5875b25 JB |
2319 | (cross-prefix (plist-get project-plist 'cross_prefix)) |
2320 | (gnatstub-cmd (concat cross-prefix "gnat stub" | |
2321 | (if (not (string= gpr-file "")) | |
2322 | (concat " -P\"" gpr-file "\"")) | |
2323 | " " gnatstub-opts " " filename)) | |
2324 | (buffer (get-buffer-create "*gnat stub*"))) | |
797aab3c | 2325 | |
9a529312 | 2326 | (with-current-buffer buffer |
797aab3c GM |
2327 | (compilation-minor-mode 1) |
2328 | (erase-buffer) | |
2329 | (insert gnatstub-cmd) | |
2330 | (newline) | |
2331 | ) | |
797aab3c | 2332 | |
d5875b25 | 2333 | (call-process shell-file-name nil buffer nil "-c" gnatstub-cmd) |
797aab3c | 2334 | |
d5875b25 | 2335 | ;; clean up the output |
797aab3c | 2336 | |
d5875b25 JB |
2337 | (if (file-exists-p output) |
2338 | (progn | |
2339 | (find-file output) | |
2340 | (kill-buffer buffer)) | |
797aab3c | 2341 | |
d5875b25 JB |
2342 | ;; file not created; display the error message |
2343 | (display-buffer buffer)))) | |
797aab3c | 2344 | |
797aab3c | 2345 | (defun ada-xref-initialize () |
fea24571 SM |
2346 | "Function called by `ada-mode-hook' to initialize the ada-xref.el package. |
2347 | For instance, it creates the gnat-specific menus, sets some hooks for | |
7977c946 | 2348 | `find-file'." |
ce883133 JB |
2349 | (remove-hook 'ff-file-created-hook 'ada-make-body) ; from global hook |
2350 | (remove-hook 'ff-file-created-hook 'ada-make-body t) ; from local hook | |
2351 | (add-hook 'ff-file-created-hook 'ada-make-body-gnatstub nil t) | |
797aab3c | 2352 | |
797aab3c GM |
2353 | ;; Completion for file names in the mini buffer should ignore .ali files |
2354 | (add-to-list 'completion-ignored-extensions ".ali") | |
c94ca9e0 JB |
2355 | |
2356 | (ada-xref-update-project-menu) | |
797aab3c GM |
2357 | ) |
2358 | ||
797aab3c GM |
2359 | ;; ----- Add to ada-mode-hook --------------------------------------------- |
2360 | ||
4884c50b | 2361 | ;; This must be done before initializing the Ada menu. |
797aab3c GM |
2362 | (add-hook 'ada-mode-hook 'ada-xref-initialize) |
2363 | ||
0262d5e1 | 2364 | ;; Define a new error type |
54bd972f SM |
2365 | (define-error 'ada-error-file-not-found |
2366 | "File not found in src-dir (check project file): " 'ada-mode-errors) | |
0262d5e1 | 2367 | |
797aab3c GM |
2368 | (provide 'ada-xref) |
2369 | ||
383d5bbb | 2370 | ;;; ada-xref.el ends here |