blob: 225c63239043f056a2e61805d50a47be4f1d3568 [file] [log] [blame]
Bram Moolenaar071d4272004-06-13 20:20:40 +00001/* vi:set ts=8 sts=4 sw=4:
2 *
3 * VIM - Vi IMproved by Bram Moolenaar
4 *
5 * Do ":help uganda" in Vim to read copying and usage conditions.
6 * Do ":help credits" in Vim to see a list of people who contributed.
7 * See README.txt for an overview of the Vim source code.
8 */
9
10/*
11 * undo.c: multi level undo facility
12 *
13 * The saved lines are stored in a list of lists (one for each buffer):
14 *
15 * b_u_oldhead------------------------------------------------+
16 * |
17 * V
18 * +--------------+ +--------------+ +--------------+
19 * b_u_newhead--->| u_header | | u_header | | u_header |
20 * | uh_next------>| uh_next------>| uh_next---->NULL
21 * NULL<--------uh_prev |<---------uh_prev |<---------uh_prev |
22 * | uh_entry | | uh_entry | | uh_entry |
23 * +--------|-----+ +--------|-----+ +--------|-----+
24 * | | |
25 * V V V
26 * +--------------+ +--------------+ +--------------+
27 * | u_entry | | u_entry | | u_entry |
28 * | ue_next | | ue_next | | ue_next |
29 * +--------|-----+ +--------|-----+ +--------|-----+
30 * | | |
31 * V V V
32 * +--------------+ NULL NULL
33 * | u_entry |
34 * | ue_next |
35 * +--------|-----+
36 * |
37 * V
38 * etc.
39 *
40 * Each u_entry list contains the information for one undo or redo.
41 * curbuf->b_u_curhead points to the header of the last undo (the next redo),
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +000042 * or is NULL if nothing has been undone (end of the branch).
Bram Moolenaar071d4272004-06-13 20:20:40 +000043 *
Bram Moolenaar1e607892006-03-13 22:15:53 +000044 * For keeping alternate undo/redo branches the uh_alt field is used. Thus at
45 * each point in the list a branch may appear for an alternate to redo. The
46 * uh_seq field is numbered sequentially to be able to find a newer or older
47 * branch.
48 *
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +000049 * +---------------+ +---------------+
50 * b_u_oldhead --->| u_header | | u_header |
51 * | uh_alt_next ---->| uh_alt_next ----> NULL
52 * NULL <----- uh_alt_prev |<------ uh_alt_prev |
53 * | uh_prev | | uh_prev |
54 * +-----|---------+ +-----|---------+
55 * | |
56 * V V
57 * +---------------+ +---------------+
58 * | u_header | | u_header |
59 * | uh_alt_next | | uh_alt_next |
60 * b_u_newhead --->| uh_alt_prev | | uh_alt_prev |
61 * | uh_prev | | uh_prev |
62 * +-----|---------+ +-----|---------+
63 * | |
64 * V V
65 * NULL +---------------+ +---------------+
66 * | u_header | | u_header |
67 * | uh_alt_next ---->| uh_alt_next |
68 * | uh_alt_prev |<------ uh_alt_prev |
69 * | uh_prev | | uh_prev |
70 * +-----|---------+ +-----|---------+
71 * | |
72 * etc. etc.
73 *
74 *
Bram Moolenaar26a60b42005-02-22 08:49:11 +000075 * All data is allocated with U_ALLOC_LINE(), it will be freed as soon as the
76 * buffer is unloaded.
Bram Moolenaar071d4272004-06-13 20:20:40 +000077 */
78
Bram Moolenaarfecb6602007-10-01 20:54:15 +000079/* Uncomment the next line for including the u_check() function. This warns
80 * for errors in the debug information. */
81/* #define U_DEBUG 1 */
82#define UH_MAGIC 0x18dade /* value for uh_magic when in use */
83#define UE_MAGIC 0xabc123 /* value for ue_magic when in use */
84
Bram Moolenaar442b4222010-05-24 21:34:22 +020085#if defined(MSDOS) || defined(WIN16) || defined(WIN32) || defined(_WIN64)
86# include "vimio.h" /* for vim_read(), must be before vim.h */
87#endif
88
Bram Moolenaar071d4272004-06-13 20:20:40 +000089#include "vim.h"
90
Bram Moolenaar26a60b42005-02-22 08:49:11 +000091/* See below: use malloc()/free() for memory management. */
92#define U_USE_MALLOC 1
93
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +000094static void u_unch_branch __ARGS((u_header_T *uhp));
Bram Moolenaar071d4272004-06-13 20:20:40 +000095static u_entry_T *u_get_headentry __ARGS((void));
96static void u_getbot __ARGS((void));
97static int u_savecommon __ARGS((linenr_T, linenr_T, linenr_T));
98static void u_doit __ARGS((int count));
Bram Moolenaarca003e12006-03-17 23:19:38 +000099static void u_undoredo __ARGS((int undo));
Bram Moolenaardb552d602006-03-23 22:59:57 +0000100static void u_undo_end __ARGS((int did_undo, int absolute));
Bram Moolenaarefd2bf12006-03-16 21:41:35 +0000101static void u_add_time __ARGS((char_u *buf, size_t buflen, time_t tt));
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +0000102static void u_freeheader __ARGS((buf_T *buf, u_header_T *uhp, u_header_T **uhpp));
Bram Moolenaar1e607892006-03-13 22:15:53 +0000103static void u_freebranch __ARGS((buf_T *buf, u_header_T *uhp, u_header_T **uhpp));
104static void u_freeentries __ARGS((buf_T *buf, u_header_T *uhp, u_header_T **uhpp));
Bram Moolenaar071d4272004-06-13 20:20:40 +0000105static void u_freeentry __ARGS((u_entry_T *, long));
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200106#ifdef FEAT_PERSISTENT_UNDO
107static void unserialize_pos __ARGS((pos_T *pos, FILE *fp));
108static void unserialize_visualinfo __ARGS((visualinfo_T *info, FILE *fp));
109static char_u *u_get_undo_file_name __ARGS((char_u *, int reading));
110static int serialize_uep __ARGS((u_entry_T *uep, FILE *fp));
111static void serialize_pos __ARGS((pos_T pos, FILE *fp));
112static void serialize_visualinfo __ARGS((visualinfo_T info, FILE *fp));
113#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +0000114
Bram Moolenaar26a60b42005-02-22 08:49:11 +0000115#ifdef U_USE_MALLOC
116# define U_FREE_LINE(ptr) vim_free(ptr)
117# define U_ALLOC_LINE(size) lalloc((long_u)((size) + 1), FALSE)
118#else
119static void u_free_line __ARGS((char_u *ptr, int keep));
120static char_u *u_alloc_line __ARGS((unsigned size));
121# define U_FREE_LINE(ptr) u_free_line((ptr), FALSE)
122# define U_ALLOC_LINE(size) u_alloc_line(size)
123#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +0000124static char_u *u_save_line __ARGS((linenr_T));
125
126static long u_newcount, u_oldcount;
127
128/*
129 * When 'u' flag included in 'cpoptions', we behave like vi. Need to remember
130 * the action that "u" should do.
131 */
132static int undo_undoes = FALSE;
133
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200134static int lastmark = 0;
135
Bram Moolenaarfecb6602007-10-01 20:54:15 +0000136#ifdef U_DEBUG
137/*
138 * Check the undo structures for being valid. Print a warning when something
139 * looks wrong.
140 */
141static int seen_b_u_curhead;
142static int seen_b_u_newhead;
143static int header_count;
144
145 static void
146u_check_tree(u_header_T *uhp,
147 u_header_T *exp_uh_next,
148 u_header_T *exp_uh_alt_prev)
149{
150 u_entry_T *uep;
151
152 if (uhp == NULL)
153 return;
154 ++header_count;
155 if (uhp == curbuf->b_u_curhead && ++seen_b_u_curhead > 1)
156 {
157 EMSG("b_u_curhead found twice (looping?)");
158 return;
159 }
160 if (uhp == curbuf->b_u_newhead && ++seen_b_u_newhead > 1)
161 {
162 EMSG("b_u_newhead found twice (looping?)");
163 return;
164 }
165
166 if (uhp->uh_magic != UH_MAGIC)
167 EMSG("uh_magic wrong (may be using freed memory)");
168 else
169 {
170 /* Check pointers back are correct. */
171 if (uhp->uh_next != exp_uh_next)
172 {
173 EMSG("uh_next wrong");
174 smsg((char_u *)"expected: 0x%x, actual: 0x%x",
175 exp_uh_next, uhp->uh_next);
176 }
177 if (uhp->uh_alt_prev != exp_uh_alt_prev)
178 {
179 EMSG("uh_alt_prev wrong");
180 smsg((char_u *)"expected: 0x%x, actual: 0x%x",
181 exp_uh_alt_prev, uhp->uh_alt_prev);
182 }
183
184 /* Check the undo tree at this header. */
185 for (uep = uhp->uh_entry; uep != NULL; uep = uep->ue_next)
186 {
187 if (uep->ue_magic != UE_MAGIC)
188 {
189 EMSG("ue_magic wrong (may be using freed memory)");
190 break;
191 }
192 }
193
194 /* Check the next alt tree. */
195 u_check_tree(uhp->uh_alt_next, uhp->uh_next, uhp);
196
197 /* Check the next header in this branch. */
198 u_check_tree(uhp->uh_prev, uhp, NULL);
199 }
200}
201
202 void
203u_check(int newhead_may_be_NULL)
204{
205 seen_b_u_newhead = 0;
206 seen_b_u_curhead = 0;
207 header_count = 0;
208
209 u_check_tree(curbuf->b_u_oldhead, NULL, NULL);
210
211 if (seen_b_u_newhead == 0 && curbuf->b_u_oldhead != NULL
212 && !(newhead_may_be_NULL && curbuf->b_u_newhead == NULL))
213 EMSGN("b_u_newhead invalid: 0x%x", curbuf->b_u_newhead);
214 if (curbuf->b_u_curhead != NULL && seen_b_u_curhead == 0)
215 EMSGN("b_u_curhead invalid: 0x%x", curbuf->b_u_curhead);
216 if (header_count != curbuf->b_u_numhead)
217 {
218 EMSG("b_u_numhead invalid");
219 smsg((char_u *)"expected: %ld, actual: %ld",
220 (long)header_count, (long)curbuf->b_u_numhead);
221 }
222}
223#endif
224
Bram Moolenaar071d4272004-06-13 20:20:40 +0000225/*
Bram Moolenaard857f0e2005-06-21 22:37:39 +0000226 * Save the current line for both the "u" and "U" command.
227 * Returns OK or FAIL.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000228 */
229 int
230u_save_cursor()
231{
232 return (u_save((linenr_T)(curwin->w_cursor.lnum - 1),
233 (linenr_T)(curwin->w_cursor.lnum + 1)));
234}
235
236/*
237 * Save the lines between "top" and "bot" for both the "u" and "U" command.
238 * "top" may be 0 and bot may be curbuf->b_ml.ml_line_count + 1.
239 * Returns FAIL when lines could not be saved, OK otherwise.
240 */
241 int
242u_save(top, bot)
243 linenr_T top, bot;
244{
245 if (undo_off)
246 return OK;
247
248 if (top > curbuf->b_ml.ml_line_count ||
249 top >= bot || bot > curbuf->b_ml.ml_line_count + 1)
250 return FALSE; /* rely on caller to do error messages */
251
252 if (top + 2 == bot)
253 u_saveline((linenr_T)(top + 1));
254
255 return (u_savecommon(top, bot, (linenr_T)0));
256}
257
258/*
Bram Moolenaarfff2bee2010-05-15 13:56:02 +0200259 * Save the line "lnum" (used by ":s" and "~" command).
Bram Moolenaar071d4272004-06-13 20:20:40 +0000260 * The line is replaced, so the new bottom line is lnum + 1.
261 */
262 int
263u_savesub(lnum)
264 linenr_T lnum;
265{
266 if (undo_off)
267 return OK;
268
269 return (u_savecommon(lnum - 1, lnum + 1, lnum + 1));
270}
271
272/*
Bram Moolenaarfff2bee2010-05-15 13:56:02 +0200273 * A new line is inserted before line "lnum" (used by :s command).
Bram Moolenaar071d4272004-06-13 20:20:40 +0000274 * The line is inserted, so the new bottom line is lnum + 1.
275 */
276 int
277u_inssub(lnum)
278 linenr_T lnum;
279{
280 if (undo_off)
281 return OK;
282
283 return (u_savecommon(lnum - 1, lnum, lnum + 1));
284}
285
286/*
Bram Moolenaarfff2bee2010-05-15 13:56:02 +0200287 * Save the lines "lnum" - "lnum" + nlines (used by delete command).
Bram Moolenaar071d4272004-06-13 20:20:40 +0000288 * The lines are deleted, so the new bottom line is lnum, unless the buffer
289 * becomes empty.
290 */
291 int
292u_savedel(lnum, nlines)
293 linenr_T lnum;
294 long nlines;
295{
296 if (undo_off)
297 return OK;
298
299 return (u_savecommon(lnum - 1, lnum + nlines,
300 nlines == curbuf->b_ml.ml_line_count ? 2 : lnum));
301}
302
Bram Moolenaar8ada17c2006-01-19 22:16:24 +0000303/*
304 * Return TRUE when undo is allowed. Otherwise give an error message and
305 * return FALSE.
306 */
Bram Moolenaarce6ef252006-07-12 19:49:41 +0000307 int
Bram Moolenaar8ada17c2006-01-19 22:16:24 +0000308undo_allowed()
309{
310 /* Don't allow changes when 'modifiable' is off. */
311 if (!curbuf->b_p_ma)
312 {
313 EMSG(_(e_modifiable));
314 return FALSE;
315 }
316
317#ifdef HAVE_SANDBOX
318 /* In the sandbox it's not allowed to change the text. */
319 if (sandbox != 0)
320 {
321 EMSG(_(e_sandbox));
322 return FALSE;
323 }
324#endif
325
326 /* Don't allow changes in the buffer while editing the cmdline. The
327 * caller of getcmdline() may get confused. */
Bram Moolenaarb71eaae2006-01-20 23:10:18 +0000328 if (textlock != 0)
Bram Moolenaar8ada17c2006-01-19 22:16:24 +0000329 {
330 EMSG(_(e_secure));
331 return FALSE;
332 }
333
334 return TRUE;
335}
336
Bram Moolenaar071d4272004-06-13 20:20:40 +0000337 static int
338u_savecommon(top, bot, newbot)
339 linenr_T top, bot;
340 linenr_T newbot;
341{
Bram Moolenaar1e607892006-03-13 22:15:53 +0000342 linenr_T lnum;
343 long i;
344 u_header_T *uhp;
345 u_header_T *old_curhead;
346 u_entry_T *uep;
347 u_entry_T *prev_uep;
348 long size;
Bram Moolenaar071d4272004-06-13 20:20:40 +0000349
Bram Moolenaar8ada17c2006-01-19 22:16:24 +0000350 /* When making changes is not allowed return FAIL. It's a crude way to
351 * make all change commands fail. */
352 if (!undo_allowed())
Bram Moolenaar071d4272004-06-13 20:20:40 +0000353 return FAIL;
Bram Moolenaar071d4272004-06-13 20:20:40 +0000354
Bram Moolenaarfecb6602007-10-01 20:54:15 +0000355#ifdef U_DEBUG
356 u_check(FALSE);
357#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +0000358#ifdef FEAT_NETBEANS_INTG
359 /*
360 * Netbeans defines areas that cannot be modified. Bail out here when
361 * trying to change text in a guarded area.
362 */
Bram Moolenaarb26e6322010-05-22 21:34:09 +0200363 if (netbeans_active())
Bram Moolenaar071d4272004-06-13 20:20:40 +0000364 {
Bram Moolenaar009b2592004-10-24 19:18:58 +0000365 if (netbeans_is_guarded(top, bot))
366 {
367 EMSG(_(e_guarded));
368 return FAIL;
369 }
370 if (curbuf->b_p_ro)
371 {
372 EMSG(_(e_nbreadonly));
373 return FAIL;
374 }
Bram Moolenaar071d4272004-06-13 20:20:40 +0000375 }
376#endif
377
378#ifdef FEAT_AUTOCMD
379 /*
380 * Saving text for undo means we are going to make a change. Give a
381 * warning for a read-only file before making the change, so that the
382 * FileChangedRO event can replace the buffer with a read-write version
383 * (e.g., obtained from a source control system).
384 */
385 change_warning(0);
386#endif
387
388 size = bot - top - 1;
389
390 /*
391 * if curbuf->b_u_synced == TRUE make a new header
392 */
393 if (curbuf->b_u_synced)
394 {
395#ifdef FEAT_JUMPLIST
396 /* Need to create new entry in b_changelist. */
397 curbuf->b_new_change = TRUE;
398#endif
399
Bram Moolenaar1e607892006-03-13 22:15:53 +0000400 if (p_ul >= 0)
401 {
402 /*
403 * Make a new header entry. Do this first so that we don't mess
404 * up the undo info when out of memory.
405 */
406 uhp = (u_header_T *)U_ALLOC_LINE((unsigned)sizeof(u_header_T));
407 if (uhp == NULL)
408 goto nomem;
Bram Moolenaarfecb6602007-10-01 20:54:15 +0000409#ifdef U_DEBUG
410 uhp->uh_magic = UH_MAGIC;
411#endif
Bram Moolenaar1e607892006-03-13 22:15:53 +0000412 }
Bram Moolenaar7d47b6e2006-03-15 22:59:18 +0000413 else
414 uhp = NULL;
Bram Moolenaar1e607892006-03-13 22:15:53 +0000415
Bram Moolenaar071d4272004-06-13 20:20:40 +0000416 /*
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +0000417 * If we undid more than we redid, move the entry lists before and
418 * including curbuf->b_u_curhead to an alternate branch.
Bram Moolenaar071d4272004-06-13 20:20:40 +0000419 */
Bram Moolenaar1e607892006-03-13 22:15:53 +0000420 old_curhead = curbuf->b_u_curhead;
421 if (old_curhead != NULL)
422 {
423 curbuf->b_u_newhead = old_curhead->uh_next;
424 curbuf->b_u_curhead = NULL;
425 }
Bram Moolenaar071d4272004-06-13 20:20:40 +0000426
427 /*
428 * free headers to keep the size right
429 */
430 while (curbuf->b_u_numhead > p_ul && curbuf->b_u_oldhead != NULL)
Bram Moolenaar1e607892006-03-13 22:15:53 +0000431 {
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +0000432 u_header_T *uhfree = curbuf->b_u_oldhead;
Bram Moolenaar1e607892006-03-13 22:15:53 +0000433
Bram Moolenaarfecb6602007-10-01 20:54:15 +0000434 if (uhfree == old_curhead)
435 /* Can't reconnect the branch, delete all of it. */
436 u_freebranch(curbuf, uhfree, &old_curhead);
437 else if (uhfree->uh_alt_next == NULL)
438 /* There is no branch, only free one header. */
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +0000439 u_freeheader(curbuf, uhfree, &old_curhead);
Bram Moolenaar1e607892006-03-13 22:15:53 +0000440 else
441 {
442 /* Free the oldest alternate branch as a whole. */
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +0000443 while (uhfree->uh_alt_next != NULL)
444 uhfree = uhfree->uh_alt_next;
445 u_freebranch(curbuf, uhfree, &old_curhead);
Bram Moolenaar1e607892006-03-13 22:15:53 +0000446 }
Bram Moolenaarfecb6602007-10-01 20:54:15 +0000447#ifdef U_DEBUG
448 u_check(TRUE);
449#endif
Bram Moolenaar1e607892006-03-13 22:15:53 +0000450 }
Bram Moolenaar071d4272004-06-13 20:20:40 +0000451
Bram Moolenaar7d47b6e2006-03-15 22:59:18 +0000452 if (uhp == NULL) /* no undo at all */
Bram Moolenaar071d4272004-06-13 20:20:40 +0000453 {
Bram Moolenaar1e607892006-03-13 22:15:53 +0000454 if (old_curhead != NULL)
455 u_freebranch(curbuf, old_curhead, NULL);
Bram Moolenaar071d4272004-06-13 20:20:40 +0000456 curbuf->b_u_synced = FALSE;
457 return OK;
458 }
459
Bram Moolenaar071d4272004-06-13 20:20:40 +0000460 uhp->uh_prev = NULL;
461 uhp->uh_next = curbuf->b_u_newhead;
Bram Moolenaar1e607892006-03-13 22:15:53 +0000462 uhp->uh_alt_next = old_curhead;
463 if (old_curhead != NULL)
464 {
Bram Moolenaar89ed3df2007-01-09 19:23:12 +0000465 uhp->uh_alt_prev = old_curhead->uh_alt_prev;
466 if (uhp->uh_alt_prev != NULL)
467 uhp->uh_alt_prev->uh_alt_next = uhp;
Bram Moolenaar1e607892006-03-13 22:15:53 +0000468 old_curhead->uh_alt_prev = uhp;
469 if (curbuf->b_u_oldhead == old_curhead)
470 curbuf->b_u_oldhead = uhp;
471 }
Bram Moolenaar89ed3df2007-01-09 19:23:12 +0000472 else
473 uhp->uh_alt_prev = NULL;
Bram Moolenaar071d4272004-06-13 20:20:40 +0000474 if (curbuf->b_u_newhead != NULL)
475 curbuf->b_u_newhead->uh_prev = uhp;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +0000476
Bram Moolenaarca003e12006-03-17 23:19:38 +0000477 uhp->uh_seq = ++curbuf->b_u_seq_last;
478 curbuf->b_u_seq_cur = uhp->uh_seq;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +0000479 uhp->uh_time = time(NULL);
480 curbuf->b_u_seq_time = uhp->uh_time + 1;
481
Bram Moolenaar1e607892006-03-13 22:15:53 +0000482 uhp->uh_walk = 0;
Bram Moolenaar071d4272004-06-13 20:20:40 +0000483 uhp->uh_entry = NULL;
484 uhp->uh_getbot_entry = NULL;
485 uhp->uh_cursor = curwin->w_cursor; /* save cursor pos. for undo */
486#ifdef FEAT_VIRTUALEDIT
487 if (virtual_active() && curwin->w_cursor.coladd > 0)
488 uhp->uh_cursor_vcol = getviscol();
489 else
490 uhp->uh_cursor_vcol = -1;
491#endif
492
493 /* save changed and buffer empty flag for undo */
494 uhp->uh_flags = (curbuf->b_changed ? UH_CHANGED : 0) +
495 ((curbuf->b_ml.ml_flags & ML_EMPTY) ? UH_EMPTYBUF : 0);
496
Bram Moolenaara23ccb82006-02-27 00:08:02 +0000497 /* save named marks and Visual marks for undo */
Bram Moolenaar071d4272004-06-13 20:20:40 +0000498 mch_memmove(uhp->uh_namedm, curbuf->b_namedm, sizeof(pos_T) * NMARKS);
Bram Moolenaara23ccb82006-02-27 00:08:02 +0000499#ifdef FEAT_VISUAL
500 uhp->uh_visual = curbuf->b_visual;
501#endif
502
Bram Moolenaar071d4272004-06-13 20:20:40 +0000503 curbuf->b_u_newhead = uhp;
504 if (curbuf->b_u_oldhead == NULL)
505 curbuf->b_u_oldhead = uhp;
506 ++curbuf->b_u_numhead;
507 }
508 else
509 {
510 if (p_ul < 0) /* no undo at all */
511 return OK;
512
513 /*
514 * When saving a single line, and it has been saved just before, it
515 * doesn't make sense saving it again. Saves a lot of memory when
516 * making lots of changes inside the same line.
517 * This is only possible if the previous change didn't increase or
518 * decrease the number of lines.
519 * Check the ten last changes. More doesn't make sense and takes too
520 * long.
521 */
522 if (size == 1)
523 {
524 uep = u_get_headentry();
525 prev_uep = NULL;
526 for (i = 0; i < 10; ++i)
527 {
528 if (uep == NULL)
529 break;
530
531 /* If lines have been inserted/deleted we give up.
532 * Also when the line was included in a multi-line save. */
533 if ((curbuf->b_u_newhead->uh_getbot_entry != uep
534 ? (uep->ue_top + uep->ue_size + 1
535 != (uep->ue_bot == 0
536 ? curbuf->b_ml.ml_line_count + 1
537 : uep->ue_bot))
538 : uep->ue_lcount != curbuf->b_ml.ml_line_count)
539 || (uep->ue_size > 1
540 && top >= uep->ue_top
541 && top + 2 <= uep->ue_top + uep->ue_size + 1))
542 break;
543
544 /* If it's the same line we can skip saving it again. */
545 if (uep->ue_size == 1 && uep->ue_top == top)
546 {
547 if (i > 0)
548 {
549 /* It's not the last entry: get ue_bot for the last
550 * entry now. Following deleted/inserted lines go to
551 * the re-used entry. */
552 u_getbot();
553 curbuf->b_u_synced = FALSE;
554
555 /* Move the found entry to become the last entry. The
556 * order of undo/redo doesn't matter for the entries
557 * we move it over, since they don't change the line
558 * count and don't include this line. It does matter
559 * for the found entry if the line count is changed by
560 * the executed command. */
561 prev_uep->ue_next = uep->ue_next;
562 uep->ue_next = curbuf->b_u_newhead->uh_entry;
563 curbuf->b_u_newhead->uh_entry = uep;
564 }
565
566 /* The executed command may change the line count. */
567 if (newbot != 0)
568 uep->ue_bot = newbot;
569 else if (bot > curbuf->b_ml.ml_line_count)
570 uep->ue_bot = 0;
571 else
572 {
573 uep->ue_lcount = curbuf->b_ml.ml_line_count;
574 curbuf->b_u_newhead->uh_getbot_entry = uep;
575 }
576 return OK;
577 }
578 prev_uep = uep;
579 uep = uep->ue_next;
580 }
581 }
582
583 /* find line number for ue_bot for previous u_save() */
584 u_getbot();
585 }
586
587#if !defined(UNIX) && !defined(DJGPP) && !defined(WIN32) && !defined(__EMX__)
588 /*
589 * With Amiga and MSDOS 16 bit we can't handle big undo's, because
590 * then u_alloc_line would have to allocate a block larger than 32K
591 */
592 if (size >= 8000)
593 goto nomem;
594#endif
595
596 /*
597 * add lines in front of entry list
598 */
Bram Moolenaar26a60b42005-02-22 08:49:11 +0000599 uep = (u_entry_T *)U_ALLOC_LINE((unsigned)sizeof(u_entry_T));
Bram Moolenaar071d4272004-06-13 20:20:40 +0000600 if (uep == NULL)
601 goto nomem;
Bram Moolenaar7db5fc82010-05-24 11:59:29 +0200602 vim_memset(uep, 0, sizeof(u_entry_T));
Bram Moolenaarfecb6602007-10-01 20:54:15 +0000603#ifdef U_DEBUG
604 uep->ue_magic = UE_MAGIC;
605#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +0000606
607 uep->ue_size = size;
608 uep->ue_top = top;
609 if (newbot != 0)
610 uep->ue_bot = newbot;
611 /*
612 * Use 0 for ue_bot if bot is below last line.
613 * Otherwise we have to compute ue_bot later.
614 */
615 else if (bot > curbuf->b_ml.ml_line_count)
616 uep->ue_bot = 0;
617 else
618 {
619 uep->ue_lcount = curbuf->b_ml.ml_line_count;
620 curbuf->b_u_newhead->uh_getbot_entry = uep;
621 }
622
Bram Moolenaar26a60b42005-02-22 08:49:11 +0000623 if (size > 0)
Bram Moolenaar071d4272004-06-13 20:20:40 +0000624 {
Bram Moolenaar26a60b42005-02-22 08:49:11 +0000625 if ((uep->ue_array = (char_u **)U_ALLOC_LINE(
Bram Moolenaar071d4272004-06-13 20:20:40 +0000626 (unsigned)(sizeof(char_u *) * size))) == NULL)
627 {
628 u_freeentry(uep, 0L);
629 goto nomem;
630 }
631 for (i = 0, lnum = top + 1; i < size; ++i)
632 {
Bram Moolenaarae5bce12005-08-15 21:41:48 +0000633 fast_breakcheck();
634 if (got_int)
635 {
636 u_freeentry(uep, i);
637 return FAIL;
638 }
Bram Moolenaar071d4272004-06-13 20:20:40 +0000639 if ((uep->ue_array[i] = u_save_line(lnum++)) == NULL)
640 {
641 u_freeentry(uep, i);
642 goto nomem;
643 }
644 }
645 }
Bram Moolenaarf461c8e2005-06-25 23:04:51 +0000646 else
647 uep->ue_array = NULL;
Bram Moolenaar071d4272004-06-13 20:20:40 +0000648 uep->ue_next = curbuf->b_u_newhead->uh_entry;
649 curbuf->b_u_newhead->uh_entry = uep;
650 curbuf->b_u_synced = FALSE;
651 undo_undoes = FALSE;
652
Bram Moolenaarfecb6602007-10-01 20:54:15 +0000653#ifdef U_DEBUG
654 u_check(FALSE);
655#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +0000656 return OK;
657
658nomem:
659 msg_silent = 0; /* must display the prompt */
660 if (ask_yesno((char_u *)_("No undo possible; continue anyway"), TRUE)
661 == 'y')
662 {
663 undo_off = TRUE; /* will be reset when character typed */
664 return OK;
665 }
666 do_outofmem_msg((long_u)0);
667 return FAIL;
668}
669
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200670#ifdef FEAT_PERSISTENT_UNDO
671
672# define UF_START_MAGIC 0xfeac /* magic at start of undofile */
673# define UF_HEADER_MAGIC 0x5fd0 /* magic at start of header */
674# define UF_END_MAGIC 0xe7aa /* magic after last header */
675# define UF_VERSION 1 /* 2-byte undofile version number */
676
677/*
678 * Compute the hash for the current buffer text into hash[UNDO_HASH_SIZE].
679 */
680 void
681u_compute_hash(hash)
682 char_u *hash;
683{
684 context_sha256_T ctx;
685 linenr_T lnum;
686 char_u *p;
687
688 sha256_start(&ctx);
689 for (lnum = 1; lnum < curbuf->b_ml.ml_line_count; ++lnum)
690 {
691 p = ml_get(lnum);
Bram Moolenaar442b4222010-05-24 21:34:22 +0200692 sha256_update(&ctx, p, (UINT32_T)(STRLEN(p) + 1));
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200693 }
694 sha256_finish(&ctx, hash);
695}
696
697/*
698 * Unserialize the pos_T at the current position in fp.
699 */
700 static void
701unserialize_pos(pos, fp)
702 pos_T *pos;
703 FILE *fp;
704{
705 pos->lnum = get4c(fp);
706 pos->col = get4c(fp);
707#ifdef FEAT_VIRTUALEDIT
708 pos->coladd = get4c(fp);
709#else
710 (void)get4c(fp);
711#endif
712}
713
714/*
715 * Unserialize the visualinfo_T at the current position in fp.
716 */
717 static void
718unserialize_visualinfo(info, fp)
719 visualinfo_T *info;
720 FILE *fp;
721{
722 unserialize_pos(&info->vi_start, fp);
723 unserialize_pos(&info->vi_end, fp);
724 info->vi_mode = get4c(fp);
725 info->vi_curswant = get4c(fp);
726}
727
728/*
729 * Return an allocated string of the full path of the target undofile.
730 * When "reading" is TRUE find the file to read, go over all directories in
731 * 'undodir'.
732 * When "reading" is FALSE use the first name where the directory exists.
733 */
734 static char_u *
735u_get_undo_file_name(buf_ffname, reading)
736 char_u *buf_ffname;
737 int reading;
738{
739 char_u *dirp;
740 char_u dir_name[IOSIZE + 1];
741 char_u *munged_name = NULL;
742 char_u *undo_file_name = NULL;
743 int dir_len;
744 char_u *p;
745 struct stat st;
746 char_u *ffname = buf_ffname;
747#ifdef HAVE_READLINK
748 char_u fname_buf[MAXPATHL];
749#endif
750
751 if (ffname == NULL)
752 return NULL;
753
754#ifdef HAVE_READLINK
755 /* Expand symlink in the file name, so that we put the undo file with the
756 * actual file instead of with the symlink. */
757 if (resolve_symlink(ffname, fname_buf) == OK)
758 ffname = fname_buf;
759#endif
760
761 /* Loop over 'undodir'. When reading find the first file that exists.
762 * When not reading use the first directory that exists or ".". */
763 dirp = p_udir;
764 while (*dirp != NUL)
765 {
766 dir_len = copy_option_part(&dirp, dir_name, IOSIZE, ",");
767 if (dir_len == 1 && dir_name[0] == '.')
768 {
769 /* Use same directory as the ffname,
770 * "dir/name" -> "dir/.name.un~" */
Bram Moolenaar442b4222010-05-24 21:34:22 +0200771 undo_file_name = vim_strnsave(ffname, (int)(STRLEN(ffname) + 5));
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200772 if (undo_file_name == NULL)
773 break;
774 p = gettail(undo_file_name);
775 mch_memmove(p + 1, p, STRLEN(p) + 1);
776 *p = '.';
777 STRCAT(p, ".un~");
778 }
779 else
780 {
781 dir_name[dir_len] = NUL;
782 if (mch_isdir(dir_name))
783 {
784 if (munged_name == NULL)
785 {
786 munged_name = vim_strsave(ffname);
787 if (munged_name == NULL)
788 return NULL;
789 for (p = munged_name; *p != NUL; mb_ptr_adv(p))
790 if (vim_ispathsep(*p))
791 *p = '%';
792 }
793 undo_file_name = concat_fnames(dir_name, munged_name, TRUE);
794 }
795 }
796
797 /* When reading check if the file exists. */
798 if (undo_file_name != NULL && (!reading
799 || mch_stat((char *)undo_file_name, &st) >= 0))
800 break;
801 vim_free(undo_file_name);
802 undo_file_name = NULL;
803 }
804
805 vim_free(munged_name);
806 return undo_file_name;
807}
808
809/*
810 * Load the undo tree from an undo file.
811 * If "name" is not NULL use it as the undo file name. This also means being
812 * a bit more verbose.
813 * Otherwise use curbuf->b_ffname to generate the undo file name.
814 * "hash[UNDO_HASH_SIZE]" must be the hash value of the buffer text.
815 */
816 void
817u_read_undo(name, hash)
818 char_u *name;
819 char_u *hash;
820{
821 char_u *file_name;
822 FILE *fp;
823 long magic, version, str_len;
824 char_u *line_ptr = NULL;
825 linenr_T line_lnum;
826 colnr_T line_colnr;
827 linenr_T line_count;
828 int uep_len;
829 int line_len;
Bram Moolenaar442b4222010-05-24 21:34:22 +0200830 int num_head = 0;
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200831 long old_header_seq, new_header_seq, cur_header_seq;
832 long seq_last, seq_cur;
833 short old_idx = -1, new_idx = -1, cur_idx = -1;
834 long num_read_uhps = 0;
835 time_t seq_time;
836 int i, j;
837 int c;
838 short found_first_uep = 0;
839 char_u **array;
840 char_u *line;
841 u_entry_T *uep, *last_uep, *nuep;
842 u_header_T *uhp;
843 u_header_T **uhp_table = NULL;
844 char_u read_hash[UNDO_HASH_SIZE];
845
846 if (name == NULL)
847 {
848 file_name = u_get_undo_file_name(curbuf->b_ffname, TRUE);
849 if (file_name == NULL)
850 return;
851 }
852 else
853 file_name = name;
854
855 if (p_verbose > 0)
856 smsg((char_u *)_("Reading undo file: %s"), file_name);
857 fp = mch_fopen((char *)file_name, "r");
858 if (fp == NULL)
859 {
860 if (name != NULL || p_verbose > 0)
861 EMSG2(_("E822: Cannot open undo file for reading: %s"), file_name);
862 goto error;
863 }
864
865 /* Begin overall file information */
866 magic = get2c(fp);
867 if (magic != UF_START_MAGIC)
868 {
869 EMSG2(_("E823: Corrupted undo file: %s"), file_name);
870 goto error;
871 }
872 version = get2c(fp);
873 if (version != UF_VERSION)
874 {
875 EMSG2(_("E824: Incompatible undo file: %s"), file_name);
876 goto error;
877 }
878
879 fread(read_hash, UNDO_HASH_SIZE, 1, fp);
880 line_count = (linenr_T)get4c(fp);
881 if (memcmp(hash, read_hash, UNDO_HASH_SIZE) != 0
882 || line_count != curbuf->b_ml.ml_line_count)
883 {
884 if (p_verbose > 0 || name != NULL)
885 {
886 verbose_enter();
Bram Moolenaar7db5fc82010-05-24 11:59:29 +0200887 give_warning((char_u *)_("File contents changed, cannot use undo info"), TRUE);
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200888 verbose_leave();
889 }
890 goto error;
891 }
892
893 /* Begin undo data for U */
894 str_len = get4c(fp);
895 if (str_len < 0)
896 goto error;
897 else if (str_len > 0)
898 {
899 if ((line_ptr = U_ALLOC_LINE(str_len)) == NULL)
900 goto error;
901 for (i = 0; i < str_len; i++)
902 line_ptr[i] = (char_u)getc(fp);
903 line_ptr[i] = NUL;
904 }
905 line_lnum = (linenr_T)get4c(fp);
906 line_colnr = (colnr_T)get4c(fp);
907
908 /* Begin general undo data */
909 old_header_seq = get4c(fp);
910 new_header_seq = get4c(fp);
911 cur_header_seq = get4c(fp);
912 num_head = get4c(fp);
913 seq_last = get4c(fp);
914 seq_cur = get4c(fp);
915 seq_time = get4c(fp);
916
917 /* uhp_table will store the freshly created undo headers we allocate
918 * until we insert them into curbuf. The table remains sorted by the
919 * sequence numbers of the headers. */
920 uhp_table = (u_header_T **)U_ALLOC_LINE(num_head * sizeof(u_header_T *));
921 if (uhp_table == NULL)
922 goto error;
923 vim_memset(uhp_table, 0, num_head * sizeof(u_header_T *));
924
925 c = get2c(fp);
926 while (c == UF_HEADER_MAGIC)
927 {
928 found_first_uep = 0;
929 uhp = (u_header_T *)U_ALLOC_LINE((unsigned)sizeof(u_header_T));
930 if (uhp == NULL)
931 goto error;
932 vim_memset(uhp, 0, sizeof(u_header_T));
933 /* We're not actually trying to store pointers here. We're just storing
934 * IDs so we can swizzle them into pointers later - hence the type
935 * cast. */
Bram Moolenaar442b4222010-05-24 21:34:22 +0200936 uhp->uh_next = (u_header_T *)get4c(fp);
937 uhp->uh_prev = (u_header_T *)get4c(fp);
938 uhp->uh_alt_next = (u_header_T *)get4c(fp);
939 uhp->uh_alt_prev = (u_header_T *)get4c(fp);
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200940 uhp->uh_seq = get4c(fp);
941 if (uhp->uh_seq <= 0)
942 {
943 EMSG2(_("E825: Undo file corruption: invalid uh_seq.: %s"),
944 file_name);
945 U_FREE_LINE(uhp);
946 goto error;
947 }
948 uhp->uh_walk = 0;
949 unserialize_pos(&uhp->uh_cursor, fp);
950#ifdef FEAT_VIRTUALEDIT
951 uhp->uh_cursor_vcol = get4c(fp);
952#else
953 (void)get4c(fp);
954#endif
955 uhp->uh_flags = get2c(fp);
956 for (i = 0; i < NMARKS; ++i)
957 unserialize_pos(&uhp->uh_namedm[i], fp);
958#ifdef FEAT_VISUAL
959 unserialize_visualinfo(&uhp->uh_visual, fp);
960#else
961 {
962 visualinfo_T info;
963 unserialize_visualinfo(&info, fp);
964 }
965#endif
966 uhp->uh_time = get4c(fp);
967
968 /* Unserialize uep list. The first 4 bytes is the length of the
969 * entire uep in bytes minus the length of the strings within.
970 * -1 is a sentinel value meaning no more ueps.*/
971 last_uep = NULL;
972 while ((uep_len = get4c(fp)) != -1)
973 {
974 uep = (u_entry_T *)U_ALLOC_LINE((unsigned)sizeof(u_entry_T));
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200975 if (uep == NULL)
976 goto error;
Bram Moolenaar7db5fc82010-05-24 11:59:29 +0200977 vim_memset(uep, 0, sizeof(u_entry_T));
Bram Moolenaar55debbe2010-05-23 23:34:36 +0200978 uep->ue_top = get4c(fp);
979 uep->ue_bot = get4c(fp);
980 uep->ue_lcount = get4c(fp);
981 uep->ue_size = get4c(fp);
982 uep->ue_next = NULL;
983 array = (char_u **)U_ALLOC_LINE(
984 (unsigned)(sizeof(char_u *) * uep->ue_size));
985 for (i = 0; i < uep->ue_size; i++)
986 {
987 line_len = get4c(fp);
988 /* U_ALLOC_LINE provides an extra byte for the NUL terminator.*/
989 line = (char_u *)U_ALLOC_LINE(
990 (unsigned) (sizeof(char_u) * line_len));
991 if (line == NULL)
992 goto error;
993 for (j = 0; j < line_len; j++)
994 {
995 line[j] = getc(fp);
996 }
997 line[j] = '\0';
998 array[i] = line;
999 }
1000 uep->ue_array = array;
1001 if (found_first_uep == 0)
1002 {
1003 uhp->uh_entry = uep;
1004 found_first_uep = 1;
1005 }
1006 else
1007 {
1008 last_uep->ue_next = uep;
1009 }
1010 last_uep = uep;
1011 }
1012
1013 /* Insertion sort the uhp into the table by its uh_seq. This is
1014 * required because, while the number of uhps is limited to
1015 * num_heads, and the uh_seq order is monotonic with respect to
1016 * creation time, the starting uh_seq can be > 0 if any undolevel
1017 * culling was done at undofile write time, and there can be uh_seq
1018 * gaps in the uhps.
1019 */
1020 for (i = num_read_uhps - 1; i >= -1; i--)
1021 {
1022 /* if i == -1, we've hit the leftmost side of the table, so insert
1023 * at uhp_table[0]. */
1024 if (i == -1 || uhp->uh_seq > uhp_table[i]->uh_seq)
1025 {
1026 /* If we've had to move from the rightmost side of the table,
1027 * we have to shift everything to the right by one spot. */
1028 if (i < num_read_uhps - 1)
1029 {
1030 memmove(uhp_table + i + 2, uhp_table + i + 1,
1031 (num_read_uhps - i) * sizeof(u_header_T *));
1032 }
1033 uhp_table[i + 1] = uhp;
1034 break;
1035 }
1036 else if (uhp->uh_seq == uhp_table[i]->uh_seq)
1037 {
1038 EMSG2(_("E826 Undo file corruption: duplicate uh_seq: %s"),
1039 file_name);
1040 goto error;
1041 }
1042 }
1043 num_read_uhps++;
1044 c = get2c(fp);
1045 }
1046
1047 if (c != UF_END_MAGIC)
1048 {
1049 EMSG2(_("E827: Undo file corruption; no end marker: %s"), file_name);
1050 goto error;
1051 }
1052
1053 /* We've organized all of the uhps into a table sorted by uh_seq. Now we
1054 * iterate through the table and swizzle each sequence number we've
1055 * stored in uh_foo into a pointer corresponding to the header with that
1056 * sequence number. Then free curbuf's old undo structure, give curbuf
1057 * the updated {old,new,cur}head pointers, and then free the table. */
1058 for (i = 0; i < num_head; i++)
1059 {
1060 uhp = uhp_table[i];
1061 if (uhp == NULL)
1062 continue;
1063 for (j = 0; j < num_head; j++)
1064 {
1065 if (uhp_table[j] == NULL)
1066 continue;
1067 if (uhp_table[j]->uh_seq == (long)uhp->uh_next)
1068 uhp->uh_next = uhp_table[j];
1069 if (uhp_table[j]->uh_seq == (long)uhp->uh_prev)
1070 uhp->uh_prev = uhp_table[j];
1071 if (uhp_table[j]->uh_seq == (long)uhp->uh_alt_next)
1072 uhp->uh_alt_next = uhp_table[j];
1073 if (uhp_table[j]->uh_seq == (long)uhp->uh_alt_prev)
1074 uhp->uh_alt_prev = uhp_table[j];
1075 }
1076 if (old_header_seq > 0 && old_idx < 0 && uhp->uh_seq == old_header_seq)
1077 old_idx = i;
1078 if (new_header_seq > 0 && new_idx < 0 && uhp->uh_seq == new_header_seq)
1079 new_idx = i;
1080 if (cur_header_seq > 0 && cur_idx < 0 && uhp->uh_seq == cur_header_seq)
1081 cur_idx = i;
1082 }
1083 u_blockfree(curbuf);
1084 curbuf->b_u_oldhead = old_idx < 0 ? 0 : uhp_table[old_idx];
1085 curbuf->b_u_newhead = new_idx < 0 ? 0 : uhp_table[new_idx];
1086 curbuf->b_u_curhead = cur_idx < 0 ? 0 : uhp_table[cur_idx];
1087 curbuf->b_u_line_ptr = line_ptr;
1088 curbuf->b_u_line_lnum = line_lnum;
1089 curbuf->b_u_line_colnr = line_colnr;
1090 curbuf->b_u_numhead = num_head;
1091 curbuf->b_u_seq_last = seq_last;
1092 curbuf->b_u_seq_cur = seq_cur;
1093 curbuf->b_u_seq_time = seq_time;
1094 U_FREE_LINE(uhp_table);
1095#ifdef U_DEBUG
1096 u_check(TRUE);
1097#endif
1098 if (name != NULL)
1099 smsg((char_u *)_("Finished reading undo file %s"), file_name);
1100 goto theend;
1101
1102error:
1103 if (line_ptr != NULL)
1104 U_FREE_LINE(line_ptr);
1105 if (uhp_table != NULL)
1106 {
1107 for (i = 0; i < num_head; i++)
1108 {
1109 if (uhp_table[i] != NULL)
1110 {
1111 uep = uhp_table[i]->uh_entry;
1112 while (uep != NULL)
1113 {
1114 nuep = uep->ue_next;
1115 u_freeentry(uep, uep->ue_size);
1116 uep = nuep;
1117 }
1118 U_FREE_LINE(uhp_table[i]);
1119 }
1120 }
1121 U_FREE_LINE(uhp_table);
1122 }
1123
1124theend:
1125 if (fp != NULL)
1126 fclose(fp);
1127 if (file_name != name)
1128 vim_free(file_name);
1129 return;
1130}
1131
1132/*
1133 * Serialize "uep" to "fp".
1134 */
1135 static int
1136serialize_uep(uep, fp)
1137 u_entry_T *uep;
1138 FILE *fp;
1139{
1140 int i;
1141 int uep_len;
1142 int *entry_lens;
1143
1144 if (uep->ue_size > 0)
1145 entry_lens = (int *)alloc(uep->ue_size * sizeof(int));
Bram Moolenaar442b4222010-05-24 21:34:22 +02001146 else
1147 entry_lens = NULL;
Bram Moolenaar55debbe2010-05-23 23:34:36 +02001148
1149 /* Define uep_len to be the size of the entire uep minus the size of its
1150 * component strings, in bytes. The sizes of the component strings
1151 * are written before each individual string.
1152 * We have 4 entries each of 4 bytes, plus ue_size * 4 bytes
1153 * of string size information. */
1154
1155 uep_len = uep->ue_size * 4;
1156 /* Collect sizing information for later serialization. */
1157 for (i = 0; i < uep->ue_size; i++)
1158 {
1159 entry_lens[i] = (int)STRLEN(uep->ue_array[i]);
1160 uep_len += entry_lens[i];
1161 }
1162 put_bytes(fp, (long_u)uep_len, 4);
1163 put_bytes(fp, (long_u)uep->ue_top, 4);
1164 put_bytes(fp, (long_u)uep->ue_bot, 4);
1165 put_bytes(fp, (long_u)uep->ue_lcount, 4);
1166 put_bytes(fp, (long_u)uep->ue_size, 4);
1167 for (i = 0; i < uep->ue_size; i++)
1168 {
1169 if (put_bytes(fp, (long_u)entry_lens[i], 4) == FAIL)
1170 return FAIL;
1171 fprintf(fp, "%s", uep->ue_array[i]);
1172 }
1173 if (uep->ue_size > 0)
1174 vim_free(entry_lens);
1175 return OK;
1176}
1177
1178/*
1179 * Serialize "pos" to "fp".
1180 */
1181 static void
1182serialize_pos(pos, fp)
1183 pos_T pos;
1184 FILE *fp;
1185{
1186 put_bytes(fp, (long_u)pos.lnum, 4);
1187 put_bytes(fp, (long_u)pos.col, 4);
1188#ifdef FEAT_VIRTUALEDIT
1189 put_bytes(fp, (long_u)pos.coladd, 4);
1190#else
1191 put_bytes(fp, (long_u)0, 4);
1192#endif
1193}
1194
1195/*
1196 * Serialize "info" to "fp".
1197 */
1198 static void
1199serialize_visualinfo(info, fp)
1200 visualinfo_T info;
1201 FILE *fp;
1202{
1203 serialize_pos(info.vi_start, fp);
1204 serialize_pos(info.vi_end, fp);
1205 put_bytes(fp, (long_u)info.vi_mode, 4);
1206 put_bytes(fp, (long_u)info.vi_curswant, 4);
1207}
1208
1209static char_u e_not_open[] = N_("E828: Cannot open undo file for writing: %s");
1210
1211/*
1212 * Write the undo tree in an undo file.
1213 * When "name" is not NULL, use it as the name of the undo file.
1214 * Otherwise use buf->b_ffname to generate the undo file name.
1215 * "buf" must never be null, buf->b_ffname is used to obtain the original file
1216 * permissions.
1217 * "forceit" is TRUE for ":wundo!", FALSE otherwise.
1218 * "hash[UNDO_HASH_SIZE]" must be the hash value of the buffer text.
1219 */
1220 void
1221u_write_undo(name, forceit, buf, hash)
1222 char_u *name;
1223 int forceit;
1224 buf_T *buf;
1225 char_u *hash;
1226{
1227 u_header_T *uhp;
1228 u_entry_T *uep;
1229 char_u *file_name;
1230 int str_len, i, uep_len, mark;
1231 int fd;
1232 FILE *fp = NULL;
1233 int perm;
1234 int write_ok = FALSE;
1235#ifdef UNIX
1236 struct stat st_old;
1237 struct stat st_new;
1238#endif
1239
1240 if (name == NULL)
1241 {
1242 file_name = u_get_undo_file_name(buf->b_ffname, FALSE);
1243 if (file_name == NULL)
1244 return;
1245 }
1246 else
1247 file_name = name;
1248
1249#ifdef UNIX
1250 if (mch_stat((char *)buf->b_ffname, &st_old) >= 0)
1251 perm = st_old.st_mode;
1252 else
1253 perm = 0600;
1254#else
1255 perm = mch_getperm(buf->b_ffname);
1256 if (perm < 0)
1257 perm = 0600;
1258#endif
1259 /* set file protection same as original file, but strip s-bit */
1260 perm = perm & 0777;
1261
1262 /* If the undo file exists, verify that it actually is an undo file, and
1263 * delete it. */
1264 if (mch_getperm(file_name) >= 0)
1265 {
1266 if (name == NULL || !forceit)
1267 {
1268 /* Check we can read it and it's an undo file. */
1269 fd = mch_open((char *)file_name, O_RDONLY|O_EXTRA, 0);
1270 if (fd < 0)
1271 {
1272 if (name != NULL || p_verbose > 0)
1273 smsg((char_u *)_("Will not overwrite with undo file, cannot read: %s"),
1274 file_name);
1275 goto theend;
1276 }
1277 else
1278 {
1279 char_u buf[2];
1280
1281 vim_read(fd, buf, 2);
1282 close(fd);
1283 if ((buf[0] << 8) + buf[1] != UF_START_MAGIC)
1284 {
1285 if (name != NULL || p_verbose > 0)
1286 smsg((char_u *)_("Will not overwrite, this is not an undo file: %s"),
1287 file_name);
1288 goto theend;
1289 }
1290 }
1291 }
1292 mch_remove(file_name);
1293 }
1294
1295 fd = mch_open((char *)file_name,
1296 O_CREAT|O_EXTRA|O_WRONLY|O_EXCL|O_NOFOLLOW, perm);
1297 (void)mch_setperm(file_name, perm);
1298 if (fd < 0)
1299 {
1300 EMSG2(_(e_not_open), file_name);
1301 goto theend;
1302 }
1303 if (p_verbose > 0)
1304 smsg((char_u *)_("Writing undo file: %s"), file_name);
1305
1306#ifdef UNIX
1307 /*
1308 * Try to set the group of the undo file same as the original file. If
1309 * this fails, set the protection bits for the group same as the
1310 * protection bits for others.
1311 */
1312 if (mch_stat((char *)file_name, &st_new) >= 0
1313 && st_new.st_gid != st_old.st_gid
1314# ifdef HAVE_FCHOWN /* sequent-ptx lacks fchown() */
1315 && fchown(fd, (uid_t)-1, st_old.st_gid) != 0
1316# endif
1317 )
1318 mch_setperm(file_name, (perm & 0707) | ((perm & 07) << 3));
1319# ifdef HAVE_SELINUX
1320 mch_copy_sec(buf->b_ffname, file_name);
1321# endif
1322#endif
1323
1324 fp = fdopen(fd, "w");
1325 if (fp == NULL)
1326 {
1327 EMSG2(_(e_not_open), file_name);
1328 close(fd);
1329 mch_remove(file_name);
1330 goto theend;
1331 }
1332
1333 /* Start writing, first overall file information */
1334 put_bytes(fp, (long_u)UF_START_MAGIC, 2);
1335 put_bytes(fp, (long_u)UF_VERSION, 2);
1336
1337 /* Write a hash of the buffer text, so that we can verify it is still the
1338 * same when reading the buffer text. */
1339 if (fwrite(hash, (size_t)UNDO_HASH_SIZE, (size_t)1, fp) != 1)
1340 goto write_error;
1341 put_bytes(fp, (long_u)buf->b_ml.ml_line_count, 4);
1342
1343 /* Begin undo data for U */
Bram Moolenaar442b4222010-05-24 21:34:22 +02001344 str_len = buf->b_u_line_ptr != NULL ? (int)STRLEN(buf->b_u_line_ptr) : 0;
Bram Moolenaar55debbe2010-05-23 23:34:36 +02001345 put_bytes(fp, (long_u)str_len, 4);
1346 if (str_len > 0 && fwrite(buf->b_u_line_ptr, (size_t)str_len,
1347 (size_t)1, fp) != 1)
1348 goto write_error;
1349
1350 put_bytes(fp, (long_u)buf->b_u_line_lnum, 4);
1351 put_bytes(fp, (long_u)buf->b_u_line_colnr, 4);
1352
1353 /* Begin general undo data */
1354 uhp = buf->b_u_oldhead;
1355 put_bytes(fp, (long_u)(uhp != NULL ? uhp->uh_seq : 0), 4);
1356
1357 uhp = buf->b_u_newhead;
1358 put_bytes(fp, (long_u)(uhp != NULL ? uhp->uh_seq : 0), 4);
1359
1360 uhp = buf->b_u_curhead;
1361 put_bytes(fp, (long_u)(uhp != NULL ? uhp->uh_seq : 0), 4);
1362
1363 put_bytes(fp, (long_u)buf->b_u_numhead, 4);
1364 put_bytes(fp, (long_u)buf->b_u_seq_last, 4);
1365 put_bytes(fp, (long_u)buf->b_u_seq_cur, 4);
1366 put_bytes(fp, (long_u)buf->b_u_seq_time, 4);
1367
1368 /* Iteratively serialize UHPs and their UEPs from the top down. */
1369 mark = ++lastmark;
1370 uhp = buf->b_u_oldhead;
1371 while (uhp != NULL)
1372 {
1373 /* Serialize current UHP if we haven't seen it */
1374 if (uhp->uh_walk != mark)
1375 {
1376 if (put_bytes(fp, (long_u)UF_HEADER_MAGIC, 2) == FAIL)
1377 goto write_error;
1378
1379 put_bytes(fp, (long_u)((uhp->uh_next != NULL)
1380 ? uhp->uh_next->uh_seq : 0), 4);
1381 put_bytes(fp, (long_u)((uhp->uh_prev != NULL)
1382 ? uhp->uh_prev->uh_seq : 0), 4);
1383 put_bytes(fp, (long_u)((uhp->uh_alt_next != NULL)
1384 ? uhp->uh_alt_next->uh_seq : 0), 4);
1385 put_bytes(fp, (long_u)((uhp->uh_alt_prev != NULL)
1386 ? uhp->uh_alt_prev->uh_seq : 0), 4);
1387 put_bytes(fp, uhp->uh_seq, 4);
1388 serialize_pos(uhp->uh_cursor, fp);
1389#ifdef FEAT_VIRTUALEDIT
1390 put_bytes(fp, (long_u)uhp->uh_cursor_vcol, 4);
1391#else
1392 put_bytes(fp, (long_u)0, 4);
1393#endif
1394 put_bytes(fp, (long_u)uhp->uh_flags, 2);
1395 /* Assume NMARKS will stay the same. */
1396 for (i = 0; i < NMARKS; ++i)
1397 {
1398 serialize_pos(uhp->uh_namedm[i], fp);
1399 }
1400#ifdef FEAT_VISUAL
1401 serialize_visualinfo(uhp->uh_visual, fp);
1402#endif
1403 put_bytes(fp, (long_u)uhp->uh_time, 4);
1404
1405 uep = uhp->uh_entry;
1406 while (uep != NULL)
1407 {
1408 if (serialize_uep(uep, fp) == FAIL)
1409 goto write_error;
1410 uep = uep->ue_next;
1411 }
1412 /* Sentinel value: no more ueps */
1413 uep_len = -1;
1414 put_bytes(fp, (long_u)uep_len, 4);
1415 uhp->uh_walk = mark;
1416 }
1417
1418 /* Now walk through the tree - algorithm from undo_time */
1419 if (uhp->uh_prev != NULL && uhp->uh_prev->uh_walk != mark)
1420 uhp = uhp->uh_prev;
1421 else if (uhp->uh_alt_next != NULL && uhp->uh_alt_next->uh_walk != mark)
1422 uhp = uhp->uh_alt_next;
1423 else if (uhp->uh_next != NULL && uhp->uh_alt_prev == NULL
1424 && uhp->uh_next->uh_walk != mark)
1425 uhp = uhp->uh_next;
1426 else if (uhp->uh_alt_prev != NULL)
1427 uhp = uhp->uh_alt_prev;
1428 else
1429 uhp = uhp->uh_next;
1430 }
1431
1432 if (put_bytes(fp, (long_u)UF_END_MAGIC, 2) == OK)
1433 write_ok = TRUE;
1434
1435write_error:
1436 fclose(fp);
1437 if (!write_ok)
1438 EMSG2(_("E829: write error in undo file: %s"), file_name);
1439
1440#if defined(MACOS_CLASSIC) || defined(WIN3264)
1441 (void)mch_copy_file_attribute(buf->b_ffname, file_name);
1442#endif
1443#ifdef HAVE_ACL
1444 {
1445 vim_acl_T acl;
1446
1447 /* For systems that support ACL: get the ACL from the original file. */
1448 acl = mch_get_acl(buf->b_ffname);
1449 mch_set_acl(file_name, acl);
1450 }
1451#endif
1452
1453theend:
1454 if (file_name != name)
1455 vim_free(file_name);
1456}
1457
1458#endif /* FEAT_PERSISTENT_UNDO */
1459
1460
Bram Moolenaar071d4272004-06-13 20:20:40 +00001461/*
1462 * If 'cpoptions' contains 'u': Undo the previous undo or redo (vi compatible).
1463 * If 'cpoptions' does not contain 'u': Always undo.
1464 */
1465 void
1466u_undo(count)
1467 int count;
1468{
1469 /*
1470 * If we get an undo command while executing a macro, we behave like the
1471 * original vi. If this happens twice in one macro the result will not
1472 * be compatible.
1473 */
1474 if (curbuf->b_u_synced == FALSE)
1475 {
Bram Moolenaar779b74b2006-04-10 14:55:34 +00001476 u_sync(TRUE);
Bram Moolenaar071d4272004-06-13 20:20:40 +00001477 count = 1;
1478 }
1479
1480 if (vim_strchr(p_cpo, CPO_UNDO) == NULL)
1481 undo_undoes = TRUE;
1482 else
1483 undo_undoes = !undo_undoes;
1484 u_doit(count);
1485}
1486
1487/*
1488 * If 'cpoptions' contains 'u': Repeat the previous undo or redo.
1489 * If 'cpoptions' does not contain 'u': Always redo.
1490 */
1491 void
1492u_redo(count)
1493 int count;
1494{
1495 if (vim_strchr(p_cpo, CPO_UNDO) == NULL)
1496 undo_undoes = FALSE;
1497 u_doit(count);
1498}
1499
1500/*
1501 * Undo or redo, depending on 'undo_undoes', 'count' times.
1502 */
1503 static void
Bram Moolenaarca003e12006-03-17 23:19:38 +00001504u_doit(startcount)
1505 int startcount;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001506{
Bram Moolenaarca003e12006-03-17 23:19:38 +00001507 int count = startcount;
1508
Bram Moolenaar8ada17c2006-01-19 22:16:24 +00001509 if (!undo_allowed())
Bram Moolenaar071d4272004-06-13 20:20:40 +00001510 return;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001511
1512 u_newcount = 0;
1513 u_oldcount = 0;
Bram Moolenaar19a09a12005-03-04 23:39:37 +00001514 if (curbuf->b_ml.ml_flags & ML_EMPTY)
1515 u_oldcount = -1;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001516 while (count--)
1517 {
1518 if (undo_undoes)
1519 {
1520 if (curbuf->b_u_curhead == NULL) /* first undo */
1521 curbuf->b_u_curhead = curbuf->b_u_newhead;
1522 else if (p_ul > 0) /* multi level undo */
1523 /* get next undo */
1524 curbuf->b_u_curhead = curbuf->b_u_curhead->uh_next;
1525 /* nothing to undo */
1526 if (curbuf->b_u_numhead == 0 || curbuf->b_u_curhead == NULL)
1527 {
1528 /* stick curbuf->b_u_curhead at end */
1529 curbuf->b_u_curhead = curbuf->b_u_oldhead;
1530 beep_flush();
Bram Moolenaarca003e12006-03-17 23:19:38 +00001531 if (count == startcount - 1)
1532 {
1533 MSG(_("Already at oldest change"));
1534 return;
1535 }
Bram Moolenaar071d4272004-06-13 20:20:40 +00001536 break;
1537 }
1538
Bram Moolenaarca003e12006-03-17 23:19:38 +00001539 u_undoredo(TRUE);
Bram Moolenaar071d4272004-06-13 20:20:40 +00001540 }
1541 else
1542 {
1543 if (curbuf->b_u_curhead == NULL || p_ul <= 0)
1544 {
1545 beep_flush(); /* nothing to redo */
Bram Moolenaarca003e12006-03-17 23:19:38 +00001546 if (count == startcount - 1)
1547 {
1548 MSG(_("Already at newest change"));
1549 return;
1550 }
Bram Moolenaar071d4272004-06-13 20:20:40 +00001551 break;
1552 }
1553
Bram Moolenaarca003e12006-03-17 23:19:38 +00001554 u_undoredo(FALSE);
Bram Moolenaar1e607892006-03-13 22:15:53 +00001555
1556 /* Advance for next redo. Set "newhead" when at the end of the
1557 * redoable changes. */
1558 if (curbuf->b_u_curhead->uh_prev == NULL)
1559 curbuf->b_u_newhead = curbuf->b_u_curhead;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001560 curbuf->b_u_curhead = curbuf->b_u_curhead->uh_prev;
1561 }
1562 }
Bram Moolenaardb552d602006-03-23 22:59:57 +00001563 u_undo_end(undo_undoes, FALSE);
Bram Moolenaar1e607892006-03-13 22:15:53 +00001564}
1565
Bram Moolenaar1e607892006-03-13 22:15:53 +00001566/*
1567 * Undo or redo over the timeline.
1568 * When "step" is negative go back in time, otherwise goes forward in time.
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001569 * When "sec" is FALSE make "step" steps, when "sec" is TRUE use "step" as
1570 * seconds.
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00001571 * When "absolute" is TRUE use "step" as the sequence number to jump to.
1572 * "sec" must be FALSE then.
Bram Moolenaar1e607892006-03-13 22:15:53 +00001573 */
1574 void
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00001575undo_time(step, sec, absolute)
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001576 long step;
1577 int sec;
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00001578 int absolute;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001579{
1580 long target;
1581 long closest;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001582 long closest_start;
1583 long closest_seq = 0;
1584 long val;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001585 u_header_T *uhp;
1586 u_header_T *last;
1587 int mark;
1588 int nomark;
1589 int round;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001590 int dosec = sec;
1591 int above = FALSE;
Bram Moolenaar433f7c82006-03-21 21:29:36 +00001592 int did_undo = TRUE;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001593
Bram Moolenaar7d47b6e2006-03-15 22:59:18 +00001594 /* First make sure the current undoable change is synced. */
1595 if (curbuf->b_u_synced == FALSE)
Bram Moolenaar779b74b2006-04-10 14:55:34 +00001596 u_sync(TRUE);
Bram Moolenaar7d47b6e2006-03-15 22:59:18 +00001597
Bram Moolenaar1e607892006-03-13 22:15:53 +00001598 u_newcount = 0;
1599 u_oldcount = 0;
Bram Moolenaar19a09a12005-03-04 23:39:37 +00001600 if (curbuf->b_ml.ml_flags & ML_EMPTY)
Bram Moolenaar1e607892006-03-13 22:15:53 +00001601 u_oldcount = -1;
1602
Bram Moolenaarca003e12006-03-17 23:19:38 +00001603 /* "target" is the node below which we want to be.
1604 * Init "closest" to a value we can't reach. */
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00001605 if (absolute)
1606 {
1607 target = step;
Bram Moolenaarca003e12006-03-17 23:19:38 +00001608 closest = -1;
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00001609 }
Bram Moolenaarca003e12006-03-17 23:19:38 +00001610 else
Bram Moolenaar1e607892006-03-13 22:15:53 +00001611 {
Bram Moolenaarca003e12006-03-17 23:19:38 +00001612 /* When doing computations with time_t subtract starttime, because
1613 * time_t converted to a long may result in a wrong number. */
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001614 if (sec)
Bram Moolenaarca003e12006-03-17 23:19:38 +00001615 target = (long)(curbuf->b_u_seq_time - starttime) + step;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001616 else
1617 target = curbuf->b_u_seq_cur + step;
Bram Moolenaarca003e12006-03-17 23:19:38 +00001618 if (step < 0)
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001619 {
Bram Moolenaarca003e12006-03-17 23:19:38 +00001620 if (target < 0)
1621 target = 0;
1622 closest = -1;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001623 }
1624 else
1625 {
Bram Moolenaarca003e12006-03-17 23:19:38 +00001626 if (sec)
Bram Moolenaardb552d602006-03-23 22:59:57 +00001627 closest = (long)(time(NULL) - starttime + 1);
Bram Moolenaarca003e12006-03-17 23:19:38 +00001628 else
1629 closest = curbuf->b_u_seq_last + 2;
1630 if (target >= closest)
1631 target = closest - 1;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001632 }
Bram Moolenaar1e607892006-03-13 22:15:53 +00001633 }
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001634 closest_start = closest;
Bram Moolenaarca003e12006-03-17 23:19:38 +00001635 closest_seq = curbuf->b_u_seq_cur;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001636
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001637 /*
1638 * May do this twice:
Bram Moolenaar1e607892006-03-13 22:15:53 +00001639 * 1. Search for "target", update "closest" to the best match found.
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001640 * 2. If "target" not found search for "closest".
1641 *
1642 * When using the closest time we use the sequence number in the second
1643 * round, because there may be several entries with the same time.
1644 */
Bram Moolenaar1e607892006-03-13 22:15:53 +00001645 for (round = 1; round <= 2; ++round)
1646 {
1647 /* Find the path from the current state to where we want to go. The
1648 * desired state can be anywhere in the undo tree, need to go all over
1649 * it. We put "nomark" in uh_walk where we have been without success,
1650 * "mark" where it could possibly be. */
1651 mark = ++lastmark;
1652 nomark = ++lastmark;
1653
1654 if (curbuf->b_u_curhead == NULL) /* at leaf of the tree */
1655 uhp = curbuf->b_u_newhead;
1656 else
1657 uhp = curbuf->b_u_curhead;
1658
1659 while (uhp != NULL)
1660 {
1661 uhp->uh_walk = mark;
Bram Moolenaardb552d602006-03-23 22:59:57 +00001662 val = (long)(dosec ? (uhp->uh_time - starttime) : uhp->uh_seq);
Bram Moolenaar1e607892006-03-13 22:15:53 +00001663
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001664 if (round == 1)
1665 {
1666 /* Remember the header that is closest to the target.
1667 * It must be at least in the right direction (checked with
Bram Moolenaarca003e12006-03-17 23:19:38 +00001668 * "b_u_seq_cur"). When the timestamp is equal find the
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001669 * highest/lowest sequence number. */
Bram Moolenaarca003e12006-03-17 23:19:38 +00001670 if ((step < 0 ? uhp->uh_seq <= curbuf->b_u_seq_cur
1671 : uhp->uh_seq > curbuf->b_u_seq_cur)
1672 && ((dosec && val == closest)
1673 ? (step < 0
1674 ? uhp->uh_seq < closest_seq
1675 : uhp->uh_seq > closest_seq)
1676 : closest == closest_start
1677 || (val > target
1678 ? (closest > target
1679 ? val - target <= closest - target
1680 : val - target <= target - closest)
1681 : (closest > target
1682 ? target - val <= closest - target
1683 : target - val <= target - closest))))
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001684 {
1685 closest = val;
1686 closest_seq = uhp->uh_seq;
1687 }
1688 }
1689
1690 /* Quit searching when we found a match. But when searching for a
1691 * time we need to continue looking for the best uh_seq. */
1692 if (target == val && !dosec)
1693 break;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001694
1695 /* go down in the tree if we haven't been there */
1696 if (uhp->uh_prev != NULL && uhp->uh_prev->uh_walk != nomark
1697 && uhp->uh_prev->uh_walk != mark)
1698 uhp = uhp->uh_prev;
1699
1700 /* go to alternate branch if we haven't been there */
1701 else if (uhp->uh_alt_next != NULL
1702 && uhp->uh_alt_next->uh_walk != nomark
1703 && uhp->uh_alt_next->uh_walk != mark)
1704 uhp = uhp->uh_alt_next;
1705
1706 /* go up in the tree if we haven't been there and we are at the
1707 * start of alternate branches */
1708 else if (uhp->uh_next != NULL && uhp->uh_alt_prev == NULL
1709 && uhp->uh_next->uh_walk != nomark
1710 && uhp->uh_next->uh_walk != mark)
Bram Moolenaardb552d602006-03-23 22:59:57 +00001711 {
1712 /* If still at the start we don't go through this change. */
1713 if (uhp == curbuf->b_u_curhead)
1714 uhp->uh_walk = nomark;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001715 uhp = uhp->uh_next;
Bram Moolenaardb552d602006-03-23 22:59:57 +00001716 }
Bram Moolenaar1e607892006-03-13 22:15:53 +00001717
1718 else
1719 {
1720 /* need to backtrack; mark this node as useless */
1721 uhp->uh_walk = nomark;
1722 if (uhp->uh_alt_prev != NULL)
1723 uhp = uhp->uh_alt_prev;
1724 else
1725 uhp = uhp->uh_next;
1726 }
1727 }
1728
1729 if (uhp != NULL) /* found it */
1730 break;
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00001731
1732 if (absolute)
1733 {
Bram Moolenaar55debbe2010-05-23 23:34:36 +02001734 EMSGN(_("E830: Undo number %ld not found"), step);
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00001735 return;
1736 }
1737
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001738 if (closest == closest_start)
Bram Moolenaar1e607892006-03-13 22:15:53 +00001739 {
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001740 if (step < 0)
1741 MSG(_("Already at oldest change"));
1742 else
1743 MSG(_("Already at newest change"));
Bram Moolenaar1e607892006-03-13 22:15:53 +00001744 return;
1745 }
1746
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001747 target = closest_seq;
1748 dosec = FALSE;
1749 if (step < 0)
1750 above = TRUE; /* stop above the header */
Bram Moolenaar1e607892006-03-13 22:15:53 +00001751 }
1752
1753 /* If we found it: Follow the path to go to where we want to be. */
1754 if (uhp != NULL)
1755 {
1756 /*
1757 * First go up the tree as much as needed.
1758 */
1759 for (;;)
1760 {
1761 uhp = curbuf->b_u_curhead;
1762 if (uhp == NULL)
1763 uhp = curbuf->b_u_newhead;
1764 else
Bram Moolenaar1e607892006-03-13 22:15:53 +00001765 uhp = uhp->uh_next;
Bram Moolenaarca003e12006-03-17 23:19:38 +00001766 if (uhp == NULL || uhp->uh_walk != mark
1767 || (uhp->uh_seq == target && !above))
Bram Moolenaar1e607892006-03-13 22:15:53 +00001768 break;
1769 curbuf->b_u_curhead = uhp;
Bram Moolenaarca003e12006-03-17 23:19:38 +00001770 u_undoredo(TRUE);
Bram Moolenaar1e607892006-03-13 22:15:53 +00001771 uhp->uh_walk = nomark; /* don't go back down here */
Bram Moolenaar1e607892006-03-13 22:15:53 +00001772 }
1773
1774 /*
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001775 * And now go down the tree (redo), branching off where needed.
Bram Moolenaar1e607892006-03-13 22:15:53 +00001776 */
1777 uhp = curbuf->b_u_curhead;
Bram Moolenaarca003e12006-03-17 23:19:38 +00001778 while (uhp != NULL)
Bram Moolenaar1e607892006-03-13 22:15:53 +00001779 {
Bram Moolenaar89ed3df2007-01-09 19:23:12 +00001780 /* Go back to the first branch with a mark. */
1781 while (uhp->uh_alt_prev != NULL
1782 && uhp->uh_alt_prev->uh_walk == mark)
1783 uhp = uhp->uh_alt_prev;
1784
Bram Moolenaar1e607892006-03-13 22:15:53 +00001785 /* Find the last branch with a mark, that's the one. */
1786 last = uhp;
1787 while (last->uh_alt_next != NULL
1788 && last->uh_alt_next->uh_walk == mark)
1789 last = last->uh_alt_next;
1790 if (last != uhp)
1791 {
1792 /* Make the used branch the first entry in the list of
1793 * alternatives to make "u" and CTRL-R take this branch. */
Bram Moolenaar89ed3df2007-01-09 19:23:12 +00001794 while (uhp->uh_alt_prev != NULL)
1795 uhp = uhp->uh_alt_prev;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001796 if (last->uh_alt_next != NULL)
1797 last->uh_alt_next->uh_alt_prev = last->uh_alt_prev;
1798 last->uh_alt_prev->uh_alt_next = last->uh_alt_next;
1799 last->uh_alt_prev = NULL;
1800 last->uh_alt_next = uhp;
1801 uhp->uh_alt_prev = last;
1802
1803 uhp = last;
Bram Moolenaarca003e12006-03-17 23:19:38 +00001804 if (uhp->uh_next != NULL)
1805 uhp->uh_next->uh_prev = uhp;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001806 }
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001807 curbuf->b_u_curhead = uhp;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001808
1809 if (uhp->uh_walk != mark)
1810 break; /* must have reached the target */
1811
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001812 /* Stop when going backwards in time and didn't find the exact
1813 * header we were looking for. */
1814 if (uhp->uh_seq == target && above)
Bram Moolenaardb552d602006-03-23 22:59:57 +00001815 {
1816 curbuf->b_u_seq_cur = target - 1;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001817 break;
Bram Moolenaardb552d602006-03-23 22:59:57 +00001818 }
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001819
Bram Moolenaarca003e12006-03-17 23:19:38 +00001820 u_undoredo(FALSE);
Bram Moolenaar1e607892006-03-13 22:15:53 +00001821
1822 /* Advance "curhead" to below the header we last used. If it
1823 * becomes NULL then we need to set "newhead" to this leaf. */
1824 if (uhp->uh_prev == NULL)
1825 curbuf->b_u_newhead = uhp;
1826 curbuf->b_u_curhead = uhp->uh_prev;
Bram Moolenaar433f7c82006-03-21 21:29:36 +00001827 did_undo = FALSE;
Bram Moolenaar1e607892006-03-13 22:15:53 +00001828
1829 if (uhp->uh_seq == target) /* found it! */
1830 break;
1831
1832 uhp = uhp->uh_prev;
1833 if (uhp == NULL || uhp->uh_walk != mark)
1834 {
Bram Moolenaarca003e12006-03-17 23:19:38 +00001835 /* Need to redo more but can't find it... */
Bram Moolenaar1e607892006-03-13 22:15:53 +00001836 EMSG2(_(e_intern2), "undo_time()");
1837 break;
1838 }
1839 }
1840 }
Bram Moolenaardb552d602006-03-23 22:59:57 +00001841 u_undo_end(did_undo, absolute);
Bram Moolenaar071d4272004-06-13 20:20:40 +00001842}
1843
1844/*
1845 * u_undoredo: common code for undo and redo
1846 *
1847 * The lines in the file are replaced by the lines in the entry list at
1848 * curbuf->b_u_curhead. The replaced lines in the file are saved in the entry
1849 * list for the next undo/redo.
Bram Moolenaarca003e12006-03-17 23:19:38 +00001850 *
1851 * When "undo" is TRUE we go up in the tree, when FALSE we go down.
Bram Moolenaar071d4272004-06-13 20:20:40 +00001852 */
1853 static void
Bram Moolenaarca003e12006-03-17 23:19:38 +00001854u_undoredo(undo)
1855 int undo;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001856{
1857 char_u **newarray = NULL;
1858 linenr_T oldsize;
1859 linenr_T newsize;
1860 linenr_T top, bot;
1861 linenr_T lnum;
1862 linenr_T newlnum = MAXLNUM;
1863 long i;
1864 u_entry_T *uep, *nuep;
1865 u_entry_T *newlist = NULL;
1866 int old_flags;
1867 int new_flags;
1868 pos_T namedm[NMARKS];
Bram Moolenaara23ccb82006-02-27 00:08:02 +00001869#ifdef FEAT_VISUAL
1870 visualinfo_T visualinfo;
1871#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +00001872 int empty_buffer; /* buffer became empty */
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001873 u_header_T *curhead = curbuf->b_u_curhead;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001874
Bram Moolenaarfecb6602007-10-01 20:54:15 +00001875#ifdef U_DEBUG
1876 u_check(FALSE);
1877#endif
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001878 old_flags = curhead->uh_flags;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001879 new_flags = (curbuf->b_changed ? UH_CHANGED : 0) +
1880 ((curbuf->b_ml.ml_flags & ML_EMPTY) ? UH_EMPTYBUF : 0);
1881 setpcmark();
1882
1883 /*
1884 * save marks before undo/redo
1885 */
1886 mch_memmove(namedm, curbuf->b_namedm, sizeof(pos_T) * NMARKS);
Bram Moolenaara23ccb82006-02-27 00:08:02 +00001887#ifdef FEAT_VISUAL
1888 visualinfo = curbuf->b_visual;
1889#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +00001890 curbuf->b_op_start.lnum = curbuf->b_ml.ml_line_count;
1891 curbuf->b_op_start.col = 0;
1892 curbuf->b_op_end.lnum = 0;
1893 curbuf->b_op_end.col = 0;
1894
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001895 for (uep = curhead->uh_entry; uep != NULL; uep = nuep)
Bram Moolenaar071d4272004-06-13 20:20:40 +00001896 {
1897 top = uep->ue_top;
1898 bot = uep->ue_bot;
1899 if (bot == 0)
1900 bot = curbuf->b_ml.ml_line_count + 1;
1901 if (top > curbuf->b_ml.ml_line_count || top >= bot
1902 || bot > curbuf->b_ml.ml_line_count + 1)
1903 {
1904 EMSG(_("E438: u_undo: line numbers wrong"));
1905 changed(); /* don't want UNCHANGED now */
1906 return;
1907 }
1908
1909 oldsize = bot - top - 1; /* number of lines before undo */
1910 newsize = uep->ue_size; /* number of lines after undo */
1911
1912 if (top < newlnum)
1913 {
1914 /* If the saved cursor is somewhere in this undo block, move it to
1915 * the remembered position. Makes "gwap" put the cursor back
1916 * where it was. */
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001917 lnum = curhead->uh_cursor.lnum;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001918 if (lnum >= top && lnum <= top + newsize + 1)
1919 {
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00001920 curwin->w_cursor = curhead->uh_cursor;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001921 newlnum = curwin->w_cursor.lnum - 1;
1922 }
1923 else
1924 {
1925 /* Use the first line that actually changed. Avoids that
1926 * undoing auto-formatting puts the cursor in the previous
1927 * line. */
1928 for (i = 0; i < newsize && i < oldsize; ++i)
1929 if (STRCMP(uep->ue_array[i], ml_get(top + 1 + i)) != 0)
1930 break;
1931 if (i == newsize && newlnum == MAXLNUM && uep->ue_next == NULL)
1932 {
1933 newlnum = top;
1934 curwin->w_cursor.lnum = newlnum + 1;
1935 }
1936 else if (i < newsize)
1937 {
1938 newlnum = top + i;
1939 curwin->w_cursor.lnum = newlnum + 1;
1940 }
1941 }
1942 }
1943
1944 empty_buffer = FALSE;
1945
1946 /* delete the lines between top and bot and save them in newarray */
Bram Moolenaar26a60b42005-02-22 08:49:11 +00001947 if (oldsize > 0)
Bram Moolenaar071d4272004-06-13 20:20:40 +00001948 {
Bram Moolenaar26a60b42005-02-22 08:49:11 +00001949 if ((newarray = (char_u **)U_ALLOC_LINE(
Bram Moolenaar071d4272004-06-13 20:20:40 +00001950 (unsigned)(sizeof(char_u *) * oldsize))) == NULL)
1951 {
1952 do_outofmem_msg((long_u)(sizeof(char_u *) * oldsize));
1953 /*
1954 * We have messed up the entry list, repair is impossible.
1955 * we have to free the rest of the list.
1956 */
1957 while (uep != NULL)
1958 {
1959 nuep = uep->ue_next;
1960 u_freeentry(uep, uep->ue_size);
1961 uep = nuep;
1962 }
1963 break;
1964 }
1965 /* delete backwards, it goes faster in most cases */
1966 for (lnum = bot - 1, i = oldsize; --i >= 0; --lnum)
1967 {
1968 /* what can we do when we run out of memory? */
1969 if ((newarray[i] = u_save_line(lnum)) == NULL)
1970 do_outofmem_msg((long_u)0);
1971 /* remember we deleted the last line in the buffer, and a
1972 * dummy empty line will be inserted */
1973 if (curbuf->b_ml.ml_line_count == 1)
1974 empty_buffer = TRUE;
1975 ml_delete(lnum, FALSE);
1976 }
1977 }
Bram Moolenaar8d343302005-07-12 22:46:17 +00001978 else
1979 newarray = NULL;
Bram Moolenaar071d4272004-06-13 20:20:40 +00001980
1981 /* insert the lines in u_array between top and bot */
1982 if (newsize)
1983 {
1984 for (lnum = top, i = 0; i < newsize; ++i, ++lnum)
1985 {
1986 /*
1987 * If the file is empty, there is an empty line 1 that we
1988 * should get rid of, by replacing it with the new line
1989 */
1990 if (empty_buffer && lnum == 0)
1991 ml_replace((linenr_T)1, uep->ue_array[i], TRUE);
1992 else
1993 ml_append(lnum, uep->ue_array[i], (colnr_T)0, FALSE);
Bram Moolenaar26a60b42005-02-22 08:49:11 +00001994 U_FREE_LINE(uep->ue_array[i]);
Bram Moolenaar071d4272004-06-13 20:20:40 +00001995 }
Bram Moolenaar26a60b42005-02-22 08:49:11 +00001996 U_FREE_LINE((char_u *)uep->ue_array);
Bram Moolenaar071d4272004-06-13 20:20:40 +00001997 }
1998
1999 /* adjust marks */
2000 if (oldsize != newsize)
2001 {
2002 mark_adjust(top + 1, top + oldsize, (long)MAXLNUM,
2003 (long)newsize - (long)oldsize);
2004 if (curbuf->b_op_start.lnum > top + oldsize)
2005 curbuf->b_op_start.lnum += newsize - oldsize;
2006 if (curbuf->b_op_end.lnum > top + oldsize)
2007 curbuf->b_op_end.lnum += newsize - oldsize;
2008 }
2009
2010 changed_lines(top + 1, 0, bot, newsize - oldsize);
2011
2012 /* set '[ and '] mark */
2013 if (top + 1 < curbuf->b_op_start.lnum)
2014 curbuf->b_op_start.lnum = top + 1;
2015 if (newsize == 0 && top + 1 > curbuf->b_op_end.lnum)
2016 curbuf->b_op_end.lnum = top + 1;
2017 else if (top + newsize > curbuf->b_op_end.lnum)
2018 curbuf->b_op_end.lnum = top + newsize;
2019
2020 u_newcount += newsize;
2021 u_oldcount += oldsize;
2022 uep->ue_size = oldsize;
2023 uep->ue_array = newarray;
2024 uep->ue_bot = top + newsize + 1;
2025
2026 /*
2027 * insert this entry in front of the new entry list
2028 */
2029 nuep = uep->ue_next;
2030 uep->ue_next = newlist;
2031 newlist = uep;
2032 }
2033
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002034 curhead->uh_entry = newlist;
2035 curhead->uh_flags = new_flags;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002036 if ((old_flags & UH_EMPTYBUF) && bufempty())
2037 curbuf->b_ml.ml_flags |= ML_EMPTY;
2038 if (old_flags & UH_CHANGED)
2039 changed();
2040 else
Bram Moolenaar009b2592004-10-24 19:18:58 +00002041#ifdef FEAT_NETBEANS_INTG
2042 /* per netbeans undo rules, keep it as modified */
2043 if (!isNetbeansModified(curbuf))
2044#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +00002045 unchanged(curbuf, FALSE);
2046
2047 /*
2048 * restore marks from before undo/redo
2049 */
2050 for (i = 0; i < NMARKS; ++i)
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002051 if (curhead->uh_namedm[i].lnum != 0)
Bram Moolenaar071d4272004-06-13 20:20:40 +00002052 {
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002053 curbuf->b_namedm[i] = curhead->uh_namedm[i];
2054 curhead->uh_namedm[i] = namedm[i];
Bram Moolenaar071d4272004-06-13 20:20:40 +00002055 }
Bram Moolenaara23ccb82006-02-27 00:08:02 +00002056#ifdef FEAT_VISUAL
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002057 if (curhead->uh_visual.vi_start.lnum != 0)
Bram Moolenaara23ccb82006-02-27 00:08:02 +00002058 {
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002059 curbuf->b_visual = curhead->uh_visual;
2060 curhead->uh_visual = visualinfo;
Bram Moolenaara23ccb82006-02-27 00:08:02 +00002061 }
2062#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +00002063
2064 /*
2065 * If the cursor is only off by one line, put it at the same position as
2066 * before starting the change (for the "o" command).
2067 * Otherwise the cursor should go to the first undone line.
2068 */
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002069 if (curhead->uh_cursor.lnum + 1 == curwin->w_cursor.lnum
Bram Moolenaar071d4272004-06-13 20:20:40 +00002070 && curwin->w_cursor.lnum > 1)
2071 --curwin->w_cursor.lnum;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002072 if (curhead->uh_cursor.lnum == curwin->w_cursor.lnum)
Bram Moolenaar071d4272004-06-13 20:20:40 +00002073 {
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002074 curwin->w_cursor.col = curhead->uh_cursor.col;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002075#ifdef FEAT_VIRTUALEDIT
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002076 if (virtual_active() && curhead->uh_cursor_vcol >= 0)
2077 coladvance((colnr_T)curhead->uh_cursor_vcol);
Bram Moolenaar071d4272004-06-13 20:20:40 +00002078 else
2079 curwin->w_cursor.coladd = 0;
2080#endif
2081 }
2082 else if (curwin->w_cursor.lnum <= curbuf->b_ml.ml_line_count)
2083 beginline(BL_SOL | BL_FIX);
2084 else
2085 {
2086 /* We get here with the current cursor line being past the end (eg
2087 * after adding lines at the end of the file, and then undoing it).
2088 * check_cursor() will move the cursor to the last line. Move it to
2089 * the first column here. */
2090 curwin->w_cursor.col = 0;
2091#ifdef FEAT_VIRTUALEDIT
2092 curwin->w_cursor.coladd = 0;
2093#endif
2094 }
2095
2096 /* Make sure the cursor is on an existing line and column. */
2097 check_cursor();
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002098
2099 /* Remember where we are for "g-" and ":earlier 10s". */
2100 curbuf->b_u_seq_cur = curhead->uh_seq;
Bram Moolenaarca003e12006-03-17 23:19:38 +00002101 if (undo)
2102 /* We are below the previous undo. However, to make ":earlier 1s"
2103 * work we compute this as being just above the just undone change. */
2104 --curbuf->b_u_seq_cur;
2105
2106 /* The timestamp can be the same for multiple changes, just use the one of
2107 * the undone/redone change. */
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002108 curbuf->b_u_seq_time = curhead->uh_time;
Bram Moolenaarfecb6602007-10-01 20:54:15 +00002109#ifdef U_DEBUG
2110 u_check(FALSE);
2111#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +00002112}
2113
2114/*
2115 * If we deleted or added lines, report the number of less/more lines.
2116 * Otherwise, report the number of changes (this may be incorrect
2117 * in some cases, but it's better than nothing).
2118 */
2119 static void
Bram Moolenaardb552d602006-03-23 22:59:57 +00002120u_undo_end(did_undo, absolute)
Bram Moolenaar433f7c82006-03-21 21:29:36 +00002121 int did_undo; /* just did an undo */
Bram Moolenaardb552d602006-03-23 22:59:57 +00002122 int absolute; /* used ":undo N" */
Bram Moolenaar071d4272004-06-13 20:20:40 +00002123{
Bram Moolenaar89d40322006-08-29 15:30:07 +00002124 char *msgstr;
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002125 u_header_T *uhp;
2126 char_u msgbuf[80];
Bram Moolenaar1e607892006-03-13 22:15:53 +00002127
Bram Moolenaar071d4272004-06-13 20:20:40 +00002128#ifdef FEAT_FOLDING
2129 if ((fdo_flags & FDO_UNDO) && KeyTyped)
2130 foldOpenCursor();
2131#endif
Bram Moolenaar1e607892006-03-13 22:15:53 +00002132
2133 if (global_busy /* no messages now, wait until global is finished */
2134 || !messaging()) /* 'lazyredraw' set, don't do messages now */
2135 return;
2136
2137 if (curbuf->b_ml.ml_flags & ML_EMPTY)
2138 --u_newcount;
2139
2140 u_oldcount -= u_newcount;
2141 if (u_oldcount == -1)
Bram Moolenaar89d40322006-08-29 15:30:07 +00002142 msgstr = N_("more line");
Bram Moolenaar1e607892006-03-13 22:15:53 +00002143 else if (u_oldcount < 0)
Bram Moolenaar89d40322006-08-29 15:30:07 +00002144 msgstr = N_("more lines");
Bram Moolenaar1e607892006-03-13 22:15:53 +00002145 else if (u_oldcount == 1)
Bram Moolenaar89d40322006-08-29 15:30:07 +00002146 msgstr = N_("line less");
Bram Moolenaar1e607892006-03-13 22:15:53 +00002147 else if (u_oldcount > 1)
Bram Moolenaar89d40322006-08-29 15:30:07 +00002148 msgstr = N_("fewer lines");
Bram Moolenaar1e607892006-03-13 22:15:53 +00002149 else
2150 {
2151 u_oldcount = u_newcount;
2152 if (u_newcount == 1)
Bram Moolenaar89d40322006-08-29 15:30:07 +00002153 msgstr = N_("change");
Bram Moolenaar1e607892006-03-13 22:15:53 +00002154 else
Bram Moolenaar89d40322006-08-29 15:30:07 +00002155 msgstr = N_("changes");
Bram Moolenaar1e607892006-03-13 22:15:53 +00002156 }
2157
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002158 if (curbuf->b_u_curhead != NULL)
Bram Moolenaar433f7c82006-03-21 21:29:36 +00002159 {
Bram Moolenaardb552d602006-03-23 22:59:57 +00002160 /* For ":undo N" we prefer a "after #N" message. */
2161 if (absolute && curbuf->b_u_curhead->uh_next != NULL)
2162 {
2163 uhp = curbuf->b_u_curhead->uh_next;
2164 did_undo = FALSE;
2165 }
2166 else if (did_undo)
Bram Moolenaar433f7c82006-03-21 21:29:36 +00002167 uhp = curbuf->b_u_curhead;
2168 else
2169 uhp = curbuf->b_u_curhead->uh_next;
2170 }
Bram Moolenaar1e607892006-03-13 22:15:53 +00002171 else
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002172 uhp = curbuf->b_u_newhead;
Bram Moolenaar1e607892006-03-13 22:15:53 +00002173
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002174 if (uhp == NULL)
2175 *msgbuf = NUL;
2176 else
2177 u_add_time(msgbuf, sizeof(msgbuf), uhp->uh_time);
2178
Bram Moolenaar433f7c82006-03-21 21:29:36 +00002179 smsg((char_u *)_("%ld %s; %s #%ld %s"),
Bram Moolenaarca003e12006-03-17 23:19:38 +00002180 u_oldcount < 0 ? -u_oldcount : u_oldcount,
Bram Moolenaar89d40322006-08-29 15:30:07 +00002181 _(msgstr),
Bram Moolenaar433f7c82006-03-21 21:29:36 +00002182 did_undo ? _("before") : _("after"),
2183 uhp == NULL ? 0L : uhp->uh_seq,
2184 msgbuf);
Bram Moolenaar071d4272004-06-13 20:20:40 +00002185}
2186
2187/*
2188 * u_sync: stop adding to the current entry list
2189 */
2190 void
Bram Moolenaar779b74b2006-04-10 14:55:34 +00002191u_sync(force)
2192 int force; /* Also sync when no_u_sync is set. */
Bram Moolenaar071d4272004-06-13 20:20:40 +00002193{
Bram Moolenaar779b74b2006-04-10 14:55:34 +00002194 /* Skip it when already synced or syncing is disabled. */
2195 if (curbuf->b_u_synced || (!force && no_u_sync > 0))
2196 return;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002197#if defined(FEAT_XIM) && defined(FEAT_GUI_GTK)
2198 if (im_is_preediting())
2199 return; /* XIM is busy, don't break an undo sequence */
2200#endif
2201 if (p_ul < 0)
2202 curbuf->b_u_synced = TRUE; /* no entries, nothing to do */
2203 else
2204 {
2205 u_getbot(); /* compute ue_bot of previous u_save */
2206 curbuf->b_u_curhead = NULL;
2207 }
2208}
2209
2210/*
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002211 * ":undolist": List the leafs of the undo tree
2212 */
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002213 void
2214ex_undolist(eap)
Bram Moolenaarfff2bee2010-05-15 13:56:02 +02002215 exarg_T *eap UNUSED;
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002216{
2217 garray_T ga;
2218 u_header_T *uhp;
2219 int mark;
2220 int nomark;
2221 int changes = 1;
2222 int i;
2223
2224 /*
2225 * 1: walk the tree to find all leafs, put the info in "ga".
2226 * 2: sort the lines
2227 * 3: display the list
2228 */
2229 mark = ++lastmark;
2230 nomark = ++lastmark;
2231 ga_init2(&ga, (int)sizeof(char *), 20);
2232
2233 uhp = curbuf->b_u_oldhead;
2234 while (uhp != NULL)
2235 {
Bram Moolenaarca003e12006-03-17 23:19:38 +00002236 if (uhp->uh_prev == NULL && uhp->uh_walk != nomark
2237 && uhp->uh_walk != mark)
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002238 {
2239 if (ga_grow(&ga, 1) == FAIL)
2240 break;
2241 vim_snprintf((char *)IObuff, IOSIZE, "%6ld %7ld ",
2242 uhp->uh_seq, changes);
2243 u_add_time(IObuff + STRLEN(IObuff), IOSIZE - STRLEN(IObuff),
2244 uhp->uh_time);
2245 ((char_u **)(ga.ga_data))[ga.ga_len++] = vim_strsave(IObuff);
2246 }
2247
2248 uhp->uh_walk = mark;
2249
2250 /* go down in the tree if we haven't been there */
2251 if (uhp->uh_prev != NULL && uhp->uh_prev->uh_walk != nomark
2252 && uhp->uh_prev->uh_walk != mark)
2253 {
2254 uhp = uhp->uh_prev;
2255 ++changes;
2256 }
2257
2258 /* go to alternate branch if we haven't been there */
2259 else if (uhp->uh_alt_next != NULL
2260 && uhp->uh_alt_next->uh_walk != nomark
2261 && uhp->uh_alt_next->uh_walk != mark)
2262 uhp = uhp->uh_alt_next;
2263
2264 /* go up in the tree if we haven't been there and we are at the
2265 * start of alternate branches */
2266 else if (uhp->uh_next != NULL && uhp->uh_alt_prev == NULL
2267 && uhp->uh_next->uh_walk != nomark
2268 && uhp->uh_next->uh_walk != mark)
2269 {
2270 uhp = uhp->uh_next;
2271 --changes;
2272 }
2273
2274 else
2275 {
2276 /* need to backtrack; mark this node as done */
2277 uhp->uh_walk = nomark;
2278 if (uhp->uh_alt_prev != NULL)
2279 uhp = uhp->uh_alt_prev;
2280 else
2281 {
2282 uhp = uhp->uh_next;
2283 --changes;
2284 }
2285 }
2286 }
2287
2288 if (ga.ga_len == 0)
2289 MSG(_("Nothing to undo"));
2290 else
2291 {
2292 sort_strings((char_u **)ga.ga_data, ga.ga_len);
2293
2294 msg_start();
2295 msg_puts_attr((char_u *)_("number changes time"), hl_attr(HLF_T));
2296 for (i = 0; i < ga.ga_len && !got_int; ++i)
2297 {
2298 msg_putchar('\n');
2299 if (got_int)
2300 break;
2301 msg_puts(((char_u **)ga.ga_data)[i]);
2302 }
2303 msg_end();
2304
2305 ga_clear_strings(&ga);
2306 }
2307}
2308
2309/*
2310 * Put the timestamp of an undo header in "buf[buflen]" in a nice format.
2311 */
2312 static void
2313u_add_time(buf, buflen, tt)
2314 char_u *buf;
2315 size_t buflen;
2316 time_t tt;
2317{
2318#ifdef HAVE_STRFTIME
2319 struct tm *curtime;
2320
2321 if (time(NULL) - tt >= 100)
2322 {
2323 curtime = localtime(&tt);
Bram Moolenaar3991dab2006-03-27 17:01:56 +00002324 (void)strftime((char *)buf, buflen, "%H:%M:%S", curtime);
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002325 }
2326 else
2327#endif
Bram Moolenaara93fa7e2006-04-17 22:14:47 +00002328 vim_snprintf((char *)buf, buflen, _("%ld seconds ago"),
Bram Moolenaarefd2bf12006-03-16 21:41:35 +00002329 (long)(time(NULL) - tt));
2330}
2331
2332/*
Bram Moolenaare224ffa2006-03-01 00:01:28 +00002333 * ":undojoin": continue adding to the last entry list
2334 */
Bram Moolenaare224ffa2006-03-01 00:01:28 +00002335 void
2336ex_undojoin(eap)
Bram Moolenaarfff2bee2010-05-15 13:56:02 +02002337 exarg_T *eap UNUSED;
Bram Moolenaare224ffa2006-03-01 00:01:28 +00002338{
Bram Moolenaare224ffa2006-03-01 00:01:28 +00002339 if (curbuf->b_u_newhead == NULL)
2340 return; /* nothing changed before */
Bram Moolenaar57657d82006-04-21 22:12:41 +00002341 if (curbuf->b_u_curhead != NULL)
2342 {
2343 EMSG(_("E790: undojoin is not allowed after undo"));
2344 return;
2345 }
2346 if (!curbuf->b_u_synced)
2347 return; /* already unsynced */
Bram Moolenaare224ffa2006-03-01 00:01:28 +00002348 if (p_ul < 0)
2349 return; /* no entries, nothing to do */
2350 else
2351 {
2352 /* Go back to the last entry */
2353 curbuf->b_u_curhead = curbuf->b_u_newhead;
2354 curbuf->b_u_synced = FALSE; /* no entries, nothing to do */
2355 }
2356}
2357
2358/*
Bram Moolenaar071d4272004-06-13 20:20:40 +00002359 * Called after writing the file and setting b_changed to FALSE.
2360 * Now an undo means that the buffer is modified.
2361 */
2362 void
2363u_unchanged(buf)
2364 buf_T *buf;
2365{
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002366 u_unch_branch(buf->b_u_oldhead);
2367 buf->b_did_warn = FALSE;
2368}
2369
2370 static void
2371u_unch_branch(uhp)
2372 u_header_T *uhp;
2373{
Bram Moolenaar1e607892006-03-13 22:15:53 +00002374 u_header_T *uh;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002375
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002376 for (uh = uhp; uh != NULL; uh = uh->uh_prev)
2377 {
Bram Moolenaar071d4272004-06-13 20:20:40 +00002378 uh->uh_flags |= UH_CHANGED;
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002379 if (uh->uh_alt_next != NULL)
2380 u_unch_branch(uh->uh_alt_next); /* recursive */
2381 }
Bram Moolenaar071d4272004-06-13 20:20:40 +00002382}
2383
2384/*
2385 * Get pointer to last added entry.
2386 * If it's not valid, give an error message and return NULL.
2387 */
2388 static u_entry_T *
2389u_get_headentry()
2390{
2391 if (curbuf->b_u_newhead == NULL || curbuf->b_u_newhead->uh_entry == NULL)
2392 {
2393 EMSG(_("E439: undo list corrupt"));
2394 return NULL;
2395 }
2396 return curbuf->b_u_newhead->uh_entry;
2397}
2398
2399/*
2400 * u_getbot(): compute the line number of the previous u_save
2401 * It is called only when b_u_synced is FALSE.
2402 */
2403 static void
2404u_getbot()
2405{
2406 u_entry_T *uep;
2407 linenr_T extra;
2408
2409 uep = u_get_headentry(); /* check for corrupt undo list */
2410 if (uep == NULL)
2411 return;
2412
2413 uep = curbuf->b_u_newhead->uh_getbot_entry;
2414 if (uep != NULL)
2415 {
2416 /*
2417 * the new ue_bot is computed from the number of lines that has been
2418 * inserted (0 - deleted) since calling u_save. This is equal to the
2419 * old line count subtracted from the current line count.
2420 */
2421 extra = curbuf->b_ml.ml_line_count - uep->ue_lcount;
2422 uep->ue_bot = uep->ue_top + uep->ue_size + 1 + extra;
2423 if (uep->ue_bot < 1 || uep->ue_bot > curbuf->b_ml.ml_line_count)
2424 {
2425 EMSG(_("E440: undo line missing"));
2426 uep->ue_bot = uep->ue_top + 1; /* assume all lines deleted, will
2427 * get all the old lines back
2428 * without deleting the current
2429 * ones */
2430 }
2431
2432 curbuf->b_u_newhead->uh_getbot_entry = NULL;
2433 }
2434
2435 curbuf->b_u_synced = TRUE;
2436}
2437
2438/*
Bram Moolenaarfecb6602007-10-01 20:54:15 +00002439 * Free one header "uhp" and its entry list and adjust the pointers.
Bram Moolenaar071d4272004-06-13 20:20:40 +00002440 */
2441 static void
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002442u_freeheader(buf, uhp, uhpp)
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002443 buf_T *buf;
Bram Moolenaar1e607892006-03-13 22:15:53 +00002444 u_header_T *uhp;
2445 u_header_T **uhpp; /* if not NULL reset when freeing this header */
Bram Moolenaar071d4272004-06-13 20:20:40 +00002446{
Bram Moolenaarfecb6602007-10-01 20:54:15 +00002447 u_header_T *uhap;
2448
Bram Moolenaar1e607892006-03-13 22:15:53 +00002449 /* When there is an alternate redo list free that branch completely,
2450 * because we can never go there. */
2451 if (uhp->uh_alt_next != NULL)
2452 u_freebranch(buf, uhp->uh_alt_next, uhpp);
Bram Moolenaar071d4272004-06-13 20:20:40 +00002453
Bram Moolenaar1e607892006-03-13 22:15:53 +00002454 if (uhp->uh_alt_prev != NULL)
2455 uhp->uh_alt_prev->uh_alt_next = NULL;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002456
Bram Moolenaar1e607892006-03-13 22:15:53 +00002457 /* Update the links in the list to remove the header. */
Bram Moolenaar071d4272004-06-13 20:20:40 +00002458 if (uhp->uh_next == NULL)
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002459 buf->b_u_oldhead = uhp->uh_prev;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002460 else
2461 uhp->uh_next->uh_prev = uhp->uh_prev;
2462
2463 if (uhp->uh_prev == NULL)
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002464 buf->b_u_newhead = uhp->uh_next;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002465 else
Bram Moolenaarfecb6602007-10-01 20:54:15 +00002466 for (uhap = uhp->uh_prev; uhap != NULL; uhap = uhap->uh_alt_next)
2467 uhap->uh_next = uhp->uh_next;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002468
Bram Moolenaar1e607892006-03-13 22:15:53 +00002469 u_freeentries(buf, uhp, uhpp);
2470}
2471
2472/*
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002473 * Free an alternate branch and any following alternate branches.
Bram Moolenaar1e607892006-03-13 22:15:53 +00002474 */
2475 static void
2476u_freebranch(buf, uhp, uhpp)
2477 buf_T *buf;
2478 u_header_T *uhp;
2479 u_header_T **uhpp; /* if not NULL reset when freeing this header */
2480{
2481 u_header_T *tofree, *next;
2482
Bram Moolenaar07d06772007-11-10 21:51:15 +00002483 /* If this is the top branch we may need to use u_freeheader() to update
2484 * all the pointers. */
2485 if (uhp == buf->b_u_oldhead)
2486 {
2487 u_freeheader(buf, uhp, uhpp);
2488 return;
2489 }
2490
Bram Moolenaar1e607892006-03-13 22:15:53 +00002491 if (uhp->uh_alt_prev != NULL)
2492 uhp->uh_alt_prev->uh_alt_next = NULL;
2493
2494 next = uhp;
2495 while (next != NULL)
2496 {
2497 tofree = next;
2498 if (tofree->uh_alt_next != NULL)
2499 u_freebranch(buf, tofree->uh_alt_next, uhpp); /* recursive */
2500 next = tofree->uh_prev;
2501 u_freeentries(buf, tofree, uhpp);
2502 }
2503}
2504
2505/*
2506 * Free all the undo entries for one header and the header itself.
2507 * This means that "uhp" is invalid when returning.
2508 */
2509 static void
2510u_freeentries(buf, uhp, uhpp)
2511 buf_T *buf;
2512 u_header_T *uhp;
2513 u_header_T **uhpp; /* if not NULL reset when freeing this header */
2514{
2515 u_entry_T *uep, *nuep;
2516
2517 /* Check for pointers to the header that become invalid now. */
2518 if (buf->b_u_curhead == uhp)
2519 buf->b_u_curhead = NULL;
Bram Moolenaarfecb6602007-10-01 20:54:15 +00002520 if (buf->b_u_newhead == uhp)
2521 buf->b_u_newhead = NULL; /* freeing the newest entry */
Bram Moolenaar1e607892006-03-13 22:15:53 +00002522 if (uhpp != NULL && uhp == *uhpp)
2523 *uhpp = NULL;
2524
2525 for (uep = uhp->uh_entry; uep != NULL; uep = nuep)
2526 {
2527 nuep = uep->ue_next;
2528 u_freeentry(uep, uep->ue_size);
2529 }
2530
Bram Moolenaarfecb6602007-10-01 20:54:15 +00002531#ifdef U_DEBUG
2532 uhp->uh_magic = 0;
2533#endif
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002534 U_FREE_LINE((char_u *)uhp);
2535 --buf->b_u_numhead;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002536}
2537
2538/*
2539 * free entry 'uep' and 'n' lines in uep->ue_array[]
2540 */
2541 static void
2542u_freeentry(uep, n)
2543 u_entry_T *uep;
2544 long n;
2545{
Bram Moolenaar8d343302005-07-12 22:46:17 +00002546 while (n > 0)
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002547 U_FREE_LINE(uep->ue_array[--n]);
Bram Moolenaarf461c8e2005-06-25 23:04:51 +00002548 U_FREE_LINE((char_u *)uep->ue_array);
Bram Moolenaarfecb6602007-10-01 20:54:15 +00002549#ifdef U_DEBUG
2550 uep->ue_magic = 0;
2551#endif
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002552 U_FREE_LINE((char_u *)uep);
Bram Moolenaar071d4272004-06-13 20:20:40 +00002553}
2554
2555/*
2556 * invalidate the undo buffer; called when storage has already been released
2557 */
2558 void
2559u_clearall(buf)
2560 buf_T *buf;
2561{
2562 buf->b_u_newhead = buf->b_u_oldhead = buf->b_u_curhead = NULL;
2563 buf->b_u_synced = TRUE;
2564 buf->b_u_numhead = 0;
2565 buf->b_u_line_ptr = NULL;
2566 buf->b_u_line_lnum = 0;
2567}
2568
2569/*
2570 * save the line "lnum" for the "U" command
2571 */
2572 void
2573u_saveline(lnum)
2574 linenr_T lnum;
2575{
2576 if (lnum == curbuf->b_u_line_lnum) /* line is already saved */
2577 return;
Bram Moolenaar1ec484f2005-06-24 23:07:47 +00002578 if (lnum < 1 || lnum > curbuf->b_ml.ml_line_count) /* should never happen */
Bram Moolenaar071d4272004-06-13 20:20:40 +00002579 return;
2580 u_clearline();
2581 curbuf->b_u_line_lnum = lnum;
2582 if (curwin->w_cursor.lnum == lnum)
2583 curbuf->b_u_line_colnr = curwin->w_cursor.col;
2584 else
2585 curbuf->b_u_line_colnr = 0;
2586 if ((curbuf->b_u_line_ptr = u_save_line(lnum)) == NULL)
2587 do_outofmem_msg((long_u)0);
2588}
2589
2590/*
2591 * clear the line saved for the "U" command
2592 * (this is used externally for crossing a line while in insert mode)
2593 */
2594 void
2595u_clearline()
2596{
2597 if (curbuf->b_u_line_ptr != NULL)
2598 {
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002599 U_FREE_LINE(curbuf->b_u_line_ptr);
Bram Moolenaar071d4272004-06-13 20:20:40 +00002600 curbuf->b_u_line_ptr = NULL;
2601 curbuf->b_u_line_lnum = 0;
2602 }
2603}
2604
2605/*
2606 * Implementation of the "U" command.
2607 * Differentiation from vi: "U" can be undone with the next "U".
2608 * We also allow the cursor to be in another line.
2609 */
2610 void
2611u_undoline()
2612{
2613 colnr_T t;
2614 char_u *oldp;
2615
2616 if (undo_off)
2617 return;
2618
Bram Moolenaare3300c82008-02-13 14:21:38 +00002619 if (curbuf->b_u_line_ptr == NULL
2620 || curbuf->b_u_line_lnum > curbuf->b_ml.ml_line_count)
Bram Moolenaar071d4272004-06-13 20:20:40 +00002621 {
2622 beep_flush();
2623 return;
2624 }
Bram Moolenaare3300c82008-02-13 14:21:38 +00002625
2626 /* first save the line for the 'u' command */
Bram Moolenaar071d4272004-06-13 20:20:40 +00002627 if (u_savecommon(curbuf->b_u_line_lnum - 1,
2628 curbuf->b_u_line_lnum + 1, (linenr_T)0) == FAIL)
2629 return;
2630 oldp = u_save_line(curbuf->b_u_line_lnum);
2631 if (oldp == NULL)
2632 {
2633 do_outofmem_msg((long_u)0);
2634 return;
2635 }
2636 ml_replace(curbuf->b_u_line_lnum, curbuf->b_u_line_ptr, TRUE);
2637 changed_bytes(curbuf->b_u_line_lnum, 0);
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002638 U_FREE_LINE(curbuf->b_u_line_ptr);
Bram Moolenaar071d4272004-06-13 20:20:40 +00002639 curbuf->b_u_line_ptr = oldp;
2640
2641 t = curbuf->b_u_line_colnr;
2642 if (curwin->w_cursor.lnum == curbuf->b_u_line_lnum)
2643 curbuf->b_u_line_colnr = curwin->w_cursor.col;
2644 curwin->w_cursor.col = t;
2645 curwin->w_cursor.lnum = curbuf->b_u_line_lnum;
Bram Moolenaare3300c82008-02-13 14:21:38 +00002646 check_cursor_col();
Bram Moolenaar071d4272004-06-13 20:20:40 +00002647}
2648
2649/*
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002650 * There are two implementations of the memory management for undo:
2651 * 1. Use the standard malloc()/free() functions.
2652 * This should be fast for allocating memory, but when a buffer is
2653 * abandoned every single allocated chunk must be freed, which may be slow.
2654 * 2. Allocate larger blocks of memory and keep track of chunks ourselves.
2655 * This is fast for abandoning, but the use of linked lists is slow for
2656 * finding a free chunk. Esp. when a lot of lines are changed or deleted.
2657 * A bit of profiling showed that the first method is faster, especially when
2658 * making a large number of changes, under the condition that malloc()/free()
2659 * is implemented efficiently.
2660 */
2661#ifdef U_USE_MALLOC
2662/*
2663 * Version of undo memory allocation using malloc()/free()
2664 *
2665 * U_FREE_LINE() and U_ALLOC_LINE() are macros that invoke vim_free() and
2666 * lalloc() directly.
2667 */
2668
2669/*
2670 * Free all allocated memory blocks for the buffer 'buf'.
2671 */
2672 void
2673u_blockfree(buf)
2674 buf_T *buf;
2675{
Bram Moolenaar1e607892006-03-13 22:15:53 +00002676 while (buf->b_u_oldhead != NULL)
Bram Moolenaar1f4d4de2006-03-14 23:00:46 +00002677 u_freeheader(buf, buf->b_u_oldhead, NULL);
Bram Moolenaarf461c8e2005-06-25 23:04:51 +00002678 U_FREE_LINE(buf->b_u_line_ptr);
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002679}
2680
2681#else
2682/*
2683 * Storage allocation for the undo lines and blocks of the current file.
2684 * Version where Vim keeps track of the available memory.
Bram Moolenaar071d4272004-06-13 20:20:40 +00002685 */
2686
2687/*
2688 * Memory is allocated in relatively large blocks. These blocks are linked
2689 * in the allocated block list, headed by curbuf->b_block_head. They are all
2690 * freed when abandoning a file, so we don't have to free every single line.
2691 * The list is kept sorted on memory address.
2692 * block_alloc() allocates a block.
2693 * m_blockfree() frees all blocks.
2694 *
2695 * The available chunks of memory are kept in free chunk lists. There is
2696 * one free list for each block of allocated memory. The list is kept sorted
2697 * on memory address.
2698 * u_alloc_line() gets a chunk from the free lists.
2699 * u_free_line() returns a chunk to the free lists.
2700 * curbuf->b_m_search points to the chunk before the chunk that was
2701 * freed/allocated the last time.
2702 * curbuf->b_mb_current points to the b_head where curbuf->b_m_search
2703 * points into the free list.
2704 *
2705 *
2706 * b_block_head /---> block #1 /---> block #2
2707 * mb_next ---/ mb_next ---/ mb_next ---> NULL
2708 * mb_info mb_info mb_info
2709 * | | |
2710 * V V V
2711 * NULL free chunk #1.1 free chunk #2.1
2712 * | |
2713 * V V
2714 * free chunk #1.2 NULL
2715 * |
2716 * V
2717 * NULL
2718 *
2719 * When a single free chunk list would have been used, it could take a lot
2720 * of time in u_free_line() to find the correct place to insert a chunk in the
2721 * free list. The single free list would become very long when many lines are
2722 * changed (e.g. with :%s/^M$//).
2723 */
2724
2725 /*
2726 * this blocksize is used when allocating new lines
2727 */
2728#define MEMBLOCKSIZE 2044
2729
2730/*
2731 * The size field contains the size of the chunk, including the size field
2732 * itself.
2733 *
2734 * When the chunk is not in-use it is preceded with the m_info structure.
2735 * The m_next field links it in one of the free chunk lists.
2736 *
2737 * On most unix systems structures have to be longword (32 or 64 bit) aligned.
2738 * On most other systems they are short (16 bit) aligned.
2739 */
2740
2741/* the structure definitions are now in structs.h */
2742
2743#ifdef ALIGN_LONG
2744 /* size of m_size */
2745# define M_OFFSET (sizeof(long_u))
2746#else
2747 /* size of m_size */
2748# define M_OFFSET (sizeof(short_u))
2749#endif
2750
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002751static char_u *u_blockalloc __ARGS((long_u));
2752
Bram Moolenaar071d4272004-06-13 20:20:40 +00002753/*
2754 * Allocate a block of memory and link it in the allocated block list.
2755 */
2756 static char_u *
2757u_blockalloc(size)
2758 long_u size;
2759{
2760 mblock_T *p;
2761 mblock_T *mp, *next;
2762
2763 p = (mblock_T *)lalloc(size + sizeof(mblock_T), FALSE);
2764 if (p != NULL)
2765 {
2766 /* Insert the block into the allocated block list, keeping it
2767 sorted on address. */
2768 for (mp = &curbuf->b_block_head;
2769 (next = mp->mb_next) != NULL && next < p;
2770 mp = next)
2771 ;
2772 p->mb_next = next; /* link in block list */
2773 p->mb_size = size;
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002774 p->mb_maxsize = 0; /* nothing free yet */
Bram Moolenaar071d4272004-06-13 20:20:40 +00002775 mp->mb_next = p;
2776 p->mb_info.m_next = NULL; /* clear free list */
2777 p->mb_info.m_size = 0;
2778 curbuf->b_mb_current = p; /* remember current block */
2779 curbuf->b_m_search = NULL;
2780 p++; /* return usable memory */
2781 }
2782 return (char_u *)p;
2783}
2784
2785/*
2786 * free all allocated memory blocks for the buffer 'buf'
2787 */
2788 void
2789u_blockfree(buf)
2790 buf_T *buf;
2791{
2792 mblock_T *p, *np;
2793
2794 for (p = buf->b_block_head.mb_next; p != NULL; p = np)
2795 {
2796 np = p->mb_next;
2797 vim_free(p);
2798 }
2799 buf->b_block_head.mb_next = NULL;
2800 buf->b_m_search = NULL;
2801 buf->b_mb_current = NULL;
2802}
2803
2804/*
2805 * Free a chunk of memory for the current buffer.
2806 * Insert the chunk into the correct free list, keeping it sorted on address.
2807 */
2808 static void
2809u_free_line(ptr, keep)
2810 char_u *ptr;
2811 int keep; /* don't free the block when it's empty */
2812{
2813 minfo_T *next;
2814 minfo_T *prev, *curr;
2815 minfo_T *mp;
2816 mblock_T *nextb;
2817 mblock_T *prevb;
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002818 long_u maxsize;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002819
2820 if (ptr == NULL || ptr == IObuff)
2821 return; /* illegal address can happen in out-of-memory situations */
2822
2823 mp = (minfo_T *)(ptr - M_OFFSET);
2824
2825 /* find block where chunk could be a part off */
2826 /* if we change curbuf->b_mb_current, curbuf->b_m_search is set to NULL */
2827 if (curbuf->b_mb_current == NULL || mp < (minfo_T *)curbuf->b_mb_current)
2828 {
2829 curbuf->b_mb_current = curbuf->b_block_head.mb_next;
2830 curbuf->b_m_search = NULL;
2831 }
2832 if ((nextb = curbuf->b_mb_current->mb_next) != NULL
2833 && (minfo_T *)nextb < mp)
2834 {
2835 curbuf->b_mb_current = nextb;
2836 curbuf->b_m_search = NULL;
2837 }
2838 while ((nextb = curbuf->b_mb_current->mb_next) != NULL
2839 && (minfo_T *)nextb < mp)
2840 curbuf->b_mb_current = nextb;
2841
2842 curr = NULL;
2843 /*
2844 * If mp is smaller than curbuf->b_m_search->m_next go to the start of
2845 * the free list
2846 */
2847 if (curbuf->b_m_search == NULL || mp < (curbuf->b_m_search->m_next))
2848 next = &(curbuf->b_mb_current->mb_info);
2849 else
2850 next = curbuf->b_m_search;
2851 /*
2852 * The following loop is executed very often.
2853 * Therefore it has been optimized at the cost of readability.
2854 * Keep it fast!
2855 */
2856#ifdef SLOW_BUT_EASY_TO_READ
2857 do
2858 {
2859 prev = curr;
2860 curr = next;
2861 next = next->m_next;
2862 }
2863 while (mp > next && next != NULL);
2864#else
2865 do /* first, middle, last */
2866 {
2867 prev = next->m_next; /* curr, next, prev */
2868 if (prev == NULL || mp <= prev)
2869 {
2870 prev = curr;
2871 curr = next;
2872 next = next->m_next;
2873 break;
2874 }
2875 curr = prev->m_next; /* next, prev, curr */
2876 if (curr == NULL || mp <= curr)
2877 {
2878 prev = next;
2879 curr = prev->m_next;
2880 next = curr->m_next;
2881 break;
2882 }
2883 next = curr->m_next; /* prev, curr, next */
2884 }
2885 while (mp > next && next != NULL);
2886#endif
2887
2888 /* if *mp and *next are concatenated, join them into one chunk */
2889 if ((char_u *)mp + mp->m_size == (char_u *)next)
2890 {
2891 mp->m_size += next->m_size;
2892 mp->m_next = next->m_next;
2893 }
2894 else
2895 mp->m_next = next;
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002896 maxsize = mp->m_size;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002897
2898 /* if *curr and *mp are concatenated, join them */
2899 if (prev != NULL && (char_u *)curr + curr->m_size == (char_u *)mp)
2900 {
2901 curr->m_size += mp->m_size;
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002902 maxsize = curr->m_size;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002903 curr->m_next = mp->m_next;
2904 curbuf->b_m_search = prev;
2905 }
2906 else
2907 {
2908 curr->m_next = mp;
2909 curbuf->b_m_search = curr; /* put curbuf->b_m_search before freed
2910 chunk */
2911 }
2912
2913 /*
Bram Moolenaar035db9f2007-05-10 18:02:27 +00002914 * If the block only contains free memory now, release it.
Bram Moolenaar071d4272004-06-13 20:20:40 +00002915 */
2916 if (!keep && curbuf->b_mb_current->mb_size
2917 == curbuf->b_mb_current->mb_info.m_next->m_size)
2918 {
2919 /* Find the block before the current one to be able to unlink it from
2920 * the list of blocks. */
2921 prevb = &curbuf->b_block_head;
2922 for (nextb = prevb->mb_next; nextb != curbuf->b_mb_current;
2923 nextb = nextb->mb_next)
2924 prevb = nextb;
2925 prevb->mb_next = nextb->mb_next;
2926 vim_free(nextb);
2927 curbuf->b_mb_current = NULL;
2928 curbuf->b_m_search = NULL;
2929 }
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002930 else if (curbuf->b_mb_current->mb_maxsize < maxsize)
2931 curbuf->b_mb_current->mb_maxsize = maxsize;
Bram Moolenaar071d4272004-06-13 20:20:40 +00002932}
2933
2934/*
2935 * Allocate and initialize a new line structure with room for at least
2936 * 'size' characters plus a terminating NUL.
2937 */
2938 static char_u *
2939u_alloc_line(size)
2940 unsigned size;
2941{
2942 minfo_T *mp, *mprev, *mp2;
2943 mblock_T *mbp;
2944 int size_align;
2945
2946 /*
2947 * Add room for size field and trailing NUL byte.
2948 * Adjust for minimal size (must be able to store minfo_T
2949 * plus a trailing NUL, so the chunk can be released again)
2950 */
2951 size += M_OFFSET + 1;
2952 if (size < sizeof(minfo_T) + 1)
2953 size = sizeof(minfo_T) + 1;
2954
2955 /*
2956 * round size up for alignment
2957 */
2958 size_align = (size + ALIGN_MASK) & ~ALIGN_MASK;
2959
2960 /*
2961 * If curbuf->b_m_search is NULL (uninitialized free list) start at
2962 * curbuf->b_block_head
2963 */
2964 if (curbuf->b_mb_current == NULL || curbuf->b_m_search == NULL)
2965 {
2966 curbuf->b_mb_current = &curbuf->b_block_head;
2967 curbuf->b_m_search = &(curbuf->b_block_head.mb_info);
2968 }
2969
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002970 /* Search for a block with enough space. */
Bram Moolenaar071d4272004-06-13 20:20:40 +00002971 mbp = curbuf->b_mb_current;
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002972 while (mbp->mb_maxsize < size_align)
Bram Moolenaar071d4272004-06-13 20:20:40 +00002973 {
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002974 if (mbp->mb_next != NULL)
Bram Moolenaar071d4272004-06-13 20:20:40 +00002975 mbp = mbp->mb_next;
2976 else
2977 mbp = &curbuf->b_block_head;
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002978 if (mbp == curbuf->b_mb_current)
Bram Moolenaar071d4272004-06-13 20:20:40 +00002979 {
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002980 int n = (size_align > (MEMBLOCKSIZE / 4)
2981 ? size_align : MEMBLOCKSIZE);
Bram Moolenaar071d4272004-06-13 20:20:40 +00002982
Bram Moolenaar26a60b42005-02-22 08:49:11 +00002983 /* Back where we started in block list: need to add a new block
2984 * with enough space. */
2985 mp = (minfo_T *)u_blockalloc((long_u)n);
2986 if (mp == NULL)
2987 return (NULL);
2988 mp->m_size = n;
2989 u_free_line((char_u *)mp + M_OFFSET, TRUE);
2990 mbp = curbuf->b_mb_current;
2991 break;
2992 }
2993 }
2994 if (mbp != curbuf->b_mb_current)
2995 curbuf->b_m_search = &(mbp->mb_info);
2996
2997 /* In this block find a chunk with enough space. */
2998 mprev = curbuf->b_m_search;
2999 mp = curbuf->b_m_search->m_next;
Bram Moolenaar35fdbb52005-07-09 21:08:57 +00003000 for (;;)
Bram Moolenaar26a60b42005-02-22 08:49:11 +00003001 {
3002 if (mp == NULL) /* at end of the list */
3003 mp = &(mbp->mb_info); /* wrap around to begin */
3004 if (mp->m_size >= size)
3005 break;
3006 if (mp == curbuf->b_m_search)
3007 {
3008 /* back where we started in free chunk list: "cannot happen" */
3009 EMSG2(_(e_intern2), "u_alloc_line()");
3010 return NULL;
Bram Moolenaar071d4272004-06-13 20:20:40 +00003011 }
3012 mprev = mp;
Bram Moolenaar26a60b42005-02-22 08:49:11 +00003013 mp = mp->m_next;
Bram Moolenaar071d4272004-06-13 20:20:40 +00003014 }
3015
Bram Moolenaar26a60b42005-02-22 08:49:11 +00003016 /* when using the largest chunk adjust mb_maxsize */
3017 if (mp->m_size >= mbp->mb_maxsize)
3018 mbp->mb_maxsize = 0;
3019
Bram Moolenaar071d4272004-06-13 20:20:40 +00003020 /* if the chunk we found is large enough, split it up in two */
3021 if ((long)mp->m_size - size_align >= (long)(sizeof(minfo_T) + 1))
3022 {
3023 mp2 = (minfo_T *)((char_u *)mp + size_align);
3024 mp2->m_size = mp->m_size - size_align;
3025 mp2->m_next = mp->m_next;
3026 mprev->m_next = mp2;
3027 mp->m_size = size_align;
3028 }
3029 else /* remove *mp from the free list */
3030 {
3031 mprev->m_next = mp->m_next;
3032 }
3033 curbuf->b_m_search = mprev;
3034 curbuf->b_mb_current = mbp;
3035
Bram Moolenaar26a60b42005-02-22 08:49:11 +00003036 /* If using the largest chunk need to find the new largest chunk */
3037 if (mbp->mb_maxsize == 0)
3038 for (mp2 = &(mbp->mb_info); mp2 != NULL; mp2 = mp2->m_next)
3039 if (mbp->mb_maxsize < mp2->m_size)
3040 mbp->mb_maxsize = mp2->m_size;
3041
Bram Moolenaar071d4272004-06-13 20:20:40 +00003042 mp = (minfo_T *)((char_u *)mp + M_OFFSET);
3043 *(char_u *)mp = NUL; /* set the first byte to NUL */
3044
3045 return ((char_u *)mp);
3046}
Bram Moolenaar26a60b42005-02-22 08:49:11 +00003047#endif
Bram Moolenaar071d4272004-06-13 20:20:40 +00003048
3049/*
3050 * u_save_line(): allocate memory with u_alloc_line() and copy line 'lnum'
3051 * into it.
3052 */
3053 static char_u *
3054u_save_line(lnum)
3055 linenr_T lnum;
3056{
3057 char_u *src;
3058 char_u *dst;
3059 unsigned len;
3060
3061 src = ml_get(lnum);
3062 len = (unsigned)STRLEN(src);
Bram Moolenaar26a60b42005-02-22 08:49:11 +00003063 if ((dst = U_ALLOC_LINE(len)) != NULL)
Bram Moolenaar071d4272004-06-13 20:20:40 +00003064 mch_memmove(dst, src, (size_t)(len + 1));
3065 return (dst);
3066}
3067
3068/*
3069 * Check if the 'modified' flag is set, or 'ff' has changed (only need to
3070 * check the first character, because it can only be "dos", "unix" or "mac").
3071 * "nofile" and "scratch" type buffers are considered to always be unchanged.
3072 */
3073 int
3074bufIsChanged(buf)
3075 buf_T *buf;
3076{
3077 return
3078#ifdef FEAT_QUICKFIX
3079 !bt_dontwrite(buf) &&
3080#endif
3081 (buf->b_changed || file_ff_differs(buf));
3082}
3083
3084 int
3085curbufIsChanged()
3086{
3087 return
3088#ifdef FEAT_QUICKFIX
3089 !bt_dontwrite(curbuf) &&
3090#endif
3091 (curbuf->b_changed || file_ff_differs(curbuf));
3092}