Lines Matching defs:ada
0 ;; ada-xref.el --- for lookup and completion in Ada mode
10 ;; Keywords: languages ada xref
34 ;;; If a file *.`adp' exists in the ada-file directory, then it is
51 (require 'ada-mode)
54 (defcustom ada-xref-other-buffer t
57 :type 'boolean :group 'ada)
59 (defcustom ada-xref-create-ali nil
62 :type 'boolean :group 'ada)
64 (defcustom ada-xref-confirm-compile nil
66 :type 'boolean :group 'ada)
68 (defcustom ada-krunch-args "0"
71 :type 'string :group 'ada)
73 (defcustom ada-gnatls-args '("-v")
81 :type '(repeat string) :group 'ada)
83 (defcustom ada-prj-default-comp-opt "-gnatq -gnatQ"
85 :type 'string :group 'ada)
87 (defcustom ada-prj-default-bind-opt ""
89 :type 'string :group 'ada)
91 (defcustom ada-prj-default-link-opt ""
93 :type 'string :group 'ada)
95 (defcustom ada-prj-default-gnatmake-opt "-g"
97 :type 'string :group 'ada)
99 (defcustom ada-prj-gnatfind-switches "-rf"
105 :type 'string :group 'ada)
107 (defcustom ada-prj-default-check-cmd
113 :type 'string :group 'ada)
115 (defcustom ada-prj-default-comp-cmd
121 :type 'string :group 'ada)
123 (defcustom ada-prj-default-debugger "${cross_prefix}gdb"
125 :type 'string :group 'ada)
127 (defcustom ada-prj-default-make-cmd
132 :type 'string :group 'ada)
134 (defcustom ada-prj-default-project-file ""
138 :type '(file :must-match t) :group 'ada)
140 (defcustom ada-gnatstub-opts "-q -I${src_dir}"
143 :type 'string :group 'ada)
145 (defcustom ada-always-ask-project nil
148 :type 'boolean :group 'ada)
153 (defcustom ada-tight-gvd-integration nil
156 :type 'boolean :group 'ada)
158 (defcustom ada-xref-search-with-egrep t
163 :type 'boolean :group 'ada)
165 (defvar ada-load-project-hook nil
179 (defvar ada-last-prj-file ""
182 (defconst ada-prj-file-extension ".adp"
185 (defvar ada-xref-runtime-library-specs-path '()
189 (defvar ada-xref-runtime-library-ali-path '()
193 (defvar ada-xref-pos-ring '()
197 (defvar ada-cd-command
205 (defvar ada-command-separator (if is-windows " && " "\n")
210 (defconst ada-xref-pos-ring-max 16
211 "Number of positions kept in the list `ada-xref-pos-ring'.")
213 (defvar ada-operator-re
217 (defvar ada-xref-project-files '()
222 See `ada-xref-set-default-prj-values' for the list of valid properties.
223 The current project is retrieved with `ada-xref-current-project'.
224 Properties are retrieved with `ada-xref-get-project-field', set with
225 `ada-xref-set-project-field'. If project properties are accessed with no
233 (defmacro ada-make-identlist () (make-vector 8 nil))
234 (defmacro ada-name-of (identlist) (list 'aref identlist 0))
235 (defmacro ada-line-of (identlist) (list 'aref identlist 1))
236 (defmacro ada-column-of (identlist) (list 'aref identlist 2))
237 (defmacro ada-file-of (identlist) (list 'aref identlist 3))
238 (defmacro ada-ali-index-of (identlist) (list 'aref identlist 4))
239 (defmacro ada-declare-file-of (identlist) (list 'aref identlist 5))
240 (defmacro ada-references-of (identlist) (list 'aref identlist 6))
241 (defmacro ada-on-declaration (identlist) (list 'aref identlist 7))
243 (defmacro ada-set-name (identlist name) (list 'aset identlist 0 name))
244 (defmacro ada-set-line (identlist line) (list 'aset identlist 1 line))
245 (defmacro ada-set-column (identlist col) (list 'aset identlist 2 col))
246 (defmacro ada-set-file (identlist file) (list 'aset identlist 3 file))
247 (defmacro ada-set-ali-index (identlist index) (list 'aset identlist 4 index))
248 (defmacro ada-set-declare-file (identlist file) (list 'aset identlist 5 file))
249 (defmacro ada-set-references (identlist ref) (list 'aset identlist 6 ref))
250 (defmacro ada-set-on-declaration (ident value) (list 'aset ident 7 value))
252 (defsubst ada-get-ali-buffer (file)
254 (find-file-noselect (ada-get-ali-file-name file)))
259 (defun ada-quote-cmd (cmd)
263 (defun ada-find-executable (exec-name)
266 (or (ada-find-file-in-dir exec-name exec-path)
267 (ada-find-file-in-dir (concat exec-name ".exe") exec-path)
270 (defun ada-initialize-runtime-library (cross-prefix)
274 (setq ada-xref-runtime-library-specs-path '()
275 ada-xref-runtime-library-ali-path '())
285 (ada-find-executable (concat cross-prefix "gnatls"))))
286 (apply 'call-process gnatls (append '(nil t nil) ada-gnatls-args)))
296 (add-to-list 'ada-xref-runtime-library-specs-path ".")
297 (add-to-list 'ada-xref-runtime-library-specs-path
310 (add-to-list 'ada-xref-runtime-library-ali-path ".")
311 (add-to-list 'ada-xref-runtime-library-ali-path
319 (set 'ada-xref-runtime-library-specs-path
320 (reverse ada-xref-runtime-library-specs-path))
321 (set 'ada-xref-runtime-library-ali-path
322 (reverse ada-xref-runtime-library-ali-path))
326 (defun ada-treat-cmd-string (cmd-string)
343 (setq value (ada-xref-get-project-field (intern name))))))
363 (defun ada-xref-set-default-prj-values (symbol ada-buffer)
366 (let ((file (buffer-file-name ada-buffer))
369 (set-buffer ada-buffer)
376 (ada-prj-default-project-file
377 ada-prj-default-project-file)
378 (file (ada-prj-find-prj-file file t))
387 'casing (if (listp ada-case-exception-file)
388 ada-case-exception-file
389 (list ada-case-exception-file))
390 'comp_opt ada-prj-default-comp-opt
391 'bind_opt ada-prj-default-bind-opt
392 'link_opt ada-prj-default-link-opt
393 'gnatmake_opt ada-prj-default-gnatmake-opt
394 'gnatfind_opt ada-prj-gnatfind-switches
405 'comp_cmd (list ada-prj-default-comp-cmd)
406 'check_cmd (list ada-prj-default-check-cmd)
407 'make_cmd (list ada-prj-default-make-cmd)
409 'debug_pre_cmd (list (concat ada-cd-command " ${build_dir}"))
410 'debug_cmd (concat ada-prj-default-debugger
416 (defun ada-xref-get-project-field (field)
421 `ada-xref-get-src-dir-field' or `ada-xref-get-obj-dir-field'
424 (let* ((project-plist (cdr (ada-xref-current-project)))
433 (ada-treat-cmd-string value))
437 (mapcar (lambda(x) (if x (ada-treat-cmd-string x) x)) value))
443 (defun ada-xref-get-src-dir-field ()
447 (let ((build-dir (ada-xref-get-project-field 'build_dir)))
452 (ada-get-absolute-dir-list (ada-xref-get-project-field 'src_dir)
456 ada-xref-runtime-library-specs-path)))
458 (defun ada-xref-get-obj-dir-field ()
462 (let ((build-dir (ada-xref-get-project-field 'build_dir)))
467 (ada-get-absolute-dir-list (ada-xref-get-project-field 'obj_dir)
471 ada-xref-runtime-library-ali-path)))
473 (defun ada-xref-set-project-field (field value)
475 ;; same algorithm to find project-plist as ada-xref-current-project
476 (let* ((file-name (ada-xref-current-project-file))
477 (project-plist (cdr (assoc file-name ada-xref-project-files))))
480 (setcdr (assoc file-name ada-xref-project-files) project-plist)))
482 (defun ada-xref-update-project-menu ()
487 ["Load..." ada-set-default-project-file t]
488 ["New..." ada-prj-new t]
489 ["Edit..." ada-prj-edit t]
498 (ada-parse-prj-file ,(car x))
499 (set 'ada-prj-default-project-file ,(car x))
500 (ada-xref-update-project-menu))))
503 ada-prj-file-extension)
510 (equal ada-prj-default-project-file
516 ;; ada-xref-project-files is nil)
517 (or ada-xref-project-files '(nil))))))
519 (easy-menu-add-item ada-mode-menu '() submenu)))
529 ;;-- Public subprograms: ada-find-file
533 (defun ada-do-file-completion (string predicate flag)
539 (dirs (ada-xref-get-src-dir-field)))
555 (defun ada-find-file (filename)
559 (list (completing-read "File: " 'ada-do-file-completion)))
560 (let ((file (ada-find-src-file-in-dir filename)))
568 (defun ada-require-project-file ()
571 (if (not (ada-xref-current-project t))
572 (ada-reread-prj-file)))
574 (defun ada-xref-current-project-file (&optional no-user-question)
577 `ada-require-project-file' first if a project must exist."
578 (if (not (string= "" ada-prj-default-project-file))
579 ada-prj-default-project-file
580 (ada-prj-find-prj-file nil no-user-question)))
582 (defun ada-xref-current-project (&optional no-user-question)
585 `ada-require-project-file' first if a project must exist."
586 (let* ((file-name (ada-xref-current-project-file no-user-question)))
587 (assoc file-name ada-xref-project-files)))
589 (defun ada-show-current-project ()
592 (message (ada-xref-current-project-file)))
594 (defun ada-show-current-main ()
597 (message "ada-mode main_unit: %s" (ada-xref-get-project-field 'main_unit)))
599 (defun ada-xref-push-pos (filename position)
601 (setq ada-xref-pos-ring (cons (list position filename) ada-xref-pos-ring))
602 (if (> (length ada-xref-pos-ring) ada-xref-pos-ring-max)
603 (setcdr (nthcdr (1- ada-xref-pos-ring-max) ada-xref-pos-ring) nil)))
605 (defun ada-xref-goto-previous-reference ()
608 (if ada-xref-pos-ring
609 (let ((pos (car ada-xref-pos-ring)))
610 (setq ada-xref-pos-ring (cdr ada-xref-pos-ring))
614 (defun ada-convert-file-name (name)
620 (defun ada-set-default-project-file (name &optional keep-existing)
623 is done. This is meant to be used from `ada-mode-hook', for instance, to force
627 (not ada-prj-default-project-file)
628 (equal ada-prj-default-project-file ""))
630 (setq ada-prj-default-project-file name)
631 (ada-reread-prj-file name))))
635 (defun ada-prj-find-prj-file (&optional file no-user-question)
638 return `ada-prj-default-project-file'. Otherwise, search for a file with
640 `ada-prj-file-extension' (default .adp). If not found, search for *.adp
653 (if (and ada-prj-default-project-file
654 (not (string= ada-prj-default-project-file "")))
655 (setq selected ada-prj-default-project-file)
663 ada-prj-file-extension))
672 ada-prj-file-extension) "$")))
713 (unless (or no-user-question (not ada-always-ask-project))
714 (setq ada-last-prj-file
716 (concat "project file [" ada-last-prj-file "]:")
717 nil ada-last-prj-file))
718 (unless (string= ada-last-prj-file "")
719 (set 'selected ada-last-prj-file))))
726 (defun ada-parse-prj-file (prj-file)
732 (ada-buffer (current-buffer)))
736 (setq ada-prj-default-project-file prj-file)
739 (ada-xref-set-default-prj-values 'project (current-buffer))
749 'ada-load-project-hook prj-file)))
812 (set-buffer ada-buffer)
839 (if (assoc nil ada-xref-project-files)
840 (setq ada-xref-project-files nil))
843 (if (assoc prj-file ada-xref-project-files)
844 (setcdr (assoc prj-file ada-xref-project-files) project)
845 (add-to-list 'ada-xref-project-files (cons prj-file project)))
849 (setq compilation-search-path (ada-xref-get-src-dir-field))
854 (setq ada-case-exception-file (reverse casing))
855 (ada-case-read-exceptions)))
859 (setq ada-search-directories-internal
861 ada-search-directories))
863 (ada-xref-update-project-menu)
875 (defun ada-find-references (&optional pos arg local-only)
881 (ada-require-project-file)
883 (let* ((identlist (ada-read-identifier pos))
884 (alifile (ada-get-ali-file-name (ada-file-of identlist)))
885 (process-environment (ada-set-environment)))
887 (set-buffer (get-file-buffer (ada-file-of identlist)))
891 (file-newer-than-file-p (ada-file-of identlist) alifile))
892 (ada-find-any-references (ada-name-of identlist)
893 (ada-file-of identlist)
895 (ada-find-any-references (ada-name-of identlist)
896 (ada-file-of identlist)
897 (ada-line-of identlist)
898 (ada-column-of identlist) local-only arg)))
901 (defun ada-find-local-references (&optional pos arg)
906 (ada-find-references pos arg t))
908 (defun ada-find-any-references
917 (ada-require-project-file)
928 (switches (ada-xref-get-project-field 'gnatfind_opt))
939 (if (and ada-prj-default-project-file
940 (not (string= ada-prj-default-project-file "")))
941 (if (string-equal (file-name-extension ada-prj-default-project-file)
943 (setq command (concat command " -P" ada-prj-default-project-file))
944 (setq command (concat command " -p" ada-prj-default-project-file))))
967 (defalias 'ada-change-prj (symbol-function 'ada-set-default-project-file))
970 (defun ada-complete-identifier (pos)
973 (ada-require-project-file)
978 (identlist (ada-read-identifier pos))
980 (regexp-quote (ada-name-of identlist))
986 (set-buffer (ada-get-ali-buffer (buffer-file-name)))
1008 (defun ada-point-and-xref ()
1012 (ada-goto-declaration (point)))
1014 (defun ada-point-and-xref-body ()
1018 (ada-goto-body (point)))
1020 (defun ada-goto-body (pos &optional other-frame)
1026 (ada-goto-declaration pos other-frame)
1030 (let ((ada-xref-other-buffer nil))
1031 (ada-goto-declaration (point) nil)))
1033 (defun ada-goto-declaration (pos &optional other-frame)
1035 The declaration is shown in another buffer if `ada-xref-other-buffer' is
1039 (ada-require-project-file)
1041 (ada-xref-push-pos (buffer-file-name) pos)
1046 (let ((identlist (ada-read-identifier pos)))
1048 (ada-find-in-ali identlist other-frame)
1055 (let ((ali-file (ada-get-ali-file-name (ada-file-of identlist))))
1060 (file-newer-than-file-p ali-file (ada-file-of identlist)))
1064 (if ada-xref-search-with-egrep
1065 (ada-find-in-src-path identlist other-frame)
1069 (defun ada-goto-declaration-other-frame (pos)
1071 The declation is shown in another frame if `ada-xref-other-buffer' is non-nil."
1073 (ada-goto-declaration pos t))
1075 (defun ada-remote (command)
1077 (let ((machine (ada-xref-get-project-field 'remote_machine)))
1085 (defun ada-get-absolute-dir-list (dir-list root-dir)
1090 (defun ada-set-environment ()
1098 (build-dir (ada-xref-get-project-field 'build_dir)))
1106 (ada-xref-get-project-field 'src_dir)
1112 (ada-xref-get-project-field 'obj_dir)
1117 (defun ada-compile-application (&optional arg)
1121 (ada-require-project-file)
1122 (let ((cmd (ada-xref-get-project-field 'make_cmd))
1123 (process-environment (ada-set-environment))
1126 (setq compilation-search-path (ada-xref-get-src-dir-field))
1134 (setq cmd (ada-remote (mapconcat 'identity cmd ada-command-separator)))
1136 (if (or ada-xref-confirm-compile arg)
1145 (compile (ada-quote-cmd cmd))))
1147 (defun ada-set-main-compile-application ()
1150 (ada-require-project-file)
1161 (ada-xref-set-project-field 'main main)
1162 (ada-xref-set-project-field 'main_unit main)
1163 (ada-compile-application))))
1165 (defun ada-compile-current (&optional arg prj-field)
1171 (ada-require-project-file)
1173 (cmd (ada-xref-get-project-field field))
1174 (process-environment (ada-set-environment))
1177 (setq compilation-search-path (ada-xref-get-src-dir-field))
1184 (setq cmd (ada-remote (mapconcat 'identity cmd ada-command-separator)))
1187 (if (or ada-xref-confirm-compile arg)
1190 (compile (ada-quote-cmd cmd))))
1192 (defun ada-check-current (&optional arg)
1196 (ada-compile-current arg 'check_cmd))
1198 (defun ada-run-application (&optional arg)
1202 (ada-require-project-file)
1204 (let ((machine (ada-xref-get-project-field 'cross_prefix)))
1208 (let ((command (ada-xref-get-project-field 'run_cmd)))
1215 (setq command (ada-remote (mapconcat 'identity command
1216 ada-command-separator)))
1219 (if (or ada-xref-confirm-compile arg)
1245 (defun ada-gdb-application (&optional arg executable-name)
1251 (ada-require-project-file)
1255 (concat ada-prj-default-debugger " " executable-name)
1256 (ada-xref-get-project-field 'debug_cmd))
1257 pre-cmd (ada-xref-get-project-field 'debug_pre_cmd)
1258 post-cmd (ada-xref-get-project-field 'debug_post_cmd))
1262 (set 'cmd (concat ada-prj-default-debugger
1269 (if (and ada-tight-gvd-integration
1285 (set 'cmd (ada-remote (concat cmd " -fullname ")))
1288 (if (or arg ada-xref-confirm-compile)
1297 (set 'pre-cmd (mapconcat 'identity pre-cmd ada-command-separator))
1299 (setq pre-cmd (concat pre-cmd ada-command-separator)))
1315 (compile (ada-quote-cmd
1323 ada-tight-gvd-integration
1353 (defun ada-reread-prj-file (&optional filename)
1357 (ada-parse-prj-file filename)
1358 (ada-parse-prj-file (ada-prj-find-prj-file)))
1361 (ada-initialize-runtime-library
1362 (or (ada-xref-get-project-field 'cross_prefix) ""))
1367 (defun ada-xref-current (file &optional ali-file-name)
1378 (let* ((name (ada-convert-file-name file))
1379 (body-name (or (ada-get-body-name name) name)))
1394 (ada-compile-current)
1407 (defun ada-find-file-in-dir (file dir-list)
1419 (defun ada-find-ali-file-in-dir (file)
1423 (ada-find-file-in-dir file (ada-xref-get-obj-dir-field)))
1425 (defun ada-find-src-file-in-dir (file)
1429 (ada-find-file-in-dir file (ada-xref-get-src-dir-field)))
1431 (defun ada-get-ali-file-name (file)
1432 "Create the ali file name for the ada-file FILE.
1470 (let ((specs ada-spec-suffixes))
1479 (ada-find-ali-file-in-dir
1482 (ada-other-file-name)))
1490 (ada-find-ali-file-in-dir short-ali-file-name)
1495 ;; file_s.ada and file_b.ada), try to go to the other file
1497 (ada-find-ali-file-in-dir
1499 (file-name-nondirectory (ada-other-file-name)))
1512 (set 'ali-file-name (ada-find-ali-file-in-dir
1523 (if ada-xref-create-ali
1525 (concat (file-name-sans-extension (ada-xref-current file))
1533 ada-xref-create-ali)
1534 (ada-xref-current file ali-file-name)))
1540 (defun ada-get-ada-file-name (file original-file)
1556 (let ((filename (ada-find-src-file-in-dir file)))
1562 (defun ada-find-file-number-in-ali (file)
1564 (set-buffer (ada-get-ali-buffer file))
1572 (defun ada-read-identifier (pos)
1575 macros `ada-name-of', `ada-line-of', `ada-column-of', `ada-file-of',..."
1587 (if (ada-in-comment-p)
1600 (if (and (looking-at ada-operator-re)
1610 (if (ada-in-string-p)
1612 (if (looking-at (concat ada-keywords "[^a-zA-Z_]"))
1619 (set 'identlist (ada-make-identlist))
1620 (ada-set-name identlist (downcase identifier))
1621 (ada-set-line identlist
1623 (ada-set-column identlist
1625 (ada-set-file identlist (buffer-file-name))
1629 (defun ada-get-all-references (identlist)
1633 (let ((ali-buffer (ada-get-ali-buffer (ada-file-of identlist)))
1637 (ada-set-on-declaration identlist nil)
1644 (concat "^X [0-9]+ " (file-name-nondirectory (ada-file-of identlist)))
1649 (concat "^" (ada-line-of identlist)
1650 "." (ada-column-of identlist)
1651 "[ *]" (ada-name-of identlist)
1654 (ada-set-on-declaration identlist t))
1666 (ada-set-ali-index
1668 (number-to-string (ada-find-file-number-in-ali
1669 (ada-file-of identlist))))
1670 (unless (re-search-forward (concat (ada-ali-index-of identlist)
1672 (ada-line-of identlist)
1674 (ada-column-of identlist) "\\>")
1683 (ada-name-of identlist)
1685 (ada-line-of identlist)
1687 (ada-column-of identlist) "\\>")
1707 (ada-name-of identlist) "[ <{=\(\[]"))
1715 (if (ada-xref-find-in-modified-ali identlist)
1720 (error (concat "No declaration of " (ada-name-of identlist)
1744 (ada-set-declare-file
1746 (ada-get-ada-file-name (match-string 1)
1747 (ada-file-of identlist)))
1757 (ada-set-references identlist current-line)
1761 (defun ada-xref-find-in-modified-ali (identlist)
1767 (unless (= (string-to-char (ada-name-of identlist)) ?\")
1771 (regexp-quote (ada-name-of identlist)) " "))
1772 (line-ada "--")
1773 (col-ada "--")
1787 (setq line-ada (match-string 1))
1788 (setq col-ada (match-string 2)))
1789 (setq line-ada "--")
1790 (setq col-ada "--")
1795 'declist (list line-ali (match-string 1) line-ada col-ada))
1807 (ada-name-of identlist)
1827 (ada-get-ada-file-name
1829 (ada-file-of identlist))
1852 (defun ada-find-in-ali (identlist &optional other-frame)
1854 If OTHER-FRAME is non-nil, and `ada-xref-other-buffer' is non-nil,
1857 (ada-get-all-references identlist)
1858 (let ((ali-line (ada-references-of identlist))
1872 (ada-declare-file-of identlist))))
1893 (set 'file (ada-declare-file-of identlist)))
1909 (if (and (string= (caar locations) (ada-line-of identlist))
1910 (string= (nth 1 (car locations)) (ada-column-of identlist))
1912 (file-name-nondirectory (ada-file-of identlist))))
1921 (set 'file (ada-get-ada-file-name file (ada-file-of identlist)))
1927 (ada-xref-change-buffer file
1934 (defun ada-find-in-src-path (identlist &optional other-frame)
1947 (dirs (ada-xref-get-obj-dir-field))
1948 (regexp (concat "[ *]" (ada-name-of identlist)))
2002 (set 'file (ada-find-src-file-in-dir (caar list)))
2004 (ada-xref-change-buffer file
2044 (set 'file (ada-find-src-file-in-dir (car (nth choice list))))
2046 (ada-xref-change-buffer file
2055 (defun ada-xref-change-buffer
2065 (if ada-xref-other-buffer
2083 (unless (looking-at (ada-name-of identlist))
2084 (ada-xref-search-nearest (ada-name-of identlist)))
2088 (defun ada-xref-search-nearest (name)
2105 (not (ada-in-string-or-comment-p))
2110 (ada-goto-next-non-ws)
2114 (ada-goto-previous-word)
2133 (defun ada-goto-parent ()
2136 (ada-require-project-file)
2138 (let ((buffer (ada-get-ali-buffer (buffer-file-name)))
2164 (setq ali-name (ada-find-ali-file-in-dir ali-name))
2183 (defun ada-make-filename-from-adaname (adaname)
2196 (concat adaname ".adb") ada-krunch-args)
2211 (defun ada-make-body-gnatstub (&optional interactive)
2217 (ada-require-project-file)
2235 (let* ((gnatstub-opts (ada-treat-cmd-string ada-gnatstub-opts))
2259 (ada-make-body))
2273 (defun ada-xref-initialize ()
2274 "Function called by `ada-mode-hook' to initialize the ada-xref.el package.
2277 (remove-hook 'ff-file-created-hook 'ada-make-body) ; from global hook
2278 (remove-hook 'ff-file-created-hook 'ada-make-body t) ; from local hook
2279 (add-hook 'ff-file-created-hook 'ada-make-body-gnatstub nil t)
2284 (ada-xref-update-project-menu)
2287 ;; ----- Add to ada-mode-hook ---------------------------------------------
2290 (add-hook 'ada-mode-hook 'ada-xref-initialize)
2295 '(error ada-mode-errors error-file-not-found))
2301 (ada-initialize-runtime-library "")
2304 (set 'ada-search-directories-internal
2305 (append (mapcar 'directory-file-name ada-xref-runtime-library-specs-path)
2306 ada-search-directories))
2308 (provide 'ada-xref)
2311 ;;; ada-xref.el ends here