summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--lisp/progmodes/ada-stmt.el640
1 files changed, 640 insertions, 0 deletions
diff --git a/lisp/progmodes/ada-stmt.el b/lisp/progmodes/ada-stmt.el
new file mode 100644
index 00000000000..8bf50cfb096
--- /dev/null
+++ b/lisp/progmodes/ada-stmt.el
@@ -0,0 +1,640 @@
+;;; ada-stmt.el - An extension to Ada mode for inserting statement templates.
+
+;; Copyright (C) 1987, 1993, 1994, 1996, 1997 Free Software Foundation, Inc.
+
+;; Authors: Daniel Pfeiffer, Markus Heritsch, Rolf Ebert <ebert@waporo.muc.de>
+;; Maintainer: Rolf Ebert <ebert@waporo.muc.de>
+;; Keywords: languages, ada
+;; Rolf Ebert's version: 2.26
+
+;;; Commentary:
+
+;;
+;; put the following statement in your .emacs:
+;; (require 'ada-stmt)
+;;
+
+;;; History:
+
+;; Created May 1987.
+;; Original version from V. Bowman as in ada.el of Emacs-18
+;; (borrowed heavily from Mick Jordan's Modula-2 package for GNU,
+;; as modified by Peter Robinson, Michael Schmidt, and Tom Perrine.)
+;;
+;; Sep 1993. Daniel Pfeiffer <pfeiffer@cict.fr> (DP)
+;; Introduced statement.el for smaller code and user configurability.
+;;
+;; Nov 1993. Rolf Ebert <ebert@enpc.fr> (RE) Moved the
+;; skeleton generation into this separate file. The code still is
+;; essentially written by DP
+;;
+;; Adapted Jun 1994. Markus Heritsch
+;; <Markus.Heritsch@studbox.uni-stuttgart.de> (MH)
+;; added menu bar support for templates
+;;
+;; 1994/12/02 Christian Egli <cegli@hcsd.hac.com>
+;; General cleanup and bug fixes.
+;;
+;; 1995/12/20 John Hutchison <hutchiso@epi.syr.ge.com>
+;; made it work with skeleton.el from emacs-19.30. Several
+;; enhancements and bug fixes.
+
+;; BUGS:
+;;;> I have the following suggestions for the function template: 1) I
+;;;> don't want it automatically assigning it a name for the return variable. I
+;;;> never want it to be called "Result" because that is nondescriptive. If you
+;;;> must define a variable, give me the ability to specify its name.
+;;;>
+;;;> 2) You do not provide a type for variable 'Result'. Its type is the same
+;;;> as the function's return type, which the template knows, so why force me
+;;;> to type it in?
+;;;>
+
+;;;It would be nice if one could configure such layout details separately
+;;;without patching the LISP code. Maybe the metalanguage used in ada-stmt.el
+;;;could be taken even further, providing the user with some nice syntax
+;;;for describing layout. Then my own hacks would survive the next
+;;;update of the package :-)
+
+
+;;; Code:
+
+(require 'ada-mode)
+(require 'skeleton)
+(require 'easymenu)
+
+(defgroup ada-stmt nil
+ "Extension to Ada mode for inserting statement templates"
+ :group 'ada)
+
+(defcustom ada-stmt-use-debug t
+ "*Toggle to insert ada debug code parts."
+ :type 'boolean
+ :group 'ada-stmt)
+
+
+(defcustom ada-debug-call-str "pragma Debug (%s);"
+ "*Debug call code to insert."
+ :type 'string
+ :group 'ada-stmt)
+
+
+(defcustom ada-debug-exception-str "pragma Debug (%s);"
+ "*Debug exception code to insert."
+ :type 'string
+ :group 'ada-stmt)
+
+
+
+(defun ada-func-or-proc-name ()
+ ;; Get the name of the current function or procedure."
+ (save-excursion
+ (let ((case-fold-search t))
+ (if (re-search-backward ada-procedure-start-regexp nil t)
+ (buffer-substring (match-beginning 2) (match-end 2))
+ "NAME?"))))
+
+
+(defun ada-toggle-debugging ()
+ "Toggles behaviour of `ada-debug-info-insertion'."
+ (interactive)
+ (setq ada-stmt-use-debug (not ada-stmt-use-debug))
+ (if ada-stmt-use-debug
+ (message "Debugging enabled")
+ (message "Debugging disabled")))
+
+
+(defvar ada-template-map nil
+ "Keymap used in Ada mode for smart template operations.")
+
+
+(let ((ada-mp (make-sparse-keymap)))
+ (define-key ada-mp "h" 'ada-header)
+; (define-key ada-mp "p" 'ada-toggle-prompt-pseudo)
+ (define-key ada-mp "(" 'insert-parentheses)
+ (define-key ada-mp "\C-a" 'ada-array)
+ (define-key ada-mp "b" 'ada-exception-block)
+ (define-key ada-mp "d" 'ada-declare-block)
+ (define-key ada-mp "c" 'ada-case)
+ (define-key ada-mp "\C-e" 'ada-elsif)
+ (define-key ada-mp "e" 'ada-else)
+ (define-key ada-mp "\C-k" 'ada-package-spec)
+ (define-key ada-mp "k" 'ada-package-body)
+ (define-key ada-mp "\C-p" 'ada-procedure-spec)
+ (define-key ada-mp "\C-f" 'ada-function-spec)
+ (define-key ada-mp "p" 'ada-subprogram-body)
+ (define-key ada-mp "f" 'ada-for-loop)
+ (define-key ada-mp "i" 'ada-if)
+ (define-key ada-mp "l" 'ada-loop)
+ (define-key ada-mp "\C-r" 'ada-record)
+ (define-key ada-mp "\C-s" 'ada-subtype)
+ (define-key ada-mp "S" 'ada-tabsize)
+ (define-key ada-mp "\C-t" 'ada-task-spec)
+ (define-key ada-mp "t" 'ada-task-body)
+ (define-key ada-mp "\C-y" 'ada-type)
+ (define-key ada-mp "\C-v" 'ada-private)
+ (define-key ada-mp "u" 'ada-use)
+ (define-key ada-mp "\C-u" 'ada-with)
+ (define-key ada-mp "\C-w" 'ada-when)
+ (define-key ada-mp "w" 'ada-while-loop)
+ (define-key ada-mp "\C-x" 'ada-exception)
+ (define-key ada-mp "x" 'ada-exit)
+ (setq ada-template-map ada-mp))
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;; Place the templates into Ada Mode. They may be inserted under any key.
+;; C-c C-t will be the default. If you use templates alot, you
+;; may want to consider moving the binding to another key in your .emacs
+;; file. Be sure to (require 'ada-stmt) first.
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;(define-key ada-mode-map "\C-ct" ada-template-map)
+(define-key ada-mode-map "\C-c\C-t" ada-template-map)
+
+;;; ---- statement skeletons ------------------------------------------
+
+(define-skeleton ada-array
+ "Insert array type definition. Uses the minibuffer to prompt
+for component type and index subtypes."
+ ()
+ "array (" ("index definition: " str ", " ) -2 ") of " _ ?\;)
+
+
+(define-skeleton ada-case
+ "Build skeleton case statement, prompting for the selector expression.
+Also builds the first when clause."
+ "[selector expression]: "
+ "case " str " is" \n
+ > "when " ("discrete choice: " str " | ") -3 " =>" \n
+ > _ \n
+ < < "end case;")
+
+
+(define-skeleton ada-when
+ "Start a case statement alternative with a when clause."
+ ()
+ < "when " ("discrete choice: " str " | ") -3 " =>" \n
+ >)
+
+
+(define-skeleton ada-declare-block
+ "Insert a block with a declare part.
+Indent for the first declaration."
+ "[block name]: "
+ < str & ?: & \n
+ > "declare" \n
+ > _ \n
+ < "begin" \n
+ > \n
+ < "end " str | -1 ?\;)
+
+
+(define-skeleton ada-exception-block
+ "Insert a block with an exception part.
+Indent for the first line of code."
+ "[block name]: "
+ < str & ?: & \n
+ > "begin" \n
+ > _ \n
+ < "exception" \n
+ > \n
+ < "end " str | -1 ?\;)
+
+
+(define-skeleton ada-exception
+ "Insert an indented exception part into a block."
+ ()
+ < "exception" \n
+ >)
+
+
+(define-skeleton ada-exit-1
+ "Insert then exit condition of the exit statement, prompting for condition."
+ "[exit condition]: "
+ "when " str | -5)
+
+
+(define-skeleton ada-exit
+ "Insert an exit statement, prompting for loop name and condition."
+ "[name of loop to exit]: "
+ "exit " str & ?\
+ (ada-exit-1)
+ | -1 ?\;)
+
+
+(defun ada-header ()
+ "Insert a descriptive header at the top of the file."
+ (interactive "*")
+ (save-excursion
+ (goto-char (point-min))
+ (if (fboundp 'make-header)
+ (make-header)
+ (ada-header-tmpl))))
+
+
+(define-skeleton ada-header-tmpl
+ "Insert a comment block containing the module title, author, etc."
+ "[Description]: "
+ "-- -*- Mode: Ada -*-"
+ "\n-- Filename : " (buffer-name)
+ "\n-- Description : " str
+ "\n-- Author : " (user-full-name)
+ "\n-- Created On : " (current-time-string)
+ "\n-- Last Modified By: ."
+ "\n-- Last Modified On: ."
+ "\n-- Update Count : 0"
+ "\n-- Status : Unknown, Use with caution!"
+ "\n")
+
+
+(define-skeleton ada-display-comment
+ "Inserts three comment lines, making a display comment."
+ ()
+ "--\n-- " _ "\n--")
+
+
+(define-skeleton ada-if
+ "Insert skeleton if statment, prompting for a boolean-expression."
+ "[condition]: "
+ "if " str " then" \n
+ > _ \n
+ < "end if;")
+
+
+(define-skeleton ada-elsif
+ "Add an elsif clause to an if statement,
+prompting for the boolean-expression."
+ "[condition]: "
+ < "elsif " str " then" \n
+ >)
+
+
+(define-skeleton ada-else
+ "Add an else clause inside an if-then-end-if clause."
+ ()
+ < "else" \n
+ >)
+
+
+(define-skeleton ada-loop
+ "Insert a skeleton loop statement. The exit statement is added by hand."
+ "[loop name]: "
+ < str & ?: & \n
+ > "loop" \n
+ > _ \n
+ < "end loop " str | -1 ?\;)
+
+
+(define-skeleton ada-for-loop-prompt-variable
+ "Prompt for the loop variable."
+ "[loop variable]: "
+ str)
+
+
+(define-skeleton ada-for-loop-prompt-range
+ "Prompt for the loop range."
+ "[loop range]: "
+ str)
+
+
+(define-skeleton ada-for-loop
+ "Build a skeleton for-loop statement, prompting for the loop parameters."
+ "[loop name]: "
+ < str & ?: & \n
+ > "for "
+ (ada-for-loop-prompt-variable)
+ " in "
+ (ada-for-loop-prompt-range)
+ " loop" \n
+ > _ \n
+ < "end loop " str | -1 ?\;)
+
+
+(define-skeleton ada-while-loop-prompt-entry-condition
+ "Prompt for the loop entry condition."
+ "[entry condition]: "
+ str)
+
+
+(define-skeleton ada-while-loop
+ "Insert a skeleton while loop statement."
+ "[loop name]: "
+ < str & ?: & \n
+ > "while "
+ (ada-while-loop-prompt-entry-condition)
+ " loop" \n
+ > _ \n
+ < "end loop " str | -1 ?\;)
+
+
+(define-skeleton ada-package-spec
+ "Insert a skeleton package specification."
+ "[package name]: "
+ "package " str " is" \n
+ > _ \n
+ < "end " str ?\;)
+
+
+(define-skeleton ada-package-body
+ "Insert a skeleton package body -- includes a begin statement."
+ "[package name]: "
+ "package body " str " is" \n
+ > _ \n
+; < "begin" \n
+ < "end " str ?\;)
+
+
+(define-skeleton ada-private
+ "Undent and start a private section of a package spec. Reindent."
+ ()
+ < "private" \n
+ >)
+
+
+(define-skeleton ada-function-spec-prompt-return
+ "Prompts for function result type."
+ "[result type]: "
+ str)
+
+
+(define-skeleton ada-function-spec
+ "Insert a function specification. Prompts for name and arguments."
+ "[function name]: "
+ "function " str
+ " (" ("[parameter_specification]: " str "; " ) -2 ")"
+ " return "
+ (ada-function-spec-prompt-return)
+ ";" \n )
+
+
+(define-skeleton ada-procedure-spec
+ "Insert a procedure specification, prompting for its name and arguments."
+ "[procedure name]: "
+ "procedure " str
+ " (" ("[parameter_specification]: " str "; " ) -2 ")"
+ ";" \n )
+
+
+(define-skeleton ada-subprogram-body
+ "Insert frame for subprogram body.
+Invoke right after `ada-function-spec' or `ada-procedure-spec'."
+ ()
+ ;; Remove `;' from subprogram decl
+ (save-excursion
+ (ada-search-ignore-string-comment ada-subprog-start-re t nil)
+ (ada-search-ignore-string-comment "(" nil nil t)
+ (backward-char 1)
+ (forward-sexp 1)
+ (if (looking-at ";")
+ (delete-char 1)))
+ < "is" \n
+ > _ \n
+ < "begin" \n
+ > (if ada-stmt-use-debug
+ (format ada-debug-call-str (ada-func-or-proc-name))) \n
+ > \n
+ < (if ada-stmt-use-debug
+ "exception") & \n
+ > (if ada-stmt-use-debug
+ "when others =>") & \n
+ > (if ada-stmt-use-debug
+ (format ada-debug-exception-str (ada-func-or-proc-name))) \n
+ < < "end "
+ (ada-func-or-proc-name)
+ ?\;)
+
+
+(define-skeleton ada-separate
+ "Finish a body stub with `separate'."
+ ()
+ > "separate;" \n
+ <)
+
+
+;(define-skeleton ada-with
+; "Inserts a with clause, prompting for the list of units depended upon."
+; "[list of units depended upon]: "
+; "with " str ?\;)
+
+;(define-skeleton ada-use
+; "Inserts a use clause, prompting for the list of packages used."
+; "[list of packages used]: "
+; "use " str ?\;)
+
+
+(define-skeleton ada-record
+ "Insert a skeleton record type declaration."
+ ()
+ "record" \n
+ > _ \n
+ < "end record;")
+
+
+(define-skeleton ada-subtype
+ "Start insertion of a subtype declaration, prompting for the subtype name."
+ "[subtype name]: "
+ "subtype " str " is " _ ?\;
+ (not (message "insert subtype indication.")))
+
+
+(define-skeleton ada-type
+ "Start insertion of a type declaration, prompting for the type name."
+ "[type name]: "
+ "type " str ?\(
+ ("[discriminant specs]: " str " ")
+ | (backward-delete-char 1) | ?\)
+ " is "
+ (not (message "insert type definition.")))
+
+
+(define-skeleton ada-task-body
+ "Insert a task body, prompting for the task name."
+ "[task name]: "
+ "task body " str " is\n"
+ "begin\n"
+ > _ \n
+ < "end " str ";" )
+
+
+(define-skeleton ada-task-spec
+ "Insert a task specification, prompting for the task name."
+ "[task name]: "
+ "task " str
+ " (" ("[discriminant]: " str "; ") ") is\n"
+ > "entry " _ \n
+ <"end " str ";" )
+
+
+(define-skeleton ada-get-param1
+ "Prompt for arguments and if any enclose them in brackets."
+ ()
+ ("[parameter_specification]: " str "; " ) & -2 & ")"
+ )
+
+
+(define-skeleton ada-get-param
+ "Prompt for arguments and if any enclose them in brackets."
+ ()
+ " ("
+ (ada-get-param1) | -2
+ )
+
+
+(define-skeleton ada-entry
+ "Insert a task entry, prompting for the entry name."
+ "[entry name]: "
+ "entry " str
+ (ada-get-param)
+ ";" \n
+; (ada-indent-current)
+)
+
+
+(define-skeleton ada-entry-family-prompt-discriminant
+ "Insert a entry specification, prompting for the entry name."
+ "[discriminant name]: "
+ str)
+
+
+(define-skeleton ada-entry-family
+ "Insert a entry specification, prompting for the entry name."
+ "[entry name]: "
+ "entry " str
+ " (" (ada-entry-family-prompt-discriminant) ")"
+ (ada-get-param)
+ ";" \n
+ ;(ada-indent-current)
+)
+
+
+(define-skeleton ada-select
+ "Insert a select block."
+ ()
+ "select\n"
+ > _ \n
+ < "end select;")
+
+
+(define-skeleton ada-accept-1
+ "Insert a condition statement, prompting for the condition name."
+ "[condition]: "
+ "when " str | -5 )
+
+
+(define-skeleton ada-accept-2
+ "Insert an accept statement, prompting for the name and arguments."
+ "[accept name]: "
+ > "accept " str
+ (ada-get-param)
+; " (" ("[parameter_specification]: " str "; ") -2 ")"
+ " do" \n
+ > _ \n
+ < "end " str ";" )
+
+
+(define-skeleton ada-accept
+ "Insert an accept statement (prompt for condition, name and arguments)."
+ ()
+ > (ada-accept-1) & " =>\n"
+ (ada-accept-2)
+)
+
+
+(define-skeleton ada-or-accept
+ "Insert a or statement, prompting for the condition name."
+ ()
+ < "or\n"
+ (ada-accept)
+)
+
+
+(define-skeleton ada-or-delay
+ "Insert a delay statement, prompting for the delay value."
+ "[delay value]: "
+ < "or\n"
+ > "delay " str ";")
+
+
+(define-skeleton ada-or-terminate
+ "Insert a terminate statement."
+ ()
+ < "or\n"
+ > "terminate;")
+
+
+;; ----
+(defun ada-adjust-case-skeleton ()
+ "Adjusts the case of the text inserted by a skeleton."
+ (save-excursion
+ (let ((aa-end (point)))
+ (ada-adjust-case-region
+ (progn (goto-char beg) (forward-word -1) (point))
+ (goto-char aa-end))
+ )))
+
+
+;; ---- add menu 'Statements' in Ada mode (MH)
+(defun ada-add-statement-menu ()
+ "Adds the menu 'Statements' to the menu bar in Ada mode."
+ (easy-menu-define ada-stmt-menu ada-mode-map
+ "Menu for statement templates in Ada."
+ '("Statements"
+; ["Toggle Prompt/Pseudo Code" toggle-skeleton-no-prompt t]
+ ["Toggle: Debugging" ada-toggle-debugging t]
+; ["-------" nil nil]
+ ["Header" (ada-header) t]
+ ["-------" nil nil]
+ ["package Body" (ada-package-body) t]
+ ["package Spec" (ada-package-spec) t]
+ ["function Spec" (ada-function-spec) t]
+ ["procedure Spec" (ada-procedure-spec) t]
+ ["proc/func Body" (ada-subprogram-body) t]
+ ["task Body" (ada-task-body) t]
+ ["task Spec" (ada-task-spec) t]
+ ["declare Block" (ada-declare-block) t]
+ ["exception Block" (ada-exception-block) t]
+ ["------" nil nil]
+ ["entry" (ada-entry) t]
+ ["entry family" (ada-entry-family) t]
+ ["select" (ada-select) t]
+ ["accept" (ada-accept) t]
+ ["or accept" (ada-or-accept) t]
+ ["or delay" (ada-or-delay) t]
+ ["or terminate" (ada-or-terminate) t]
+ ["-----" nil nil]
+ ["type" (ada-type) t]
+ ["private" (ada-private) t]
+ ["subtype" (ada-subtype) t]
+ ["record" (ada-record) t]
+ ["array" (ada-array) t]
+ ["------" nil nil]
+ ["if" (ada-if) t]
+ ["else" (ada-else) t]
+ ["elsif" (ada-elsif) t]
+ ["case" (ada-case) t]
+ ["-----" nil nil]
+ ["while Loop" (ada-while-loop) t]
+ ["for Loop" (ada-for-loop) t]
+ ["loop" (ada-loop) t]
+ ["---" nil nil]
+ ["exception" (ada-exception) t]
+ ["exit" (ada-exit) t]
+ ["when" (ada-when) t]
+ ))
+ (if (ada-xemacs)
+ (progn
+ (easy-menu-add ada-stmt-menu)
+ (setq mode-popup-menu (cons "Ada Mode" ada-stmt-menu)))))
+
+
+
+(add-hook 'ada-mode-hook 'ada-add-statement-menu)
+(add-hook 'ada-mode-hook '(lambda ()
+ (setq skeleton-further-elements
+ '((< '(backward-delete-char-untabify
+ (min ada-indent (current-column))))))
+ (add-hook 'skeleton-end-hook
+ 'ada-adjust-case-skeleton)))
+
+(provide 'ada-stmt)
+
+;;; ada-stmt.el ends here
View Lorry Controller Status