comparison lisp/utils/derived.el @ 0:376386a54a3c r19-14

Import from CVS: tag r19-14
author cvs
date Mon, 13 Aug 2007 08:45:50 +0200
parents
children ac2d302a0011
comparison
equal deleted inserted replaced
-1:000000000000 0:376386a54a3c
1 ;;; derived.el --- allow inheritance of major modes.
2
3 ;;; (formerly mode-clone.el)
4
5 ;; Copyright (C) 1993, 1994 Free Software Foundation, Inc.
6
7 ;; Author: David Megginson (dmeggins@aix1.uottawa.ca)
8 ;; Keywords: extensions
9 ;; Maintainer: FSF
10
11 ;; This file is part of XEmacs.
12
13 ;; XEmacs is free software; you can redistribute it and/or modify it
14 ;; under the terms of the GNU General Public License as published by
15 ;; the Free Software Foundation; either version 2, or (at your option)
16 ;; any later version.
17
18 ;; XEmacs is distributed in the hope that it will be useful, but
19 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
21 ;; General Public License for more details.
22
23 ;; You should have received a copy of the GNU General Public License
24 ;; along with XEmacs; see the file COPYING. If not, write to the Free
25 ;; Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
26
27 ;;; Synched up with: FSF 19.30.
28
29 ;;; Commentary:
30
31 ;; GNU Emacs is already, in a sense, object oriented -- each object
32 ;; (buffer) belongs to a class (major mode), and that class defines
33 ;; the relationship between messages (input events) and methods
34 ;; (commands) by means of a keymap.
35 ;;
36 ;; The only thing missing is a good scheme of inheritance. It is
37 ;; possible to simulate a single level of inheritance with generous
38 ;; use of hooks and a bit of work -- sgml-mode, for example, also runs
39 ;; the hooks for text-mode, and keymaps can inherit from other keymaps
40 ;; -- but generally, each major mode ends up reinventing the wheel.
41 ;; Ideally, someone should redesign all of Emacs's major modes to
42 ;; follow a more conventional object-oriented system: when defining a
43 ;; new major mode, the user should need only to name the existing mode
44 ;; it is most similar to, then list the (few) differences.
45 ;;
46 ;; In the mean time, this package offers most of the advantages of
47 ;; full inheritance with the existing major modes. The macro
48 ;; `define-derived-mode' allows the user to make a variant of an existing
49 ;; major mode, with its own keymap. The new mode will inherit the key
50 ;; bindings of its parent, and will, in fact, run its parent first
51 ;; every time it is called. For example, the commands
52 ;;
53 ;; (define-derived-mode hypertext-mode text-mode "Hypertext"
54 ;; "Major mode for hypertext.\n\n\\{hypertext-mode-map}"
55 ;; (setq case-fold-search nil))
56 ;;
57 ;; (define-key hypertext-mode-map [down-mouse-3] 'do-hyper-link)
58 ;;
59 ;; will create a function `hypertext-mode' with its own (sparse)
60 ;; keymap `hypertext-mode-map.' The command M-x hypertext-mode will
61 ;; perform the following actions:
62 ;;
63 ;; - run the command (text-mode) to get its default setup
64 ;; - replace the current keymap with 'hypertext-mode-map,' which will
65 ;; inherit from 'text-mode-map'.
66 ;; - replace the current syntax table with
67 ;; 'hypertext-mode-syntax-table', which will borrow its defaults
68 ;; from the current text-mode-syntax-table.
69 ;; - replace the current abbrev table with
70 ;; 'hypertext-mode-abbrev-table', which will borrow its defaults
71 ;; from the current text-mode-abbrev table
72 ;; - change the mode line to read "Hypertext"
73 ;; - assign the value 'hypertext-mode' to the 'major-mode' variable
74 ;; - run the body of commands provided in the macro -- in this case,
75 ;; set the local variable `case-fold-search' to nil.
76 ;; - **run the command (hypertext-mode-setup), which is empty by
77 ;; default, but may be redefined by the user to contain special
78 ;; commands (ie. setting local variables like 'outline-regexp')
79 ;; **NOTE: do not use this option -- it will soon be obsolete.
80 ;; - run anything assigned to 'hypertext-mode-hooks' (obsolete, but
81 ;; supported for the sake of compatibility).
82 ;;
83 ;; The advantages of this system are threefold. First, text mode is
84 ;; untouched -- if you had added the new keystroke to `text-mode-map,'
85 ;; possibly using hooks, you would have added it to all text buffers
86 ;; -- here, it appears only in hypertext buffers, where it makes
87 ;; sense. Second, it is possible to build even further, and make
88 ;; a derived mode from a derived mode. The commands
89 ;;
90 ;; (define-derived-mode html-mode hypertext-mode "HTML")
91 ;; [various key definitions]
92 ;;
93 ;; will add a new major mode for HTML with very little fuss.
94 ;;
95 ;; Note also the function `derived-mode-class,' which returns the non-derived
96 ;; major mode which a derived mode is based on (ie. NOT necessarily the
97 ;; immediate parent).
98 ;;
99 ;; (derived-mode-class 'text-mode) ==> text-mode
100 ;; (derived-mode-class 'hypertext-mode) ==> text-mode
101 ;; (derived-mode-class 'html-mode) ==> text-mode
102
103 ;;; Code:
104
105 ;; PUBLIC: define a new major mode which inherits from an existing one.
106
107 (defmacro define-derived-mode (child parent name &optional docstring &rest body)
108 "Create a new mode as a variant of an existing mode.
109
110 The arguments to this command are as follow:
111
112 CHILD: the name of the command for the derived mode.
113 PARENT: the name of the command for the parent mode (ie. text-mode).
114 NAME: a string which will appear in the status line (ie. \"Hypertext\")
115 DOCSTRING: an optional documentation string--if you do not supply one,
116 the function will attempt to invent something useful.
117 BODY: forms to execute just before running the
118 hooks for the new mode.
119
120 Here is how you could define LaTeX-Thesis mode as a variant of LaTeX mode:
121
122 (define-derived-mode LaTeX-thesis-mode LaTeX-mode \"LaTeX-Thesis\")
123
124 You could then make new key bindings for `LaTeX-thesis-mode-map'
125 without changing regular LaTeX mode. In this example, BODY is empty,
126 and DOCSTRING is generated by default.
127
128 On a more complicated level, the following command uses sgml-mode as
129 the parent, and then sets the variable `case-fold-search' to nil:
130
131 (define-derived-mode article-mode sgml-mode \"Article\"
132 \"Major mode for editing technical articles.\"
133 (setq case-fold-search nil))
134
135 Note that if the documentation string had been left out, it would have
136 been generated automatically, with a reference to the keymap."
137
138 ; Some trickiness, since what
139 ; appears to be the docstring
140 ; may really be the first
141 ; element of the body.
142 (if (and docstring (not (stringp docstring)))
143 (progn (setq body (cons docstring body))
144 (setq docstring nil)))
145 (setq docstring (or docstring (derived-mode-make-docstring parent child)))
146
147 (` (progn
148 (derived-mode-init-mode-variables (quote (, child)))
149 (defun (, child) ()
150 (, docstring)
151 (interactive)
152 ; Run the parent.
153 ((, parent))
154 ; Identify special modes.
155 (if (get (quote (, parent)) 'special)
156 (put (quote (, child)) 'special t))
157 ;; XEmacs addition
158 (let ((mode-class (get (quote (, parent)) 'mode-class)))
159 (if mode-class
160 (put (quote (, child)) 'mode-class mode-class)))
161 ; Identify the child mode.
162 (setq major-mode (quote (, child)))
163 (setq mode-name (, name))
164 ; Set up maps and tables.
165 (derived-mode-set-keymap (quote (, child)))
166 (derived-mode-set-syntax-table (quote (, child)))
167 (derived-mode-set-abbrev-table (quote (, child)))
168 ; Splice in the body (if any).
169 (,@ body)
170 ;;; ; Run the setup function, if
171 ;;; ; any -- this will soon be
172 ;;; ; obsolete.
173 ;;; (derived-mode-run-setup-function (quote (, child)))
174 ; Run the hooks, if any.
175 (derived-mode-run-hooks (quote (, child)))))))
176
177
178 ;; PUBLIC: find the ultimate class of a derived mode.
179
180 (defun derived-mode-class (mode)
181 "Find the class of a major mode.
182 A mode's class is the first ancestor which is NOT a derived mode.
183 Use the `derived-mode-parent' property of the symbol to trace backwards."
184 (while (get mode 'derived-mode-parent)
185 (setq mode (get mode 'derived-mode-parent)))
186 mode)
187
188
189 ;; Inline functions to construct various names from a mode name.
190
191 (defsubst derived-mode-setup-function-name (mode)
192 "Construct a setup-function name based on a mode name."
193 (intern (concat (symbol-name mode) "-setup")))
194
195 (defsubst derived-mode-hooks-name (mode)
196 "Construct a hooks name based on a mode name."
197 ;; XEmacs change from -hooks
198 (intern (concat (symbol-name mode) "-hook")))
199
200 (defsubst derived-mode-map-name (mode)
201 "Construct a map name based on a mode name."
202 (intern (concat (symbol-name mode) "-map")))
203
204 (defsubst derived-mode-syntax-table-name (mode)
205 "Construct a syntax-table name based on a mode name."
206 (intern (concat (symbol-name mode) "-syntax-table")))
207
208 (defsubst derived-mode-abbrev-table-name (mode)
209 "Construct an abbrev-table name based on a mode name."
210 (intern (concat (symbol-name mode) "-abbrev-table")))
211
212
213 ;; Utility functions for defining a derived mode.
214
215 (defun derived-mode-init-mode-variables (mode)
216 "Initialise variables for a new mode.
217 Right now, if they don't already exist, set up a blank keymap, an
218 empty syntax table, and an empty abbrev table -- these will be merged
219 the first time the mode is used."
220
221 (if (boundp (derived-mode-map-name mode))
222 t
223 (eval (` (defvar (, (derived-mode-map-name mode))
224 (make-sparse-keymap (derived-mode-map-name mode))
225 (, (format "Keymap for %s." mode)))))
226 (put (derived-mode-map-name mode) 'derived-mode-unmerged t))
227
228 (if (boundp (derived-mode-syntax-table-name mode))
229 t
230 (eval (` (defvar (, (derived-mode-syntax-table-name mode))
231 (make-syntax-table)
232 (, (format "Syntax table for %s." mode)))))
233 (put (derived-mode-syntax-table-name mode) 'derived-mode-unmerged t))
234
235 (if (boundp (derived-mode-abbrev-table-name mode))
236 t
237 (eval (` (defvar (, (derived-mode-abbrev-table-name mode))
238 (progn (define-abbrev-table (derived-mode-abbrev-table-name mode) nil)
239 (make-abbrev-table))
240 (, (format "Abbrev table for %s." mode)))))))
241
242 (defun derived-mode-make-docstring (parent child)
243 "Construct a docstring for a new mode if none is provided."
244
245 (format "This major mode is a variant of `%s', created by `define-derived-mode'.
246 It inherits all of the parent's attributes, but has its own keymap,
247 abbrev table and syntax table:
248
249 `%s-map' and `%s-syntax-table'
250
251 which more-or-less shadow
252
253 `%s-map' and `%s-syntax-table'
254
255 \\{%s-map}" parent child child parent parent child))
256
257
258 ;; Utility functions for running a derived mode.
259
260 (defun derived-mode-set-keymap (mode)
261 "Set the keymap of the new mode, maybe merging with the parent."
262 (let* ((map-name (derived-mode-map-name mode))
263 (new-map (eval map-name))
264 (old-map (current-local-map)))
265 (and old-map
266 (get map-name 'derived-mode-unmerged)
267 (derived-mode-merge-keymaps old-map new-map))
268 (put map-name 'derived-mode-unmerged nil)
269 (use-local-map new-map)))
270
271 (defun derived-mode-set-syntax-table (mode)
272 "Set the syntax table of the new mode, maybe merging with the parent."
273 (let* ((table-name (derived-mode-syntax-table-name mode))
274 (old-table (syntax-table))
275 (new-table (eval table-name)))
276 (if (get table-name 'derived-mode-unmerged)
277 (derived-mode-merge-syntax-tables old-table new-table))
278 (put table-name 'derived-mode-unmerged nil)
279 (set-syntax-table new-table)))
280
281 (defun derived-mode-set-abbrev-table (mode)
282 "Set the abbrev table if it exists.
283 Always merge its parent into it, since the merge is non-destructive."
284 (let* ((table-name (derived-mode-abbrev-table-name mode))
285 (old-table local-abbrev-table)
286 (new-table (eval table-name)))
287 (derived-mode-merge-abbrev-tables old-table new-table)
288 (setq local-abbrev-table new-table)))
289
290 ;;;(defun derived-mode-run-setup-function (mode)
291 ;;; "Run the setup function if it exists."
292
293 ;;; (let ((fname (derived-mode-setup-function-name mode)))
294 ;;; (if (fboundp fname)
295 ;;; (funcall fname))))
296
297 (defun derived-mode-run-hooks (mode)
298 "Run the hooks if they exist."
299
300 (let ((hooks-name (derived-mode-hooks-name mode)))
301 (if (boundp hooks-name)
302 (run-hooks hooks-name))))
303
304 ;; Functions to merge maps and tables.
305
306 (defun derived-mode-merge-keymaps (old new)
307 "Merge an old keymap into a new one.
308 The old keymap is set to be the parent of the new one, so that there will
309 be automatic inheritance."
310 ;; XEmacs change. FSF 19.30 has a whole bunch of weird crap here
311 ;; for merging prefix keys and such. Hopefully none of this is
312 ;; necessary in XEmacs.
313 (set-keymap-parents new (list old)))
314
315 (defun derived-mode-merge-syntax-tables (old new)
316 "Merge an old syntax table into a new one.
317 Where the new table already has an entry, nothing is copied from the old one."
318 (let ((idx 0)
319 (end (min (length new) (length old))))
320 (while (< idx end)
321 (if (not (aref new idx))
322 (aset new idx (aref old idx)))
323 (setq idx (1+ idx)))))
324
325 ;; Merge an old abbrev table into a new one.
326 ;; This function requires internal knowledge of how abbrev tables work,
327 ;; presuming that they are obarrays with the abbrev as the symbol, the expansion
328 ;; as the value of the symbol, and the hook as the function definition.
329 (defun derived-mode-merge-abbrev-tables (old new)
330 (if old
331 (mapatoms
332 (function
333 (lambda (symbol)
334 (or (intern-soft (symbol-name symbol) new)
335 (define-abbrev new (symbol-name symbol)
336 (symbol-value symbol) (symbol-function symbol)))))
337 old)))
338
339 (provide 'derived)
340
341 ;;; derived.el ends here