Lines Matching defs:body
141 "*List of the options to pass to `gnatsub' to generate the body of a package.
1014 (defun ada-point-and-xref-body ()
1015 "Jump to the body of the entity under the cursor."
1018 (ada-goto-body (point)))
1020 (defun ada-goto-body (pos &optional other-frame)
1021 "Display the body of the entity around POS.
1023 If the entity doesn't have a body, display its declaration.
1379 (body-name (or (ada-get-body-name name) name)))
1381 ;; Always recompile the body when we can. We thus temporarily switch to a
1382 ;; buffer than contains the body of the unit
1384 (let ((body-visible (find-buffer-visiting body-name))
1386 (if body-visible
1387 (set-buffer body-visible)
1388 (find-file body-name))
1401 ;; remove the buffer for the body if it wasn't there before
1402 (unless body-visible
1403 (kill-buffer (find-buffer-visiting body-name)))
1405 body-name))
1445 ;; find the name of the "other file", ie the body, and look
1465 ;; look for the .ali file of the body, since this is the one that
1865 ;; has a reference both to the stub and to the real body).
1897 ;; Add the specs at the end again, so that from the last body we go to
2140 (body-name nil)
2159 (setq body-name (match-string 1))
2174 (setq body-name (match-string 1))
2180 (find-file body-name)
2211 (defun ada-make-body-gnatstub (&optional interactive)
2212 "Create an Ada package body in the current buffer.
2213 This function uses the `gnatstub' program to create the body.
2221 ;; If the current buffer is the body (as is the case when calling this
2248 ;; call gnatstub to create the body file
2259 (ada-make-body))
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)