annotate lisp/edebug/cl-specs.el @ 4:b82b59fe008d r19-15b3

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