* keyboard.c (Fopen_dribble_file): Avoid some races.
[bpt/emacs.git] / src / syntax.c
CommitLineData
8489eb67 1/* GNU Emacs routines to deal with syntax tables; also word and list parsing.
ba318903 2 Copyright (C) 1985, 1987, 1993-1995, 1997-1999, 2001-2014 Free
ab422c4d 3 Software Foundation, Inc.
8489eb67
RS
4
5This file is part of GNU Emacs.
6
9ec0b715 7GNU Emacs is free software: you can redistribute it and/or modify
8489eb67 8it under the terms of the GNU General Public License as published by
9ec0b715
GM
9the Free Software Foundation, either version 3 of the License, or
10(at your option) any later version.
8489eb67
RS
11
12GNU Emacs is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
9ec0b715 18along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
8489eb67
RS
19
20
18160b98 21#include <config.h>
1b2de274 22
1b2de274 23#include <sys/types.h>
0328b6de 24
8489eb67
RS
25#include "lisp.h"
26#include "commands.h"
5c7b02ab 27#include "character.h"
e5560ff7 28#include "buffer.h"
e35f6ff7 29#include "keymap.h"
a1bc88d4 30#include "regex.h"
195d1361 31
8489eb67 32#include "syntax.h"
195d1361 33#include "intervals.h"
c5683ceb
SM
34#include "category.h"
35
c6cfd910
PE
36/* Make syntax table lookup grant data in gl_state. */
37#define SYNTAX(c) syntax_property (c, 1)
38#define SYNTAX_ENTRY(c) syntax_property_entry (c, 1)
39#define SYNTAX_WITH_FLAGS(c) syntax_property_with_flags (c, 1)
40
1fc71008 41/* Eight single-bit flags have the following meanings:
c5683ceb
SM
42 1. This character is the first of a two-character comment-start sequence.
43 2. This character is the second of a two-character comment-start sequence.
44 3. This character is the first of a two-character comment-end sequence.
45 4. This character is the second of a two-character comment-end sequence.
46 5. This character is a prefix, for backward-prefix-chars.
47 6. The char is part of a delimiter for comments of style "b".
48 7. This character is part of a nestable comment sequence.
49 8. The char is part of a delimiter for comments of style "c".
50 Note that any two-character sequence whose first character has flag 1
51 and whose second character has flag 2 will be interpreted as a comment start.
52
1fc71008 53 Bits 6 and 8 discriminate among different comment styles.
c5683ceb 54 Languages such as C++ allow two orthogonal syntax start/end pairs
1fc71008 55 and bit 6 determines whether a comment-end or Scommentend
c5683ceb
SM
56 ends style a or b. Comment markers can start style a, b, c, or bc.
57 Style a is always the default.
1fc71008 58 For 2-char comment markers, the style b flag is looked up only on the second
c5683ceb 59 char of the comment marker and on the first char of the comment ender.
1fc71008
PE
60 For style c (like the nested flag), the flag can be placed on any of
61 the chars. */
c5683ceb 62
45b683a1 63/* These functions extract specific flags from an integer
c5683ceb
SM
64 that holds the syntax code and the flags. */
65
45b683a1
PE
66static bool
67SYNTAX_FLAGS_COMSTART_FIRST (int flags)
68{
69 return (flags >> 16) & 1;
70}
71static bool
72SYNTAX_FLAGS_COMSTART_SECOND (int flags)
73{
74 return (flags >> 17) & 1;
75}
76static bool
77SYNTAX_FLAGS_COMEND_FIRST (int flags)
78{
79 return (flags >> 18) & 1;
80}
81static bool
82SYNTAX_FLAGS_COMEND_SECOND (int flags)
83{
84 return (flags >> 19) & 1;
85}
86static bool
87SYNTAX_FLAGS_PREFIX (int flags)
88{
89 return (flags >> 20) & 1;
90}
91static bool
92SYNTAX_FLAGS_COMMENT_STYLEB (int flags)
93{
94 return (flags >> 21) & 1;
95}
96static bool
97SYNTAX_FLAGS_COMMENT_STYLEC (int flags)
98{
99 return (flags >> 23) & 1;
100}
101static int
102SYNTAX_FLAGS_COMMENT_STYLEC2 (int flags)
103{
104 return (flags >> 22) & 2; /* SYNTAX_FLAGS_COMMENT_STYLEC (flags) * 2 */
105}
106static bool
107SYNTAX_FLAGS_COMMENT_NESTED (int flags)
108{
109 return (flags >> 22) & 1;
110}
c5683ceb 111
c5683ceb
SM
112/* FLAGS should be the flags of the main char of the comment marker, e.g.
113 the second for comstart and the first for comend. */
45b683a1
PE
114static int
115SYNTAX_FLAGS_COMMENT_STYLE (int flags, int other_flags)
116{
117 return (SYNTAX_FLAGS_COMMENT_STYLEB (flags)
118 | SYNTAX_FLAGS_COMMENT_STYLEC2 (flags)
119 | SYNTAX_FLAGS_COMMENT_STYLEC2 (other_flags));
120}
c5683ceb 121
45b683a1 122/* Extract a particular flag for a given character. */
c5683ceb 123
45b683a1
PE
124static bool
125SYNTAX_COMEND_FIRST (int c)
126{
127 return SYNTAX_FLAGS_COMEND_FIRST (SYNTAX_WITH_FLAGS (c));
128}
195d1361
RS
129
130/* We use these constants in place for comment-style and
45b683a1 131 string-ender-char to distinguish comments/strings started by
195d1361
RS
132 comment_fence and string_fence codes. */
133
45b683a1
PE
134enum
135 {
136 ST_COMMENT_STYLE = 256 + 1,
137 ST_STRING_STYLE = 256 + 2
138 };
8489eb67 139
955cbe7b
PE
140static Lisp_Object Qsyntax_table_p;
141static Lisp_Object Qsyntax_table, Qscan_error;
8489eb67 142
e5d4f4dc
RS
143/* This is the internal form of the parse state used in parse-partial-sexp. */
144
145struct lisp_parse_state
146 {
d311d28c 147 EMACS_INT depth; /* Depth at end of parsing. */
6449674e 148 int instring; /* -1 if not within string, else desired terminator. */
d311d28c 149 EMACS_INT incomment; /* -1 if in unnestable comment else comment nesting */
6449674e 150 int comstyle; /* comment style a=0, or b=1, or ST_COMMENT_STYLE. */
1fc71008 151 bool quoted; /* True if just after an escape char at end of parsing. */
d311d28c 152 EMACS_INT mindepth; /* Minimum depth seen while scanning. */
6449674e 153 /* Char number of most recent start-of-expression at current level */
d311d28c 154 ptrdiff_t thislevelstart;
6449674e 155 /* Char number of start of containing expression */
d311d28c
PE
156 ptrdiff_t prevlevelstart;
157 ptrdiff_t location; /* Char number at which parsing stopped. */
8ca30920 158 ptrdiff_t location_byte; /* Corresponding byte position. */
d311d28c 159 ptrdiff_t comstr_start; /* Position of last comment/string starter. */
6449674e
SM
160 Lisp_Object levelstarts; /* Char numbers of starts-of-expression
161 of levels (starting from outermost). */
e5d4f4dc
RS
162 };
163\f
37bef230
RS
164/* These variables are a cache for finding the start of a defun.
165 find_start_pos is the place for which the defun start was found.
166 find_start_value is the defun start position found for it.
6a140a74 167 find_start_value_byte is the corresponding byte position.
37bef230
RS
168 find_start_buffer is the buffer it was found in.
169 find_start_begv is the BEGV value when it was found.
170 find_start_modiff is the value of MODIFF when it was found. */
171
d311d28c
PE
172static ptrdiff_t find_start_pos;
173static ptrdiff_t find_start_value;
174static ptrdiff_t find_start_value_byte;
37bef230 175static struct buffer *find_start_buffer;
d311d28c
PE
176static ptrdiff_t find_start_begv;
177static EMACS_INT find_start_modiff;
6a140a74
RS
178
179
1fc71008
PE
180static Lisp_Object skip_chars (bool, Lisp_Object, Lisp_Object, bool);
181static Lisp_Object skip_syntaxes (bool, Lisp_Object, Lisp_Object);
182static Lisp_Object scan_lists (EMACS_INT, EMACS_INT, EMACS_INT, bool);
f57e2426 183static void scan_sexps_forward (struct lisp_parse_state *,
d311d28c 184 ptrdiff_t, ptrdiff_t, ptrdiff_t, EMACS_INT,
1fc71008
PE
185 bool, Lisp_Object, int);
186static bool in_classes (int, Lisp_Object);
39eb03f1
PE
187
188/* This setter is used only in this file, so it can be private. */
b0ab8123 189static void
39eb03f1
PE
190bset_syntax_table (struct buffer *b, Lisp_Object val)
191{
192 b->INTERNAL_FIELD (syntax_table) = val;
193}
195d1361 194\f
c5683ceb 195/* Whether the syntax of the character C has the prefix flag set. */
1fc71008
PE
196bool
197syntax_prefix_flag_p (int c)
c5683ceb 198{
45b683a1 199 return SYNTAX_FLAGS_PREFIX (SYNTAX_WITH_FLAGS (c));
c5683ceb 200}
195d1361
RS
201
202struct gl_state_s gl_state; /* Global state of syntax parser. */
203
45b683a1 204enum { INTERVALS_AT_ONCE = 10 }; /* 1 + max-number of intervals
195d1361
RS
205 to scan to property-change. */
206
45b683a1
PE
207/* Set the syntax entry VAL for char C in table TABLE. */
208
209static void
210SET_RAW_SYNTAX_ENTRY (Lisp_Object table, int c, Lisp_Object val)
211{
212 CHAR_TABLE_SET (table, c, val);
213}
214
215/* Set the syntax entry VAL for char-range RANGE in table TABLE.
216 RANGE is a cons (FROM . TO) specifying the range of characters. */
217
218static void
219SET_RAW_SYNTAX_ENTRY_RANGE (Lisp_Object table, Lisp_Object range,
220 Lisp_Object val)
221{
222 Fset_char_table_range (table, range, val);
223}
224
225/* Extract the information from the entry for character C
226 in the current syntax table. */
227
228static Lisp_Object
229SYNTAX_MATCH (int c)
230{
231 Lisp_Object ent = SYNTAX_ENTRY (c);
232 return CONSP (ent) ? XCDR (ent) : Qnil;
233}
234
235/* This should be called with FROM at the start of forward
236 search, or after the last position of the backward search. It
237 makes sure that the first char is picked up with correct table, so
238 one does not need to call UPDATE_SYNTAX_TABLE immediately after the
239 call.
240 Sign of COUNT gives the direction of the search.
241 */
242
243static void
244SETUP_SYNTAX_TABLE (ptrdiff_t from, ptrdiff_t count)
245{
246 SETUP_BUFFER_SYNTAX_TABLE ();
247 gl_state.b_property = BEGV;
248 gl_state.e_property = ZV + 1;
249 gl_state.object = Qnil;
250 gl_state.offset = 0;
251 if (parse_sexp_lookup_properties)
252 if (count > 0 || from > BEGV)
253 update_syntax_table (count > 0 ? from : from - 1, count, 1, Qnil);
254}
255
256/* Same as above, but in OBJECT. If OBJECT is nil, use current buffer.
257 If it is t (which is only used in fast_c_string_match_ignore_case),
258 ignore properties altogether.
259
260 This is meant for regex.c to use. For buffers, regex.c passes arguments
261 to the UPDATE_SYNTAX_TABLE functions which are relative to BEGV.
262 So if it is a buffer, we set the offset field to BEGV. */
263
264void
265SETUP_SYNTAX_TABLE_FOR_OBJECT (Lisp_Object object,
266 ptrdiff_t from, ptrdiff_t count)
267{
268 SETUP_BUFFER_SYNTAX_TABLE ();
269 gl_state.object = object;
270 if (BUFFERP (gl_state.object))
271 {
272 struct buffer *buf = XBUFFER (gl_state.object);
273 gl_state.b_property = 1;
274 gl_state.e_property = BUF_ZV (buf) - BUF_BEGV (buf) + 1;
275 gl_state.offset = BUF_BEGV (buf) - 1;
276 }
277 else if (NILP (gl_state.object))
278 {
279 gl_state.b_property = 1;
280 gl_state.e_property = ZV - BEGV + 1;
281 gl_state.offset = BEGV - 1;
282 }
283 else if (EQ (gl_state.object, Qt))
284 {
285 gl_state.b_property = 0;
286 gl_state.e_property = PTRDIFF_MAX;
287 gl_state.offset = 0;
288 }
289 else
290 {
291 gl_state.b_property = 0;
292 gl_state.e_property = 1 + SCHARS (gl_state.object);
293 gl_state.offset = 0;
294 }
295 if (parse_sexp_lookup_properties)
296 update_syntax_table (from + gl_state.offset - (count <= 0),
297 count, 1, gl_state.object);
298}
299
6a140a74
RS
300/* Update gl_state to an appropriate interval which contains CHARPOS. The
301 sign of COUNT give the relative position of CHARPOS wrt the previously
195d1361 302 valid interval. If INIT, only [be]_property fields of gl_state are
6a140a74 303 valid at start, the rest is filled basing on OBJECT.
195d1361 304
6a140a74 305 `gl_state.*_i' are the intervals, and CHARPOS is further in the search
195d1361
RS
306 direction than the intervals - or in an interval. We update the
307 current syntax-table basing on the property of this interval, and
6a140a74 308 update the interval to start further than CHARPOS - or be
77c7bcb1 309 NULL. We also update lim_property to be the next value of
6a140a74 310 charpos to call this subroutine again - or be before/after the
195d1361
RS
311 start/end of OBJECT. */
312
313void
1fc71008 314update_syntax_table (ptrdiff_t charpos, EMACS_INT count, bool init,
4f3a2f8d 315 Lisp_Object object)
195d1361
RS
316{
317 Lisp_Object tmp_table;
1fc71008
PE
318 int cnt = 0;
319 bool invalidate = 1;
5a774522 320 INTERVAL i;
195d1361
RS
321
322 if (init)
323 {
bb0de084 324 gl_state.old_prop = Qnil;
195d1361
RS
325 gl_state.start = gl_state.b_property;
326 gl_state.stop = gl_state.e_property;
bb0de084
SM
327 i = interval_of (charpos, object);
328 gl_state.backward_i = gl_state.forward_i = i;
195d1361 329 invalidate = 0;
77c7bcb1 330 if (!i)
195d1361 331 return;
f902a008 332 /* interval_of updates only ->position of the return value, so
d80f4cc7 333 update the parents manually to speed up update_interval. */
bb0de084 334 while (!NULL_PARENT (i))
d80f4cc7
RS
335 {
336 if (AM_RIGHT_CHILD (i))
439d5cb4 337 INTERVAL_PARENT (i)->position = i->position
d80f4cc7 338 - LEFT_TOTAL_LENGTH (i) + TOTAL_LENGTH (i) /* right end */
439d5cb4
KR
339 - TOTAL_LENGTH (INTERVAL_PARENT (i))
340 + LEFT_TOTAL_LENGTH (INTERVAL_PARENT (i));
d80f4cc7 341 else
439d5cb4 342 INTERVAL_PARENT (i)->position = i->position - LEFT_TOTAL_LENGTH (i)
d80f4cc7 343 + TOTAL_LENGTH (i);
439d5cb4 344 i = INTERVAL_PARENT (i);
d80f4cc7
RS
345 }
346 i = gl_state.forward_i;
bb0de084 347 gl_state.b_property = i->position - gl_state.offset;
ee0cdb48 348 gl_state.e_property = INTERVAL_LAST_POS (i) - gl_state.offset;
195d1361
RS
349 goto update;
350 }
5a774522 351 i = count > 0 ? gl_state.forward_i : gl_state.backward_i;
195d1361 352
423e705d 353 /* We are guaranteed to be called with CHARPOS either in i,
6a140a74 354 or further off. */
77c7bcb1 355 if (!i)
195d1361 356 error ("Error in syntax_table logic for to-the-end intervals");
6a140a74 357 else if (charpos < i->position) /* Move left. */
195d1361
RS
358 {
359 if (count > 0)
f902a008 360 error ("Error in syntax_table logic for intervals <-");
195d1361 361 /* Update the interval. */
6a140a74 362 i = update_interval (i, charpos);
bb0de084 363 if (INTERVAL_LAST_POS (i) != gl_state.b_property)
195d1361
RS
364 {
365 invalidate = 0;
195d1361 366 gl_state.forward_i = i;
ee0cdb48 367 gl_state.e_property = INTERVAL_LAST_POS (i) - gl_state.offset;
195d1361 368 }
423e705d 369 }
6a140a74 370 else if (charpos >= INTERVAL_LAST_POS (i)) /* Move right. */
195d1361
RS
371 {
372 if (count < 0)
f902a008 373 error ("Error in syntax_table logic for intervals ->");
195d1361 374 /* Update the interval. */
6a140a74 375 i = update_interval (i, charpos);
bb0de084 376 if (i->position != gl_state.e_property)
195d1361
RS
377 {
378 invalidate = 0;
195d1361 379 gl_state.backward_i = i;
bb0de084 380 gl_state.b_property = i->position - gl_state.offset;
195d1361
RS
381 }
382 }
195d1361
RS
383
384 update:
385 tmp_table = textget (i->plist, Qsyntax_table);
386
387 if (invalidate)
388 invalidate = !EQ (tmp_table, gl_state.old_prop); /* Need to invalidate? */
7d0393cf 389
423e705d
SM
390 if (invalidate) /* Did not get to adjacent interval. */
391 { /* with the same table => */
392 /* invalidate the old range. */
195d1361
RS
393 if (count > 0)
394 {
395 gl_state.backward_i = i;
bb0de084
SM
396 gl_state.b_property = i->position - gl_state.offset;
397 }
398 else
195d1361 399 {
bb0de084 400 gl_state.forward_i = i;
ee0cdb48 401 gl_state.e_property = INTERVAL_LAST_POS (i) - gl_state.offset;
195d1361
RS
402 }
403 }
37bef230 404
bb0de084 405 if (!EQ (tmp_table, gl_state.old_prop))
195d1361 406 {
bb0de084
SM
407 gl_state.current_syntax_table = tmp_table;
408 gl_state.old_prop = tmp_table;
409 if (EQ (Fsyntax_table_p (tmp_table), Qt))
410 {
411 gl_state.use_global = 0;
7d0393cf 412 }
bb0de084
SM
413 else if (CONSP (tmp_table))
414 {
415 gl_state.use_global = 1;
416 gl_state.global_code = tmp_table;
417 }
7d0393cf 418 else
bb0de084
SM
419 {
420 gl_state.use_global = 0;
4b4deea2 421 gl_state.current_syntax_table = BVAR (current_buffer, syntax_table);
bb0de084 422 }
195d1361
RS
423 }
424
77c7bcb1 425 while (i)
195d1361
RS
426 {
427 if (cnt && !EQ (tmp_table, textget (i->plist, Qsyntax_table)))
428 {
429 if (count > 0)
bb0de084
SM
430 {
431 gl_state.e_property = i->position - gl_state.offset;
432 gl_state.forward_i = i;
433 }
434 else
435 {
5a774522
SM
436 gl_state.b_property
437 = i->position + LENGTH (i) - gl_state.offset;
bb0de084
SM
438 gl_state.backward_i = i;
439 }
440 return;
195d1361 441 }
7d0393cf 442 else if (cnt == INTERVALS_AT_ONCE)
195d1361
RS
443 {
444 if (count > 0)
bb0de084 445 {
5a774522
SM
446 gl_state.e_property
447 = i->position + LENGTH (i) - gl_state.offset
448 /* e_property at EOB is not set to ZV but to ZV+1, so that
449 we can do INC(from);UPDATE_SYNTAX_TABLE_FORWARD without
450 having to check eob between the two. */
77c7bcb1 451 + (next_interval (i) ? 0 : 1);
bb0de084
SM
452 gl_state.forward_i = i;
453 }
454 else
455 {
456 gl_state.b_property = i->position - gl_state.offset;
457 gl_state.backward_i = i;
458 }
459 return;
195d1361
RS
460 }
461 cnt++;
462 i = count > 0 ? next_interval (i) : previous_interval (i);
463 }
77c7bcb1 464 eassert (i == NULL); /* This property goes to the end. */
bb0de084
SM
465 if (count > 0)
466 gl_state.e_property = gl_state.stop;
467 else
468 gl_state.b_property = gl_state.start;
195d1361
RS
469}
470\f
1fc71008 471/* Returns true if char at CHARPOS is quoted.
6a140a74
RS
472 Global syntax-table data should be set up already to be good at CHARPOS
473 or after. On return global syntax data is good for lookup at CHARPOS. */
195d1361 474
1fc71008 475static bool
d311d28c 476char_quoted (ptrdiff_t charpos, ptrdiff_t bytepos)
195d1361 477{
1fc71008
PE
478 enum syntaxcode code;
479 ptrdiff_t beg = BEGV;
480 bool quoted = 0;
d311d28c 481 ptrdiff_t orig = charpos;
6a140a74 482
02d8b017 483 while (charpos > beg)
195d1361 484 {
ab229fdd 485 int c;
02d8b017 486 DEC_BOTH (charpos, bytepos);
ab229fdd 487
6a140a74 488 UPDATE_SYNTAX_TABLE_BACKWARD (charpos);
327719ee 489 c = FETCH_CHAR_AS_MULTIBYTE (bytepos);
ab229fdd 490 code = SYNTAX (c);
6a140a74
RS
491 if (! (code == Scharquote || code == Sescape))
492 break;
493
6a140a74 494 quoted = !quoted;
195d1361 495 }
6a140a74
RS
496
497 UPDATE_SYNTAX_TABLE (orig);
195d1361
RS
498 return quoted;
499}
6a140a74 500
6a140a74
RS
501/* Return the bytepos one character before BYTEPOS.
502 We assume that BYTEPOS is not at the start of the buffer. */
503
b0ab8123 504static ptrdiff_t
d311d28c 505dec_bytepos (ptrdiff_t bytepos)
6a140a74 506{
4b4deea2 507 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
ef316cf0
RS
508 return bytepos - 1;
509
6a140a74
RS
510 DEC_POS (bytepos);
511 return bytepos;
512}
195d1361 513\f
2b34df4e 514/* Return a defun-start position before POS and not too far before.
7cc80f0a
RS
515 It should be the last one before POS, or nearly the last.
516
517 When open_paren_in_column_0_is_defun_start is nonzero,
1fd1cc2f 518 only the beginning of the buffer is treated as a defun-start.
7cc80f0a
RS
519
520 We record the information about where the scan started
521 and what its result was, so that another call in the same area
522 can return the same value very quickly.
195d1361
RS
523
524 There is no promise at which position the global syntax data is
525 valid on return from the subroutine, so the caller should explicitly
526 update the global data. */
37bef230 527
d311d28c
PE
528static ptrdiff_t
529find_defun_start (ptrdiff_t pos, ptrdiff_t pos_byte)
37bef230 530{
d311d28c 531 ptrdiff_t opoint = PT, opoint_byte = PT_BYTE;
37bef230 532
1fd1cc2f
RS
533 if (!open_paren_in_column_0_is_defun_start)
534 {
6e20a0d4 535 find_start_value = BEGV;
1fd1cc2f 536 find_start_value_byte = BEGV_BYTE;
6e20a0d4
CY
537 find_start_buffer = current_buffer;
538 find_start_modiff = MODIFF;
539 find_start_begv = BEGV;
540 find_start_pos = pos;
1fd1cc2f
RS
541 return BEGV;
542 }
543
37bef230
RS
544 /* Use previous finding, if it's valid and applies to this inquiry. */
545 if (current_buffer == find_start_buffer
546 /* Reuse the defun-start even if POS is a little farther on.
547 POS might be in the next defun, but that's ok.
548 Our value may not be the best possible, but will still be usable. */
549 && pos <= find_start_pos + 1000
550 && pos >= find_start_value
551 && BEGV == find_start_begv
552 && MODIFF == find_start_modiff)
553 return find_start_value;
554
555 /* Back up to start of line. */
6a140a74 556 scan_newline (pos, pos_byte, BEGV, BEGV_BYTE, -1, 1);
37bef230 557
195d1361
RS
558 /* We optimize syntax-table lookup for rare updates. Thus we accept
559 only those `^\s(' which are good in global _and_ text-property
560 syntax-tables. */
d48cd3f4 561 SETUP_BUFFER_SYNTAX_TABLE ();
1fd1cc2f 562 while (PT > BEGV)
37bef230 563 {
ab229fdd
AS
564 int c;
565
1fd1cc2f
RS
566 /* Open-paren at start of line means we may have found our
567 defun-start. */
327719ee 568 c = FETCH_CHAR_AS_MULTIBYTE (PT_BYTE);
ab229fdd 569 if (SYNTAX (c) == Sopen)
195d1361 570 {
1fd1cc2f 571 SETUP_SYNTAX_TABLE (PT + 1, -1); /* Try again... */
327719ee 572 c = FETCH_CHAR_AS_MULTIBYTE (PT_BYTE);
ab229fdd 573 if (SYNTAX (c) == Sopen)
1fd1cc2f
RS
574 break;
575 /* Now fallback to the default value. */
d48cd3f4 576 SETUP_BUFFER_SYNTAX_TABLE ();
195d1361 577 }
1fd1cc2f
RS
578 /* Move to beg of previous line. */
579 scan_newline (PT, PT_BYTE, BEGV, BEGV_BYTE, -2, 1);
37bef230
RS
580 }
581
582 /* Record what we found, for the next try. */
6a140a74
RS
583 find_start_value = PT;
584 find_start_value_byte = PT_BYTE;
37bef230
RS
585 find_start_buffer = current_buffer;
586 find_start_modiff = MODIFF;
587 find_start_begv = BEGV;
588 find_start_pos = pos;
589
6a140a74
RS
590 TEMP_SET_PT_BOTH (opoint, opoint_byte);
591
37bef230
RS
592 return find_start_value;
593}
594\f
f902a008
RS
595/* Return the SYNTAX_COMEND_FIRST of the character before POS, POS_BYTE. */
596
1fc71008 597static bool
d311d28c 598prev_char_comend_first (ptrdiff_t pos, ptrdiff_t pos_byte)
f902a008 599{
1fc71008
PE
600 int c;
601 bool val;
f902a008
RS
602
603 DEC_BOTH (pos, pos_byte);
604 UPDATE_SYNTAX_TABLE_BACKWARD (pos);
605 c = FETCH_CHAR (pos_byte);
606 val = SYNTAX_COMEND_FIRST (c);
607 UPDATE_SYNTAX_TABLE_FORWARD (pos + 1);
608 return val;
609}
610
1fc71008 611/* Check whether charpos FROM is at the end of a comment.
6a140a74
RS
612 FROM_BYTE is the bytepos corresponding to FROM.
613 Do not move back before STOP.
614
1fc71008 615 Return true if we find a comment ending at FROM/FROM_BYTE.
6a140a74
RS
616
617 If successful, store the charpos of the comment's beginning
618 into *CHARPOS_PTR, and the bytepos into *BYTEPOS_PTR.
527a32d9
KH
619
620 Global syntax data remains valid for backward search starting at
621 the returned value (or at FROM, if the search was not successful). */
195d1361 622
1fc71008
PE
623static bool
624back_comment (ptrdiff_t from, ptrdiff_t from_byte, ptrdiff_t stop,
625 bool comnested, int comstyle, ptrdiff_t *charpos_ptr,
626 ptrdiff_t *bytepos_ptr)
195d1361
RS
627{
628 /* Look back, counting the parity of string-quotes,
629 and recording the comment-starters seen.
630 When we reach a safe place, assume that's not in a string;
631 then step the main scan to the earliest comment-starter seen
632 an even number of string quotes away from the safe place.
633
634 OFROM[I] is position of the earliest comment-starter seen
635 which is I+2X quotes from the comment-end.
636 PARITY is current parity of quotes from the comment end. */
3ee5041c 637 int string_style = -1; /* Presumed outside of any string. */
1fc71008 638 bool string_lossage = 0;
f7c436c1 639 /* Not a real lossage: indicates that we have passed a matching comment
7d0393cf 640 starter plus a non-matching comment-ender, meaning that any matching
f7c436c1
SM
641 comment-starter we might see later could be a false positive (hidden
642 inside another comment).
643 Test case: { a (* b } c (* d *) */
1fc71008 644 bool comment_lossage = 0;
d311d28c
PE
645 ptrdiff_t comment_end = from;
646 ptrdiff_t comment_end_byte = from_byte;
647 ptrdiff_t comstart_pos = 0;
648 ptrdiff_t comstart_byte IF_LINT (= 0);
eb35b628
RS
649 /* Place where the containing defun starts,
650 or 0 if we didn't come across it yet. */
d311d28c
PE
651 ptrdiff_t defun_start = 0;
652 ptrdiff_t defun_start_byte = 0;
1fc71008
PE
653 enum syntaxcode code;
654 ptrdiff_t nesting = 1; /* current comment nesting */
ea315ed6 655 int c;
3f679f55
SM
656 int syntax = 0;
657
658 /* FIXME: A }} comment-ender style leads to incorrect behavior
659 in the case of {{ c }}} because we ignore the last two chars which are
660 assumed to be comment-enders although they aren't. */
195d1361
RS
661
662 /* At beginning of range to scan, we're outside of strings;
663 that determines quote parity to the comment-end. */
664 while (from != stop)
665 {
d311d28c 666 ptrdiff_t temp_byte;
1fc71008
PE
667 int prev_syntax;
668 bool com2start, com2end, comstart;
6a140a74 669
195d1361 670 /* Move back and examine a character. */
6a140a74 671 DEC_BOTH (from, from_byte);
195d1361
RS
672 UPDATE_SYNTAX_TABLE_BACKWARD (from);
673
3f679f55 674 prev_syntax = syntax;
b7dbcc19 675 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
3f679f55 676 syntax = SYNTAX_WITH_FLAGS (c);
195d1361
RS
677 code = SYNTAX (c);
678
3f679f55
SM
679 /* Check for 2-char comment markers. */
680 com2start = (SYNTAX_FLAGS_COMSTART_FIRST (syntax)
681 && SYNTAX_FLAGS_COMSTART_SECOND (prev_syntax)
c5683ceb
SM
682 && (comstyle
683 == SYNTAX_FLAGS_COMMENT_STYLE (prev_syntax, syntax))
3f679f55
SM
684 && (SYNTAX_FLAGS_COMMENT_NESTED (prev_syntax)
685 || SYNTAX_FLAGS_COMMENT_NESTED (syntax)) == comnested);
686 com2end = (SYNTAX_FLAGS_COMEND_FIRST (syntax)
687 && SYNTAX_FLAGS_COMEND_SECOND (prev_syntax));
fbb3da77 688 comstart = (com2start || code == Scomment);
01f44d5a 689
3f679f55
SM
690 /* Nasty cases with overlapping 2-char comment markers:
691 - snmp-mode: -- c -- foo -- c --
692 --- c --
693 ------ c --
694 - c-mode: *||*
695 |* *|* *|
696 |*| |* |*|
697 /// */
698
699 /* If a 2-char comment sequence partly overlaps with another,
fbb3da77
SM
700 we don't try to be clever. E.g. |*| in C, or }% in modes that
701 have %..\n and %{..}%. */
702 if (from > stop && (com2end || comstart))
195d1361 703 {
d311d28c 704 ptrdiff_t next = from, next_byte = from_byte;
4f3a2f8d 705 int next_c, next_syntax;
3f679f55
SM
706 DEC_BOTH (next, next_byte);
707 UPDATE_SYNTAX_TABLE_BACKWARD (next);
b7dbcc19 708 next_c = FETCH_CHAR_AS_MULTIBYTE (next_byte);
3f679f55 709 next_syntax = SYNTAX_WITH_FLAGS (next_c);
fbb3da77 710 if (((comstart || comnested)
3f679f55
SM
711 && SYNTAX_FLAGS_COMEND_SECOND (syntax)
712 && SYNTAX_FLAGS_COMEND_FIRST (next_syntax))
713 || ((com2end || comnested)
714 && SYNTAX_FLAGS_COMSTART_SECOND (syntax)
c5683ceb
SM
715 && (comstyle
716 == SYNTAX_FLAGS_COMMENT_STYLE (syntax, prev_syntax))
3f679f55
SM
717 && SYNTAX_FLAGS_COMSTART_FIRST (next_syntax)))
718 goto lossage;
719 /* UPDATE_SYNTAX_TABLE_FORWARD (next + 1); */
f902a008 720 }
3f679f55
SM
721
722 if (com2start && comstart_pos == 0)
723 /* We're looking at a comment starter. But it might be a comment
724 ender as well (see snmp-mode). The first time we see one, we
725 need to consider it as a comment starter,
726 and the subsequent times as a comment ender. */
727 com2end = 0;
728
729 /* Turn a 2-char comment sequences into the appropriate syntax. */
730 if (com2end)
731 code = Sendcomment;
732 else if (com2start)
733 code = Scomment;
734 /* Ignore comment starters of a different style. */
735 else if (code == Scomment
c5683ceb 736 && (comstyle != SYNTAX_FLAGS_COMMENT_STYLE (syntax, 0)
3f679f55 737 || SYNTAX_FLAGS_COMMENT_NESTED (syntax) != comnested))
1aa963c8 738 continue;
195d1361 739
9828a477
KH
740 /* Ignore escaped characters, except comment-enders. */
741 if (code != Sendcomment && char_quoted (from, from_byte))
195d1361
RS
742 continue;
743
3ee5041c 744 switch (code)
195d1361 745 {
3ee5041c
SM
746 case Sstring_fence:
747 case Scomment_fence:
748 c = (code == Sstring_fence ? ST_STRING_STYLE : ST_COMMENT_STYLE);
749 case Sstring:
750 /* Track parity of quotes. */
751 if (string_style == -1)
752 /* Entering a string. */
753 string_style = c;
754 else if (string_style == c)
755 /* Leaving the string. */
756 string_style = -1;
757 else
758 /* If we have two kinds of string delimiters.
759 There's no way to grok this scanning backwards. */
195d1361 760 string_lossage = 1;
3ee5041c 761 break;
7d0393cf 762
3ee5041c
SM
763 case Scomment:
764 /* We've already checked that it is the relevant comstyle. */
f7c436c1 765 if (string_style != -1 || comment_lossage || string_lossage)
3ee5041c
SM
766 /* There are odd string quotes involved, so let's be careful.
767 Test case in Pascal: " { " a { " } */
768 goto lossage;
769
f7c436c1
SM
770 if (!comnested)
771 {
772 /* Record best comment-starter so far. */
773 comstart_pos = from;
774 comstart_byte = from_byte;
775 }
776 else if (--nesting <= 0)
95ff8dfc
RS
777 /* nested comments have to be balanced, so we don't need to
778 keep looking for earlier ones. We use here the same (slightly
779 incorrect) reasoning as below: since it is followed by uniform
780 paired string quotes, this comment-start has to be outside of
781 strings, else the comment-end itself would be inside a string. */
782 goto done;
3ee5041c
SM
783 break;
784
02010917 785 case Sendcomment:
c5683ceb 786 if (SYNTAX_FLAGS_COMMENT_STYLE (syntax, 0) == comstyle
d070eb22 787 && ((com2end && SYNTAX_FLAGS_COMMENT_NESTED (prev_syntax))
3f679f55 788 || SYNTAX_FLAGS_COMMENT_NESTED (syntax)) == comnested)
02010917
SM
789 /* This is the same style of comment ender as ours. */
790 {
791 if (comnested)
792 nesting++;
793 else
794 /* Anything before that can't count because it would match
795 this comment-ender rather than ours. */
796 from = stop; /* Break out of the loop. */
797 }
f7c436c1
SM
798 else if (comstart_pos != 0 || c != '\n')
799 /* We're mixing comment styles here, so we'd better be careful.
800 The (comstart_pos != 0 || c != '\n') check is not quite correct
801 (we should just always set comment_lossage), but removing it
802 would imply that any multiline comment in C would go through
803 lossage, which seems overkill.
804 The failure should only happen in the rare cases such as
805 { (* } *) */
806 comment_lossage = 1;
02010917 807 break;
195d1361 808
02010917
SM
809 case Sopen:
810 /* Assume a defun-start point is outside of strings. */
811 if (open_paren_in_column_0_is_defun_start
812 && (from == stop
813 || (temp_byte = dec_bytepos (from_byte),
814 FETCH_CHAR (temp_byte) == '\n')))
815 {
816 defun_start = from;
817 defun_start_byte = from_byte;
818 from = stop; /* Break out of the loop. */
819 }
eb35b628 820 break;
02010917
SM
821
822 default:
f7c436c1 823 break;
eb35b628 824 }
195d1361
RS
825 }
826
827 if (comstart_pos == 0)
828 {
829 from = comment_end;
6a140a74 830 from_byte = comment_end_byte;
195d1361
RS
831 UPDATE_SYNTAX_TABLE_FORWARD (comment_end - 1);
832 }
f7c436c1
SM
833 /* If comstart_pos is set and we get here (ie. didn't jump to `lossage'
834 or `done'), then we've found the beginning of the non-nested comment. */
835 else if (1) /* !comnested */
195d1361
RS
836 {
837 from = comstart_pos;
6a140a74 838 from_byte = comstart_byte;
789f3320 839 UPDATE_SYNTAX_TABLE_FORWARD (from - 1);
195d1361
RS
840 }
841 else
842 {
3ee5041c
SM
843 struct lisp_parse_state state;
844 lossage:
195d1361
RS
845 /* We had two kinds of string delimiters mixed up
846 together. Decode this going forwards.
02010917 847 Scan fwd from a known safe place (beginning-of-defun)
195d1361
RS
848 to the one in question; this records where we
849 last passed a comment starter. */
eb35b628
RS
850 /* If we did not already find the defun start, find it now. */
851 if (defun_start == 0)
852 {
853 defun_start = find_defun_start (comment_end, comment_end_byte);
854 defun_start_byte = find_start_value_byte;
855 }
02010917 856 do
195d1361 857 {
02010917
SM
858 scan_sexps_forward (&state,
859 defun_start, defun_start_byte,
d311d28c
PE
860 comment_end, TYPE_MINIMUM (EMACS_INT),
861 0, Qnil, 0);
02010917
SM
862 defun_start = comment_end;
863 if (state.incomment == (comnested ? 1 : -1)
864 && state.comstyle == comstyle)
865 from = state.comstr_start;
866 else
867 {
868 from = comment_end;
869 if (state.incomment)
870 /* If comment_end is inside some other comment, maybe ours
871 is nested, so we need to try again from within the
872 surrounding comment. Example: { a (* " *) */
873 {
874 /* FIXME: We should advance by one or two chars. */
875 defun_start = state.comstr_start + 2;
876 defun_start_byte = CHAR_TO_BYTE (defun_start);
877 }
878 }
879 } while (defun_start < comment_end);
880
6a140a74 881 from_byte = CHAR_TO_BYTE (from);
195d1361
RS
882 UPDATE_SYNTAX_TABLE_FORWARD (from - 1);
883 }
7d0393cf 884
95ff8dfc 885 done:
6a140a74
RS
886 *charpos_ptr = from;
887 *bytepos_ptr = from_byte;
888
1fc71008 889 return from != comment_end;
195d1361
RS
890}
891\f
8489eb67 892DEFUN ("syntax-table-p", Fsyntax_table_p, Ssyntax_table_p, 1, 1, 0,
fdb82f93
PJ
893 doc: /* Return t if OBJECT is a syntax table.
894Currently, any char-table counts as a syntax table. */)
5842a27b 895 (Lisp_Object object)
8489eb67 896{
2203e1e8 897 if (CHAR_TABLE_P (object)
e704cb4b 898 && EQ (XCHAR_TABLE (object)->purpose, Qsyntax_table))
8489eb67
RS
899 return Qt;
900 return Qnil;
901}
902
8ea151b2 903static void
971de7fb 904check_syntax_table (Lisp_Object obj)
8489eb67 905{
47f5f6ae
KS
906 CHECK_TYPE (CHAR_TABLE_P (obj) && EQ (XCHAR_TABLE (obj)->purpose, Qsyntax_table),
907 Qsyntax_table_p, obj);
7d0393cf 908}
8489eb67 909
8489eb67 910DEFUN ("syntax-table", Fsyntax_table, Ssyntax_table, 0, 0, 0,
fdb82f93
PJ
911 doc: /* Return the current syntax table.
912This is the one specified by the current buffer. */)
5842a27b 913 (void)
8489eb67 914{
4b4deea2 915 return BVAR (current_buffer, syntax_table);
8489eb67
RS
916}
917
918DEFUN ("standard-syntax-table", Fstandard_syntax_table,
919 Sstandard_syntax_table, 0, 0, 0,
fdb82f93
PJ
920 doc: /* Return the standard syntax table.
921This is the one used for new buffers. */)
5842a27b 922 (void)
8489eb67
RS
923{
924 return Vstandard_syntax_table;
925}
926
927DEFUN ("copy-syntax-table", Fcopy_syntax_table, Scopy_syntax_table, 0, 1, 0,
fdb82f93
PJ
928 doc: /* Construct a new syntax table and return it.
929It is a copy of the TABLE, which defaults to the standard syntax table. */)
5842a27b 930 (Lisp_Object table)
8489eb67 931{
8ea151b2
RS
932 Lisp_Object copy;
933
265a9e55 934 if (!NILP (table))
8ea151b2
RS
935 check_syntax_table (table);
936 else
937 table = Vstandard_syntax_table;
938
939 copy = Fcopy_sequence (table);
0f867324
RS
940
941 /* Only the standard syntax table should have a default element.
942 Other syntax tables should inherit from parents instead. */
742af32f 943 set_char_table_defalt (copy, Qnil);
0f867324
RS
944
945 /* Copied syntax tables should all have parents.
946 If we copied one with no parent, such as the standard syntax table,
947 use the standard syntax table as the copy's parent. */
948 if (NILP (XCHAR_TABLE (copy)->parent))
949 Fset_char_table_parent (copy, Vstandard_syntax_table);
8ea151b2 950 return copy;
8489eb67
RS
951}
952
953DEFUN ("set-syntax-table", Fset_syntax_table, Sset_syntax_table, 1, 1, 0,
fdb82f93
PJ
954 doc: /* Select a new syntax table for the current buffer.
955One argument, a syntax table. */)
5842a27b 956 (Lisp_Object table)
8489eb67 957{
4e4dfa78 958 int idx;
8ea151b2 959 check_syntax_table (table);
39eb03f1 960 bset_syntax_table (current_buffer, table);
8489eb67 961 /* Indicate that this buffer now has a specified syntax table. */
f6cd0527
GM
962 idx = PER_BUFFER_VAR_IDX (syntax_table);
963 SET_PER_BUFFER_VALUE_P (current_buffer, idx, 1);
8489eb67
RS
964 return table;
965}
966\f
967/* Convert a letter which signifies a syntax code
968 into the code it signifies.
195d1361 969 This is used by modify-syntax-entry, and other things. */
8489eb67 970
1fc71008 971unsigned char const syntax_spec_code[0400] =
8489eb67
RS
972 { 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
973 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
974 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
975 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
1fc71008
PE
976 Swhitespace, Scomment_fence, Sstring, 0377, Smath, 0377, 0377, Squote,
977 Sopen, Sclose, 0377, 0377, 0377, Swhitespace, Spunct, Scharquote,
8489eb67 978 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
1fc71008
PE
979 0377, 0377, 0377, 0377, Scomment, 0377, Sendcomment, 0377,
980 Sinherit, 0377, 0377, 0377, 0377, 0377, 0377, 0377, /* @, A ... */
8489eb67 981 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
1fc71008
PE
982 0377, 0377, 0377, 0377, 0377, 0377, 0377, Sword,
983 0377, 0377, 0377, 0377, Sescape, 0377, 0377, Ssymbol,
8489eb67
RS
984 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377, /* `, a, ... */
985 0377, 0377, 0377, 0377, 0377, 0377, 0377, 0377,
1fc71008
PE
986 0377, 0377, 0377, 0377, 0377, 0377, 0377, Sword,
987 0377, 0377, 0377, 0377, Sstring_fence, 0377, 0377, 0377
8489eb67
RS
988 };
989
195d1361 990/* Indexed by syntax code, give the letter that describes it. */
8489eb67 991
1fc71008 992char const syntax_code_spec[16] =
8489eb67 993 {
195d1361
RS
994 ' ', '.', 'w', '_', '(', ')', '\'', '\"', '$', '\\', '/', '<', '>', '@',
995 '!', '|'
8489eb67 996 };
93da5fff
KH
997
998/* Indexed by syntax code, give the object (cons of syntax code and
999 nil) to be stored in syntax table. Since these objects can be
1000 shared among syntax tables, we generate them in advance. By
1001 sharing objects, the function `describe-syntax' can give a more
1002 compact listing. */
1003static Lisp_Object Vsyntax_code_object;
1004
8489eb67
RS
1005\f
1006DEFUN ("char-syntax", Fchar_syntax, Schar_syntax, 1, 1, 0,
fdb82f93 1007 doc: /* Return the syntax code of CHARACTER, described by a character.
e2b6daf4
CY
1008For example, if CHARACTER is a word constituent, the
1009character `w' (119) is returned.
fdb82f93
PJ
1010The characters that correspond to various syntax codes
1011are listed in the documentation of `modify-syntax-entry'. */)
5842a27b 1012 (Lisp_Object character)
8489eb67 1013{
8ea151b2 1014 int char_int;
774b9a60 1015 CHECK_CHARACTER (character);
2203e1e8 1016 char_int = XINT (character);
d48cd3f4 1017 SETUP_BUFFER_SYNTAX_TABLE ();
1fc71008 1018 return make_number (syntax_code_spec[SYNTAX (char_int)]);
beefa22e
RS
1019}
1020
1021DEFUN ("matching-paren", Fmatching_paren, Smatching_paren, 1, 1, 0,
fdb82f93 1022 doc: /* Return the matching parenthesis of CHARACTER, or nil if none. */)
5842a27b 1023 (Lisp_Object character)
beefa22e 1024{
1fc71008
PE
1025 int char_int;
1026 enum syntaxcode code;
1027 CHECK_CHARACTER (character);
2203e1e8 1028 char_int = XINT (character);
d48cd3f4 1029 SETUP_BUFFER_SYNTAX_TABLE ();
8ea151b2 1030 code = SYNTAX (char_int);
a8bd7cd8 1031 if (code == Sopen || code == Sclose)
2e34157c 1032 return SYNTAX_MATCH (char_int);
beefa22e 1033 return Qnil;
8489eb67
RS
1034}
1035
c65adb44 1036DEFUN ("string-to-syntax", Fstring_to_syntax, Sstring_to_syntax, 1, 1, 0,
6dcef6ec
CY
1037 doc: /* Convert a syntax descriptor STRING into a raw syntax descriptor.
1038STRING should be a string of the form allowed as argument of
1039`modify-syntax-entry'. The return value is a raw syntax descriptor: a
1040cons cell \(CODE . MATCHING-CHAR) which can be used, for example, as
1041the value of a `syntax-table' text property. */)
5842a27b 1042 (Lisp_Object string)
8489eb67 1043{
1fc71008 1044 const unsigned char *p;
247e20a8 1045 int val;
8ea151b2 1046 Lisp_Object match;
8489eb67 1047
b7826503 1048 CHECK_STRING (string);
8489eb67 1049
d5db4077 1050 p = SDATA (string);
1fc71008
PE
1051 val = syntax_spec_code[*p++];
1052 if (val == 0377)
b764a653 1053 error ("Invalid syntax description letter: %c", p[-1]);
8489eb67 1054
1fc71008 1055 if (val == Sinherit)
c65adb44 1056 return Qnil;
8ea151b2
RS
1057
1058 if (*p)
d1be9f0f 1059 {
93da5fff 1060 int len;
62a6e103 1061 int character = STRING_CHAR_AND_LENGTH (p, len);
93da5fff 1062 XSETINT (match, character);
d1be9f0f
RS
1063 if (XFASTINT (match) == ' ')
1064 match = Qnil;
93da5fff 1065 p += len;
d1be9f0f
RS
1066 }
1067 else
8ea151b2 1068 match = Qnil;
8489eb67 1069
8489eb67
RS
1070 while (*p)
1071 switch (*p++)
1072 {
1073 case '1':
247e20a8 1074 val |= 1 << 16;
8489eb67
RS
1075 break;
1076
1077 case '2':
247e20a8 1078 val |= 1 << 17;
8489eb67
RS
1079 break;
1080
1081 case '3':
247e20a8 1082 val |= 1 << 18;
8489eb67
RS
1083 break;
1084
1085 case '4':
247e20a8 1086 val |= 1 << 19;
8489eb67
RS
1087 break;
1088
1089 case 'p':
247e20a8 1090 val |= 1 << 20;
8489eb67 1091 break;
e5d4f4dc
RS
1092
1093 case 'b':
247e20a8 1094 val |= 1 << 21;
e5d4f4dc 1095 break;
95ff8dfc
RS
1096
1097 case 'n':
1098 val |= 1 << 22;
1099 break;
c5683ceb
SM
1100
1101 case 'c':
1102 val |= 1 << 23;
1103 break;
8489eb67 1104 }
7d0393cf 1105
77b37c05 1106 if (val < ASIZE (Vsyntax_code_object) && NILP (match))
28be1ada 1107 return AREF (Vsyntax_code_object, val);
93da5fff
KH
1108 else
1109 /* Since we can't use a shared object, let's make a new one. */
c65adb44
SM
1110 return Fcons (make_number (val), match);
1111}
1112
fdb82f93 1113/* I really don't know why this is interactive
2c9e1900 1114 help-form should at least be made useful whilst reading the second arg. */
7d0393cf 1115DEFUN ("modify-syntax-entry", Fmodify_syntax_entry, Smodify_syntax_entry, 2, 3,
c65adb44 1116 "cSet syntax for character: \nsSet syntax for %s to: ",
a50a10a0 1117 doc: /* Set syntax for character CHAR according to string NEWENTRY.
d7ee9fab 1118The syntax is changed only for table SYNTAX-TABLE, which defaults to
fdb82f93 1119 the current buffer's syntax table.
5c7b02ab 1120CHAR may be a cons (MIN . MAX), in which case, syntaxes of all characters
fedc6ab5 1121in the range MIN to MAX are changed.
fdb82f93
PJ
1122The first character of NEWENTRY should be one of the following:
1123 Space or - whitespace syntax. w word constituent.
1124 _ symbol constituent. . punctuation.
1125 ( open-parenthesis. ) close-parenthesis.
1126 " string quote. \\ escape.
1127 $ paired delimiter. ' expression quote or prefix operator.
1128 < comment starter. > comment ender.
02676e5d 1129 / character-quote. @ inherit from parent table.
fdb82f93
PJ
1130 | generic string fence. ! generic comment fence.
1131
1132Only single-character comment start and end sequences are represented thus.
1133Two-character sequences are represented as described below.
1134The second character of NEWENTRY is the matching parenthesis,
1135 used only if the first character is `(' or `)'.
1136Any additional characters are flags.
1137Defined flags are the characters 1, 2, 3, 4, b, p, and n.
a50a10a0
PJ
1138 1 means CHAR is the start of a two-char comment start sequence.
1139 2 means CHAR is the second character of such a sequence.
1140 3 means CHAR is the start of a two-char comment end sequence.
1141 4 means CHAR is the second character of such a sequence.
fdb82f93 1142
c5683ceb 1143There can be several orthogonal comment sequences. This is to support
fdb82f93
PJ
1144language modes such as C++. By default, all comment sequences are of style
1145a, but you can set the comment sequence style to b (on the second character
c5683ceb
SM
1146of a comment-start, and the first character of a comment-end sequence) and/or
1147c (on any of its chars) using this flag:
a50a10a0 1148 b means CHAR is part of comment sequence b.
c5683ceb 1149 c means CHAR is part of comment sequence c.
a50a10a0 1150 n means CHAR is part of a nestable comment sequence.
fdb82f93 1151
a50a10a0 1152 p means CHAR is a prefix character for `backward-prefix-chars';
fdb82f93 1153 such characters are treated as whitespace when they occur
a50a10a0 1154 between expressions.
fedc6ab5 1155usage: (modify-syntax-entry CHAR NEWENTRY &optional SYNTAX-TABLE) */)
5842a27b 1156 (Lisp_Object c, Lisp_Object newentry, Lisp_Object syntax_table)
c65adb44 1157{
5c7b02ab
KH
1158 if (CONSP (c))
1159 {
8f924df7
KH
1160 CHECK_CHARACTER_CAR (c);
1161 CHECK_CHARACTER_CDR (c);
5c7b02ab
KH
1162 }
1163 else
1164 CHECK_CHARACTER (c);
c65adb44
SM
1165
1166 if (NILP (syntax_table))
4b4deea2 1167 syntax_table = BVAR (current_buffer, syntax_table);
c65adb44
SM
1168 else
1169 check_syntax_table (syntax_table);
8489eb67 1170
5c7b02ab
KH
1171 newentry = Fstring_to_syntax (newentry);
1172 if (CONSP (c))
1173 SET_RAW_SYNTAX_ENTRY_RANGE (syntax_table, c, newentry);
1174 else
1175 SET_RAW_SYNTAX_ENTRY (syntax_table, XINT (c), newentry);
e5b94d44
CY
1176
1177 /* We clear the regexp cache, since character classes can now have
1178 different values from those in the compiled regexps.*/
1179 clear_regexp_cache ();
1180
8489eb67
RS
1181 return Qnil;
1182}
1183\f
1184/* Dump syntax table to buffer in human-readable format */
1185
62abe9cb
SM
1186DEFUN ("internal-describe-syntax-value", Finternal_describe_syntax_value,
1187 Sinternal_describe_syntax_value, 1, 1, 0,
1188 doc: /* Insert a description of the internal syntax description SYNTAX at point. */)
5842a27b 1189 (Lisp_Object syntax)
8489eb67 1190{
1fc71008
PE
1191 int code, syntax_code;
1192 bool start1, start2, end1, end2, prefix, comstyleb, comstylec, comnested;
8489eb67 1193 char str[2];
62abe9cb 1194 Lisp_Object first, match_lisp, value = syntax;
8489eb67 1195
8ea151b2
RS
1196 if (NILP (value))
1197 {
62abe9cb
SM
1198 insert_string ("default");
1199 return syntax;
8ea151b2
RS
1200 }
1201
908b7fea
KH
1202 if (CHAR_TABLE_P (value))
1203 {
62abe9cb
SM
1204 insert_string ("deeper char-table ...");
1205 return syntax;
908b7fea
KH
1206 }
1207
8ea151b2
RS
1208 if (!CONSP (value))
1209 {
62abe9cb
SM
1210 insert_string ("invalid");
1211 return syntax;
8ea151b2
RS
1212 }
1213
c1d497be
KR
1214 first = XCAR (value);
1215 match_lisp = XCDR (value);
8ea151b2 1216
d311d28c 1217 if (!INTEGERP (first) || !(NILP (match_lisp) || CHARACTERP (match_lisp)))
8489eb67 1218 {
62abe9cb
SM
1219 insert_string ("invalid");
1220 return syntax;
8489eb67
RS
1221 }
1222
d311d28c 1223 syntax_code = XINT (first) & INT_MAX;
1fc71008 1224 code = syntax_code & 0377;
c5683ceb
SM
1225 start1 = SYNTAX_FLAGS_COMSTART_FIRST (syntax_code);
1226 start2 = SYNTAX_FLAGS_COMSTART_SECOND (syntax_code);;
1227 end1 = SYNTAX_FLAGS_COMEND_FIRST (syntax_code);
1228 end2 = SYNTAX_FLAGS_COMEND_SECOND (syntax_code);
1229 prefix = SYNTAX_FLAGS_PREFIX (syntax_code);
1230 comstyleb = SYNTAX_FLAGS_COMMENT_STYLEB (syntax_code);
1231 comstylec = SYNTAX_FLAGS_COMMENT_STYLEC (syntax_code);
1232 comnested = SYNTAX_FLAGS_COMMENT_NESTED (syntax_code);
8489eb67 1233
1fc71008 1234 if (Smax <= code)
8489eb67
RS
1235 {
1236 insert_string ("invalid");
62abe9cb 1237 return syntax;
8489eb67 1238 }
8489eb67 1239
1fc71008 1240 str[0] = syntax_code_spec[code], str[1] = 0;
8489eb67
RS
1241 insert (str, 1);
1242
93da5fff
KH
1243 if (NILP (match_lisp))
1244 insert (" ", 1);
1245 else
1246 insert_char (XINT (match_lisp));
8489eb67 1247
8489eb67
RS
1248 if (start1)
1249 insert ("1", 1);
1250 if (start2)
1251 insert ("2", 1);
1252
1253 if (end1)
1254 insert ("3", 1);
1255 if (end2)
1256 insert ("4", 1);
1257
1258 if (prefix)
1259 insert ("p", 1);
c5683ceb 1260 if (comstyleb)
e5d4f4dc 1261 insert ("b", 1);
c5683ceb
SM
1262 if (comstylec)
1263 insert ("c", 1);
e6365855
SM
1264 if (comnested)
1265 insert ("n", 1);
8489eb67
RS
1266
1267 insert_string ("\twhich means: ");
1268
7393bcbb 1269 switch (code)
8489eb67
RS
1270 {
1271 case Swhitespace:
1272 insert_string ("whitespace"); break;
1273 case Spunct:
1274 insert_string ("punctuation"); break;
1275 case Sword:
1276 insert_string ("word"); break;
1277 case Ssymbol:
1278 insert_string ("symbol"); break;
1279 case Sopen:
1280 insert_string ("open"); break;
1281 case Sclose:
1282 insert_string ("close"); break;
1283 case Squote:
d671382e 1284 insert_string ("prefix"); break;
8489eb67
RS
1285 case Sstring:
1286 insert_string ("string"); break;
1287 case Smath:
1288 insert_string ("math"); break;
1289 case Sescape:
1290 insert_string ("escape"); break;
1291 case Scharquote:
1292 insert_string ("charquote"); break;
1293 case Scomment:
1294 insert_string ("comment"); break;
1295 case Sendcomment:
1296 insert_string ("endcomment"); break;
d671382e
SM
1297 case Sinherit:
1298 insert_string ("inherit"); break;
1299 case Scomment_fence:
1300 insert_string ("comment fence"); break;
1301 case Sstring_fence:
1302 insert_string ("string fence"); break;
8489eb67
RS
1303 default:
1304 insert_string ("invalid");
62abe9cb 1305 return syntax;
8489eb67
RS
1306 }
1307
8ea151b2 1308 if (!NILP (match_lisp))
8489eb67
RS
1309 {
1310 insert_string (", matches ");
8ea151b2 1311 insert_char (XINT (match_lisp));
8489eb67
RS
1312 }
1313
1314 if (start1)
1315 insert_string (",\n\t is the first character of a comment-start sequence");
1316 if (start2)
1317 insert_string (",\n\t is the second character of a comment-start sequence");
1318
1319 if (end1)
1320 insert_string (",\n\t is the first character of a comment-end sequence");
1321 if (end2)
1322 insert_string (",\n\t is the second character of a comment-end sequence");
c5683ceb 1323 if (comstyleb)
e5d4f4dc 1324 insert_string (" (comment style b)");
c5683ceb
SM
1325 if (comstylec)
1326 insert_string (" (comment style c)");
e6365855
SM
1327 if (comnested)
1328 insert_string (" (nestable)");
e5d4f4dc 1329
8489eb67
RS
1330 if (prefix)
1331 insert_string (",\n\t is a prefix character for `backward-prefix-chars'");
1332
62abe9cb
SM
1333 return syntax;
1334}
8489eb67
RS
1335\f
1336/* Return the position across COUNT words from FROM.
1337 If that many words cannot be found before the end of the buffer, return 0.
1338 COUNT negative means scan backward and stop at word beginning. */
1339
d311d28c
PE
1340ptrdiff_t
1341scan_words (register ptrdiff_t from, register EMACS_INT count)
8489eb67 1342{
d311d28c
PE
1343 register ptrdiff_t beg = BEGV;
1344 register ptrdiff_t end = ZV;
1345 register ptrdiff_t from_byte = CHAR_TO_BYTE (from);
93da5fff
KH
1346 register enum syntaxcode code;
1347 int ch0, ch1;
fca8fe46 1348 Lisp_Object func, pos;
8489eb67
RS
1349
1350 immediate_quit = 1;
1351 QUIT;
1352
195d1361
RS
1353 SETUP_SYNTAX_TABLE (from, count);
1354
8489eb67
RS
1355 while (count > 0)
1356 {
1357 while (1)
1358 {
1359 if (from == end)
1360 {
1361 immediate_quit = 0;
1362 return 0;
1363 }
195d1361 1364 UPDATE_SYNTAX_TABLE_FORWARD (from);
b7dbcc19 1365 ch0 = FETCH_CHAR_AS_MULTIBYTE (from_byte);
93da5fff 1366 code = SYNTAX (ch0);
6a140a74 1367 INC_BOTH (from, from_byte);
8489eb67
RS
1368 if (words_include_escapes
1369 && (code == Sescape || code == Scharquote))
1370 break;
1371 if (code == Sword)
1372 break;
8489eb67 1373 }
93da5fff
KH
1374 /* Now CH0 is a character which begins a word and FROM is the
1375 position of the next character. */
8f924df7 1376 func = CHAR_TABLE_REF (Vfind_word_boundary_function_table, ch0);
869bb237 1377 if (! NILP (Ffboundp (func)))
8489eb67 1378 {
869bb237 1379 pos = call2 (func, make_number (from - 1), make_number (end));
17f85215 1380 if (INTEGERP (pos) && from < XINT (pos) && XINT (pos) <= ZV)
8f924df7
KH
1381 {
1382 from = XINT (pos);
1383 from_byte = CHAR_TO_BYTE (from);
1384 }
8489eb67 1385 }
869bb237 1386 else
8cb8232a 1387 {
8cb8232a
KH
1388 while (1)
1389 {
1390 if (from == end) break;
1391 UPDATE_SYNTAX_TABLE_FORWARD (from);
b7dbcc19 1392 ch1 = FETCH_CHAR_AS_MULTIBYTE (from_byte);
8cb8232a
KH
1393 code = SYNTAX (ch1);
1394 if ((code != Sword
1395 && (! words_include_escapes
1396 || (code != Sescape && code != Scharquote)))
2b70a11c 1397 || word_boundary_p (ch0, ch1))
869bb237 1398 break;
8cb8232a
KH
1399 INC_BOTH (from, from_byte);
1400 ch0 = ch1;
1401 }
8489eb67
RS
1402 }
1403 count--;
1404 }
1405 while (count < 0)
1406 {
1407 while (1)
1408 {
1409 if (from == beg)
1410 {
1411 immediate_quit = 0;
1412 return 0;
1413 }
6a140a74 1414 DEC_BOTH (from, from_byte);
195d1361 1415 UPDATE_SYNTAX_TABLE_BACKWARD (from);
b7dbcc19 1416 ch1 = FETCH_CHAR_AS_MULTIBYTE (from_byte);
93da5fff 1417 code = SYNTAX (ch1);
8489eb67
RS
1418 if (words_include_escapes
1419 && (code == Sescape || code == Scharquote))
1420 break;
1421 if (code == Sword)
1422 break;
8489eb67 1423 }
93da5fff
KH
1424 /* Now CH1 is a character which ends a word and FROM is the
1425 position of it. */
8f924df7 1426 func = CHAR_TABLE_REF (Vfind_word_boundary_function_table, ch1);
869bb237 1427 if (! NILP (Ffboundp (func)))
8f924df7 1428 {
869bb237 1429 pos = call2 (func, make_number (from), make_number (beg));
17f85215 1430 if (INTEGERP (pos) && BEGV <= XINT (pos) && XINT (pos) < from)
8f924df7
KH
1431 {
1432 from = XINT (pos);
1433 from_byte = CHAR_TO_BYTE (from);
1434 }
8489eb67 1435 }
869bb237 1436 else
8489eb67 1437 {
8cb8232a
KH
1438 while (1)
1439 {
8cb8232a
KH
1440 if (from == beg)
1441 break;
262be72a 1442 DEC_BOTH (from, from_byte);
8cb8232a 1443 UPDATE_SYNTAX_TABLE_BACKWARD (from);
262be72a 1444 ch0 = FETCH_CHAR_AS_MULTIBYTE (from_byte);
8cb8232a
KH
1445 code = SYNTAX (ch0);
1446 if ((code != Sword
1447 && (! words_include_escapes
1448 || (code != Sescape && code != Scharquote)))
2b70a11c 1449 || word_boundary_p (ch0, ch1))
262be72a
MB
1450 {
1451 INC_BOTH (from, from_byte);
1452 break;
1453 }
8cb8232a
KH
1454 ch1 = ch0;
1455 }
8489eb67
RS
1456 }
1457 count++;
1458 }
1459
1460 immediate_quit = 0;
1461
1462 return from;
1463}
1464
a7ca3326 1465DEFUN ("forward-word", Fforward_word, Sforward_word, 0, 1, "^p",
fdb82f93 1466 doc: /* Move point forward ARG words (backward if ARG is negative).
f73f4ce6 1467If ARG is omitted or nil, move point forward one word.
fdb82f93
PJ
1468Normally returns t.
1469If an edge of the buffer or a field boundary is reached, point is left there
1470and the function returns nil. Field boundaries are not noticed if
1471`inhibit-field-text-motion' is non-nil. */)
5842a27b 1472 (Lisp_Object arg)
8489eb67 1473{
c096ae4d 1474 Lisp_Object tmp;
d311d28c 1475 ptrdiff_t orig_val, val;
8489eb67 1476
839966f3
KH
1477 if (NILP (arg))
1478 XSETFASTINT (arg, 1);
1479 else
1480 CHECK_NUMBER (arg);
1481
1482 val = orig_val = scan_words (PT, XINT (arg));
2c6ea900 1483 if (! orig_val)
839966f3 1484 val = XINT (arg) > 0 ? ZV : BEGV;
5878ee6f 1485
b8855607 1486 /* Avoid jumping out of an input field. */
c096ae4d 1487 tmp = Fconstrain_to_field (make_number (val), make_number (PT),
bfdd79d3 1488 Qnil, Qnil, Qnil);
c096ae4d 1489 val = XFASTINT (tmp);
7d0393cf 1490
8489eb67 1491 SET_PT (val);
e6d8341f 1492 return val == orig_val ? Qt : Qnil;
8489eb67
RS
1493}
1494\f
a7ca3326 1495DEFUN ("skip-chars-forward", Fskip_chars_forward, Sskip_chars_forward, 1, 2, 0,
fdb82f93
PJ
1496 doc: /* Move point forward, stopping before a char not in STRING, or at pos LIM.
1497STRING is like the inside of a `[...]' in a regular expression
1498except that `]' is never special and `\\' quotes `^', `-' or `\\'
7087d5e9 1499 (but not at the end of a range; quoting is never needed there).
fdb82f93
PJ
1500Thus, with arg "a-zA-Z", this skips letters stopping before first nonletter.
1501With arg "^a-zA-Z", skips nonletters stopping before first letter.
a1bc88d4
RS
1502Char classes, e.g. `[:alpha:]', are supported.
1503
1504Returns the distance traveled, either zero or positive. */)
5842a27b 1505 (Lisp_Object string, Lisp_Object lim)
195d1361 1506{
327719ee 1507 return skip_chars (1, string, lim, 1);
195d1361
RS
1508}
1509
a7ca3326 1510DEFUN ("skip-chars-backward", Fskip_chars_backward, Sskip_chars_backward, 1, 2, 0,
fdb82f93
PJ
1511 doc: /* Move point backward, stopping after a char not in STRING, or at pos LIM.
1512See `skip-chars-forward' for details.
1513Returns the distance traveled, either zero or negative. */)
5842a27b 1514 (Lisp_Object string, Lisp_Object lim)
195d1361 1515{
327719ee 1516 return skip_chars (0, string, lim, 1);
195d1361
RS
1517}
1518
1519DEFUN ("skip-syntax-forward", Fskip_syntax_forward, Sskip_syntax_forward, 1, 2, 0,
fdb82f93
PJ
1520 doc: /* Move point forward across chars in specified syntax classes.
1521SYNTAX is a string of syntax code characters.
1522Stop before a char whose syntax is not in SYNTAX, or at position LIM.
1523If SYNTAX starts with ^, skip characters whose syntax is NOT in SYNTAX.
1524This function returns the distance traveled, either zero or positive. */)
5842a27b 1525 (Lisp_Object syntax, Lisp_Object lim)
195d1361 1526{
b7dbcc19 1527 return skip_syntaxes (1, syntax, lim);
195d1361
RS
1528}
1529
1530DEFUN ("skip-syntax-backward", Fskip_syntax_backward, Sskip_syntax_backward, 1, 2, 0,
fdb82f93
PJ
1531 doc: /* Move point backward across chars in specified syntax classes.
1532SYNTAX is a string of syntax code characters.
1533Stop on reaching a char whose syntax is not in SYNTAX, or at position LIM.
1534If SYNTAX starts with ^, skip characters whose syntax is NOT in SYNTAX.
8acaaad7
LI
1535This function returns either zero or a negative number, and the absolute value
1536of this is the distance traveled. */)
5842a27b 1537 (Lisp_Object syntax, Lisp_Object lim)
195d1361 1538{
b7dbcc19 1539 return skip_syntaxes (0, syntax, lim);
195d1361
RS
1540}
1541
6a140a74 1542static Lisp_Object
1fc71008
PE
1543skip_chars (bool forwardp, Lisp_Object string, Lisp_Object lim,
1544 bool handle_iso_classes)
195d1361 1545{
1fc71008
PE
1546 int c;
1547 char fastmap[0400];
b7dbcc19 1548 /* Store the ranges of non-ASCII characters. */
4f63c6bb 1549 int *char_ranges IF_LINT (= NULL);
7e68b0ea 1550 int n_char_ranges = 0;
1fc71008
PE
1551 bool negate = 0;
1552 ptrdiff_t i, i_byte;
1553 /* True if the current buffer is multibyte and the region contains
1554 non-ASCII chars. */
1555 bool multibyte;
1556 /* True if STRING is multibyte and it contains non-ASCII chars. */
1557 bool string_multibyte;
d311d28c 1558 ptrdiff_t size_byte;
2e567bd3 1559 const unsigned char *str;
82d497fc 1560 int len;
a1bc88d4 1561 Lisp_Object iso_classes;
195d1361 1562
b7826503 1563 CHECK_STRING (string);
a1bc88d4 1564 iso_classes = Qnil;
82d497fc 1565
195d1361
RS
1566 if (NILP (lim))
1567 XSETINT (lim, forwardp ? ZV : BEGV);
1568 else
b7826503 1569 CHECK_NUMBER_COERCE_MARKER (lim);
195d1361
RS
1570
1571 /* In any case, don't allow scan outside bounds of buffer. */
195d1361
RS
1572 if (XINT (lim) > ZV)
1573 XSETFASTINT (lim, ZV);
1574 if (XINT (lim) < BEGV)
1575 XSETFASTINT (lim, BEGV);
1576
4b4deea2 1577 multibyte = (!NILP (BVAR (current_buffer, enable_multibyte_characters))
92eaa22e 1578 && (XINT (lim) - PT != CHAR_TO_BYTE (XINT (lim)) - PT_BYTE));
8f924df7 1579 string_multibyte = SBYTES (string) > SCHARS (string);
b7dbcc19 1580
72af86bd 1581 memset (fastmap, 0, sizeof fastmap);
195d1361 1582
8f924df7
KH
1583 str = SDATA (string);
1584 size_byte = SBYTES (string);
4101e6fe 1585
82d497fc 1586 i_byte = 0;
13090112 1587 if (i_byte < size_byte
d5db4077 1588 && SREF (string, 0) == '^')
195d1361 1589 {
82d497fc 1590 negate = 1; i_byte++;
195d1361
RS
1591 }
1592
1593 /* Find the characters specified and set their elements of fastmap.
b7dbcc19 1594 Handle backslashes and ranges specially.
195d1361 1595
b7dbcc19
KH
1596 If STRING contains non-ASCII characters, setup char_ranges for
1597 them and use fastmap only for their leading codes. */
4101e6fe 1598
b7dbcc19 1599 if (! string_multibyte)
195d1361 1600 {
1fc71008 1601 bool string_has_eight_bit = 0;
4101e6fe 1602
b7dbcc19
KH
1603 /* At first setup fastmap. */
1604 while (i_byte < size_byte)
1605 {
1606 c = str[i_byte++];
1607
a1bc88d4
RS
1608 if (handle_iso_classes && c == '['
1609 && i_byte < size_byte
327719ee 1610 && str[i_byte] == ':')
a1bc88d4
RS
1611 {
1612 const unsigned char *class_beg = str + i_byte + 1;
1613 const unsigned char *class_end = class_beg;
b3bda4fd 1614 const unsigned char *class_limit = str + size_byte - 2;
db9cd97a 1615 /* Leave room for the null. */
a1bc88d4
RS
1616 unsigned char class_name[CHAR_CLASS_MAX_LENGTH + 1];
1617 re_wctype_t cc;
1618
1619 if (class_limit - class_beg > CHAR_CLASS_MAX_LENGTH)
1620 class_limit = class_beg + CHAR_CLASS_MAX_LENGTH;
1621
b3bda4fd
KS
1622 while (class_end < class_limit
1623 && *class_end >= 'a' && *class_end <= 'z')
a1bc88d4
RS
1624 class_end++;
1625
b3bda4fd
KS
1626 if (class_end == class_beg
1627 || *class_end != ':' || class_end[1] != ']')
1628 goto not_a_class_name;
a1bc88d4 1629
72af86bd 1630 memcpy (class_name, class_beg, class_end - class_beg);
a1bc88d4
RS
1631 class_name[class_end - class_beg] = 0;
1632
1633 cc = re_wctype (class_name);
1634 if (cc == 0)
1635 error ("Invalid ISO C character class");
1636
1637 iso_classes = Fcons (make_number (cc), iso_classes);
1638
1639 i_byte = class_end + 2 - str;
1640 continue;
1641 }
1642
b3bda4fd 1643 not_a_class_name:
b7dbcc19
KH
1644 if (c == '\\')
1645 {
13090112 1646 if (i_byte == size_byte)
4101e6fe
RS
1647 break;
1648
5c7b02ab 1649 c = str[i_byte++];
195d1361 1650 }
839966f3
KH
1651 /* Treat `-' as range character only if another character
1652 follows. */
1653 if (i_byte + 1 < size_byte
82d497fc 1654 && str[i_byte] == '-')
195d1361 1655 {
1fc71008 1656 int c2;
4101e6fe
RS
1657
1658 /* Skip over the dash. */
82d497fc 1659 i_byte++;
4101e6fe 1660
4101e6fe 1661 /* Get the end of the range. */
5c7b02ab 1662 c2 = str[i_byte++];
b7dbcc19
KH
1663 if (c2 == '\\'
1664 && i_byte < size_byte)
1665 c2 = str[i_byte++];
1666
8f924df7
KH
1667 if (c <= c2)
1668 {
1fc71008 1669 int lim2 = c2 + 1;
1e69125e 1670 while (c < lim2)
8f924df7
KH
1671 fastmap[c++] = 1;
1672 if (! ASCII_CHAR_P (c2))
1673 string_has_eight_bit = 1;
1674 }
195d1361
RS
1675 }
1676 else
b7dbcc19
KH
1677 {
1678 fastmap[c] = 1;
1679 if (! ASCII_CHAR_P (c))
1680 string_has_eight_bit = 1;
1681 }
1682 }
1683
1684 /* If the current range is multibyte and STRING contains
1685 eight-bit chars, arrange fastmap and setup char_ranges for
1686 the corresponding multibyte chars. */
1687 if (multibyte && string_has_eight_bit)
1688 {
178ba3e6
PE
1689 char *p1;
1690 char himap[0200 + 1];
1691 memcpy (himap, fastmap + 0200, 0200);
1692 himap[0200] = 0;
72af86bd 1693 memset (fastmap + 0200, 0, 0200);
38182d90 1694 char_ranges = alloca (sizeof *char_ranges * 128 * 2);
178ba3e6
PE
1695 i = 0;
1696
1697 while ((p1 = memchr (himap + i, 1, 0200 - i)))
b7dbcc19 1698 {
178ba3e6
PE
1699 /* Deduce the next range C..C2 from the next clump of 1s
1700 in HIMAP starting with &HIMAP[I]. HIMAP is the high
1701 order half of the old FASTMAP. */
1702 int c2, leading_code;
1703 i = p1 - himap;
1704 c = BYTE8_TO_CHAR (i + 0200);
1705 i += strlen (p1);
1706 c2 = BYTE8_TO_CHAR (i + 0200 - 1);
1707
1708 char_ranges[n_char_ranges++] = c;
1709 char_ranges[n_char_ranges++] = c2;
1710 leading_code = CHAR_LEADING_CODE (c);
1711 memset (fastmap + leading_code, 1,
1712 CHAR_LEADING_CODE (c2) - leading_code + 1);
b7dbcc19 1713 }
195d1361
RS
1714 }
1715 }
f003ca54 1716 else /* STRING is multibyte */
b7dbcc19 1717 {
38182d90 1718 char_ranges = alloca (sizeof *char_ranges * SCHARS (string) * 2);
f003ca54 1719
b7dbcc19 1720 while (i_byte < size_byte)
195d1361 1721 {
1fc71008 1722 int leading_code = str[i_byte];
62a6e103 1723 c = STRING_CHAR_AND_LENGTH (str + i_byte, len);
b7dbcc19 1724 i_byte += len;
5c7b02ab 1725
327719ee
MB
1726 if (handle_iso_classes && c == '['
1727 && i_byte < size_byte
62a6e103 1728 && STRING_CHAR (str + i_byte) == ':')
327719ee
MB
1729 {
1730 const unsigned char *class_beg = str + i_byte + 1;
1731 const unsigned char *class_end = class_beg;
1732 const unsigned char *class_limit = str + size_byte - 2;
1733 /* Leave room for the null. */
1734 unsigned char class_name[CHAR_CLASS_MAX_LENGTH + 1];
1735 re_wctype_t cc;
1736
1737 if (class_limit - class_beg > CHAR_CLASS_MAX_LENGTH)
1738 class_limit = class_beg + CHAR_CLASS_MAX_LENGTH;
1739
1740 while (class_end < class_limit
1741 && *class_end >= 'a' && *class_end <= 'z')
1742 class_end++;
1743
1744 if (class_end == class_beg
1745 || *class_end != ':' || class_end[1] != ']')
1746 goto not_a_class_name_multibyte;
1747
72af86bd 1748 memcpy (class_name, class_beg, class_end - class_beg);
327719ee
MB
1749 class_name[class_end - class_beg] = 0;
1750
1751 cc = re_wctype (class_name);
1752 if (cc == 0)
1753 error ("Invalid ISO C character class");
1754
1755 iso_classes = Fcons (make_number (cc), iso_classes);
1756
1757 i_byte = class_end + 2 - str;
1758 continue;
1759 }
1760
1761 not_a_class_name_multibyte:
195d1361
RS
1762 if (c == '\\')
1763 {
13090112 1764 if (i_byte == size_byte)
4101e6fe
RS
1765 break;
1766
b7dbcc19 1767 leading_code = str[i_byte];
62a6e103 1768 c = STRING_CHAR_AND_LENGTH (str + i_byte, len);
82d497fc 1769 i_byte += len;
195d1361 1770 }
839966f3
KH
1771 /* Treat `-' as range character only if another character
1772 follows. */
1773 if (i_byte + 1 < size_byte
82d497fc 1774 && str[i_byte] == '-')
195d1361 1775 {
1fc71008 1776 int c2, leading_code2;
4101e6fe
RS
1777
1778 /* Skip over the dash. */
82d497fc 1779 i_byte++;
4101e6fe 1780
4101e6fe 1781 /* Get the end of the range. */
b7dbcc19 1782 leading_code2 = str[i_byte];
62a6e103 1783 c2 = STRING_CHAR_AND_LENGTH (str + i_byte, len);
82d497fc 1784 i_byte += len;
7e68b0ea 1785
b7dbcc19
KH
1786 if (c2 == '\\'
1787 && i_byte < size_byte)
1788 {
1789 leading_code2 = str[i_byte];
1fc71008 1790 c2 = STRING_CHAR_AND_LENGTH (str + i_byte, len);
b7dbcc19
KH
1791 i_byte += len;
1792 }
1793
f003ca54
KH
1794 if (c > c2)
1795 continue;
b7dbcc19 1796 if (ASCII_CHAR_P (c))
06274af5 1797 {
5c7b02ab
KH
1798 while (c <= c2 && c < 0x80)
1799 fastmap[c++] = 1;
b7dbcc19
KH
1800 leading_code = CHAR_LEADING_CODE (c);
1801 }
1802 if (! ASCII_CHAR_P (c))
1803 {
1fc71008 1804 int lim2 = leading_code2 + 1;
1e69125e 1805 while (leading_code < lim2)
b7dbcc19
KH
1806 fastmap[leading_code++] = 1;
1807 if (c <= c2)
e39091b6 1808 {
b7dbcc19 1809 char_ranges[n_char_ranges++] = c;
e39091b6 1810 char_ranges[n_char_ranges++] = c2;
06274af5
KH
1811 }
1812 }
195d1361
RS
1813 }
1814 else
7e68b0ea 1815 {
b7dbcc19 1816 if (ASCII_CHAR_P (c))
e39091b6
KH
1817 fastmap[c] = 1;
1818 else
7e68b0ea 1819 {
b7dbcc19 1820 fastmap[leading_code] = 1;
4101e6fe
RS
1821 char_ranges[n_char_ranges++] = c;
1822 char_ranges[n_char_ranges++] = c;
7e68b0ea
RS
1823 }
1824 }
195d1361 1825 }
b7dbcc19
KH
1826
1827 /* If the current range is unibyte and STRING contains non-ASCII
1828 chars, arrange fastmap for the corresponding unibyte
1829 chars. */
1830
1831 if (! multibyte && n_char_ranges > 0)
1832 {
72af86bd 1833 memset (fastmap + 0200, 0, 0200);
b7dbcc19
KH
1834 for (i = 0; i < n_char_ranges; i += 2)
1835 {
1836 int c1 = char_ranges[i];
1fc71008 1837 int lim2 = char_ranges[i + 1] + 1;
b7dbcc19 1838
1e69125e 1839 for (; c1 < lim2; c1++)
2afc21f5
SM
1840 {
1841 int b = CHAR_TO_BYTE_SAFE (c1);
1842 if (b >= 0)
1843 fastmap[b] = 1;
1844 }
b7dbcc19
KH
1845 }
1846 }
195d1361
RS
1847 }
1848
9690d026 1849 /* If ^ was the first character, complement the fastmap. */
195d1361 1850 if (negate)
b7dbcc19
KH
1851 {
1852 if (! multibyte)
1853 for (i = 0; i < sizeof fastmap; i++)
1854 fastmap[i] ^= 1;
1855 else
1856 {
1857 for (i = 0; i < 0200; i++)
1858 fastmap[i] ^= 1;
1859 /* All non-ASCII chars possibly match. */
1860 for (; i < sizeof fastmap; i++)
1861 fastmap[i] = 1;
1862 }
1863 }
195d1361
RS
1864
1865 {
d311d28c
PE
1866 ptrdiff_t start_point = PT;
1867 ptrdiff_t pos = PT;
1868 ptrdiff_t pos_byte = PT_BYTE;
9af7511a
KH
1869 unsigned char *p = PT_ADDR, *endp, *stop;
1870
1871 if (forwardp)
1872 {
1873 endp = (XINT (lim) == GPT) ? GPT_ADDR : CHAR_POS_ADDR (XINT (lim));
d7ee9fab 1874 stop = (pos < GPT && GPT < XINT (lim)) ? GPT_ADDR : endp;
9af7511a
KH
1875 }
1876 else
1877 {
1878 endp = CHAR_POS_ADDR (XINT (lim));
d7ee9fab 1879 stop = (pos >= GPT && GPT > XINT (lim)) ? GAP_END_ADDR : endp;
9af7511a 1880 }
195d1361
RS
1881
1882 immediate_quit = 1;
45b683a1 1883 /* This code may look up syntax tables using functions that rely on the
618db430
SM
1884 gl_state object. To make sure this object is not out of date,
1885 let's initialize it manually.
1886 We ignore syntax-table text-properties for now, since that's
1887 what we've done in the past. */
d48cd3f4 1888 SETUP_BUFFER_SYNTAX_TABLE ();
b7dbcc19 1889 if (forwardp)
195d1361 1890 {
b7dbcc19 1891 if (multibyte)
8f924df7 1892 while (1)
b7dbcc19 1893 {
8f924df7 1894 int nbytes;
9af7511a 1895
8f924df7 1896 if (p >= stop)
9af7511a 1897 {
8f924df7 1898 if (p >= endp)
9af7511a 1899 break;
8f924df7
KH
1900 p = GAP_END_ADDR;
1901 stop = endp;
9af7511a 1902 }
62a6e103 1903 c = STRING_CHAR_AND_LENGTH (p, nbytes);
327719ee 1904 if (! NILP (iso_classes) && in_classes (c, iso_classes))
9af7511a 1905 {
327719ee 1906 if (negate)
9af7511a 1907 break;
327719ee
MB
1908 else
1909 goto fwd_ok;
9af7511a 1910 }
9af7511a 1911
8f924df7 1912 if (! fastmap[*p])
b7dbcc19
KH
1913 break;
1914 if (! ASCII_CHAR_P (c))
9af7511a 1915 {
b7dbcc19
KH
1916 /* As we are looking at a multibyte character, we
1917 must look up the character in the table
1918 CHAR_RANGES. If there's no data in the table,
1919 that character is not what we want to skip. */
1920
1921 /* The following code do the right thing even if
1922 n_char_ranges is zero (i.e. no data in
1923 CHAR_RANGES). */
1924 for (i = 0; i < n_char_ranges; i += 2)
1925 if (c >= char_ranges[i] && c <= char_ranges[i + 1])
9af7511a 1926 break;
b7dbcc19
KH
1927 if (!(negate ^ (i < n_char_ranges)))
1928 break;
9af7511a 1929 }
327719ee 1930 fwd_ok:
8f924df7 1931 p += nbytes, pos++, pos_byte += nbytes;
b7dbcc19
KH
1932 }
1933 else
8f924df7
KH
1934 while (1)
1935 {
1936 if (p >= stop)
9af7511a 1937 {
8f924df7 1938 if (p >= endp)
9af7511a 1939 break;
8f924df7
KH
1940 p = GAP_END_ADDR;
1941 stop = endp;
9af7511a 1942 }
327719ee
MB
1943
1944 if (!NILP (iso_classes) && in_classes (*p, iso_classes))
1945 {
1946 if (negate)
1947 break;
1948 else
1949 goto fwd_unibyte_ok;
1950 }
1951
8f924df7
KH
1952 if (!fastmap[*p])
1953 break;
327719ee 1954 fwd_unibyte_ok:
8f924df7
KH
1955 p++, pos++, pos_byte++;
1956 }
195d1361
RS
1957 }
1958 else
1959 {
b7dbcc19 1960 if (multibyte)
8f924df7 1961 while (1)
b7dbcc19 1962 {
8f924df7 1963 unsigned char *prev_p;
9af7511a 1964
8f924df7 1965 if (p <= stop)
9af7511a 1966 {
8f924df7 1967 if (p <= endp)
9af7511a 1968 break;
8f924df7
KH
1969 p = GPT_ADDR;
1970 stop = endp;
9af7511a 1971 }
8f924df7
KH
1972 prev_p = p;
1973 while (--p >= stop && ! CHAR_HEAD_P (*p));
62a6e103 1974 c = STRING_CHAR (p);
a1bc88d4 1975
327719ee
MB
1976 if (! NILP (iso_classes) && in_classes (c, iso_classes))
1977 {
1978 if (negate)
1979 break;
9690d026 1980 else
327719ee 1981 goto back_ok;
7e68b0ea 1982 }
a1bc88d4 1983
8f924df7 1984 if (! fastmap[*p])
b7dbcc19
KH
1985 break;
1986 if (! ASCII_CHAR_P (c))
7e68b0ea 1987 {
b7dbcc19
KH
1988 /* See the comment in the previous similar code. */
1989 for (i = 0; i < n_char_ranges; i += 2)
1990 if (c >= char_ranges[i] && c <= char_ranges[i + 1])
1991 break;
1992 if (!(negate ^ (i < n_char_ranges)))
1993 break;
7e68b0ea 1994 }
327719ee 1995 back_ok:
8f924df7 1996 pos--, pos_byte -= prev_p - p;
b7dbcc19
KH
1997 }
1998 else
8f924df7
KH
1999 while (1)
2000 {
2001 if (p <= stop)
9af7511a 2002 {
8f924df7 2003 if (p <= endp)
9af7511a 2004 break;
8f924df7
KH
2005 p = GPT_ADDR;
2006 stop = endp;
9af7511a 2007 }
e39091b6 2008
327719ee
MB
2009 if (! NILP (iso_classes) && in_classes (p[-1], iso_classes))
2010 {
2011 if (negate)
2012 break;
9af7511a 2013 else
327719ee
MB
2014 goto back_unibyte_ok;
2015 }
a1bc88d4 2016
8f924df7
KH
2017 if (!fastmap[p[-1]])
2018 break;
327719ee 2019 back_unibyte_ok:
8f924df7
KH
2020 p--, pos--, pos_byte--;
2021 }
195d1361 2022 }
7e68b0ea 2023
b7dbcc19
KH
2024 SET_PT_BOTH (pos, pos_byte);
2025 immediate_quit = 0;
2026
2027 return make_number (PT - start_point);
2028 }
2029}
7e68b0ea 2030
b7dbcc19
KH
2031
2032static Lisp_Object
1fc71008 2033skip_syntaxes (bool forwardp, Lisp_Object string, Lisp_Object lim)
b7dbcc19 2034{
1fc71008 2035 int c;
b7dbcc19 2036 unsigned char fastmap[0400];
1fc71008
PE
2037 bool negate = 0;
2038 ptrdiff_t i, i_byte;
2039 bool multibyte;
d311d28c 2040 ptrdiff_t size_byte;
b7dbcc19
KH
2041 unsigned char *str;
2042
2043 CHECK_STRING (string);
2044
2045 if (NILP (lim))
2046 XSETINT (lim, forwardp ? ZV : BEGV);
2047 else
2048 CHECK_NUMBER_COERCE_MARKER (lim);
2049
2050 /* In any case, don't allow scan outside bounds of buffer. */
2051 if (XINT (lim) > ZV)
2052 XSETFASTINT (lim, ZV);
2053 if (XINT (lim) < BEGV)
2054 XSETFASTINT (lim, BEGV);
2055
ade8ee9e 2056 if (forwardp ? (PT >= XFASTINT (lim)) : (PT <= XFASTINT (lim)))
49feb1cd 2057 return make_number (0);
8c6e735b 2058
4b4deea2 2059 multibyte = (!NILP (BVAR (current_buffer, enable_multibyte_characters))
92eaa22e 2060 && (XINT (lim) - PT != CHAR_TO_BYTE (XINT (lim)) - PT_BYTE));
b7dbcc19 2061
72af86bd 2062 memset (fastmap, 0, sizeof fastmap);
b7dbcc19 2063
8f924df7
KH
2064 if (SBYTES (string) > SCHARS (string))
2065 /* As this is very rare case (syntax spec is ASCII only), don't
2066 consider efficiency. */
bc796a59
KH
2067 string = string_make_unibyte (string);
2068
8f924df7
KH
2069 str = SDATA (string);
2070 size_byte = SBYTES (string);
bc796a59 2071
b7dbcc19
KH
2072 i_byte = 0;
2073 if (i_byte < size_byte
8f924df7 2074 && SREF (string, 0) == '^')
b7dbcc19
KH
2075 {
2076 negate = 1; i_byte++;
2077 }
2078
b7dbcc19
KH
2079 /* Find the syntaxes specified and set their elements of fastmap. */
2080
2081 while (i_byte < size_byte)
2082 {
2083 c = str[i_byte++];
8f924df7 2084 fastmap[syntax_spec_code[c]] = 1;
b7dbcc19 2085 }
195d1361 2086
9690d026 2087 /* If ^ was the first character, complement the fastmap. */
195d1361
RS
2088 if (negate)
2089 for (i = 0; i < sizeof fastmap; i++)
9690d026 2090 fastmap[i] ^= 1;
195d1361
RS
2091
2092 {
d311d28c
PE
2093 ptrdiff_t start_point = PT;
2094 ptrdiff_t pos = PT;
2095 ptrdiff_t pos_byte = PT_BYTE;
8f924df7
KH
2096 unsigned char *p = PT_ADDR, *endp, *stop;
2097
2098 if (forwardp)
2099 {
2100 endp = (XINT (lim) == GPT) ? GPT_ADDR : CHAR_POS_ADDR (XINT (lim));
2101 stop = (pos < GPT && GPT < XINT (lim)) ? GPT_ADDR : endp;
2102 }
2103 else
2104 {
2105 endp = CHAR_POS_ADDR (XINT (lim));
2106 stop = (pos >= GPT && GPT > XINT (lim)) ? GAP_END_ADDR : endp;
2107 }
195d1361
RS
2108
2109 immediate_quit = 1;
b7dbcc19
KH
2110 SETUP_SYNTAX_TABLE (pos, forwardp ? 1 : -1);
2111 if (forwardp)
195d1361 2112 {
b7dbcc19 2113 if (multibyte)
195d1361 2114 {
8f924df7 2115 while (1)
8c6e735b 2116 {
8f924df7
KH
2117 int nbytes;
2118
2119 if (p >= stop)
2120 {
2121 if (p >= endp)
2122 break;
2123 p = GAP_END_ADDR;
2124 stop = endp;
2125 }
62a6e103 2126 c = STRING_CHAR_AND_LENGTH (p, nbytes);
1fc71008 2127 if (! fastmap[SYNTAX (c)])
8c6e735b 2128 break;
8f924df7 2129 p += nbytes, pos++, pos_byte += nbytes;
8c6e735b
KH
2130 UPDATE_SYNTAX_TABLE_FORWARD (pos);
2131 }
195d1361
RS
2132 }
2133 else
2134 {
8c6e735b 2135 while (1)
7e68b0ea 2136 {
8f924df7
KH
2137 if (p >= stop)
2138 {
2139 if (p >= endp)
2140 break;
2141 p = GAP_END_ADDR;
2142 stop = endp;
2143 }
1fc71008 2144 if (! fastmap[SYNTAX (*p)])
8c6e735b 2145 break;
8f924df7 2146 p++, pos++, pos_byte++;
b7dbcc19 2147 UPDATE_SYNTAX_TABLE_FORWARD (pos);
195d1361
RS
2148 }
2149 }
2150 }
2151 else
2152 {
b7dbcc19 2153 if (multibyte)
195d1361 2154 {
8c6e735b 2155 while (1)
b7dbcc19 2156 {
8f924df7
KH
2157 unsigned char *prev_p;
2158
2159 if (p <= stop)
b7dbcc19 2160 {
8f924df7
KH
2161 if (p <= endp)
2162 break;
2163 p = GPT_ADDR;
2164 stop = endp;
b7dbcc19 2165 }
262be72a 2166 UPDATE_SYNTAX_TABLE_BACKWARD (pos - 1);
8f924df7
KH
2167 prev_p = p;
2168 while (--p >= stop && ! CHAR_HEAD_P (*p));
62a6e103 2169 c = STRING_CHAR (p);
1fc71008 2170 if (! fastmap[SYNTAX (c)])
8f924df7
KH
2171 break;
2172 pos--, pos_byte -= prev_p - p;
b7dbcc19 2173 }
195d1361
RS
2174 }
2175 else
2176 {
8c6e735b
KH
2177 while (1)
2178 {
8f924df7
KH
2179 if (p <= stop)
2180 {
2181 if (p <= endp)
2182 break;
2183 p = GPT_ADDR;
2184 stop = endp;
2185 }
102f6132 2186 UPDATE_SYNTAX_TABLE_BACKWARD (pos - 1);
1fc71008 2187 if (! fastmap[SYNTAX (p[-1])])
8c6e735b 2188 break;
8f924df7 2189 p--, pos--, pos_byte--;
8c6e735b 2190 }
195d1361
RS
2191 }
2192 }
6a140a74
RS
2193
2194 SET_PT_BOTH (pos, pos_byte);
195d1361
RS
2195 immediate_quit = 0;
2196
2197 return make_number (PT - start_point);
2198 }
2199}
a1bc88d4 2200
1fc71008 2201/* Return true if character C belongs to one of the ISO classes
a1bc88d4
RS
2202 in the list ISO_CLASSES. Each class is represented by an
2203 integer which is its type according to re_wctype. */
2204
1fc71008 2205static bool
971de7fb 2206in_classes (int c, Lisp_Object iso_classes)
a1bc88d4 2207{
1fc71008 2208 bool fits_class = 0;
a1bc88d4 2209
618db430 2210 while (CONSP (iso_classes))
a1bc88d4
RS
2211 {
2212 Lisp_Object elt;
2213 elt = XCAR (iso_classes);
2214 iso_classes = XCDR (iso_classes);
2215
2216 if (re_iswctype (c, XFASTINT (elt)))
2217 fits_class = 1;
2218 }
2219
2220 return fits_class;
2221}
195d1361 2222\f
95ff8dfc
RS
2223/* Jump over a comment, assuming we are at the beginning of one.
2224 FROM is the current position.
2225 FROM_BYTE is the bytepos corresponding to FROM.
2226 Do not move past STOP (a charpos).
2227 The comment over which we have to jump is of style STYLE
1fc71008 2228 (either SYNTAX_FLAGS_COMMENT_STYLE (foo) or ST_COMMENT_STYLE).
95ff8dfc
RS
2229 NESTING should be positive to indicate the nesting at the beginning
2230 for nested comments and should be zero or negative else.
2231 ST_COMMENT_STYLE cannot be nested.
2232 PREV_SYNTAX is the SYNTAX_WITH_FLAGS of the previous character
2233 (or 0 If the search cannot start in the middle of a two-character).
2234
1fc71008 2235 If successful, return true and store the charpos of the comment's end
95ff8dfc 2236 into *CHARPOS_PTR and the corresponding bytepos into *BYTEPOS_PTR.
1fc71008 2237 Else, return false and store the charpos STOP into *CHARPOS_PTR, the
95ff8dfc
RS
2238 corresponding bytepos into *BYTEPOS_PTR and the current nesting
2239 (as defined for state.incomment) in *INCOMMENT_PTR.
2240
2241 The comment end is the last character of the comment rather than the
1fc71008 2242 character just after the comment.
95ff8dfc
RS
2243
2244 Global syntax data is assumed to initially be valid for FROM and
2245 remains valid for forward search starting at the returned position. */
2246
1fc71008 2247static bool
d311d28c
PE
2248forw_comment (ptrdiff_t from, ptrdiff_t from_byte, ptrdiff_t stop,
2249 EMACS_INT nesting, int style, int prev_syntax,
2250 ptrdiff_t *charpos_ptr, ptrdiff_t *bytepos_ptr,
2251 EMACS_INT *incomment_ptr)
95ff8dfc
RS
2252{
2253 register int c, c1;
2254 register enum syntaxcode code;
c5683ceb 2255 register int syntax, other_syntax;
95ff8dfc
RS
2256
2257 if (nesting <= 0) nesting = -1;
2258
2259 /* Enter the loop in the middle so that we find
2260 a 2-char comment ender if we start in the middle of it. */
2261 syntax = prev_syntax;
2262 if (syntax != 0) goto forw_incomment;
2263
2264 while (1)
2265 {
2266 if (from == stop)
2267 {
2268 *incomment_ptr = nesting;
2269 *charpos_ptr = from;
2270 *bytepos_ptr = from_byte;
2271 return 0;
2272 }
8f924df7 2273 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
95ff8dfc
RS
2274 syntax = SYNTAX_WITH_FLAGS (c);
2275 code = syntax & 0xff;
2276 if (code == Sendcomment
c5683ceb 2277 && SYNTAX_FLAGS_COMMENT_STYLE (syntax, 0) == style
abf8a9ff
SM
2278 && (SYNTAX_FLAGS_COMMENT_NESTED (syntax) ?
2279 (nesting > 0 && --nesting == 0) : nesting < 0))
95ff8dfc
RS
2280 /* we have encountered a comment end of the same style
2281 as the comment sequence which began this comment
2282 section */
2283 break;
2284 if (code == Scomment_fence
2285 && style == ST_COMMENT_STYLE)
2286 /* we have encountered a comment end of the same style
2287 as the comment sequence which began this comment
2288 section. */
2289 break;
2290 if (nesting > 0
2291 && code == Scomment
abf8a9ff 2292 && SYNTAX_FLAGS_COMMENT_NESTED (syntax)
c5683ceb 2293 && SYNTAX_FLAGS_COMMENT_STYLE (syntax, 0) == style)
95ff8dfc
RS
2294 /* we have encountered a nested comment of the same style
2295 as the comment sequence which began this comment section */
2296 nesting++;
2297 INC_BOTH (from, from_byte);
2298 UPDATE_SYNTAX_TABLE_FORWARD (from);
7d0393cf 2299
95ff8dfc
RS
2300 forw_incomment:
2301 if (from < stop && SYNTAX_FLAGS_COMEND_FIRST (syntax)
8f924df7 2302 && (c1 = FETCH_CHAR_AS_MULTIBYTE (from_byte),
c5683ceb
SM
2303 other_syntax = SYNTAX_WITH_FLAGS (c1),
2304 SYNTAX_FLAGS_COMEND_SECOND (other_syntax))
2305 && SYNTAX_FLAGS_COMMENT_STYLE (syntax, other_syntax) == style
abf8a9ff 2306 && ((SYNTAX_FLAGS_COMMENT_NESTED (syntax) ||
c5683ceb
SM
2307 SYNTAX_FLAGS_COMMENT_NESTED (other_syntax))
2308 ? nesting > 0 : nesting < 0))
4ffe723b
GM
2309 {
2310 if (--nesting <= 0)
2311 /* we have encountered a comment end of the same style
2312 as the comment sequence which began this comment
2313 section */
2314 break;
2315 else
2316 {
2317 INC_BOTH (from, from_byte);
2318 UPDATE_SYNTAX_TABLE_FORWARD (from);
2319 }
2320 }
95ff8dfc
RS
2321 if (nesting > 0
2322 && from < stop
2323 && SYNTAX_FLAGS_COMSTART_FIRST (syntax)
8f924df7 2324 && (c1 = FETCH_CHAR_AS_MULTIBYTE (from_byte),
c5683ceb
SM
2325 other_syntax = SYNTAX_WITH_FLAGS (c1),
2326 SYNTAX_FLAGS_COMMENT_STYLE (other_syntax, syntax) == style
2327 && SYNTAX_FLAGS_COMSTART_SECOND (other_syntax))
abf8a9ff 2328 && (SYNTAX_FLAGS_COMMENT_NESTED (syntax) ||
c5683ceb 2329 SYNTAX_FLAGS_COMMENT_NESTED (other_syntax)))
95ff8dfc
RS
2330 /* we have encountered a nested comment of the same style
2331 as the comment sequence which began this comment
2332 section */
2333 {
2334 INC_BOTH (from, from_byte);
2335 UPDATE_SYNTAX_TABLE_FORWARD (from);
2336 nesting++;
2337 }
2338 }
2339 *charpos_ptr = from;
2340 *bytepos_ptr = from_byte;
2341 return 1;
2342}
2343
b3cfe0c8 2344DEFUN ("forward-comment", Fforward_comment, Sforward_comment, 1, 1, 0,
177c0ea7 2345 doc: /*
ee648c11 2346Move forward across up to COUNT comments. If COUNT is negative, move backward.
fdb82f93
PJ
2347Stop scanning if we find something other than a comment or whitespace.
2348Set point to where scanning stops.
ee648c11 2349If COUNT comments are found as expected, with nothing except whitespace
fdb82f93 2350between them, return t; otherwise return nil. */)
5842a27b 2351 (Lisp_Object count)
b3cfe0c8 2352{
1fc71008
PE
2353 ptrdiff_t from, from_byte, stop;
2354 int c, c1;
2355 enum syntaxcode code;
b3cfe0c8 2356 int comstyle = 0; /* style of comment encountered */
1fc71008
PE
2357 bool comnested = 0; /* whether the comment is nestable or not */
2358 bool found;
2312c580 2359 EMACS_INT count1;
d311d28c 2360 ptrdiff_t out_charpos, out_bytepos;
7c85f529 2361 EMACS_INT dummy;
840f481c 2362
b7826503 2363 CHECK_NUMBER (count);
840f481c 2364 count1 = XINT (count);
195d1361 2365 stop = count1 > 0 ? ZV : BEGV;
b3cfe0c8
RS
2366
2367 immediate_quit = 1;
2368 QUIT;
2369
2370 from = PT;
6a140a74 2371 from_byte = PT_BYTE;
b3cfe0c8 2372
195d1361 2373 SETUP_SYNTAX_TABLE (from, count1);
840f481c 2374 while (count1 > 0)
b3cfe0c8 2375 {
04882296 2376 do
b3cfe0c8 2377 {
1fc71008
PE
2378 bool comstart_first;
2379 int syntax, other_syntax;
f902a008 2380
04882296
KH
2381 if (from == stop)
2382 {
ef316cf0 2383 SET_PT_BOTH (from, from_byte);
b7e6e612 2384 immediate_quit = 0;
04882296
KH
2385 return Qnil;
2386 }
b7dbcc19 2387 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
c5683ceb 2388 syntax = SYNTAX_WITH_FLAGS (c);
b3cfe0c8 2389 code = SYNTAX (c);
c5683ceb
SM
2390 comstart_first = SYNTAX_FLAGS_COMSTART_FIRST (syntax);
2391 comnested = SYNTAX_FLAGS_COMMENT_NESTED (syntax);
2392 comstyle = SYNTAX_FLAGS_COMMENT_STYLE (syntax, 0);
6a140a74 2393 INC_BOTH (from, from_byte);
f902a008 2394 UPDATE_SYNTAX_TABLE_FORWARD (from);
f902a008 2395 if (from < stop && comstart_first
b7dbcc19 2396 && (c1 = FETCH_CHAR_AS_MULTIBYTE (from_byte),
c5683ceb
SM
2397 other_syntax = SYNTAX_WITH_FLAGS (c1),
2398 SYNTAX_FLAGS_COMSTART_SECOND (other_syntax)))
b3cfe0c8 2399 {
7d0393cf 2400 /* We have encountered a comment start sequence and we
7fc8191e 2401 are ignoring all text inside comments. We must record
b3cfe0c8
RS
2402 the comment style this sequence begins so that later,
2403 only a comment end of the same style actually ends
7fc8191e 2404 the comment section. */
b3cfe0c8 2405 code = Scomment;
c5683ceb 2406 comstyle = SYNTAX_FLAGS_COMMENT_STYLE (other_syntax, syntax);
1fc71008 2407 comnested |= SYNTAX_FLAGS_COMMENT_NESTED (other_syntax);
6a140a74 2408 INC_BOTH (from, from_byte);
95ff8dfc 2409 UPDATE_SYNTAX_TABLE_FORWARD (from);
b3cfe0c8 2410 }
04882296 2411 }
abf8a9ff 2412 while (code == Swhitespace || (code == Sendcomment && c == '\n'));
6a140a74 2413
da71ab91
KH
2414 if (code == Scomment_fence)
2415 comstyle = ST_COMMENT_STYLE;
2416 else if (code != Scomment)
04882296
KH
2417 {
2418 immediate_quit = 0;
6a140a74 2419 DEC_BOTH (from, from_byte);
ef316cf0 2420 SET_PT_BOTH (from, from_byte);
04882296
KH
2421 return Qnil;
2422 }
2423 /* We're at the start of a comment. */
95ff8dfc
RS
2424 found = forw_comment (from, from_byte, stop, comnested, comstyle, 0,
2425 &out_charpos, &out_bytepos, &dummy);
2426 from = out_charpos; from_byte = out_bytepos;
2427 if (!found)
04882296 2428 {
95ff8dfc
RS
2429 immediate_quit = 0;
2430 SET_PT_BOTH (from, from_byte);
2431 return Qnil;
b3cfe0c8 2432 }
95ff8dfc
RS
2433 INC_BOTH (from, from_byte);
2434 UPDATE_SYNTAX_TABLE_FORWARD (from);
04882296 2435 /* We have skipped one comment. */
840f481c 2436 count1--;
b3cfe0c8
RS
2437 }
2438
840f481c 2439 while (count1 < 0)
b3cfe0c8 2440 {
b9145dbb 2441 while (1)
b3cfe0c8 2442 {
1fc71008
PE
2443 bool quoted;
2444 int syntax;
f902a008 2445
b9145dbb
RS
2446 if (from <= stop)
2447 {
6a140a74 2448 SET_PT_BOTH (BEGV, BEGV_BYTE);
b9145dbb
RS
2449 immediate_quit = 0;
2450 return Qnil;
2451 }
b3cfe0c8 2452
6a140a74 2453 DEC_BOTH (from, from_byte);
f902a008 2454 /* char_quoted does UPDATE_SYNTAX_TABLE_BACKWARD (from). */
6a140a74 2455 quoted = char_quoted (from, from_byte);
b7dbcc19 2456 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
c5683ceb 2457 syntax = SYNTAX_WITH_FLAGS (c);
b3cfe0c8
RS
2458 code = SYNTAX (c);
2459 comstyle = 0;
c5683ceb 2460 comnested = SYNTAX_FLAGS_COMMENT_NESTED (syntax);
7fc8191e 2461 if (code == Sendcomment)
c5683ceb
SM
2462 comstyle = SYNTAX_FLAGS_COMMENT_STYLE (syntax, 0);
2463 if (from > stop && SYNTAX_FLAGS_COMEND_SECOND (syntax)
f902a008 2464 && prev_char_comend_first (from, from_byte)
89c6809a 2465 && !char_quoted (from - 1, dec_bytepos (from_byte)))
b3cfe0c8 2466 {
c5683ceb 2467 int other_syntax;
7fc8191e 2468 /* We must record the comment style encountered so that
b3cfe0c8 2469 later, we can match only the proper comment begin
7fc8191e 2470 sequence of the same style. */
6a140a74 2471 DEC_BOTH (from, from_byte);
f902a008
RS
2472 code = Sendcomment;
2473 /* Calling char_quoted, above, set up global syntax position
2474 at the new value of FROM. */
b7dbcc19 2475 c1 = FETCH_CHAR_AS_MULTIBYTE (from_byte);
c5683ceb
SM
2476 other_syntax = SYNTAX_WITH_FLAGS (c1);
2477 comstyle = SYNTAX_FLAGS_COMMENT_STYLE (other_syntax, syntax);
1fc71008 2478 comnested |= SYNTAX_FLAGS_COMMENT_NESTED (other_syntax);
b3cfe0c8
RS
2479 }
2480
195d1361
RS
2481 if (code == Scomment_fence)
2482 {
2483 /* Skip until first preceding unquoted comment_fence. */
1fc71008 2484 bool fence_found = 0;
d311d28c 2485 ptrdiff_t ini = from, ini_byte = from_byte;
7d0393cf 2486
6a140a74 2487 while (1)
195d1361 2488 {
6a140a74 2489 DEC_BOTH (from, from_byte);
195d1361 2490 UPDATE_SYNTAX_TABLE_BACKWARD (from);
b7dbcc19 2491 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
6a140a74 2492 if (SYNTAX (c) == Scomment_fence
7d0393cf 2493 && !char_quoted (from, from_byte))
195d1361 2494 {
01f44d5a 2495 fence_found = 1;
195d1361
RS
2496 break;
2497 }
fcdd4585
SM
2498 else if (from == stop)
2499 break;
195d1361 2500 }
01f44d5a 2501 if (fence_found == 0)
195d1361
RS
2502 {
2503 from = ini; /* Set point to ini + 1. */
6a140a74 2504 from_byte = ini_byte;
195d1361
RS
2505 goto leave;
2506 }
39c41ad4
SM
2507 else
2508 /* We have skipped one comment. */
2509 break;
195d1361
RS
2510 }
2511 else if (code == Sendcomment)
b3cfe0c8 2512 {
95ff8dfc 2513 found = back_comment (from, from_byte, stop, comnested, comstyle,
6a140a74 2514 &out_charpos, &out_bytepos);
1fc71008 2515 if (!found)
1aa963c8 2516 {
abf8a9ff
SM
2517 if (c == '\n')
2518 /* This end-of-line is not an end-of-comment.
2519 Treat it like a whitespace.
2520 CC-mode (and maybe others) relies on this behavior. */
2521 ;
2522 else
2523 {
2524 /* Failure: we should go back to the end of this
2525 not-quite-endcomment. */
c5683ceb 2526 if (SYNTAX (c) != code)
abf8a9ff
SM
2527 /* It was a two-char Sendcomment. */
2528 INC_BOTH (from, from_byte);
2529 goto leave;
2530 }
1aa963c8 2531 }
2b927d02 2532 else
abf8a9ff
SM
2533 {
2534 /* We have skipped one comment. */
2535 from = out_charpos, from_byte = out_bytepos;
2536 break;
2537 }
b3cfe0c8 2538 }
bb0de084 2539 else if (code != Swhitespace || quoted)
b3cfe0c8 2540 {
195d1361 2541 leave:
b3cfe0c8 2542 immediate_quit = 0;
6a140a74 2543 INC_BOTH (from, from_byte);
ef316cf0 2544 SET_PT_BOTH (from, from_byte);
b3cfe0c8
RS
2545 return Qnil;
2546 }
2547 }
2548
840f481c 2549 count1++;
b3cfe0c8
RS
2550 }
2551
ef316cf0 2552 SET_PT_BOTH (from, from_byte);
b3cfe0c8
RS
2553 immediate_quit = 0;
2554 return Qt;
2555}
2556\f
b7dbcc19 2557/* Return syntax code of character C if C is an ASCII character
45b683a1 2558 or if MULTIBYTE_SYMBOL_P is false. Otherwise, return Ssymbol. */
bd25db08 2559
45b683a1
PE
2560static enum syntaxcode
2561syntax_multibyte (int c, bool multibyte_symbol_p)
2562{
2563 return ASCII_CHAR_P (c) || !multibyte_symbol_p ? SYNTAX (c) : Ssymbol;
2564}
bd25db08 2565
6a140a74 2566static Lisp_Object
1fc71008 2567scan_lists (EMACS_INT from, EMACS_INT count, EMACS_INT depth, bool sexpflag)
8489eb67
RS
2568{
2569 Lisp_Object val;
1fc71008
PE
2570 ptrdiff_t stop = count > 0 ? ZV : BEGV;
2571 int c, c1;
93da5fff 2572 int stringterm;
1fc71008
PE
2573 bool quoted;
2574 bool mathexit = 0;
45b683a1 2575 enum syntaxcode code;
d311d28c 2576 EMACS_INT min_depth = depth; /* Err out if depth gets less than this. */
e5d4f4dc 2577 int comstyle = 0; /* style of comment encountered */
1fc71008 2578 bool comnested = 0; /* whether the comment is nestable or not */
d311d28c 2579 ptrdiff_t temp_pos;
932e6895 2580 EMACS_INT last_good = from;
1fc71008 2581 bool found;
d311d28c
PE
2582 ptrdiff_t from_byte;
2583 ptrdiff_t out_bytepos, out_charpos;
7c85f529 2584 EMACS_INT dummy;
1fc71008 2585 bool multibyte_symbol_p = sexpflag && multibyte_syntax_as_symbol;
8489eb67
RS
2586
2587 if (depth > 0) min_depth = 0;
2588
c3907a7e
RS
2589 if (from > ZV) from = ZV;
2590 if (from < BEGV) from = BEGV;
2591
2592 from_byte = CHAR_TO_BYTE (from);
2593
8489eb67
RS
2594 immediate_quit = 1;
2595 QUIT;
2596
195d1361 2597 SETUP_SYNTAX_TABLE (from, count);
8489eb67
RS
2598 while (count > 0)
2599 {
8489eb67
RS
2600 while (from < stop)
2601 {
1fc71008
PE
2602 bool comstart_first, prefix;
2603 int syntax, other_syntax;
195d1361 2604 UPDATE_SYNTAX_TABLE_FORWARD (from);
b7dbcc19 2605 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
c5683ceb 2606 syntax = SYNTAX_WITH_FLAGS (c);
45b683a1 2607 code = syntax_multibyte (c, multibyte_symbol_p);
c5683ceb
SM
2608 comstart_first = SYNTAX_FLAGS_COMSTART_FIRST (syntax);
2609 comnested = SYNTAX_FLAGS_COMMENT_NESTED (syntax);
2610 comstyle = SYNTAX_FLAGS_COMMENT_STYLE (syntax, 0);
2611 prefix = SYNTAX_FLAGS_PREFIX (syntax);
7bf5e9e4
RS
2612 if (depth == min_depth)
2613 last_good = from;
6a140a74 2614 INC_BOTH (from, from_byte);
195d1361 2615 UPDATE_SYNTAX_TABLE_FORWARD (from);
f902a008 2616 if (from < stop && comstart_first
327719ee 2617 && (c = FETCH_CHAR_AS_MULTIBYTE (from_byte),
c5683ceb
SM
2618 other_syntax = SYNTAX_WITH_FLAGS (c),
2619 SYNTAX_FLAGS_COMSTART_SECOND (other_syntax))
8489eb67 2620 && parse_sexp_ignore_comments)
e5d4f4dc 2621 {
7d0393cf 2622 /* we have encountered a comment start sequence and we
195d1361 2623 are ignoring all text inside comments. We must record
e5d4f4dc
RS
2624 the comment style this sequence begins so that later,
2625 only a comment end of the same style actually ends
2626 the comment section */
2627 code = Scomment;
c5683ceb 2628 comstyle = SYNTAX_FLAGS_COMMENT_STYLE (other_syntax, syntax);
1fc71008 2629 comnested |= SYNTAX_FLAGS_COMMENT_NESTED (other_syntax);
6a140a74 2630 INC_BOTH (from, from_byte);
f902a008 2631 UPDATE_SYNTAX_TABLE_FORWARD (from);
e5d4f4dc 2632 }
7d0393cf 2633
f902a008 2634 if (prefix)
8489eb67
RS
2635 continue;
2636
7393bcbb 2637 switch (code)
8489eb67
RS
2638 {
2639 case Sescape:
2640 case Scharquote:
8b8bf8e6
SM
2641 if (from == stop)
2642 goto lose;
6a140a74 2643 INC_BOTH (from, from_byte);
8489eb67
RS
2644 /* treat following character as a word constituent */
2645 case Sword:
2646 case Ssymbol:
2647 if (depth || !sexpflag) break;
195d1361 2648 /* This word counts as a sexp; return at end of it. */
8489eb67
RS
2649 while (from < stop)
2650 {
195d1361 2651 UPDATE_SYNTAX_TABLE_FORWARD (from);
7c7ca3d2 2652
b7dbcc19 2653 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
45b683a1 2654 switch (syntax_multibyte (c, multibyte_symbol_p))
8489eb67
RS
2655 {
2656 case Scharquote:
2657 case Sescape:
6a140a74 2658 INC_BOTH (from, from_byte);
8b8bf8e6
SM
2659 if (from == stop)
2660 goto lose;
8489eb67
RS
2661 break;
2662 case Sword:
2663 case Ssymbol:
2664 case Squote:
2665 break;
2666 default:
2667 goto done;
2668 }
6a140a74 2669 INC_BOTH (from, from_byte);
8489eb67
RS
2670 }
2671 goto done;
2672
195d1361 2673 case Scomment_fence:
95ff8dfc
RS
2674 comstyle = ST_COMMENT_STYLE;
2675 /* FALLTHROUGH */
2676 case Scomment:
8489eb67 2677 if (!parse_sexp_ignore_comments) break;
95ff8dfc
RS
2678 UPDATE_SYNTAX_TABLE_FORWARD (from);
2679 found = forw_comment (from, from_byte, stop,
2680 comnested, comstyle, 0,
2681 &out_charpos, &out_bytepos, &dummy);
2682 from = out_charpos, from_byte = out_bytepos;
2683 if (!found)
8489eb67 2684 {
95ff8dfc
RS
2685 if (depth == 0)
2686 goto done;
2687 goto lose;
8489eb67 2688 }
95ff8dfc
RS
2689 INC_BOTH (from, from_byte);
2690 UPDATE_SYNTAX_TABLE_FORWARD (from);
8489eb67
RS
2691 break;
2692
2693 case Smath:
2694 if (!sexpflag)
2695 break;
b7dbcc19 2696 if (from != stop && c == FETCH_CHAR_AS_MULTIBYTE (from_byte))
6a140a74
RS
2697 {
2698 INC_BOTH (from, from_byte);
2699 }
8489eb67
RS
2700 if (mathexit)
2701 {
2702 mathexit = 0;
2703 goto close1;
2704 }
2705 mathexit = 1;
2706
2707 case Sopen:
2708 if (!++depth) goto done;
2709 break;
2710
2711 case Sclose:
2712 close1:
2713 if (!--depth) goto done;
2714 if (depth < min_depth)
9471945b
KS
2715 xsignal3 (Qscan_error,
2716 build_string ("Containing expression ends prematurely"),
2717 make_number (last_good), make_number (from));
8489eb67
RS
2718 break;
2719
2720 case Sstring:
195d1361 2721 case Sstring_fence:
ef316cf0 2722 temp_pos = dec_bytepos (from_byte);
b7dbcc19 2723 stringterm = FETCH_CHAR_AS_MULTIBYTE (temp_pos);
8489eb67
RS
2724 while (1)
2725 {
45b683a1 2726 enum syntaxcode c_code;
8b8bf8e6
SM
2727 if (from >= stop)
2728 goto lose;
195d1361 2729 UPDATE_SYNTAX_TABLE_FORWARD (from);
b7dbcc19 2730 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
45b683a1 2731 c_code = syntax_multibyte (c, multibyte_symbol_p);
42ebfa31 2732 if (code == Sstring
45b683a1
PE
2733 ? c == stringterm && c_code == Sstring
2734 : c_code == Sstring_fence)
195d1361 2735 break;
7c7ca3d2 2736
1fc71008 2737 switch (c_code)
8489eb67
RS
2738 {
2739 case Scharquote:
2740 case Sescape:
6a140a74 2741 INC_BOTH (from, from_byte);
8489eb67 2742 }
6a140a74 2743 INC_BOTH (from, from_byte);
8489eb67 2744 }
6a140a74 2745 INC_BOTH (from, from_byte);
8489eb67
RS
2746 if (!depth && sexpflag) goto done;
2747 break;
240c43e8
SM
2748 default:
2749 /* Ignore whitespace, punctuation, quote, endcomment. */
2750 break;
8489eb67
RS
2751 }
2752 }
2753
2754 /* Reached end of buffer. Error if within object, return nil if between */
8b8bf8e6
SM
2755 if (depth)
2756 goto lose;
8489eb67
RS
2757
2758 immediate_quit = 0;
2759 return Qnil;
2760
2761 /* End of object reached */
2762 done:
2763 count--;
2764 }
2765
2766 while (count < 0)
2767 {
8489eb67
RS
2768 while (from > stop)
2769 {
c5683ceb 2770 int syntax;
6a140a74 2771 DEC_BOTH (from, from_byte);
195d1361 2772 UPDATE_SYNTAX_TABLE_BACKWARD (from);
b7dbcc19 2773 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
c5683ceb 2774 syntax= SYNTAX_WITH_FLAGS (c);
45b683a1 2775 code = syntax_multibyte (c, multibyte_symbol_p);
7bf5e9e4
RS
2776 if (depth == min_depth)
2777 last_good = from;
7fc8191e 2778 comstyle = 0;
c5683ceb 2779 comnested = SYNTAX_FLAGS_COMMENT_NESTED (syntax);
7fc8191e 2780 if (code == Sendcomment)
c5683ceb
SM
2781 comstyle = SYNTAX_FLAGS_COMMENT_STYLE (syntax, 0);
2782 if (from > stop && SYNTAX_FLAGS_COMEND_SECOND (syntax)
1674d9a2 2783 && prev_char_comend_first (from, from_byte)
8489eb67 2784 && parse_sexp_ignore_comments)
e5d4f4dc 2785 {
f902a008 2786 /* We must record the comment style encountered so that
e5d4f4dc 2787 later, we can match only the proper comment begin
f902a008 2788 sequence of the same style. */
01f44d5a 2789 int c2, other_syntax;
6a140a74 2790 DEC_BOTH (from, from_byte);
f902a008
RS
2791 UPDATE_SYNTAX_TABLE_BACKWARD (from);
2792 code = Sendcomment;
01f44d5a
PE
2793 c2 = FETCH_CHAR_AS_MULTIBYTE (from_byte);
2794 other_syntax = SYNTAX_WITH_FLAGS (c2);
c5683ceb 2795 comstyle = SYNTAX_FLAGS_COMMENT_STYLE (other_syntax, syntax);
1fc71008 2796 comnested |= SYNTAX_FLAGS_COMMENT_NESTED (other_syntax);
e5d4f4dc 2797 }
7d0393cf 2798
9828a477 2799 /* Quoting turns anything except a comment-ender
e6365855 2800 into a word character. Note that this cannot be true
f902a008 2801 if we decremented FROM in the if-statement above. */
9828a477 2802 if (code != Sendcomment && char_quoted (from, from_byte))
240c43e8
SM
2803 {
2804 DEC_BOTH (from, from_byte);
2805 code = Sword;
2806 }
c5683ceb 2807 else if (SYNTAX_FLAGS_PREFIX (syntax))
8489eb67
RS
2808 continue;
2809
7393bcbb 2810 switch (code)
8489eb67
RS
2811 {
2812 case Sword:
2813 case Ssymbol:
9828a477
KH
2814 case Sescape:
2815 case Scharquote:
8489eb67 2816 if (depth || !sexpflag) break;
195d1361
RS
2817 /* This word counts as a sexp; count object finished
2818 after passing it. */
8489eb67
RS
2819 while (from > stop)
2820 {
6a140a74 2821 temp_pos = from_byte;
4b4deea2 2822 if (! NILP (BVAR (current_buffer, enable_multibyte_characters)))
ef316cf0
RS
2823 DEC_POS (temp_pos);
2824 else
2825 temp_pos--;
6a140a74 2826 UPDATE_SYNTAX_TABLE_BACKWARD (from - 1);
b7dbcc19 2827 c1 = FETCH_CHAR_AS_MULTIBYTE (temp_pos);
9828a477 2828 /* Don't allow comment-end to be quoted. */
45b683a1 2829 if (syntax_multibyte (c1, multibyte_symbol_p) == Sendcomment)
9828a477 2830 goto done2;
6a140a74 2831 quoted = char_quoted (from - 1, temp_pos);
8489eb67 2832 if (quoted)
93da5fff 2833 {
6a140a74 2834 DEC_BOTH (from, from_byte);
ef316cf0 2835 temp_pos = dec_bytepos (temp_pos);
6a140a74 2836 UPDATE_SYNTAX_TABLE_BACKWARD (from - 1);
93da5fff 2837 }
b7dbcc19 2838 c1 = FETCH_CHAR_AS_MULTIBYTE (temp_pos);
45b683a1
PE
2839 if (! quoted)
2840 switch (syntax_multibyte (c1, multibyte_symbol_p))
2841 {
2842 case Sword: case Ssymbol: case Squote: break;
2843 default: goto done2;
2844 }
6a140a74 2845 DEC_BOTH (from, from_byte);
8489eb67
RS
2846 }
2847 goto done2;
2848
2849 case Smath:
2850 if (!sexpflag)
2851 break;
ef316cf0 2852 temp_pos = dec_bytepos (from_byte);
6a140a74 2853 UPDATE_SYNTAX_TABLE_BACKWARD (from - 1);
b7dbcc19 2854 if (from != stop && c == FETCH_CHAR_AS_MULTIBYTE (temp_pos))
6a140a74 2855 DEC_BOTH (from, from_byte);
8489eb67
RS
2856 if (mathexit)
2857 {
2858 mathexit = 0;
2859 goto open2;
2860 }
2861 mathexit = 1;
2862
2863 case Sclose:
2864 if (!++depth) goto done2;
2865 break;
2866
2867 case Sopen:
2868 open2:
2869 if (!--depth) goto done2;
2870 if (depth < min_depth)
9471945b
KS
2871 xsignal3 (Qscan_error,
2872 build_string ("Containing expression ends prematurely"),
2873 make_number (last_good), make_number (from));
8489eb67
RS
2874 break;
2875
2876 case Sendcomment:
2877 if (!parse_sexp_ignore_comments)
2878 break;
95ff8dfc 2879 found = back_comment (from, from_byte, stop, comnested, comstyle,
6a140a74 2880 &out_charpos, &out_bytepos);
1fc71008 2881 /* FIXME: if !found, it really wasn't a comment-end.
1aa963c8
SM
2882 For single-char Sendcomment, we can't do much about it apart
2883 from skipping the char.
2884 For 2-char endcomments, we could try again, taking both
2885 chars as separate entities, but it's a lot of trouble
2886 for very little gain, so we don't bother either. -sm */
1fc71008 2887 if (found)
6a140a74 2888 from = out_charpos, from_byte = out_bytepos;
8489eb67
RS
2889 break;
2890
195d1361
RS
2891 case Scomment_fence:
2892 case Sstring_fence:
2893 while (1)
2894 {
8b8bf8e6
SM
2895 if (from == stop)
2896 goto lose;
6b61353c 2897 DEC_BOTH (from, from_byte);
195d1361 2898 UPDATE_SYNTAX_TABLE_BACKWARD (from);
45b683a1
PE
2899 if (!char_quoted (from, from_byte))
2900 {
2901 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
2902 if (syntax_multibyte (c, multibyte_symbol_p) == code)
2903 break;
2904 }
195d1361
RS
2905 }
2906 if (code == Sstring_fence && !depth && sexpflag) goto done2;
2907 break;
7d0393cf 2908
8489eb67 2909 case Sstring:
b7dbcc19 2910 stringterm = FETCH_CHAR_AS_MULTIBYTE (from_byte);
8489eb67
RS
2911 while (1)
2912 {
8b8bf8e6
SM
2913 if (from == stop)
2914 goto lose;
6b61353c
KH
2915 DEC_BOTH (from, from_byte);
2916 UPDATE_SYNTAX_TABLE_BACKWARD (from);
45b683a1
PE
2917 if (!char_quoted (from, from_byte))
2918 {
2919 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
2920 if (c == stringterm
2921 && (syntax_multibyte (c, multibyte_symbol_p)
2922 == Sstring))
2923 break;
2924 }
8489eb67 2925 }
8489eb67
RS
2926 if (!depth && sexpflag) goto done2;
2927 break;
240c43e8
SM
2928 default:
2929 /* Ignore whitespace, punctuation, quote, endcomment. */
2930 break;
8489eb67
RS
2931 }
2932 }
2933
2934 /* Reached start of buffer. Error if within object, return nil if between */
8b8bf8e6
SM
2935 if (depth)
2936 goto lose;
8489eb67
RS
2937
2938 immediate_quit = 0;
2939 return Qnil;
2940
2941 done2:
2942 count++;
2943 }
2944
2945
2946 immediate_quit = 0;
1e142fb7 2947 XSETFASTINT (val, from);
8489eb67
RS
2948 return val;
2949
2950 lose:
9471945b
KS
2951 xsignal3 (Qscan_error,
2952 build_string ("Unbalanced parentheses"),
2953 make_number (last_good), make_number (from));
8489eb67
RS
2954}
2955
8489eb67 2956DEFUN ("scan-lists", Fscan_lists, Sscan_lists, 3, 3, 0,
fdb82f93 2957 doc: /* Scan from character number FROM by COUNT lists.
7b926f3f
CY
2958Scan forward if COUNT is positive, backward if COUNT is negative.
2959Return the character number of the position thus found.
2960
2961A \"list", in this context, refers to a balanced parenthetical
2962grouping, as determined by the syntax table.
fdb82f93 2963
7b926f3f
CY
2964If DEPTH is nonzero, treat that as the nesting depth of the starting
2965point (i.e. the starting point is DEPTH parentheses deep). This
2966function scans over parentheses until the depth goes to zero COUNT
2967times. Hence, positive DEPTH moves out that number of levels of
221cd413 2968parentheses, while negative DEPTH moves to a deeper level.
fdb82f93
PJ
2969
2970Comments are ignored if `parse-sexp-ignore-comments' is non-nil.
2971
7b926f3f
CY
2972If we reach the beginning or end of the accessible part of the buffer
2973before we have scanned over COUNT lists, return nil if the depth at
2974that point is zero, and signal a error if the depth is nonzero. */)
5842a27b 2975 (Lisp_Object from, Lisp_Object count, Lisp_Object depth)
8489eb67 2976{
b7826503
PJ
2977 CHECK_NUMBER (from);
2978 CHECK_NUMBER (count);
2979 CHECK_NUMBER (depth);
8489eb67
RS
2980
2981 return scan_lists (XINT (from), XINT (count), XINT (depth), 0);
2982}
2983
2984DEFUN ("scan-sexps", Fscan_sexps, Sscan_sexps, 2, 2, 0,
fdb82f93
PJ
2985 doc: /* Scan from character number FROM by COUNT balanced expressions.
2986If COUNT is negative, scan backwards.
2987Returns the character number of the position thus found.
2988
2989Comments are ignored if `parse-sexp-ignore-comments' is non-nil.
2990
2991If the beginning or end of (the accessible part of) the buffer is reached
2992in the middle of a parenthetical grouping, an error is signaled.
2993If the beginning or end is reached between groupings
2994but before count is used up, nil is returned. */)
5842a27b 2995 (Lisp_Object from, Lisp_Object count)
8489eb67 2996{
b7826503
PJ
2997 CHECK_NUMBER (from);
2998 CHECK_NUMBER (count);
8489eb67
RS
2999
3000 return scan_lists (XINT (from), XINT (count), 0, 1);
3001}
3002
3003DEFUN ("backward-prefix-chars", Fbackward_prefix_chars, Sbackward_prefix_chars,
fdb82f93
PJ
3004 0, 0, 0,
3005 doc: /* Move point backward over any number of chars with prefix syntax.
3006This includes chars with "quote" or "prefix" syntax (' or p). */)
5842a27b 3007 (void)
8489eb67 3008{
d311d28c
PE
3009 ptrdiff_t beg = BEGV;
3010 ptrdiff_t opoint = PT;
3011 ptrdiff_t opoint_byte = PT_BYTE;
3012 ptrdiff_t pos = PT;
3013 ptrdiff_t pos_byte = PT_BYTE;
93da5fff 3014 int c;
93da5fff 3015
7d0393cf 3016 if (pos <= beg)
195d1361 3017 {
f902a008
RS
3018 SET_PT_BOTH (opoint, opoint_byte);
3019
3020 return Qnil;
195d1361 3021 }
8489eb67 3022
f902a008
RS
3023 SETUP_SYNTAX_TABLE (pos, -1);
3024
6a140a74
RS
3025 DEC_BOTH (pos, pos_byte);
3026
1fd3172d 3027 while (!char_quoted (pos, pos_byte)
195d1361 3028 /* Previous statement updates syntax table. */
b7dbcc19 3029 && ((c = FETCH_CHAR_AS_MULTIBYTE (pos_byte), SYNTAX (c) == Squote)
45b683a1 3030 || syntax_prefix_flag_p (c)))
93da5fff 3031 {
1fd3172d
RS
3032 opoint = pos;
3033 opoint_byte = pos_byte;
3034
3035 if (pos + 1 > beg)
3036 DEC_BOTH (pos, pos_byte);
93da5fff 3037 }
8489eb67 3038
6a140a74 3039 SET_PT_BOTH (opoint, opoint_byte);
8489eb67
RS
3040
3041 return Qnil;
3042}
3043\f
6a140a74 3044/* Parse forward from FROM / FROM_BYTE to END,
e5d4f4dc
RS
3045 assuming that FROM has state OLDSTATE (nil means FROM is start of function),
3046 and return a description of the state of the parse at END.
1fc71008 3047 If STOPBEFORE, stop at the start of an atom.
644ea4df
RS
3048 If COMMENTSTOP is 1, stop at the start of a comment.
3049 If COMMENTSTOP is -1, stop at the start or end of a comment,
3050 after the beginning of a string, or after the end of a string. */
8489eb67 3051
340f92b5 3052static void
d5a3eaaf 3053scan_sexps_forward (struct lisp_parse_state *stateptr,
d311d28c 3054 ptrdiff_t from, ptrdiff_t from_byte, ptrdiff_t end,
1fc71008 3055 EMACS_INT targetdepth, bool stopbefore,
d5a3eaaf 3056 Lisp_Object oldstate, int commentstop)
8489eb67
RS
3057{
3058 struct lisp_parse_state state;
1fc71008 3059 enum syntaxcode code;
95ff8dfc 3060 int c1;
1fc71008 3061 bool comnested;
d311d28c 3062 struct level { ptrdiff_t last, prev; };
8489eb67 3063 struct level levelstart[100];
1fc71008 3064 struct level *curlevel = levelstart;
8489eb67 3065 struct level *endlevel = levelstart + 100;
1fc71008 3066 EMACS_INT depth; /* Paren depth of current scanning location.
8489eb67
RS
3067 level - levelstart equals this except
3068 when the depth becomes negative. */
d311d28c 3069 EMACS_INT mindepth; /* Lowest DEPTH value seen. */
1fc71008 3070 bool start_quoted = 0; /* True means starting after a char quote. */
8489eb67 3071 Lisp_Object tem;
d311d28c
PE
3072 ptrdiff_t prev_from; /* Keep one character before FROM. */
3073 ptrdiff_t prev_from_byte;
1fd3172d 3074 int prev_from_syntax;
1fc71008
PE
3075 bool boundary_stop = commentstop == -1;
3076 bool nofence;
3077 bool found;
d311d28c 3078 ptrdiff_t out_bytepos, out_charpos;
7c7ca3d2 3079 int temp;
93da5fff
KH
3080
3081 prev_from = from;
6a140a74
RS
3082 prev_from_byte = from_byte;
3083 if (from != BEGV)
3084 DEC_BOTH (prev_from, prev_from_byte);
93da5fff
KH
3085
3086 /* Use this macro instead of `from++'. */
6a140a74
RS
3087#define INC_FROM \
3088do { prev_from = from; \
3089 prev_from_byte = from_byte; \
327719ee 3090 temp = FETCH_CHAR_AS_MULTIBYTE (prev_from_byte); \
ab229fdd 3091 prev_from_syntax = SYNTAX_WITH_FLAGS (temp); \
ef316cf0 3092 INC_BOTH (from, from_byte); \
3ceb4629
SM
3093 if (from < end) \
3094 UPDATE_SYNTAX_TABLE_FORWARD (from); \
6a140a74 3095 } while (0)
8489eb67
RS
3096
3097 immediate_quit = 1;
3098 QUIT;
3099
265a9e55 3100 if (NILP (oldstate))
8489eb67
RS
3101 {
3102 depth = 0;
3103 state.instring = -1;
3104 state.incomment = 0;
195d1361
RS
3105 state.comstyle = 0; /* comment style a by default. */
3106 state.comstr_start = -1; /* no comment/string seen. */
8489eb67
RS
3107 }
3108 else
3109 {
3110 tem = Fcar (oldstate);
265a9e55 3111 if (!NILP (tem))
8489eb67
RS
3112 depth = XINT (tem);
3113 else
3114 depth = 0;
3115
3116 oldstate = Fcdr (oldstate);
3117 oldstate = Fcdr (oldstate);
3118 oldstate = Fcdr (oldstate);
3119 tem = Fcar (oldstate);
195d1361 3120 /* Check whether we are inside string_fence-style string: */
7d0393cf 3121 state.instring = (!NILP (tem)
d311d28c 3122 ? (CHARACTERP (tem) ? XFASTINT (tem) : ST_STRING_STYLE)
e76f1c44 3123 : -1);
8489eb67
RS
3124
3125 oldstate = Fcdr (oldstate);
3126 tem = Fcar (oldstate);
e76f1c44
GM
3127 state.incomment = (!NILP (tem)
3128 ? (INTEGERP (tem) ? XINT (tem) : -1)
95ff8dfc 3129 : 0);
8489eb67
RS
3130
3131 oldstate = Fcdr (oldstate);
3132 tem = Fcar (oldstate);
265a9e55 3133 start_quoted = !NILP (tem);
e5d4f4dc 3134
95ff8dfc 3135 /* if the eighth element of the list is nil, we are in comment
195d1361
RS
3136 style a. If it is non-nil, we are in comment style b */
3137 oldstate = Fcdr (oldstate);
e5d4f4dc 3138 oldstate = Fcdr (oldstate);
195d1361 3139 tem = Fcar (oldstate);
c5683ceb
SM
3140 state.comstyle = (NILP (tem)
3141 ? 0
d311d28c
PE
3142 : (RANGED_INTEGERP (0, tem, ST_COMMENT_STYLE)
3143 ? XINT (tem)
3144 : ST_COMMENT_STYLE));
195d1361 3145
e5d4f4dc 3146 oldstate = Fcdr (oldstate);
e5d4f4dc 3147 tem = Fcar (oldstate);
d311d28c
PE
3148 state.comstr_start =
3149 RANGED_INTEGERP (PTRDIFF_MIN, tem, PTRDIFF_MAX) ? XINT (tem) : -1;
1a102a58
RS
3150 oldstate = Fcdr (oldstate);
3151 tem = Fcar (oldstate);
3152 while (!NILP (tem)) /* >= second enclosing sexps. */
3153 {
d311d28c
PE
3154 Lisp_Object temhd = Fcar (tem);
3155 if (RANGED_INTEGERP (PTRDIFF_MIN, temhd, PTRDIFF_MAX))
3156 curlevel->last = XINT (temhd);
1a102a58 3157 if (++curlevel == endlevel)
02010917 3158 curlevel--; /* error ("Nesting too deep for parser"); */
1a102a58
RS
3159 curlevel->prev = -1;
3160 curlevel->last = -1;
3161 tem = Fcdr (tem);
3162 }
8489eb67
RS
3163 }
3164 state.quoted = 0;
3165 mindepth = depth;
3166
3167 curlevel->prev = -1;
3168 curlevel->last = -1;
3169
326b283b 3170 SETUP_SYNTAX_TABLE (prev_from, 1);
ab229fdd
AS
3171 temp = FETCH_CHAR (prev_from_byte);
3172 prev_from_syntax = SYNTAX_WITH_FLAGS (temp);
3ceb4629 3173 UPDATE_SYNTAX_TABLE_FORWARD (from);
326b283b 3174
195d1361 3175 /* Enter the loop at a place appropriate for initial state. */
8489eb67 3176
326b283b
RS
3177 if (state.incomment)
3178 goto startincomment;
8489eb67
RS
3179 if (state.instring >= 0)
3180 {
195d1361 3181 nofence = state.instring != ST_STRING_STYLE;
326b283b
RS
3182 if (start_quoted)
3183 goto startquotedinstring;
8489eb67
RS
3184 goto startinstring;
3185 }
326b283b
RS
3186 else if (start_quoted)
3187 goto startquoted;
1fd3172d 3188
8489eb67
RS
3189 while (from < end)
3190 {
c5683ceb 3191 int syntax;
93da5fff 3192 INC_FROM;
1fd3172d 3193 code = prev_from_syntax & 0xff;
4c920633 3194
c5d4b96f
SM
3195 if (from < end
3196 && SYNTAX_FLAGS_COMSTART_FIRST (prev_from_syntax)
3197 && (c1 = FETCH_CHAR (from_byte),
c5683ceb
SM
3198 syntax = SYNTAX_WITH_FLAGS (c1),
3199 SYNTAX_FLAGS_COMSTART_SECOND (syntax)))
c5d4b96f
SM
3200 /* Duplicate code to avoid a complex if-expression
3201 which causes trouble for the SGI compiler. */
95ff8dfc 3202 {
c5d4b96f
SM
3203 /* Record the comment style we have entered so that only
3204 the comment-end sequence of the same style actually
3205 terminates the comment section. */
c5683ceb
SM
3206 state.comstyle
3207 = SYNTAX_FLAGS_COMMENT_STYLE (syntax, prev_from_syntax);
1fc71008
PE
3208 comnested = (SYNTAX_FLAGS_COMMENT_NESTED (prev_from_syntax)
3209 | SYNTAX_FLAGS_COMMENT_NESTED (syntax));
c5d4b96f 3210 state.incomment = comnested ? 1 : -1;
95ff8dfc 3211 state.comstr_start = prev_from;
c5d4b96f
SM
3212 INC_FROM;
3213 code = Scomment;
95ff8dfc 3214 }
4c920633 3215 else if (code == Scomment_fence)
e5d4f4dc
RS
3216 {
3217 /* Record the comment style we have entered so that only
3218 the comment-end sequence of the same style actually
3219 terminates the comment section. */
95ff8dfc
RS
3220 state.comstyle = ST_COMMENT_STYLE;
3221 state.incomment = -1;
195d1361 3222 state.comstr_start = prev_from;
e5d4f4dc 3223 code = Scomment;
e5d4f4dc 3224 }
c5d4b96f
SM
3225 else if (code == Scomment)
3226 {
c5683ceb 3227 state.comstyle = SYNTAX_FLAGS_COMMENT_STYLE (prev_from_syntax, 0);
c5d4b96f
SM
3228 state.incomment = (SYNTAX_FLAGS_COMMENT_NESTED (prev_from_syntax) ?
3229 1 : -1);
3230 state.comstr_start = prev_from;
3231 }
e5d4f4dc 3232
1fd3172d 3233 if (SYNTAX_FLAGS_PREFIX (prev_from_syntax))
8489eb67 3234 continue;
7393bcbb 3235 switch (code)
8489eb67
RS
3236 {
3237 case Sescape:
3238 case Scharquote:
3239 if (stopbefore) goto stop; /* this arg means stop at sexp start */
93da5fff 3240 curlevel->last = prev_from;
8489eb67
RS
3241 startquoted:
3242 if (from == end) goto endquoted;
93da5fff 3243 INC_FROM;
8489eb67
RS
3244 goto symstarted;
3245 /* treat following character as a word constituent */
3246 case Sword:
3247 case Ssymbol:
3248 if (stopbefore) goto stop; /* this arg means stop at sexp start */
93da5fff 3249 curlevel->last = prev_from;
8489eb67
RS
3250 symstarted:
3251 while (from < end)
3252 {
1fc71008 3253 int symchar = FETCH_CHAR_AS_MULTIBYTE (from_byte);
45b683a1 3254 switch (SYNTAX (symchar))
8489eb67
RS
3255 {
3256 case Scharquote:
3257 case Sescape:
93da5fff 3258 INC_FROM;
8489eb67
RS
3259 if (from == end) goto endquoted;
3260 break;
3261 case Sword:
3262 case Ssymbol:
3263 case Squote:
3264 break;
3265 default:
3266 goto symdone;
3267 }
93da5fff 3268 INC_FROM;
8489eb67
RS
3269 }
3270 symdone:
3271 curlevel->prev = curlevel->last;
3272 break;
3273
240c43e8 3274 case Scomment_fence: /* Can't happen because it's handled above. */
8489eb67 3275 case Scomment:
195d1361 3276 if (commentstop || boundary_stop) goto done;
d355bd8a
SM
3277 startincomment:
3278 /* The (from == BEGV) test was to enter the loop in the middle so
95ff8dfc 3279 that we find a 2-char comment ender even if we start in the
e6365855 3280 middle of it. We don't want to do that if we're just at the
d355bd8a 3281 beginning of the comment (think of (*) ... (*)). */
95ff8dfc
RS
3282 found = forw_comment (from, from_byte, end,
3283 state.incomment, state.comstyle,
e6365855
SM
3284 (from == BEGV || from < state.comstr_start + 3)
3285 ? 0 : prev_from_syntax,
95ff8dfc
RS
3286 &out_charpos, &out_bytepos, &state.incomment);
3287 from = out_charpos; from_byte = out_bytepos;
3288 /* Beware! prev_from and friends are invalid now.
3289 Luckily, the `done' doesn't use them and the INC_FROM
3290 sets them to a sane value without looking at them. */
3291 if (!found) goto done;
d355bd8a 3292 INC_FROM;
8489eb67 3293 state.incomment = 0;
e5d4f4dc 3294 state.comstyle = 0; /* reset the comment style */
195d1361 3295 if (boundary_stop) goto done;
8489eb67
RS
3296 break;
3297
3298 case Sopen:
3299 if (stopbefore) goto stop; /* this arg means stop at sexp start */
3300 depth++;
3301 /* curlevel++->last ran into compiler bug on Apollo */
93da5fff 3302 curlevel->last = prev_from;
8489eb67 3303 if (++curlevel == endlevel)
02010917 3304 curlevel--; /* error ("Nesting too deep for parser"); */
8489eb67
RS
3305 curlevel->prev = -1;
3306 curlevel->last = -1;
30844415 3307 if (targetdepth == depth) goto done;
8489eb67
RS
3308 break;
3309
3310 case Sclose:
3311 depth--;
3312 if (depth < mindepth)
3313 mindepth = depth;
3314 if (curlevel != levelstart)
3315 curlevel--;
3316 curlevel->prev = curlevel->last;
30844415 3317 if (targetdepth == depth) goto done;
8489eb67
RS
3318 break;
3319
3320 case Sstring:
195d1361
RS
3321 case Sstring_fence:
3322 state.comstr_start = from - 1;
8489eb67 3323 if (stopbefore) goto stop; /* this arg means stop at sexp start */
93da5fff 3324 curlevel->last = prev_from;
7d0393cf 3325 state.instring = (code == Sstring
b7dbcc19 3326 ? (FETCH_CHAR_AS_MULTIBYTE (prev_from_byte))
195d1361
RS
3327 : ST_STRING_STYLE);
3328 if (boundary_stop) goto done;
8489eb67 3329 startinstring:
195d1361 3330 {
644ea4df 3331 nofence = state.instring != ST_STRING_STYLE;
7d0393cf 3332
644ea4df
RS
3333 while (1)
3334 {
3335 int c;
1fc71008 3336 enum syntaxcode c_code;
195d1361 3337
644ea4df 3338 if (from >= end) goto done;
b7dbcc19 3339 c = FETCH_CHAR_AS_MULTIBYTE (from_byte);
1fc71008 3340 c_code = SYNTAX (c);
ccf89641 3341
1fc71008 3342 /* Check C_CODE here so that if the char has
ccf89641
KH
3343 a syntax-table property which says it is NOT
3344 a string character, it does not end the string. */
1fc71008 3345 if (nofence && c == state.instring && c_code == Sstring)
ccf89641
KH
3346 break;
3347
1fc71008 3348 switch (c_code)
644ea4df
RS
3349 {
3350 case Sstring_fence:
3351 if (!nofence) goto string_end;
3352 break;
3353 case Scharquote:
3354 case Sescape:
3355 INC_FROM;
3356 startquotedinstring:
3357 if (from >= end) goto endquoted;
195d1361 3358 }
644ea4df
RS
3359 INC_FROM;
3360 }
195d1361
RS
3361 }
3362 string_end:
8489eb67
RS
3363 state.instring = -1;
3364 curlevel->prev = curlevel->last;
93da5fff 3365 INC_FROM;
195d1361 3366 if (boundary_stop) goto done;
8489eb67
RS
3367 break;
3368
3369 case Smath:
240c43e8
SM
3370 /* FIXME: We should do something with it. */
3371 break;
3372 default:
3373 /* Ignore whitespace, punctuation, quote, endcomment. */
8489eb67
RS
3374 break;
3375 }
3376 }
3377 goto done;
3378
3379 stop: /* Here if stopping before start of sexp. */
93da5fff 3380 from = prev_from; /* We have just fetched the char that starts it; */
68643cde 3381 from_byte = prev_from_byte;
8489eb67
RS
3382 goto done; /* but return the position before it. */
3383
3384 endquoted:
3385 state.quoted = 1;
3386 done:
3387 state.depth = depth;
3388 state.mindepth = mindepth;
3389 state.thislevelstart = curlevel->prev;
3390 state.prevlevelstart
3391 = (curlevel == levelstart) ? -1 : (curlevel - 1)->last;
3392 state.location = from;
8ca30920 3393 state.location_byte = from_byte;
1a102a58 3394 state.levelstarts = Qnil;
eb4d412d
PE
3395 while (curlevel > levelstart)
3396 state.levelstarts = Fcons (make_number ((--curlevel)->last),
3397 state.levelstarts);
8489eb67
RS
3398 immediate_quit = 0;
3399
e5d4f4dc 3400 *stateptr = state;
8489eb67
RS
3401}
3402
c81a3712 3403DEFUN ("parse-partial-sexp", Fparse_partial_sexp, Sparse_partial_sexp, 2, 6, 0,
fdb82f93
PJ
3404 doc: /* Parse Lisp syntax starting at FROM until TO; return status of parse at TO.
3405Parsing stops at TO or when certain criteria are met;
3406 point is set to where parsing stops.
3407If fifth arg OLDSTATE is omitted or nil,
3408 parsing assumes that FROM is the beginning of a function.
0e6228bc 3409Value is a list of elements describing final state of parsing:
fdb82f93
PJ
3410 0. depth in parens.
3411 1. character address of start of innermost containing list; nil if none.
3412 2. character address of start of last complete sexp terminated.
3413 3. non-nil if inside a string.
3414 (it is the character that will terminate the string,
3415 or t if the string should be terminated by a generic string delimiter.)
7d0393cf 3416 4. nil if outside a comment, t if inside a non-nestable comment,
fdb82f93
PJ
3417 else an integer (the current comment nesting).
3418 5. t if following a quote character.
3419 6. the minimum paren-depth encountered during this scan.
c5683ceb 3420 7. style of comment, if any.
fdb82f93
PJ
3421 8. character address of start of comment or string; nil if not in one.
3422 9. Intermediate data for continuation of parsing (subject to change).
3423If third arg TARGETDEPTH is non-nil, parsing stops if the depth
3424in parentheses becomes equal to TARGETDEPTH.
3425Fourth arg STOPBEFORE non-nil means stop when come to
3426 any character that starts a sexp.
0e6228bc 3427Fifth arg OLDSTATE is a list like what this function returns.
fdb82f93 3428 It is used to initialize the state of the parse. Elements number 1, 2, 6
d311d28c 3429 are ignored.
fdb82f93
PJ
3430Sixth arg COMMENTSTOP non-nil means stop at the start of a comment.
3431 If it is symbol `syntax-table', stop after the start of a comment or a
3432 string, or after end of a comment or a string. */)
8ca30920
DA
3433 (Lisp_Object from, Lisp_Object to, Lisp_Object targetdepth,
3434 Lisp_Object stopbefore, Lisp_Object oldstate, Lisp_Object commentstop)
8489eb67
RS
3435{
3436 struct lisp_parse_state state;
d311d28c 3437 EMACS_INT target;
8489eb67 3438
265a9e55 3439 if (!NILP (targetdepth))
8489eb67 3440 {
b7826503 3441 CHECK_NUMBER (targetdepth);
8489eb67
RS
3442 target = XINT (targetdepth);
3443 }
3444 else
d311d28c 3445 target = TYPE_MINIMUM (EMACS_INT); /* We won't reach this depth */
8489eb67
RS
3446
3447 validate_region (&from, &to);
6a140a74
RS
3448 scan_sexps_forward (&state, XINT (from), CHAR_TO_BYTE (XINT (from)),
3449 XINT (to),
c81a3712 3450 target, !NILP (stopbefore), oldstate,
7d0393cf 3451 (NILP (commentstop)
195d1361 3452 ? 0 : (EQ (commentstop, Qsyntax_table) ? -1 : 1)));
8489eb67 3453
8ca30920 3454 SET_PT_BOTH (state.location, state.location_byte);
7d0393cf 3455
8489eb67 3456 return Fcons (make_number (state.depth),
c5683ceb
SM
3457 Fcons (state.prevlevelstart < 0
3458 ? Qnil : make_number (state.prevlevelstart),
3459 Fcons (state.thislevelstart < 0
3460 ? Qnil : make_number (state.thislevelstart),
7d0393cf
JB
3461 Fcons (state.instring >= 0
3462 ? (state.instring == ST_STRING_STYLE
195d1361 3463 ? Qt : make_number (state.instring)) : Qnil,
95ff8dfc
RS
3464 Fcons (state.incomment < 0 ? Qt :
3465 (state.incomment == 0 ? Qnil :
3466 make_number (state.incomment)),
8489eb67 3467 Fcons (state.quoted ? Qt : Qnil,
bff37d2a 3468 Fcons (make_number (state.mindepth),
7d0393cf 3469 Fcons ((state.comstyle
bff37d2a 3470 ? (state.comstyle == ST_COMMENT_STYLE
c5683ceb
SM
3471 ? Qsyntax_table
3472 : make_number (state.comstyle))
3473 : Qnil),
0beaf54f
DL
3474 Fcons (((state.incomment
3475 || (state.instring >= 0))
bff37d2a
RS
3476 ? make_number (state.comstr_start)
3477 : Qnil),
1a102a58 3478 Fcons (state.levelstarts, Qnil))))))))));
8489eb67
RS
3479}
3480\f
dfcf069d 3481void
971de7fb 3482init_syntax_once (void)
8489eb67 3483{
78f9a1f7 3484 register int i, c;
8ea151b2 3485 Lisp_Object temp;
8489eb67 3486
5ebaddf5 3487 /* This has to be done here, before we call Fmake_char_table. */
cd3520a4 3488 DEFSYM (Qsyntax_table, "syntax-table");
5ebaddf5 3489
c76826d9
DA
3490 /* This variable is DEFSYMed in alloc.c and not initialized yet, so
3491 intern it here. NOTE: you must guarantee that init_syntax_once
3492 is called before all other users of this variable. */
d67b4f80 3493 Qchar_table_extra_slots = intern_c_string ("char-table-extra-slots");
5ebaddf5 3494
93da5fff 3495 /* Create objects which can be shared among syntax tables. */
25721f5b
DA
3496 Vsyntax_code_object = make_uninit_vector (Smax);
3497 for (i = 0; i < Smax; i++)
28be1ada 3498 ASET (Vsyntax_code_object, i, Fcons (make_number (i), Qnil));
93da5fff 3499
5ebaddf5
RS
3500 /* Now we are ready to set up this property, so we can
3501 create syntax tables. */
3502 Fput (Qsyntax_table, Qchar_table_extra_slots, make_number (0));
3503
1fc71008 3504 temp = AREF (Vsyntax_code_object, Swhitespace);
8489eb67 3505
5ebaddf5 3506 Vstandard_syntax_table = Fmake_char_table (Qsyntax_table, temp);
8489eb67 3507
aa7b08b4 3508 /* Control characters should not be whitespace. */
1fc71008 3509 temp = AREF (Vsyntax_code_object, Spunct);
aa7b08b4
RS
3510 for (i = 0; i <= ' ' - 1; i++)
3511 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, i, temp);
3512 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, 0177, temp);
3513
3514 /* Except that a few really are whitespace. */
1fc71008 3515 temp = AREF (Vsyntax_code_object, Swhitespace);
aa7b08b4
RS
3516 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, ' ', temp);
3517 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '\t', temp);
3518 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '\n', temp);
3519 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, 015, temp);
3520 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, 014, temp);
3521
1fc71008 3522 temp = AREF (Vsyntax_code_object, Sword);
8489eb67 3523 for (i = 'a'; i <= 'z'; i++)
8ea151b2 3524 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, i, temp);
8489eb67 3525 for (i = 'A'; i <= 'Z'; i++)
8ea151b2 3526 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, i, temp);
8489eb67 3527 for (i = '0'; i <= '9'; i++)
8ea151b2
RS
3528 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, i, temp);
3529
3530 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '$', temp);
3531 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '%', temp);
3532
3533 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '(',
3534 Fcons (make_number (Sopen), make_number (')')));
3535 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, ')',
3536 Fcons (make_number (Sclose), make_number ('(')));
3537 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '[',
3538 Fcons (make_number (Sopen), make_number (']')));
3539 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, ']',
3540 Fcons (make_number (Sclose), make_number ('[')));
3541 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '{',
3542 Fcons (make_number (Sopen), make_number ('}')));
3543 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '}',
3544 Fcons (make_number (Sclose), make_number ('{')));
3545 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '"',
1fc71008 3546 Fcons (make_number (Sstring), Qnil));
8ea151b2 3547 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, '\\',
1fc71008 3548 Fcons (make_number (Sescape), Qnil));
8ea151b2 3549
1fc71008 3550 temp = AREF (Vsyntax_code_object, Ssymbol);
8489eb67 3551 for (i = 0; i < 10; i++)
78f9a1f7
KH
3552 {
3553 c = "_-+*/&|<>="[i];
3554 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, c, temp);
3555 }
8489eb67 3556
1fc71008 3557 temp = AREF (Vsyntax_code_object, Spunct);
8489eb67 3558 for (i = 0; i < 12; i++)
78f9a1f7
KH
3559 {
3560 c = ".,;:?!#@~^'`"[i];
3561 SET_RAW_SYNTAX_ENTRY (Vstandard_syntax_table, c, temp);
3562 }
bd25db08
KH
3563
3564 /* All multibyte characters have syntax `word' by default. */
1fc71008 3565 temp = AREF (Vsyntax_code_object, Sword);
5c7b02ab 3566 char_table_set_range (Vstandard_syntax_table, 0x80, MAX_CHAR, temp);
8489eb67
RS
3567}
3568
dfcf069d 3569void
971de7fb 3570syms_of_syntax (void)
8489eb67 3571{
cd3520a4 3572 DEFSYM (Qsyntax_table_p, "syntax-table-p");
8489eb67 3573
93da5fff
KH
3574 staticpro (&Vsyntax_code_object);
3575
a2994c46
KS
3576 staticpro (&gl_state.object);
3577 staticpro (&gl_state.global_code);
3578 staticpro (&gl_state.current_syntax_table);
3579 staticpro (&gl_state.old_prop);
3580
3581 /* Defined in regex.c */
3582 staticpro (&re_match_object);
3583
cd3520a4 3584 DEFSYM (Qscan_error, "scan-error");
7bf5e9e4 3585 Fput (Qscan_error, Qerror_conditions,
3438fe21 3586 listn (CONSTYPE_PURE, 2, Qscan_error, Qerror));
7bf5e9e4 3587 Fput (Qscan_error, Qerror_message,
2a0213a6 3588 build_pure_c_string ("Scan error"));
7bf5e9e4 3589
29208e82 3590 DEFVAR_BOOL ("parse-sexp-ignore-comments", parse_sexp_ignore_comments,
fdb82f93 3591 doc: /* Non-nil means `forward-sexp', etc., should treat comments as whitespace. */);
8489eb67 3592
29208e82 3593 DEFVAR_BOOL ("parse-sexp-lookup-properties", parse_sexp_lookup_properties,
fdb82f93
PJ
3594 doc: /* Non-nil means `forward-sexp', etc., obey `syntax-table' property.
3595Otherwise, that text property is simply ignored.
3596See the info node `(elisp)Syntax Properties' for a description of the
3597`syntax-table' property. */);
195d1361 3598
8489eb67 3599 words_include_escapes = 0;
29208e82 3600 DEFVAR_BOOL ("words-include-escapes", words_include_escapes,
fdb82f93 3601 doc: /* Non-nil means `forward-word', etc., should treat escape chars part of words. */);
8489eb67 3602
29208e82 3603 DEFVAR_BOOL ("multibyte-syntax-as-symbol", multibyte_syntax_as_symbol,
fdb82f93 3604 doc: /* Non-nil means `scan-sexps' treats all multibyte characters as symbol. */);
bd25db08
KH
3605 multibyte_syntax_as_symbol = 0;
3606
f4ed767f 3607 DEFVAR_BOOL ("open-paren-in-column-0-is-defun-start",
29208e82 3608 open_paren_in_column_0_is_defun_start,
fb7ada5f 3609 doc: /* Non-nil means an open paren in column 0 denotes the start of a defun. */);
f4ed767f
GM
3610 open_paren_in_column_0_is_defun_start = 1;
3611
8f924df7
KH
3612
3613 DEFVAR_LISP ("find-word-boundary-function-table",
29208e82 3614 Vfind_word_boundary_function_table,
869bb237 3615 doc: /*
8f924df7 3616Char table of functions to search for the word boundary.
869bb237
KH
3617Each function is called with two arguments; POS and LIMIT.
3618POS and LIMIT are character positions in the current buffer.
3619
3620If POS is less than LIMIT, POS is at the first character of a word,
3621and the return value of a function is a position after the last
3622character of that word.
3623
3624If POS is not less than LIMIT, POS is at the last character of a word,
3625and the return value of a function is a position at the first
3626character of that word.
3627
3628In both cases, LIMIT bounds the search. */);
8f924df7 3629 Vfind_word_boundary_function_table = Fmake_char_table (Qnil, Qnil);
869bb237 3630
8489eb67
RS
3631 defsubr (&Ssyntax_table_p);
3632 defsubr (&Ssyntax_table);
3633 defsubr (&Sstandard_syntax_table);
3634 defsubr (&Scopy_syntax_table);
3635 defsubr (&Sset_syntax_table);
3636 defsubr (&Schar_syntax);
beefa22e 3637 defsubr (&Smatching_paren);
c65adb44 3638 defsubr (&Sstring_to_syntax);
8489eb67 3639 defsubr (&Smodify_syntax_entry);
62abe9cb 3640 defsubr (&Sinternal_describe_syntax_value);
8489eb67
RS
3641
3642 defsubr (&Sforward_word);
3643
195d1361
RS
3644 defsubr (&Sskip_chars_forward);
3645 defsubr (&Sskip_chars_backward);
3646 defsubr (&Sskip_syntax_forward);
3647 defsubr (&Sskip_syntax_backward);
3648
b3cfe0c8 3649 defsubr (&Sforward_comment);
8489eb67
RS
3650 defsubr (&Sscan_lists);
3651 defsubr (&Sscan_sexps);
3652 defsubr (&Sbackward_prefix_chars);
3653 defsubr (&Sparse_partial_sexp);
3654}