Mercurial > emacs
annotate lisp/emacs-lisp/cl-specs.el @ 105008:b9b9c3b2718d
(elint-add-required-env): Revert to not using temp-buffers (2009-09-12).
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Mon, 14 Sep 2009 00:48:06 +0000 |
parents | e7c02c708bb1 |
children | 1d1d5d9bd884 |
rev | line source |
---|---|
47726
33d53d287ee4
Add "no-byte-compile: t" in first line.
Juanma Barranquero <lekktu@gmail.com>
parents:
38436
diff
changeset
|
1 ;;; cl-specs.el --- Edebug specs for cl.el -*- no-byte-compile: t -*- |
6491 | 2 |
74466 | 3 ;; Copyright (C) 1993, 2001, 2002, 2003, 2004, 2005, |
100908 | 4 ;; 2006, 2007, 2008, 2009 Free Software Foundation, Inc. |
30805
3cfd3dc474b8
Change authors' mail address.
Gerd Moellmann <gerd@gnu.org>
parents:
28571
diff
changeset
|
5 ;; Author: Daniel LaLiberte <liberte@holonexus.org> |
6491 | 6 ;; Keywords: lisp, tools, maint |
7 | |
8 ;; LCD Archive Entry: | |
30805
3cfd3dc474b8
Change authors' mail address.
Gerd Moellmann <gerd@gnu.org>
parents:
28571
diff
changeset
|
9 ;; cl-specs.el|Daniel LaLiberte|liberte@holonexus.org |
6491 | 10 ;; |Edebug specs for cl.el |
11 | |
12 ;; This file is part of GNU Emacs. | |
13 | |
94655
90a2847062be
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
14 ;; GNU Emacs is free software: you can redistribute it and/or modify |
6491 | 15 ;; it under the terms of the GNU General Public License as published by |
94655
90a2847062be
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
16 ;; the Free Software Foundation, either version 3 of the License, or |
90a2847062be
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
17 ;; (at your option) any later version. |
6491 | 18 |
19 ;; GNU Emacs is distributed in the hope that it will be useful, | |
20 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
21 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
22 ;; GNU General Public License for more details. | |
23 | |
24 ;; You should have received a copy of the GNU General Public License | |
94655
90a2847062be
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
25 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
6491 | 26 |
38436
b174db545cfd
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
30805
diff
changeset
|
27 ;;; Commentary: |
6491 | 28 |
29 ;; These specs are to be used with edebug.el version 3.3 or later and | |
30 ;; cl.el version 2.03 or later, by Dave Gillespie <daveg@synaptics.com>. | |
31 | |
14040 | 32 ;; This file need not be byte-compiled, but it shouldn't hurt. |
6491 | 33 |
38436
b174db545cfd
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
30805
diff
changeset
|
34 ;;; Code: |
b174db545cfd
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
30805
diff
changeset
|
35 |
6491 | 36 (provide 'cl-specs) |
37 ;; Do the above provide before the following require. | |
38 ;; Otherwise if you load this before edebug if cl is already loaded | |
39 ;; an infinite loading loop would occur. | |
40 (require 'edebug) | |
41 | |
42 ;; Blocks | |
43 | |
44 (def-edebug-spec block (symbolp body)) | |
45 (def-edebug-spec return (&optional form)) | |
46 (def-edebug-spec return-from (symbolp &optional form)) | |
47 | |
48 ;; Loops | |
49 | |
50 (def-edebug-spec case (form &rest (sexp body))) | |
51 (def-edebug-spec ecase case) | |
52 (def-edebug-spec do | |
53 ((&rest &or symbolp (symbolp &optional form form)) | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
54 (form body) |
6491 | 55 cl-declarations body)) |
56 (def-edebug-spec do* do) | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
57 (def-edebug-spec dolist |
6491 | 58 ((symbolp form &optional form) cl-declarations body)) |
59 (def-edebug-spec dotimes dolist) | |
60 (def-edebug-spec do-symbols | |
61 ((symbolp &optional form form) cl-declarations body)) | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
62 (def-edebug-spec do-all-symbols |
6491 | 63 ((symbolp &optional form) cl-declarations body)) |
64 | |
65 ;; Multiple values | |
66 | |
67 (def-edebug-spec multiple-value-list (form)) | |
68 (def-edebug-spec multiple-value-call (function-form body)) | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
69 (def-edebug-spec multiple-value-bind |
6491 | 70 ((&rest symbolp) form cl-declarations body)) |
71 (def-edebug-spec multiple-value-setq ((&rest symbolp) form)) | |
72 (def-edebug-spec multiple-value-prog1 (form body)) | |
73 | |
74 ;; Bindings | |
75 | |
76 (def-edebug-spec lexical-let let) | |
77 (def-edebug-spec lexical-let* let) | |
78 | |
79 (def-edebug-spec psetq setq) | |
80 (def-edebug-spec progv (form form body)) | |
81 | |
82 (def-edebug-spec flet ((&rest (defun*)) cl-declarations body)) | |
83 (def-edebug-spec labels flet) | |
84 | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
85 (def-edebug-spec macrolet |
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
86 ((&rest (&define name (&rest arg) cl-declarations-or-string def-body)) |
6491 | 87 cl-declarations body)) |
88 | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
89 (def-edebug-spec symbol-macrolet |
6491 | 90 ((&rest (symbol sexp)) cl-declarations body)) |
91 | |
92 (def-edebug-spec destructuring-bind | |
95109
88a6289c23cb
(destructuring-bind): Fix spec.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
94655
diff
changeset
|
93 (&define cl-macro-list def-form cl-declarations def-body)) |
6491 | 94 |
95 ;; Setf | |
96 | |
97 (def-edebug-spec setf (&rest [place form])) ;; sexp is not specific enough | |
98 (def-edebug-spec psetf setf) | |
99 | |
100 (def-edebug-spec letf ;; *not* available in Common Lisp | |
101 ((&rest (gate place &optional form)) | |
102 body)) | |
103 (def-edebug-spec letf* letf) | |
104 | |
105 | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
106 (def-edebug-spec defsetf |
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
107 (&define name |
6491 | 108 [&or [symbolp &optional stringp] |
109 [cl-lambda-list (symbolp)]] | |
110 cl-declarations-or-string def-body)) | |
111 | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
112 (def-edebug-spec define-setf-method |
6491 | 113 (&define name cl-lambda-list cl-declarations-or-string def-body)) |
114 | |
115 (def-edebug-spec define-modify-macro | |
116 (&define name cl-lambda-list ;; should exclude &key | |
117 symbolp &optional stringp)) | |
118 | |
119 (def-edebug-spec callf (function* place &rest form)) | |
120 (def-edebug-spec callf2 (function* form place &rest form)) | |
121 | |
122 ;; Other operations on places | |
123 | |
124 (def-edebug-spec remf (place form)) | |
125 | |
126 (def-edebug-spec incf (place &optional form)) | |
127 (def-edebug-spec decf incf) | |
28571 | 128 (def-edebug-spec push (form place)) ; different for CL |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
129 (def-edebug-spec pushnew |
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
130 (form place &rest |
6491 | 131 &or [[&or ":test" ":test-not" ":key"] function-form] |
51582
7e55c8dd414b
(pushnew): Use keywordp.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
49598
diff
changeset
|
132 [keywordp form])) |
28571 | 133 (def-edebug-spec pop (place)) ; different for CL |
6491 | 134 |
135 (def-edebug-spec shiftf (&rest place)) ;; really [&rest place] form | |
136 (def-edebug-spec rotatef (&rest place)) | |
137 | |
138 | |
139 ;; Functions with function args. These are only useful if the | |
140 ;; function arg is quoted with ' instead of function. | |
141 | |
142 (def-edebug-spec some (function-form form &rest form)) | |
143 (def-edebug-spec every some) | |
144 (def-edebug-spec notany some) | |
145 (def-edebug-spec notevery some) | |
146 | |
147 ;; Mapping | |
148 | |
149 (def-edebug-spec map (form function-form form &rest form)) | |
150 (def-edebug-spec maplist (function-form form &rest form)) | |
151 (def-edebug-spec mapc maplist) | |
152 (def-edebug-spec mapl maplist) | |
153 (def-edebug-spec mapcan maplist) | |
154 (def-edebug-spec mapcon maplist) | |
155 | |
156 ;; Sequences | |
157 | |
158 (def-edebug-spec reduce (function-form form &rest form)) | |
159 | |
160 ;; Types and assertions | |
161 | |
162 (def-edebug-spec cl-type-spec (sexp)) ;; not worth the trouble to specify, yet. | |
163 | |
164 (def-edebug-spec deftype defmacro*) | |
165 (def-edebug-spec check-type (place cl-type-spec &optional stringp)) | |
166 ;; (def-edebug-spec assert (form &optional form stringp &rest form)) | |
167 (def-edebug-spec assert (form &rest form)) | |
168 (def-edebug-spec typecase (form &rest ([&or cl-type-spec "otherwise"] body))) | |
169 (def-edebug-spec etypecase typecase) | |
170 | |
171 (def-edebug-spec ignore-errors t) | |
172 | |
173 ;; Time of Evaluation | |
174 | |
175 (def-edebug-spec eval-when | |
176 ((&rest &or "compile" "load" "eval") body)) | |
177 (def-edebug-spec load-time-value (form &optional &or "t" "nil")) | |
178 | |
179 ;; Declarations | |
180 | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
181 (def-edebug-spec cl-decl-spec |
6491 | 182 ((symbolp &rest sexp))) |
183 | |
184 (def-edebug-spec cl-declarations | |
185 (&rest ("declare" &rest cl-decl-spec))) | |
186 | |
187 (def-edebug-spec cl-declarations-or-string | |
188 (&or stringp cl-declarations)) | |
189 | |
190 (def-edebug-spec declaim (&rest cl-decl-spec)) | |
191 (def-edebug-spec declare (&rest cl-decl-spec)) ;; probably not needed. | |
192 (def-edebug-spec locally (cl-declarations &rest form)) | |
193 (def-edebug-spec the (cl-type-spec form)) | |
194 | |
195 ;;====================================================== | |
196 ;; Lambda things | |
197 | |
198 (def-edebug-spec cl-lambda-list | |
199 (([&rest arg] | |
200 [&optional ["&optional" cl-&optional-arg &rest cl-&optional-arg]] | |
201 [&optional ["&rest" arg]] | |
202 [&optional ["&key" [cl-&key-arg &rest cl-&key-arg] | |
27526
a71509a64082
(cl-lambda-list, cl-macro-list)
Gerd Moellmann <gerd@gnu.org>
parents:
23513
diff
changeset
|
203 &optional "&allow-other-keys"]] |
6491 | 204 [&optional ["&aux" &rest |
205 &or (symbolp &optional def-form) symbolp]] | |
206 ))) | |
207 | |
208 (def-edebug-spec cl-&optional-arg | |
209 (&or (arg &optional def-form arg) arg)) | |
210 | |
211 (def-edebug-spec cl-&key-arg | |
212 (&or ([&or (symbolp arg) arg] &optional def-form arg) arg)) | |
213 | |
214 ;; The lambda list for macros is different from that of normal lambdas. | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
215 ;; Note that &environment is only allowed as first or last items in the |
6491 | 216 ;; top level list. |
217 | |
218 (def-edebug-spec cl-macro-list | |
219 (([&optional "&environment" arg] | |
220 [&rest cl-macro-arg] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
221 [&optional ["&optional" &rest |
6491 | 222 &or (cl-macro-arg &optional def-form cl-macro-arg) arg]] |
223 [&optional [[&or "&rest" "&body"] cl-macro-arg]] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
224 [&optional ["&key" [&rest |
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
225 [&or ([&or (symbolp cl-macro-arg) arg] |
6491 | 226 &optional def-form cl-macro-arg) |
227 arg]] | |
27526
a71509a64082
(cl-lambda-list, cl-macro-list)
Gerd Moellmann <gerd@gnu.org>
parents:
23513
diff
changeset
|
228 &optional "&allow-other-keys"]] |
6491 | 229 [&optional ["&aux" &rest |
230 &or (symbolp &optional def-form) symbolp]] | |
231 [&optional "&environment" arg] | |
232 ))) | |
233 | |
234 (def-edebug-spec cl-macro-arg | |
235 (&or arg cl-macro-list1)) | |
236 | |
237 (def-edebug-spec cl-macro-list1 | |
238 (([&optional "&whole" arg] ;; only allowed at lower levels | |
239 [&rest cl-macro-arg] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
240 [&optional ["&optional" &rest |
6491 | 241 &or (cl-macro-arg &optional def-form cl-macro-arg) arg]] |
242 [&optional [[&or "&rest" "&body"] cl-macro-arg]] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
243 [&optional ["&key" [&rest |
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
244 [&or ([&or (symbolp cl-macro-arg) arg] |
6491 | 245 &optional def-form cl-macro-arg) |
246 arg]] | |
27526
a71509a64082
(cl-lambda-list, cl-macro-list)
Gerd Moellmann <gerd@gnu.org>
parents:
23513
diff
changeset
|
247 &optional "&allow-other-keys"]] |
6491 | 248 [&optional ["&aux" &rest |
249 &or (symbolp &optional def-form) symbolp]] | |
250 . [&or arg nil]))) | |
251 | |
252 | |
253 (def-edebug-spec defun* | |
254 ;; Same as defun but use cl-lambda-list. | |
255 (&define [&or name | |
256 ("setf" :name setf name)] | |
257 cl-lambda-list | |
258 cl-declarations-or-string | |
259 [&optional ("interactive" interactive)] | |
260 def-body)) | |
261 (def-edebug-spec defsubst* defun*) | |
262 | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
263 (def-edebug-spec defmacro* |
6491 | 264 (&define name cl-macro-list cl-declarations-or-string def-body)) |
265 (def-edebug-spec define-compiler-macro defmacro*) | |
266 | |
267 | |
268 (def-edebug-spec function* | |
269 (&or symbolp cl-lambda-expr)) | |
270 | |
271 (def-edebug-spec cl-lambda-expr | |
272 (&define ("lambda" cl-lambda-list | |
273 ;;cl-declarations-or-string | |
274 ;;[&optional ("interactive" interactive)] | |
275 def-body))) | |
276 | |
277 ;; Redefine function-form to also match function* | |
278 (def-edebug-spec function-form | |
279 ;; form at the end could also handle "function", | |
280 ;; but recognize it specially to avoid wrapping function forms. | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
281 (&or ([&or "quote" "function"] &or symbolp lambda-expr) |
23513
0a3fa36b323b
(function-form): Fix spec for
Andreas Schwab <schwab@suse.de>
parents:
14169
diff
changeset
|
282 ("function*" function*) |
6491 | 283 form)) |
284 | |
285 ;;====================================================== | |
286 ;; Structures | |
287 ;; (def-edebug-spec defstruct (&rest sexp)) would be sufficient, but... | |
288 | |
289 ;; defstruct may contain forms that are evaluated when a structure is created. | |
290 (def-edebug-spec defstruct | |
291 (&define ; makes top-level form not be wrapped | |
292 [&or symbolp | |
293 (gate | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
294 symbolp &rest |
103606
e7c02c708bb1
(defstruct): Fix :conc-name spec.
Johan Bockgård <bojohan@gnu.org>
parents:
100908
diff
changeset
|
295 (&or [":conc-name" symbolp] |
6491 | 296 [":constructor" symbolp &optional cl-lambda-list] |
297 [":copier" symbolp] | |
298 [":predicate" symbolp] | |
299 [":include" symbolp &rest sexp];; not finished | |
300 ;; The following are not supported. | |
301 ;; [":print-function" ...] | |
302 ;; [":type" ...] | |
303 ;; [":initial-offset" ...] | |
304 ))] | |
305 [&optional stringp] | |
306 ;; All the above is for the following def-form. | |
307 &rest &or symbolp (symbolp def-form &optional ":read-only" sexp))) | |
308 | |
309 ;;====================================================== | |
310 ;; Loop | |
311 | |
312 ;; The loop macro is very complex, and a full spec is found below. | |
313 ;; The following spec only minimally specifies that | |
314 ;; parenthesized forms are executable, but single variables used as | |
315 ;; expressions will be missed. You may want to use this if the full | |
316 ;; spec causes problems for you. | |
317 | |
318 (def-edebug-spec loop | |
319 (&rest &or symbolp form)) | |
320 | |
321 ;; Below is a complete spec for loop, in several parts that correspond | |
322 ;; to the syntax given in CLtL2. The specs do more than specify where | |
323 ;; the forms are; it also specifies, as much as Edebug allows, all the | |
80041
0536275b0f41
*** empty log message ***
Juanma Barranquero <lekktu@gmail.com>
parents:
79704
diff
changeset
|
324 ;; syntactically valid loop clauses. The disadvantage of this |
6491 | 325 ;; completeness is rigidity, but the "for ... being" clause allows |
326 ;; arbitrary extensions of the form: [symbolp &rest &or symbolp form]. | |
327 | |
328 (def-edebug-spec loop | |
329 ([&optional ["named" symbolp]] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
330 [&rest |
6491 | 331 &or |
332 ["repeat" form] | |
333 loop-for-as | |
334 loop-with | |
335 loop-initial-final] | |
336 [&rest loop-clause] | |
337 )) | |
338 | |
339 (def-edebug-spec loop-with | |
340 ("with" loop-var | |
341 loop-type-spec | |
342 [&optional ["=" form]] | |
343 &rest ["and" loop-var | |
344 loop-type-spec | |
345 [&optional ["=" form]]])) | |
346 | |
347 (def-edebug-spec loop-for-as | |
348 ([&or "for" "as"] loop-for-as-subclause | |
349 &rest ["and" loop-for-as-subclause])) | |
350 | |
351 (def-edebug-spec loop-for-as-subclause | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
352 (loop-var |
6491 | 353 loop-type-spec |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
354 &or |
6491 | 355 [[&or "in" "on" "in-ref" "across-ref"] |
356 form &optional ["by" function-form]] | |
357 | |
358 ["=" form &optional ["then" form]] | |
359 ["across" form] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
360 ["being" |
6491 | 361 [&or "the" "each"] |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
362 &or |
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
363 [[&or "element" "elements"] |
6491 | 364 [&or "of" "in" "of-ref"] form |
365 &optional "using" ["index" symbolp]];; is this right? | |
366 [[&or "hash-key" "hash-keys" | |
367 "hash-value" "hash-values"] | |
368 [&or "of" "in"] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
369 hash-table-p &optional ["using" ([&or "hash-value" "hash-values" |
6491 | 370 "hash-key" "hash-keys"] sexp)]] |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
371 |
6491 | 372 [[&or "symbol" "present-symbol" "external-symbol" |
373 "symbols" "present-symbols" "external-symbols"] | |
374 [&or "in" "of"] package-p] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
375 |
6491 | 376 ;; Extensions for Emacs Lisp, including Lucid Emacs. |
377 [[&or "frame" "frames" | |
378 "screen" "screens" | |
379 "buffer" "buffers"]] | |
380 | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
381 [[&or "window" "windows"] |
6491 | 382 [&or "of" "in"] form] |
383 | |
384 [[&or "overlay" "overlays" | |
385 "extent" "extents"] | |
386 [&or "of" "in"] form | |
387 &optional [[&or "from" "to"] form]] | |
388 | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
389 [[&or "interval" "intervals"] |
6491 | 390 [&or "in" "of"] form |
391 &optional [[&or "from" "to"] form] | |
392 ["property" form]] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
393 |
6491 | 394 [[&or "key-code" "key-codes" |
395 "key-seq" "key-seqs" | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
396 "key-binding" "key-bindings"] |
6491 | 397 [&or "in" "of"] form |
398 &optional ["using" ([&or "key-code" "key-codes" | |
399 "key-seq" "key-seqs" | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
400 "key-binding" "key-bindings"] |
6491 | 401 sexp)]] |
402 ;; For arbitrary extensions, recognize anything else. | |
403 [symbolp &rest &or symbolp form] | |
404 ] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
405 |
6491 | 406 ;; arithmetic - must be last since all parts are optional. |
407 [[&optional [[&or "from" "downfrom" "upfrom"] form]] | |
408 [&optional [[&or "to" "downto" "upto" "below" "above"] form]] | |
409 [&optional ["by" form]] | |
410 ])) | |
411 | |
412 (def-edebug-spec loop-initial-final | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
413 (&or ["initially" |
14040 | 414 ;; [&optional &or "do" "doing"] ;; CLtL2 doesn't allow this. |
6491 | 415 &rest loop-non-atomic-expr] |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
416 ["finally" &or |
6491 | 417 [[&optional &or "do" "doing"] &rest loop-non-atomic-expr] |
418 ["return" form]])) | |
419 | |
420 (def-edebug-spec loop-and-clause | |
421 (loop-clause &rest ["and" loop-clause])) | |
422 | |
423 (def-edebug-spec loop-clause | |
424 (&or | |
425 [[&or "while" "until" "always" "never" "thereis"] form] | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
426 |
6491 | 427 [[&or "collect" "collecting" |
428 "append" "appending" | |
429 "nconc" "nconcing" | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
430 "concat" "vconcat"] form |
6491 | 431 [&optional ["into" loop-var]]] |
432 | |
433 [[&or "count" "counting" | |
434 "sum" "summing" | |
435 "maximize" "maximizing" | |
436 "minimize" "minimizing"] form | |
437 [&optional ["into" loop-var]] | |
438 loop-type-spec] | |
439 | |
440 [[&or "if" "when" "unless"] | |
441 form loop-and-clause | |
442 [&optional ["else" loop-and-clause]] | |
443 [&optional "end"]] | |
444 | |
445 [[&or "do" "doing"] &rest loop-non-atomic-expr] | |
446 | |
447 ["return" form] | |
448 loop-initial-final | |
449 )) | |
450 | |
451 (def-edebug-spec loop-non-atomic-expr | |
452 ([¬ atom] form)) | |
453 | |
454 (def-edebug-spec loop-var | |
455 ;; The symbolp must be last alternative to recognize e.g. (a b . c) | |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
47726
diff
changeset
|
456 ;; loop-var => |
6491 | 457 ;; (loop-var . [&or nil loop-var]) |
458 ;; (symbolp . [&or nil loop-var]) | |
459 ;; (symbolp . loop-var) | |
460 ;; (symbolp . (symbolp . [&or nil loop-var])) | |
461 ;; (symbolp . (symbolp . loop-var)) | |
462 ;; (symbolp . (symbolp . symbolp)) == (symbolp symbolp . symbolp) | |
463 (&or (loop-var . [&or nil loop-var]) [gate symbolp])) | |
464 | |
465 (def-edebug-spec loop-type-spec | |
466 (&optional ["of-type" loop-d-type-spec])) | |
467 | |
468 (def-edebug-spec loop-d-type-spec | |
469 (&or (loop-d-type-spec . [&or nil loop-d-type-spec]) cl-type-spec)) | |
470 | |
93975
1e3a407766b9
Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
80041
diff
changeset
|
471 ;; arch-tag: b29aa3c2-cf67-4af8-9ee1-318fea61b478 |
38436
b174db545cfd
Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents:
30805
diff
changeset
|
472 ;;; cl-specs.el ends here |