1 ;; Support for running GNAT tools, which support multiple programming
4 ;; GNAT is provided by AdaCore; see http://libre.adacore.com/
6 ;;; Copyright (C) 2012 - 2014 Free Software Foundation, Inc.
8 ;; Author: Stephen Leake <stephen_leake@member.fsf.org>
9 ;; Maintainer: Stephen Leake <stephen_leake@member.fsf.org>
11 ;; This file is part of GNU Emacs.
13 ;; GNU Emacs is free software: you can redistribute it and/or modify
14 ;; it under the terms of the GNU General Public License as published by
15 ;; the Free Software Foundation, either version 3 of the License, or
16 ;; (at your option) any later version.
18 ;; GNU Emacs is distributed in the hope that it will be useful,
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
21 ;; GNU General Public License for more details.
23 ;; You should have received a copy of the GNU General Public License
24 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
27 (require 'ada-mode) ;; for ada-prj-* etc; will be refactored sometime
31 ;;;; project file handling
33 (defun gnat-prj-add-prj-dir (dir project)
34 "Add DIR to 'prj_dir and to GPR_PROJECT_PATH in 'proc_env. Return new project."
35 (let ((prj-dir (plist-get project 'prj_dir)))
39 (add-to-list 'prj-dir dir))
42 (setq prj-dir (list dir)))
46 (setq project (plist-put project 'prj_dir prj-dir))
48 (let ((process-environment (plist-get project 'proc_env)))
49 (setenv "GPR_PROJECT_PATH"
51 (plist-get project 'prj_dir)
52 (plist-get project 'path_sep)))
54 (setq project (plist-put project 'proc_env process-environment))
59 (defun gnat-prj-parse-emacs-one (name value project)
60 "Handle gnat-specific Emacs Ada project file settings.
61 Return new PROJECT if NAME recognized, nil otherwise.
62 See also `gnat-parse-emacs-final'."
63 (let ((process-environment (plist-get project 'proc_env))); for substitute-in-file-name
66 ;; we allow either name here for backward compatibility
67 (string= name "gpr_project_path")
68 (string= name "ada_project_path"))
69 ;; We maintain two project values for this;
70 ;; 'prj_dir - a list of directories, for gpr-ff-special-with
71 ;; GPR_PROJECT_PATH in 'proc_env, for gnat-run
72 (gnat-prj-add-prj-dir (expand-file-name (substitute-in-file-name value)) project))
74 ((string= (match-string 1) "gpr_file")
75 ;; The file is parsed in `gnat-parse-emacs-prj-file-final', so
76 ;; it can add to user-specified src_dir.
80 (expand-file-name (substitute-in-file-name value))))
84 (defun gnat-prj-parse-emacs-final (project)
85 "Final processing of gnat-specific Emacs Ada project file settings."
86 (when (buffer-live-p (get-buffer (gnat-run-buffer-name)))
87 (kill-buffer (gnat-run-buffer-name))); things may have changed, force re-create
89 (if (ada-prj-get 'gpr_file project)
90 (set 'project (gnat-parse-gpr (ada-prj-get 'gpr_file project) project))
92 ;; add the compiler libraries to src_dir
93 (setq project (gnat-get-paths project))
98 (defun gnat-get-paths-1 (src-dirs prj-dirs)
99 "Append list of source and project dirs in current gpr project to SRC-DIRS, PRJ-DIRS.
100 Uses 'gnat list'. Returns new '(src-dirs prj-dirs)."
101 (with-current-buffer (gnat-run-buffer)
102 ;; gnat list -v -P can return status 0 or 4; always lists compiler dirs
104 ;; WORKAROUND: GNAT 7.2.1 gnatls does not support C++ fully; it
105 ;; does not return src_dirs from C++ projects (see AdaCore ticket
106 ;; M724-045). The workaround is to include the src_dirs in an
107 ;; Emacs Ada mode project.
108 (gnat-run-gnat "list" (list "-v") '(0 4))
110 (goto-char (point-min))
115 (search-forward "Source Search Path:")
117 (while (not (looking-at "^$")) ; terminate on blank line
118 (back-to-indentation) ; skip whitespace forward
119 (if (looking-at "<Current_Directory>")
120 (add-to-list 'src-dirs (directory-file-name default-directory))
121 (add-to-list 'src-dirs
122 (expand-file-name ; canonicalize path part
124 (buffer-substring-no-properties (point) (point-at-eol))))))
129 ;; These are also added to src_dir, so compilation errors
130 ;; reported in project files are found.
131 (search-forward "Project Search Path:")
133 (while (not (looking-at "^$"))
134 (back-to-indentation)
135 (if (looking-at "<Current_Directory>")
136 (add-to-list 'prj-dirs ".")
137 (add-to-list 'prj-dirs
139 (buffer-substring-no-properties (point) (point-at-eol))))
140 (add-to-list 'src-dirs
142 (buffer-substring-no-properties (point) (point-at-eol)))))
147 (pop-to-buffer (current-buffer))
148 ;; search-forward failed
149 (error "parse gpr failed")
151 (list src-dirs prj-dirs)))
153 (defun gnat-get-paths (project)
154 "Add project and/or compiler source, project paths to PROJECT src_dir and/or prj_dir."
155 (let ((src-dirs (ada-prj-get 'src_dir project))
156 (prj-dirs (ada-prj-get 'prj_dir project)))
158 ;; FIXME: use a dispatching function instead, with autoload, to
159 ;; avoid "require" here, which gives "warning: function not
161 ;; Using 'require' at top level gives the wrong default ada-xref-tool
162 (cl-ecase (ada-prj-get 'xref_tool project)
164 (let ((res (gnat-get-paths-1 src-dirs prj-dirs)))
165 (setq src-dirs (car res))
166 (setq prj-dirs (cadr res))))
170 (setq src-dirs (gpr-query-get-src-dirs src-dirs))
171 (setq prj-dirs (gpr-query-get-prj-dirs prj-dirs)))
174 (setq project (plist-put project 'src_dir (reverse src-dirs)))
175 (mapc (lambda (dir) (gnat-prj-add-prj-dir dir project))
180 (defun gnat-parse-gpr (gpr-file project)
181 "Append to src_dir and prj_dir in PROJECT by parsing GPR-FILE.
182 Return new value of PROJECT.
183 GPR-FILE must be full path to file, normalized.
184 src_dir will include compiler runtime."
185 ;; this can take a long time; let the user know what's up
186 (message "Parsing %s ..." gpr-file)
188 (if (ada-prj-get 'gpr_file project)
189 ;; gpr-file defined in Emacs Ada mode project file
190 (when (not (equal gpr-file (ada-prj-get 'gpr_file project)))
191 (error "Ada project file %s defines a different GNAT project file than %s"
195 ;; gpr-file is top level Ada mode project file
196 (setq project (plist-put project 'gpr_file gpr-file))
199 (setq project (gnat-get-paths project))
201 (message "Parsing %s ... done" gpr-file)
204 ;;;; command line tool interface
206 (defun gnat-run-buffer-name (&optional prefix)
207 (concat (or prefix " *gnat-run-")
208 (or (ada-prj-get 'gpr_file)
209 ada-prj-current-file)
212 (defun gnat-run-buffer (&optional buffer-name-prefix)
213 "Return a buffer suitable for running gnat command line tools for the current project."
214 (ada-require-project-file)
215 (let* ((name (gnat-run-buffer-name buffer-name-prefix))
216 (buffer (get-buffer name)))
219 (setq buffer (get-buffer-create name))
220 (with-current-buffer buffer
221 (setq default-directory
223 (or (ada-prj-get 'gpr_file)
224 ada-prj-current-file)))
228 (defun ada-gnat-show-run-buffer ()
230 (pop-to-buffer (gnat-run-buffer)))
232 (defun gnat-run (exec command &optional err-msg expected-status)
233 "Run a gnat command line tool, as \"EXEC COMMAND\".
234 EXEC must be an executable found on `exec-path'.
235 COMMAND must be a list of strings.
236 ERR-MSG must be nil or a string.
237 EXPECTED-STATUS must be nil or a list of integers; throws an error if
238 process status is not a member.
240 Return process status.
241 Assumes current buffer is (gnat-run-buffer)"
242 (set 'buffer-read-only nil)
245 (setq command (cl-delete-if 'null command))
247 (let ((process-environment (ada-prj-get 'proc_env)) ;; for GPR_PROJECT_PATH
250 (insert (format "GPR_PROJECT_PATH=%s\n%s " (getenv "GPR_PROJECT_PATH") exec)); for debugging
251 (mapc (lambda (str) (insert (concat str " "))) command); for debugging
254 (setq status (apply 'call-process exec nil t nil command))
256 ((memq status (or expected-status '(0))); success
260 (pop-to-buffer (current-buffer))
262 (error "%s %s failed; %s" exec (car command) err-msg)
263 (error "%s %s failed" exec (car command))
267 (defun gnat-run-gnat (command &optional switches-args expected-status)
268 "Run the \"gnat\" command line tool, as \"gnat COMMAND -P<prj> SWITCHES-ARGS\".
269 COMMAND must be a string, SWITCHES-ARGS a list of strings.
270 EXPECTED-STATUS must be nil or a list of integers.
271 Return process status.
272 Assumes current buffer is (gnat-run-buffer)"
273 (let* ((project-file-switch
274 (when (ada-prj-get 'gpr_file)
275 (concat "-P" (file-name-nondirectory (ada-prj-get 'gpr_file)))))
276 (cmd (append (list command) (list project-file-switch) switches-args)))
278 (gnat-run "gnat" cmd nil expected-status)
281 (defun gnat-run-no-prj (command &optional dir)
282 "Run the gnat command line tool, as \"gnat COMMAND\", with DIR as current directory.
283 Return process status. Process output goes to current buffer,
284 which is displayed on error."
285 (set 'buffer-read-only nil)
288 (setq command (cl-delete-if 'null command))
289 (mapc (lambda (str) (insert (concat str " "))) command)
292 (let ((default-directory (or dir default-directory))
295 (setq status (apply 'call-process "gnat" nil t nil command))
297 ((= status 0); success
301 (pop-to-buffer (current-buffer))
302 (error "gnat %s failed" (car command)))
307 (defun gnatprep-indent ()
308 "If point is on a gnatprep keyword, return indentation column
309 for it. Otherwise return nil. Intended to be added to
310 `wisi-indent-calculate-functions' or other indentation function
312 ;; gnatprep keywords are:
314 ;; #if identifier [then]
315 ;; #elsif identifier [then]
319 ;; they are all indented at column 0.
320 (when (equal (char-after) ?\#) 0))
322 (defun gnatprep-syntax-propertize (start end)
325 (while (re-search-forward
326 "^[ \t]*\\(#\\(?:if\\|else\\|elsif\\|end\\)\\)"; gnatprep keywords.
331 (match-beginning 1) (match-end 1) 'syntax-table '(11 . ?\n)))
335 ;;;; support for xref tools
336 (defun ada-gnat-file-name-from-ada-name (ada-name)
337 "For `ada-file-name-from-ada-name'."
340 (while (string-match "\\." ada-name)
341 (setq ada-name (replace-match "-" t t ada-name)))
343 (setq ada-name (downcase ada-name))
345 (with-current-buffer (gnat-run-buffer)
350 ;; "0" means only krunch GNAT library names
353 (goto-char (point-min))
354 (forward-line 1); skip cmd
355 (setq result (buffer-substring-no-properties (line-beginning-position) (line-end-position)))
359 (defconst ada-gnat-predefined-package-alist
360 '(("a-textio" . "Ada.Text_IO")
361 ("a-chahan" . "Ada.Characters.Handling")
362 ("a-comlin" . "Ada.Command_Line")
363 ("a-except" . "Ada.Exceptions")
364 ("a-numeri" . "Ada.Numerics")
365 ("a-string" . "Ada.Strings")
366 ("a-strmap" . "Ada.Strings.Maps")
367 ("a-strunb" . "Ada.Strings.Unbounded")
368 ("g-comlin" . "GNAT.Command_Line")
369 ("g-dirope" . "GNAT.Directory_Operations")
370 ("g-socket" . "GNAT.Sockets")
371 ("interfac" . "Interfaces")
372 ("i-c" . "Interfaces.C")
373 ("i-cstrin" . "Interfaces.C.Strings")
374 ("s-stoele" . "System.Storage_Elements")
375 ("unchconv" . "Unchecked_Conversion") ; Ada 83 name
377 "Alist (filename . package name) of GNAT file names for predefined Ada packages.")
379 (defun ada-gnat-ada-name-from-file-name (file-name)
380 "For `ada-ada-name-from-file-name'."
382 (ada-name (file-name-sans-extension (file-name-nondirectory file-name)))
383 (predefined (cdr (assoc ada-name ada-gnat-predefined-package-alist))))
387 (while (string-match "-" ada-name)
388 (setq ada-name (replace-match "." t t ada-name)))
391 (defun ada-gnat-make-package-body (body-file-name)
392 "For `ada-make-package-body'."
393 ;; WORKAROUND: gnat stub 7.1w does not accept aggregate project files,
394 ;; and doesn't use the gnatstub package if it is in a 'with'd
395 ;; project file; see AdaCore ticket LC30-001. On the other hand we
396 ;; need a project file to specify the source dirs so the tree file
397 ;; can be generated. So we use gnat-run-no-prj, and the user
398 ;; must specify the proper project file in gnat_stub_opts.
400 ;; gnatstub always creates the body in the current directory (in the
401 ;; process where gnatstub is running); the -o parameter may not
402 ;; contain path info. So we pass a directory to gnat-run-no-prj.
403 (let ((start-buffer (current-buffer))
404 (start-file (buffer-file-name))
405 ;; can also specify gnat stub options/switches in .gpr file, in package 'gnatstub'.
406 (opts (when (ada-prj-get 'gnat_stub_opts)
407 (split-string (ada-prj-get 'gnat_stub_opts))))
408 (switches (when (ada-prj-get 'gnat_stub_switches)
409 (split-string (ada-prj-get 'gnat_stub_switches))))
412 ;; Make sure all relevant files are saved to disk. This also saves
413 ;; the bogus body buffer created by ff-find-the-other-file, so we
414 ;; need -f gnat stub option. We won't get here if there is an
415 ;; existing body file.
416 (save-some-buffers t)
417 (add-to-list 'opts "-f")
418 (with-current-buffer (gnat-run-buffer)
420 (append (list "stub") opts (list start-file "-cargs") switches)
421 (file-name-directory body-file-name))
423 (find-file body-file-name)
424 (indent-region (point-min) (point-max))
426 (set-buffer start-buffer)
430 (defun ada-gnat-syntax-propertize (start end)
433 (while (re-search-forward
435 "[^a-zA-Z0-9)]\\('\\)\\[[\"a-fA-F0-9]+\"\\]\\('\\)"; 1, 2: non-ascii character literal, not attributes
436 "\\|\\(\\[\"[a-fA-F0-9]+\"\\]\\)"; 3: non-ascii character in identifier
442 (match-beginning 1) (match-end 1) 'syntax-table '(7 . ?'))
444 (match-beginning 2) (match-end 2) 'syntax-table '(7 . ?')))
448 (match-beginning 3) (match-end 3) 'syntax-table '(2 . nil)))