1 /* 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), 42 * or is NULL if nothing has been undone (end of the branch). 43 * 44 * 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 * 49 * +---------------+ +---------------+ 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 * 75 * All data is allocated with U_ALLOC_LINE(), it will be freed as soon as the 76 * buffer is unloaded. 77 */ 78 79 #include "vim.h" 80 81 /* See below: use malloc()/free() for memory management. */ 82 #define U_USE_MALLOC 1 83 84 static void u_unch_branch __ARGS((u_header_T *uhp)); 85 static u_entry_T *u_get_headentry __ARGS((void)); 86 static void u_getbot __ARGS((void)); 87 static int undo_allowed __ARGS((void)); 88 static int u_savecommon __ARGS((linenr_T, linenr_T, linenr_T)); 89 static void u_doit __ARGS((int count)); 90 static void u_undoredo __ARGS((int undo)); 91 static void u_undo_end __ARGS((int did_undo, int absolute)); 92 static void u_add_time __ARGS((char_u *buf, size_t buflen, time_t tt)); 93 static void u_freeheader __ARGS((buf_T *buf, u_header_T *uhp, u_header_T **uhpp)); 94 static void u_freebranch __ARGS((buf_T *buf, u_header_T *uhp, u_header_T **uhpp)); 95 static void u_freeentries __ARGS((buf_T *buf, u_header_T *uhp, u_header_T **uhpp)); 96 static void u_freeentry __ARGS((u_entry_T *, long)); 97 98 #ifdef U_USE_MALLOC 99 # define U_FREE_LINE(ptr) vim_free(ptr) 100 # define U_ALLOC_LINE(size) lalloc((long_u)((size) + 1), FALSE) 101 #else 102 static void u_free_line __ARGS((char_u *ptr, int keep)); 103 static char_u *u_alloc_line __ARGS((unsigned size)); 104 # define U_FREE_LINE(ptr) u_free_line((ptr), FALSE) 105 # define U_ALLOC_LINE(size) u_alloc_line(size) 106 #endif 107 static char_u *u_save_line __ARGS((linenr_T)); 108 109 static long u_newcount, u_oldcount; 110 111 /* 112 * When 'u' flag included in 'cpoptions', we behave like vi. Need to remember 113 * the action that "u" should do. 114 */ 115 static int undo_undoes = FALSE; 116 117 /* 118 * Save the current line for both the "u" and "U" command. 119 * Returns OK or FAIL. 120 */ 121 int 122 u_save_cursor() 123 { 124 return (u_save((linenr_T)(curwin->w_cursor.lnum - 1), 125 (linenr_T)(curwin->w_cursor.lnum + 1))); 126 } 127 128 /* 129 * Save the lines between "top" and "bot" for both the "u" and "U" command. 130 * "top" may be 0 and bot may be curbuf->b_ml.ml_line_count + 1. 131 * Returns FAIL when lines could not be saved, OK otherwise. 132 */ 133 int 134 u_save(top, bot) 135 linenr_T top, bot; 136 { 137 if (undo_off) 138 return OK; 139 140 if (top > curbuf->b_ml.ml_line_count || 141 top >= bot || bot > curbuf->b_ml.ml_line_count + 1) 142 return FALSE; /* rely on caller to do error messages */ 143 144 if (top + 2 == bot) 145 u_saveline((linenr_T)(top + 1)); 146 147 return (u_savecommon(top, bot, (linenr_T)0)); 148 } 149 150 /* 151 * save the line "lnum" (used by ":s" and "~" command) 152 * The line is replaced, so the new bottom line is lnum + 1. 153 */ 154 int 155 u_savesub(lnum) 156 linenr_T lnum; 157 { 158 if (undo_off) 159 return OK; 160 161 return (u_savecommon(lnum - 1, lnum + 1, lnum + 1)); 162 } 163 164 /* 165 * a new line is inserted before line "lnum" (used by :s command) 166 * The line is inserted, so the new bottom line is lnum + 1. 167 */ 168 int 169 u_inssub(lnum) 170 linenr_T lnum; 171 { 172 if (undo_off) 173 return OK; 174 175 return (u_savecommon(lnum - 1, lnum, lnum + 1)); 176 } 177 178 /* 179 * save the lines "lnum" - "lnum" + nlines (used by delete command) 180 * The lines are deleted, so the new bottom line is lnum, unless the buffer 181 * becomes empty. 182 */ 183 int 184 u_savedel(lnum, nlines) 185 linenr_T lnum; 186 long nlines; 187 { 188 if (undo_off) 189 return OK; 190 191 return (u_savecommon(lnum - 1, lnum + nlines, 192 nlines == curbuf->b_ml.ml_line_count ? 2 : lnum)); 193 } 194 195 /* 196 * Return TRUE when undo is allowed. Otherwise give an error message and 197 * return FALSE. 198 */ 199 static int 200 undo_allowed() 201 { 202 /* Don't allow changes when 'modifiable' is off. */ 203 if (!curbuf->b_p_ma) 204 { 205 EMSG(_(e_modifiable)); 206 return FALSE; 207 } 208 209 #ifdef HAVE_SANDBOX 210 /* In the sandbox it's not allowed to change the text. */ 211 if (sandbox != 0) 212 { 213 EMSG(_(e_sandbox)); 214 return FALSE; 215 } 216 #endif 217 218 /* Don't allow changes in the buffer while editing the cmdline. The 219 * caller of getcmdline() may get confused. */ 220 if (textlock != 0) 221 { 222 EMSG(_(e_secure)); 223 return FALSE; 224 } 225 226 return TRUE; 227 } 228 229 static int 230 u_savecommon(top, bot, newbot) 231 linenr_T top, bot; 232 linenr_T newbot; 233 { 234 linenr_T lnum; 235 long i; 236 u_header_T *uhp; 237 u_header_T *old_curhead; 238 u_entry_T *uep; 239 u_entry_T *prev_uep; 240 long size; 241 242 /* When making changes is not allowed return FAIL. It's a crude way to 243 * make all change commands fail. */ 244 if (!undo_allowed()) 245 return FAIL; 246 247 #ifdef FEAT_NETBEANS_INTG 248 /* 249 * Netbeans defines areas that cannot be modified. Bail out here when 250 * trying to change text in a guarded area. 251 */ 252 if (usingNetbeans) 253 { 254 if (netbeans_is_guarded(top, bot)) 255 { 256 EMSG(_(e_guarded)); 257 return FAIL; 258 } 259 if (curbuf->b_p_ro) 260 { 261 EMSG(_(e_nbreadonly)); 262 return FAIL; 263 } 264 } 265 #endif 266 267 #ifdef FEAT_AUTOCMD 268 /* 269 * Saving text for undo means we are going to make a change. Give a 270 * warning for a read-only file before making the change, so that the 271 * FileChangedRO event can replace the buffer with a read-write version 272 * (e.g., obtained from a source control system). 273 */ 274 change_warning(0); 275 #endif 276 277 size = bot - top - 1; 278 279 /* 280 * if curbuf->b_u_synced == TRUE make a new header 281 */ 282 if (curbuf->b_u_synced) 283 { 284 #ifdef FEAT_JUMPLIST 285 /* Need to create new entry in b_changelist. */ 286 curbuf->b_new_change = TRUE; 287 #endif 288 289 if (p_ul >= 0) 290 { 291 /* 292 * Make a new header entry. Do this first so that we don't mess 293 * up the undo info when out of memory. 294 */ 295 uhp = (u_header_T *)U_ALLOC_LINE((unsigned)sizeof(u_header_T)); 296 if (uhp == NULL) 297 goto nomem; 298 } 299 else 300 uhp = NULL; 301 302 /* 303 * If we undid more than we redid, move the entry lists before and 304 * including curbuf->b_u_curhead to an alternate branch. 305 */ 306 old_curhead = curbuf->b_u_curhead; 307 if (old_curhead != NULL) 308 { 309 curbuf->b_u_newhead = old_curhead->uh_next; 310 curbuf->b_u_curhead = NULL; 311 } 312 313 /* 314 * free headers to keep the size right 315 */ 316 while (curbuf->b_u_numhead > p_ul && curbuf->b_u_oldhead != NULL) 317 { 318 u_header_T *uhfree = curbuf->b_u_oldhead; 319 320 /* If there is no branch only free one header. */ 321 if (uhfree->uh_alt_next == NULL) 322 u_freeheader(curbuf, uhfree, &old_curhead); 323 else 324 { 325 /* Free the oldest alternate branch as a whole. */ 326 while (uhfree->uh_alt_next != NULL) 327 uhfree = uhfree->uh_alt_next; 328 u_freebranch(curbuf, uhfree, &old_curhead); 329 } 330 } 331 332 if (uhp == NULL) /* no undo at all */ 333 { 334 if (old_curhead != NULL) 335 u_freebranch(curbuf, old_curhead, NULL); 336 curbuf->b_u_synced = FALSE; 337 return OK; 338 } 339 340 uhp->uh_prev = NULL; 341 uhp->uh_next = curbuf->b_u_newhead; 342 uhp->uh_alt_next = old_curhead; 343 if (old_curhead != NULL) 344 { 345 old_curhead->uh_alt_prev = uhp; 346 if (curbuf->b_u_oldhead == old_curhead) 347 curbuf->b_u_oldhead = uhp; 348 } 349 uhp->uh_alt_prev = NULL; 350 if (curbuf->b_u_newhead != NULL) 351 curbuf->b_u_newhead->uh_prev = uhp; 352 353 uhp->uh_seq = ++curbuf->b_u_seq_last; 354 curbuf->b_u_seq_cur = uhp->uh_seq; 355 uhp->uh_time = time(NULL); 356 curbuf->b_u_seq_time = uhp->uh_time + 1; 357 358 uhp->uh_walk = 0; 359 uhp->uh_entry = NULL; 360 uhp->uh_getbot_entry = NULL; 361 uhp->uh_cursor = curwin->w_cursor; /* save cursor pos. for undo */ 362 #ifdef FEAT_VIRTUALEDIT 363 if (virtual_active() && curwin->w_cursor.coladd > 0) 364 uhp->uh_cursor_vcol = getviscol(); 365 else 366 uhp->uh_cursor_vcol = -1; 367 #endif 368 369 /* save changed and buffer empty flag for undo */ 370 uhp->uh_flags = (curbuf->b_changed ? UH_CHANGED : 0) + 371 ((curbuf->b_ml.ml_flags & ML_EMPTY) ? UH_EMPTYBUF : 0); 372 373 /* save named marks and Visual marks for undo */ 374 mch_memmove(uhp->uh_namedm, curbuf->b_namedm, sizeof(pos_T) * NMARKS); 375 #ifdef FEAT_VISUAL 376 uhp->uh_visual = curbuf->b_visual; 377 #endif 378 379 curbuf->b_u_newhead = uhp; 380 if (curbuf->b_u_oldhead == NULL) 381 curbuf->b_u_oldhead = uhp; 382 ++curbuf->b_u_numhead; 383 } 384 else 385 { 386 if (p_ul < 0) /* no undo at all */ 387 return OK; 388 389 /* 390 * When saving a single line, and it has been saved just before, it 391 * doesn't make sense saving it again. Saves a lot of memory when 392 * making lots of changes inside the same line. 393 * This is only possible if the previous change didn't increase or 394 * decrease the number of lines. 395 * Check the ten last changes. More doesn't make sense and takes too 396 * long. 397 */ 398 if (size == 1) 399 { 400 uep = u_get_headentry(); 401 prev_uep = NULL; 402 for (i = 0; i < 10; ++i) 403 { 404 if (uep == NULL) 405 break; 406 407 /* If lines have been inserted/deleted we give up. 408 * Also when the line was included in a multi-line save. */ 409 if ((curbuf->b_u_newhead->uh_getbot_entry != uep 410 ? (uep->ue_top + uep->ue_size + 1 411 != (uep->ue_bot == 0 412 ? curbuf->b_ml.ml_line_count + 1 413 : uep->ue_bot)) 414 : uep->ue_lcount != curbuf->b_ml.ml_line_count) 415 || (uep->ue_size > 1 416 && top >= uep->ue_top 417 && top + 2 <= uep->ue_top + uep->ue_size + 1)) 418 break; 419 420 /* If it's the same line we can skip saving it again. */ 421 if (uep->ue_size == 1 && uep->ue_top == top) 422 { 423 if (i > 0) 424 { 425 /* It's not the last entry: get ue_bot for the last 426 * entry now. Following deleted/inserted lines go to 427 * the re-used entry. */ 428 u_getbot(); 429 curbuf->b_u_synced = FALSE; 430 431 /* Move the found entry to become the last entry. The 432 * order of undo/redo doesn't matter for the entries 433 * we move it over, since they don't change the line 434 * count and don't include this line. It does matter 435 * for the found entry if the line count is changed by 436 * the executed command. */ 437 prev_uep->ue_next = uep->ue_next; 438 uep->ue_next = curbuf->b_u_newhead->uh_entry; 439 curbuf->b_u_newhead->uh_entry = uep; 440 } 441 442 /* The executed command may change the line count. */ 443 if (newbot != 0) 444 uep->ue_bot = newbot; 445 else if (bot > curbuf->b_ml.ml_line_count) 446 uep->ue_bot = 0; 447 else 448 { 449 uep->ue_lcount = curbuf->b_ml.ml_line_count; 450 curbuf->b_u_newhead->uh_getbot_entry = uep; 451 } 452 return OK; 453 } 454 prev_uep = uep; 455 uep = uep->ue_next; 456 } 457 } 458 459 /* find line number for ue_bot for previous u_save() */ 460 u_getbot(); 461 } 462 463 #if !defined(UNIX) && !defined(DJGPP) && !defined(WIN32) && !defined(__EMX__) 464 /* 465 * With Amiga and MSDOS 16 bit we can't handle big undo's, because 466 * then u_alloc_line would have to allocate a block larger than 32K 467 */ 468 if (size >= 8000) 469 goto nomem; 470 #endif 471 472 /* 473 * add lines in front of entry list 474 */ 475 uep = (u_entry_T *)U_ALLOC_LINE((unsigned)sizeof(u_entry_T)); 476 if (uep == NULL) 477 goto nomem; 478 479 uep->ue_size = size; 480 uep->ue_top = top; 481 if (newbot != 0) 482 uep->ue_bot = newbot; 483 /* 484 * Use 0 for ue_bot if bot is below last line. 485 * Otherwise we have to compute ue_bot later. 486 */ 487 else if (bot > curbuf->b_ml.ml_line_count) 488 uep->ue_bot = 0; 489 else 490 { 491 uep->ue_lcount = curbuf->b_ml.ml_line_count; 492 curbuf->b_u_newhead->uh_getbot_entry = uep; 493 } 494 495 if (size > 0) 496 { 497 if ((uep->ue_array = (char_u **)U_ALLOC_LINE( 498 (unsigned)(sizeof(char_u *) * size))) == NULL) 499 { 500 u_freeentry(uep, 0L); 501 goto nomem; 502 } 503 for (i = 0, lnum = top + 1; i < size; ++i) 504 { 505 fast_breakcheck(); 506 if (got_int) 507 { 508 u_freeentry(uep, i); 509 return FAIL; 510 } 511 if ((uep->ue_array[i] = u_save_line(lnum++)) == NULL) 512 { 513 u_freeentry(uep, i); 514 goto nomem; 515 } 516 } 517 } 518 else 519 uep->ue_array = NULL; 520 uep->ue_next = curbuf->b_u_newhead->uh_entry; 521 curbuf->b_u_newhead->uh_entry = uep; 522 curbuf->b_u_synced = FALSE; 523 undo_undoes = FALSE; 524 525 return OK; 526 527 nomem: 528 msg_silent = 0; /* must display the prompt */ 529 if (ask_yesno((char_u *)_("No undo possible; continue anyway"), TRUE) 530 == 'y') 531 { 532 undo_off = TRUE; /* will be reset when character typed */ 533 return OK; 534 } 535 do_outofmem_msg((long_u)0); 536 return FAIL; 537 } 538 539 /* 540 * If 'cpoptions' contains 'u': Undo the previous undo or redo (vi compatible). 541 * If 'cpoptions' does not contain 'u': Always undo. 542 */ 543 void 544 u_undo(count) 545 int count; 546 { 547 /* 548 * If we get an undo command while executing a macro, we behave like the 549 * original vi. If this happens twice in one macro the result will not 550 * be compatible. 551 */ 552 if (curbuf->b_u_synced == FALSE) 553 { 554 u_sync(); 555 count = 1; 556 } 557 558 if (vim_strchr(p_cpo, CPO_UNDO) == NULL) 559 undo_undoes = TRUE; 560 else 561 undo_undoes = !undo_undoes; 562 u_doit(count); 563 } 564 565 /* 566 * If 'cpoptions' contains 'u': Repeat the previous undo or redo. 567 * If 'cpoptions' does not contain 'u': Always redo. 568 */ 569 void 570 u_redo(count) 571 int count; 572 { 573 if (vim_strchr(p_cpo, CPO_UNDO) == NULL) 574 undo_undoes = FALSE; 575 u_doit(count); 576 } 577 578 /* 579 * Undo or redo, depending on 'undo_undoes', 'count' times. 580 */ 581 static void 582 u_doit(startcount) 583 int startcount; 584 { 585 int count = startcount; 586 587 if (!undo_allowed()) 588 return; 589 590 u_newcount = 0; 591 u_oldcount = 0; 592 if (curbuf->b_ml.ml_flags & ML_EMPTY) 593 u_oldcount = -1; 594 while (count--) 595 { 596 if (undo_undoes) 597 { 598 if (curbuf->b_u_curhead == NULL) /* first undo */ 599 curbuf->b_u_curhead = curbuf->b_u_newhead; 600 else if (p_ul > 0) /* multi level undo */ 601 /* get next undo */ 602 curbuf->b_u_curhead = curbuf->b_u_curhead->uh_next; 603 /* nothing to undo */ 604 if (curbuf->b_u_numhead == 0 || curbuf->b_u_curhead == NULL) 605 { 606 /* stick curbuf->b_u_curhead at end */ 607 curbuf->b_u_curhead = curbuf->b_u_oldhead; 608 beep_flush(); 609 if (count == startcount - 1) 610 { 611 MSG(_("Already at oldest change")); 612 return; 613 } 614 break; 615 } 616 617 u_undoredo(TRUE); 618 } 619 else 620 { 621 if (curbuf->b_u_curhead == NULL || p_ul <= 0) 622 { 623 beep_flush(); /* nothing to redo */ 624 if (count == startcount - 1) 625 { 626 MSG(_("Already at newest change")); 627 return; 628 } 629 break; 630 } 631 632 u_undoredo(FALSE); 633 634 /* Advance for next redo. Set "newhead" when at the end of the 635 * redoable changes. */ 636 if (curbuf->b_u_curhead->uh_prev == NULL) 637 curbuf->b_u_newhead = curbuf->b_u_curhead; 638 curbuf->b_u_curhead = curbuf->b_u_curhead->uh_prev; 639 } 640 } 641 u_undo_end(undo_undoes, FALSE); 642 } 643 644 static int lastmark = 0; 645 646 /* 647 * Undo or redo over the timeline. 648 * When "step" is negative go back in time, otherwise goes forward in time. 649 * When "sec" is FALSE make "step" steps, when "sec" is TRUE use "step" as 650 * seconds. 651 * When "absolute" is TRUE use "step" as the sequence number to jump to. 652 * "sec" must be FALSE then. 653 */ 654 void 655 undo_time(step, sec, absolute) 656 long step; 657 int sec; 658 int absolute; 659 { 660 long target; 661 long closest; 662 long closest_start; 663 long closest_seq = 0; 664 long val; 665 u_header_T *uhp; 666 u_header_T *last; 667 int mark; 668 int nomark; 669 int round; 670 int dosec = sec; 671 int above = FALSE; 672 int did_undo = TRUE; 673 674 /* First make sure the current undoable change is synced. */ 675 if (curbuf->b_u_synced == FALSE) 676 u_sync(); 677 678 u_newcount = 0; 679 u_oldcount = 0; 680 if (curbuf->b_ml.ml_flags & ML_EMPTY) 681 u_oldcount = -1; 682 683 /* "target" is the node below which we want to be. 684 * Init "closest" to a value we can't reach. */ 685 if (absolute) 686 { 687 target = step; 688 closest = -1; 689 } 690 else 691 { 692 /* When doing computations with time_t subtract starttime, because 693 * time_t converted to a long may result in a wrong number. */ 694 if (sec) 695 target = (long)(curbuf->b_u_seq_time - starttime) + step; 696 else 697 target = curbuf->b_u_seq_cur + step; 698 if (step < 0) 699 { 700 if (target < 0) 701 target = 0; 702 closest = -1; 703 } 704 else 705 { 706 if (sec) 707 closest = (long)(time(NULL) - starttime + 1); 708 else 709 closest = curbuf->b_u_seq_last + 2; 710 if (target >= closest) 711 target = closest - 1; 712 } 713 } 714 closest_start = closest; 715 closest_seq = curbuf->b_u_seq_cur; 716 717 /* 718 * May do this twice: 719 * 1. Search for "target", update "closest" to the best match found. 720 * 2. If "target" not found search for "closest". 721 * 722 * When using the closest time we use the sequence number in the second 723 * round, because there may be several entries with the same time. 724 */ 725 for (round = 1; round <= 2; ++round) 726 { 727 /* Find the path from the current state to where we want to go. The 728 * desired state can be anywhere in the undo tree, need to go all over 729 * it. We put "nomark" in uh_walk where we have been without success, 730 * "mark" where it could possibly be. */ 731 mark = ++lastmark; 732 nomark = ++lastmark; 733 734 if (curbuf->b_u_curhead == NULL) /* at leaf of the tree */ 735 uhp = curbuf->b_u_newhead; 736 else 737 uhp = curbuf->b_u_curhead; 738 739 while (uhp != NULL) 740 { 741 uhp->uh_walk = mark; 742 val = (long)(dosec ? (uhp->uh_time - starttime) : uhp->uh_seq); 743 744 if (round == 1) 745 { 746 /* Remember the header that is closest to the target. 747 * It must be at least in the right direction (checked with 748 * "b_u_seq_cur"). When the timestamp is equal find the 749 * highest/lowest sequence number. */ 750 if ((step < 0 ? uhp->uh_seq <= curbuf->b_u_seq_cur 751 : uhp->uh_seq > curbuf->b_u_seq_cur) 752 && ((dosec && val == closest) 753 ? (step < 0 754 ? uhp->uh_seq < closest_seq 755 : uhp->uh_seq > closest_seq) 756 : closest == closest_start 757 || (val > target 758 ? (closest > target 759 ? val - target <= closest - target 760 : val - target <= target - closest) 761 : (closest > target 762 ? target - val <= closest - target 763 : target - val <= target - closest)))) 764 { 765 closest = val; 766 closest_seq = uhp->uh_seq; 767 } 768 } 769 770 /* Quit searching when we found a match. But when searching for a 771 * time we need to continue looking for the best uh_seq. */ 772 if (target == val && !dosec) 773 break; 774 775 /* go down in the tree if we haven't been there */ 776 if (uhp->uh_prev != NULL && uhp->uh_prev->uh_walk != nomark 777 && uhp->uh_prev->uh_walk != mark) 778 uhp = uhp->uh_prev; 779 780 /* go to alternate branch if we haven't been there */ 781 else if (uhp->uh_alt_next != NULL 782 && uhp->uh_alt_next->uh_walk != nomark 783 && uhp->uh_alt_next->uh_walk != mark) 784 uhp = uhp->uh_alt_next; 785 786 /* go up in the tree if we haven't been there and we are at the 787 * start of alternate branches */ 788 else if (uhp->uh_next != NULL && uhp->uh_alt_prev == NULL 789 && uhp->uh_next->uh_walk != nomark 790 && uhp->uh_next->uh_walk != mark) 791 { 792 /* If still at the start we don't go through this change. */ 793 if (uhp == curbuf->b_u_curhead) 794 uhp->uh_walk = nomark; 795 uhp = uhp->uh_next; 796 } 797 798 else 799 { 800 /* need to backtrack; mark this node as useless */ 801 uhp->uh_walk = nomark; 802 if (uhp->uh_alt_prev != NULL) 803 uhp = uhp->uh_alt_prev; 804 else 805 uhp = uhp->uh_next; 806 } 807 } 808 809 if (uhp != NULL) /* found it */ 810 break; 811 812 if (absolute) 813 { 814 EMSGN(_("Undo number %ld not found"), step); 815 return; 816 } 817 818 if (closest == closest_start) 819 { 820 if (step < 0) 821 MSG(_("Already at oldest change")); 822 else 823 MSG(_("Already at newest change")); 824 return; 825 } 826 827 target = closest_seq; 828 dosec = FALSE; 829 if (step < 0) 830 above = TRUE; /* stop above the header */ 831 } 832 833 /* If we found it: Follow the path to go to where we want to be. */ 834 if (uhp != NULL) 835 { 836 /* 837 * First go up the tree as much as needed. 838 */ 839 for (;;) 840 { 841 uhp = curbuf->b_u_curhead; 842 if (uhp == NULL) 843 uhp = curbuf->b_u_newhead; 844 else 845 uhp = uhp->uh_next; 846 if (uhp == NULL || uhp->uh_walk != mark 847 || (uhp->uh_seq == target && !above)) 848 break; 849 curbuf->b_u_curhead = uhp; 850 u_undoredo(TRUE); 851 uhp->uh_walk = nomark; /* don't go back down here */ 852 } 853 854 /* 855 * And now go down the tree (redo), branching off where needed. 856 */ 857 uhp = curbuf->b_u_curhead; 858 while (uhp != NULL) 859 { 860 /* Find the last branch with a mark, that's the one. */ 861 last = uhp; 862 while (last->uh_alt_next != NULL 863 && last->uh_alt_next->uh_walk == mark) 864 last = last->uh_alt_next; 865 if (last != uhp) 866 { 867 /* Make the used branch the first entry in the list of 868 * alternatives to make "u" and CTRL-R take this branch. */ 869 if (last->uh_alt_next != NULL) 870 last->uh_alt_next->uh_alt_prev = last->uh_alt_prev; 871 last->uh_alt_prev->uh_alt_next = last->uh_alt_next; 872 last->uh_alt_prev = NULL; 873 last->uh_alt_next = uhp; 874 uhp->uh_alt_prev = last; 875 876 uhp = last; 877 if (uhp->uh_next != NULL) 878 uhp->uh_next->uh_prev = uhp; 879 } 880 curbuf->b_u_curhead = uhp; 881 882 if (uhp->uh_walk != mark) 883 break; /* must have reached the target */ 884 885 /* Stop when going backwards in time and didn't find the exact 886 * header we were looking for. */ 887 if (uhp->uh_seq == target && above) 888 { 889 curbuf->b_u_seq_cur = target - 1; 890 break; 891 } 892 893 u_undoredo(FALSE); 894 895 /* Advance "curhead" to below the header we last used. If it 896 * becomes NULL then we need to set "newhead" to this leaf. */ 897 if (uhp->uh_prev == NULL) 898 curbuf->b_u_newhead = uhp; 899 curbuf->b_u_curhead = uhp->uh_prev; 900 did_undo = FALSE; 901 902 if (uhp->uh_seq == target) /* found it! */ 903 break; 904 905 uhp = uhp->uh_prev; 906 if (uhp == NULL || uhp->uh_walk != mark) 907 { 908 /* Need to redo more but can't find it... */ 909 EMSG2(_(e_intern2), "undo_time()"); 910 break; 911 } 912 } 913 } 914 u_undo_end(did_undo, absolute); 915 } 916 917 /* 918 * u_undoredo: common code for undo and redo 919 * 920 * The lines in the file are replaced by the lines in the entry list at 921 * curbuf->b_u_curhead. The replaced lines in the file are saved in the entry 922 * list for the next undo/redo. 923 * 924 * When "undo" is TRUE we go up in the tree, when FALSE we go down. 925 */ 926 static void 927 u_undoredo(undo) 928 int undo; 929 { 930 char_u **newarray = NULL; 931 linenr_T oldsize; 932 linenr_T newsize; 933 linenr_T top, bot; 934 linenr_T lnum; 935 linenr_T newlnum = MAXLNUM; 936 long i; 937 u_entry_T *uep, *nuep; 938 u_entry_T *newlist = NULL; 939 int old_flags; 940 int new_flags; 941 pos_T namedm[NMARKS]; 942 #ifdef FEAT_VISUAL 943 visualinfo_T visualinfo; 944 #endif 945 int empty_buffer; /* buffer became empty */ 946 u_header_T *curhead = curbuf->b_u_curhead; 947 948 old_flags = curhead->uh_flags; 949 new_flags = (curbuf->b_changed ? UH_CHANGED : 0) + 950 ((curbuf->b_ml.ml_flags & ML_EMPTY) ? UH_EMPTYBUF : 0); 951 setpcmark(); 952 953 /* 954 * save marks before undo/redo 955 */ 956 mch_memmove(namedm, curbuf->b_namedm, sizeof(pos_T) * NMARKS); 957 #ifdef FEAT_VISUAL 958 visualinfo = curbuf->b_visual; 959 #endif 960 curbuf->b_op_start.lnum = curbuf->b_ml.ml_line_count; 961 curbuf->b_op_start.col = 0; 962 curbuf->b_op_end.lnum = 0; 963 curbuf->b_op_end.col = 0; 964 965 for (uep = curhead->uh_entry; uep != NULL; uep = nuep) 966 { 967 top = uep->ue_top; 968 bot = uep->ue_bot; 969 if (bot == 0) 970 bot = curbuf->b_ml.ml_line_count + 1; 971 if (top > curbuf->b_ml.ml_line_count || top >= bot 972 || bot > curbuf->b_ml.ml_line_count + 1) 973 { 974 EMSG(_("E438: u_undo: line numbers wrong")); 975 changed(); /* don't want UNCHANGED now */ 976 return; 977 } 978 979 oldsize = bot - top - 1; /* number of lines before undo */ 980 newsize = uep->ue_size; /* number of lines after undo */ 981 982 if (top < newlnum) 983 { 984 /* If the saved cursor is somewhere in this undo block, move it to 985 * the remembered position. Makes "gwap" put the cursor back 986 * where it was. */ 987 lnum = curhead->uh_cursor.lnum; 988 if (lnum >= top && lnum <= top + newsize + 1) 989 { 990 curwin->w_cursor = curhead->uh_cursor; 991 newlnum = curwin->w_cursor.lnum - 1; 992 } 993 else 994 { 995 /* Use the first line that actually changed. Avoids that 996 * undoing auto-formatting puts the cursor in the previous 997 * line. */ 998 for (i = 0; i < newsize && i < oldsize; ++i) 999 if (STRCMP(uep->ue_array[i], ml_get(top + 1 + i)) != 0) 1000 break; 1001 if (i == newsize && newlnum == MAXLNUM && uep->ue_next == NULL) 1002 { 1003 newlnum = top; 1004 curwin->w_cursor.lnum = newlnum + 1; 1005 } 1006 else if (i < newsize) 1007 { 1008 newlnum = top + i; 1009 curwin->w_cursor.lnum = newlnum + 1; 1010 } 1011 } 1012 } 1013 1014 empty_buffer = FALSE; 1015 1016 /* delete the lines between top and bot and save them in newarray */ 1017 if (oldsize > 0) 1018 { 1019 if ((newarray = (char_u **)U_ALLOC_LINE( 1020 (unsigned)(sizeof(char_u *) * oldsize))) == NULL) 1021 { 1022 do_outofmem_msg((long_u)(sizeof(char_u *) * oldsize)); 1023 /* 1024 * We have messed up the entry list, repair is impossible. 1025 * we have to free the rest of the list. 1026 */ 1027 while (uep != NULL) 1028 { 1029 nuep = uep->ue_next; 1030 u_freeentry(uep, uep->ue_size); 1031 uep = nuep; 1032 } 1033 break; 1034 } 1035 /* delete backwards, it goes faster in most cases */ 1036 for (lnum = bot - 1, i = oldsize; --i >= 0; --lnum) 1037 { 1038 /* what can we do when we run out of memory? */ 1039 if ((newarray[i] = u_save_line(lnum)) == NULL) 1040 do_outofmem_msg((long_u)0); 1041 /* remember we deleted the last line in the buffer, and a 1042 * dummy empty line will be inserted */ 1043 if (curbuf->b_ml.ml_line_count == 1) 1044 empty_buffer = TRUE; 1045 ml_delete(lnum, FALSE); 1046 } 1047 } 1048 else 1049 newarray = NULL; 1050 1051 /* insert the lines in u_array between top and bot */ 1052 if (newsize) 1053 { 1054 for (lnum = top, i = 0; i < newsize; ++i, ++lnum) 1055 { 1056 /* 1057 * If the file is empty, there is an empty line 1 that we 1058 * should get rid of, by replacing it with the new line 1059 */ 1060 if (empty_buffer && lnum == 0) 1061 ml_replace((linenr_T)1, uep->ue_array[i], TRUE); 1062 else 1063 ml_append(lnum, uep->ue_array[i], (colnr_T)0, FALSE); 1064 U_FREE_LINE(uep->ue_array[i]); 1065 } 1066 U_FREE_LINE((char_u *)uep->ue_array); 1067 } 1068 1069 /* adjust marks */ 1070 if (oldsize != newsize) 1071 { 1072 mark_adjust(top + 1, top + oldsize, (long)MAXLNUM, 1073 (long)newsize - (long)oldsize); 1074 if (curbuf->b_op_start.lnum > top + oldsize) 1075 curbuf->b_op_start.lnum += newsize - oldsize; 1076 if (curbuf->b_op_end.lnum > top + oldsize) 1077 curbuf->b_op_end.lnum += newsize - oldsize; 1078 } 1079 1080 changed_lines(top + 1, 0, bot, newsize - oldsize); 1081 1082 /* set '[ and '] mark */ 1083 if (top + 1 < curbuf->b_op_start.lnum) 1084 curbuf->b_op_start.lnum = top + 1; 1085 if (newsize == 0 && top + 1 > curbuf->b_op_end.lnum) 1086 curbuf->b_op_end.lnum = top + 1; 1087 else if (top + newsize > curbuf->b_op_end.lnum) 1088 curbuf->b_op_end.lnum = top + newsize; 1089 1090 u_newcount += newsize; 1091 u_oldcount += oldsize; 1092 uep->ue_size = oldsize; 1093 uep->ue_array = newarray; 1094 uep->ue_bot = top + newsize + 1; 1095 1096 /* 1097 * insert this entry in front of the new entry list 1098 */ 1099 nuep = uep->ue_next; 1100 uep->ue_next = newlist; 1101 newlist = uep; 1102 } 1103 1104 curhead->uh_entry = newlist; 1105 curhead->uh_flags = new_flags; 1106 if ((old_flags & UH_EMPTYBUF) && bufempty()) 1107 curbuf->b_ml.ml_flags |= ML_EMPTY; 1108 if (old_flags & UH_CHANGED) 1109 changed(); 1110 else 1111 #ifdef FEAT_NETBEANS_INTG 1112 /* per netbeans undo rules, keep it as modified */ 1113 if (!isNetbeansModified(curbuf)) 1114 #endif 1115 unchanged(curbuf, FALSE); 1116 1117 /* 1118 * restore marks from before undo/redo 1119 */ 1120 for (i = 0; i < NMARKS; ++i) 1121 if (curhead->uh_namedm[i].lnum != 0) 1122 { 1123 curbuf->b_namedm[i] = curhead->uh_namedm[i]; 1124 curhead->uh_namedm[i] = namedm[i]; 1125 } 1126 #ifdef FEAT_VISUAL 1127 if (curhead->uh_visual.vi_start.lnum != 0) 1128 { 1129 curbuf->b_visual = curhead->uh_visual; 1130 curhead->uh_visual = visualinfo; 1131 } 1132 #endif 1133 1134 /* 1135 * If the cursor is only off by one line, put it at the same position as 1136 * before starting the change (for the "o" command). 1137 * Otherwise the cursor should go to the first undone line. 1138 */ 1139 if (curhead->uh_cursor.lnum + 1 == curwin->w_cursor.lnum 1140 && curwin->w_cursor.lnum > 1) 1141 --curwin->w_cursor.lnum; 1142 if (curhead->uh_cursor.lnum == curwin->w_cursor.lnum) 1143 { 1144 curwin->w_cursor.col = curhead->uh_cursor.col; 1145 #ifdef FEAT_VIRTUALEDIT 1146 if (virtual_active() && curhead->uh_cursor_vcol >= 0) 1147 coladvance((colnr_T)curhead->uh_cursor_vcol); 1148 else 1149 curwin->w_cursor.coladd = 0; 1150 #endif 1151 } 1152 else if (curwin->w_cursor.lnum <= curbuf->b_ml.ml_line_count) 1153 beginline(BL_SOL | BL_FIX); 1154 else 1155 { 1156 /* We get here with the current cursor line being past the end (eg 1157 * after adding lines at the end of the file, and then undoing it). 1158 * check_cursor() will move the cursor to the last line. Move it to 1159 * the first column here. */ 1160 curwin->w_cursor.col = 0; 1161 #ifdef FEAT_VIRTUALEDIT 1162 curwin->w_cursor.coladd = 0; 1163 #endif 1164 } 1165 1166 /* Make sure the cursor is on an existing line and column. */ 1167 check_cursor(); 1168 1169 /* Remember where we are for "g-" and ":earlier 10s". */ 1170 curbuf->b_u_seq_cur = curhead->uh_seq; 1171 if (undo) 1172 /* We are below the previous undo. However, to make ":earlier 1s" 1173 * work we compute this as being just above the just undone change. */ 1174 --curbuf->b_u_seq_cur; 1175 1176 /* The timestamp can be the same for multiple changes, just use the one of 1177 * the undone/redone change. */ 1178 curbuf->b_u_seq_time = curhead->uh_time; 1179 } 1180 1181 /* 1182 * If we deleted or added lines, report the number of less/more lines. 1183 * Otherwise, report the number of changes (this may be incorrect 1184 * in some cases, but it's better than nothing). 1185 */ 1186 static void 1187 u_undo_end(did_undo, absolute) 1188 int did_undo; /* just did an undo */ 1189 int absolute; /* used ":undo N" */ 1190 { 1191 char *msg; 1192 u_header_T *uhp; 1193 char_u msgbuf[80]; 1194 1195 #ifdef FEAT_FOLDING 1196 if ((fdo_flags & FDO_UNDO) && KeyTyped) 1197 foldOpenCursor(); 1198 #endif 1199 1200 if (global_busy /* no messages now, wait until global is finished */ 1201 || !messaging()) /* 'lazyredraw' set, don't do messages now */ 1202 return; 1203 1204 if (curbuf->b_ml.ml_flags & ML_EMPTY) 1205 --u_newcount; 1206 1207 u_oldcount -= u_newcount; 1208 if (u_oldcount == -1) 1209 msg = N_("more line"); 1210 else if (u_oldcount < 0) 1211 msg = N_("more lines"); 1212 else if (u_oldcount == 1) 1213 msg = N_("line less"); 1214 else if (u_oldcount > 1) 1215 msg = N_("fewer lines"); 1216 else 1217 { 1218 u_oldcount = u_newcount; 1219 if (u_newcount == 1) 1220 msg = N_("change"); 1221 else 1222 msg = N_("changes"); 1223 } 1224 1225 if (curbuf->b_u_curhead != NULL) 1226 { 1227 /* For ":undo N" we prefer a "after #N" message. */ 1228 if (absolute && curbuf->b_u_curhead->uh_next != NULL) 1229 { 1230 uhp = curbuf->b_u_curhead->uh_next; 1231 did_undo = FALSE; 1232 } 1233 else if (did_undo) 1234 uhp = curbuf->b_u_curhead; 1235 else 1236 uhp = curbuf->b_u_curhead->uh_next; 1237 } 1238 else 1239 uhp = curbuf->b_u_newhead; 1240 1241 if (uhp == NULL) 1242 *msgbuf = NUL; 1243 else 1244 u_add_time(msgbuf, sizeof(msgbuf), uhp->uh_time); 1245 1246 smsg((char_u *)_("%ld %s; %s #%ld %s"), 1247 u_oldcount < 0 ? -u_oldcount : u_oldcount, 1248 _(msg), 1249 did_undo ? _("before") : _("after"), 1250 uhp == NULL ? 0L : uhp->uh_seq, 1251 msgbuf); 1252 } 1253 1254 /* 1255 * u_sync: stop adding to the current entry list 1256 */ 1257 void 1258 u_sync() 1259 { 1260 if (curbuf->b_u_synced) 1261 return; /* already synced */ 1262 #if defined(FEAT_XIM) && defined(FEAT_GUI_GTK) 1263 if (im_is_preediting()) 1264 return; /* XIM is busy, don't break an undo sequence */ 1265 #endif 1266 if (p_ul < 0) 1267 curbuf->b_u_synced = TRUE; /* no entries, nothing to do */ 1268 else 1269 { 1270 u_getbot(); /* compute ue_bot of previous u_save */ 1271 curbuf->b_u_curhead = NULL; 1272 } 1273 } 1274 1275 /* 1276 * ":undolist": List the leafs of the undo tree 1277 */ 1278 /*ARGSUSED*/ 1279 void 1280 ex_undolist(eap) 1281 exarg_T *eap; 1282 { 1283 garray_T ga; 1284 u_header_T *uhp; 1285 int mark; 1286 int nomark; 1287 int changes = 1; 1288 int i; 1289 1290 /* 1291 * 1: walk the tree to find all leafs, put the info in "ga". 1292 * 2: sort the lines 1293 * 3: display the list 1294 */ 1295 mark = ++lastmark; 1296 nomark = ++lastmark; 1297 ga_init2(&ga, (int)sizeof(char *), 20); 1298 1299 uhp = curbuf->b_u_oldhead; 1300 while (uhp != NULL) 1301 { 1302 if (uhp->uh_prev == NULL && uhp->uh_walk != nomark 1303 && uhp->uh_walk != mark) 1304 { 1305 if (ga_grow(&ga, 1) == FAIL) 1306 break; 1307 vim_snprintf((char *)IObuff, IOSIZE, "%6ld %7ld ", 1308 uhp->uh_seq, changes); 1309 u_add_time(IObuff + STRLEN(IObuff), IOSIZE - STRLEN(IObuff), 1310 uhp->uh_time); 1311 ((char_u **)(ga.ga_data))[ga.ga_len++] = vim_strsave(IObuff); 1312 } 1313 1314 uhp->uh_walk = mark; 1315 1316 /* go down in the tree if we haven't been there */ 1317 if (uhp->uh_prev != NULL && uhp->uh_prev->uh_walk != nomark 1318 && uhp->uh_prev->uh_walk != mark) 1319 { 1320 uhp = uhp->uh_prev; 1321 ++changes; 1322 } 1323 1324 /* go to alternate branch if we haven't been there */ 1325 else if (uhp->uh_alt_next != NULL 1326 && uhp->uh_alt_next->uh_walk != nomark 1327 && uhp->uh_alt_next->uh_walk != mark) 1328 uhp = uhp->uh_alt_next; 1329 1330 /* go up in the tree if we haven't been there and we are at the 1331 * start of alternate branches */ 1332 else if (uhp->uh_next != NULL && uhp->uh_alt_prev == NULL 1333 && uhp->uh_next->uh_walk != nomark 1334 && uhp->uh_next->uh_walk != mark) 1335 { 1336 uhp = uhp->uh_next; 1337 --changes; 1338 } 1339 1340 else 1341 { 1342 /* need to backtrack; mark this node as done */ 1343 uhp->uh_walk = nomark; 1344 if (uhp->uh_alt_prev != NULL) 1345 uhp = uhp->uh_alt_prev; 1346 else 1347 { 1348 uhp = uhp->uh_next; 1349 --changes; 1350 } 1351 } 1352 } 1353 1354 if (ga.ga_len == 0) 1355 MSG(_("Nothing to undo")); 1356 else 1357 { 1358 sort_strings((char_u **)ga.ga_data, ga.ga_len); 1359 1360 msg_start(); 1361 msg_puts_attr((char_u *)_("number changes time"), hl_attr(HLF_T)); 1362 for (i = 0; i < ga.ga_len && !got_int; ++i) 1363 { 1364 msg_putchar('\n'); 1365 if (got_int) 1366 break; 1367 msg_puts(((char_u **)ga.ga_data)[i]); 1368 } 1369 msg_end(); 1370 1371 ga_clear_strings(&ga); 1372 } 1373 } 1374 1375 /* 1376 * Put the timestamp of an undo header in "buf[buflen]" in a nice format. 1377 */ 1378 static void 1379 u_add_time(buf, buflen, tt) 1380 char_u *buf; 1381 size_t buflen; 1382 time_t tt; 1383 { 1384 #ifdef HAVE_STRFTIME 1385 struct tm *curtime; 1386 1387 if (time(NULL) - tt >= 100) 1388 { 1389 curtime = localtime(&tt); 1390 (void)strftime((char *)buf, buflen, "%H:%M:%S", curtime); 1391 } 1392 else 1393 #endif 1394 vim_snprintf((char *)buf, buflen, "%ld seconds ago", 1395 (long)(time(NULL) - tt)); 1396 } 1397 1398 /* 1399 * ":undojoin": continue adding to the last entry list 1400 */ 1401 /*ARGSUSED*/ 1402 void 1403 ex_undojoin(eap) 1404 exarg_T *eap; 1405 { 1406 if (!curbuf->b_u_synced) 1407 return; /* already unsynced */ 1408 if (curbuf->b_u_newhead == NULL) 1409 return; /* nothing changed before */ 1410 if (p_ul < 0) 1411 return; /* no entries, nothing to do */ 1412 else 1413 { 1414 /* Go back to the last entry */ 1415 curbuf->b_u_curhead = curbuf->b_u_newhead; 1416 curbuf->b_u_synced = FALSE; /* no entries, nothing to do */ 1417 } 1418 } 1419 1420 /* 1421 * Called after writing the file and setting b_changed to FALSE. 1422 * Now an undo means that the buffer is modified. 1423 */ 1424 void 1425 u_unchanged(buf) 1426 buf_T *buf; 1427 { 1428 u_unch_branch(buf->b_u_oldhead); 1429 buf->b_did_warn = FALSE; 1430 } 1431 1432 static void 1433 u_unch_branch(uhp) 1434 u_header_T *uhp; 1435 { 1436 u_header_T *uh; 1437 1438 for (uh = uhp; uh != NULL; uh = uh->uh_prev) 1439 { 1440 uh->uh_flags |= UH_CHANGED; 1441 if (uh->uh_alt_next != NULL) 1442 u_unch_branch(uh->uh_alt_next); /* recursive */ 1443 } 1444 } 1445 1446 /* 1447 * Get pointer to last added entry. 1448 * If it's not valid, give an error message and return NULL. 1449 */ 1450 static u_entry_T * 1451 u_get_headentry() 1452 { 1453 if (curbuf->b_u_newhead == NULL || curbuf->b_u_newhead->uh_entry == NULL) 1454 { 1455 EMSG(_("E439: undo list corrupt")); 1456 return NULL; 1457 } 1458 return curbuf->b_u_newhead->uh_entry; 1459 } 1460 1461 /* 1462 * u_getbot(): compute the line number of the previous u_save 1463 * It is called only when b_u_synced is FALSE. 1464 */ 1465 static void 1466 u_getbot() 1467 { 1468 u_entry_T *uep; 1469 linenr_T extra; 1470 1471 uep = u_get_headentry(); /* check for corrupt undo list */ 1472 if (uep == NULL) 1473 return; 1474 1475 uep = curbuf->b_u_newhead->uh_getbot_entry; 1476 if (uep != NULL) 1477 { 1478 /* 1479 * the new ue_bot is computed from the number of lines that has been 1480 * inserted (0 - deleted) since calling u_save. This is equal to the 1481 * old line count subtracted from the current line count. 1482 */ 1483 extra = curbuf->b_ml.ml_line_count - uep->ue_lcount; 1484 uep->ue_bot = uep->ue_top + uep->ue_size + 1 + extra; 1485 if (uep->ue_bot < 1 || uep->ue_bot > curbuf->b_ml.ml_line_count) 1486 { 1487 EMSG(_("E440: undo line missing")); 1488 uep->ue_bot = uep->ue_top + 1; /* assume all lines deleted, will 1489 * get all the old lines back 1490 * without deleting the current 1491 * ones */ 1492 } 1493 1494 curbuf->b_u_newhead->uh_getbot_entry = NULL; 1495 } 1496 1497 curbuf->b_u_synced = TRUE; 1498 } 1499 1500 /* 1501 * Free one header and its entry list and adjust the pointers. 1502 */ 1503 static void 1504 u_freeheader(buf, uhp, uhpp) 1505 buf_T *buf; 1506 u_header_T *uhp; 1507 u_header_T **uhpp; /* if not NULL reset when freeing this header */ 1508 { 1509 /* When there is an alternate redo list free that branch completely, 1510 * because we can never go there. */ 1511 if (uhp->uh_alt_next != NULL) 1512 u_freebranch(buf, uhp->uh_alt_next, uhpp); 1513 1514 if (uhp->uh_alt_prev != NULL) 1515 uhp->uh_alt_prev->uh_alt_next = NULL; 1516 1517 /* Update the links in the list to remove the header. */ 1518 if (uhp->uh_next == NULL) 1519 buf->b_u_oldhead = uhp->uh_prev; 1520 else 1521 uhp->uh_next->uh_prev = uhp->uh_prev; 1522 1523 if (uhp->uh_prev == NULL) 1524 buf->b_u_newhead = uhp->uh_next; 1525 else 1526 uhp->uh_prev->uh_next = uhp->uh_next; 1527 1528 u_freeentries(buf, uhp, uhpp); 1529 } 1530 1531 /* 1532 * Free an alternate branch and any following alternate branches. 1533 */ 1534 static void 1535 u_freebranch(buf, uhp, uhpp) 1536 buf_T *buf; 1537 u_header_T *uhp; 1538 u_header_T **uhpp; /* if not NULL reset when freeing this header */ 1539 { 1540 u_header_T *tofree, *next; 1541 1542 if (uhp->uh_alt_prev != NULL) 1543 uhp->uh_alt_prev->uh_alt_next = NULL; 1544 1545 next = uhp; 1546 while (next != NULL) 1547 { 1548 tofree = next; 1549 if (tofree->uh_alt_next != NULL) 1550 u_freebranch(buf, tofree->uh_alt_next, uhpp); /* recursive */ 1551 next = tofree->uh_prev; 1552 u_freeentries(buf, tofree, uhpp); 1553 } 1554 } 1555 1556 /* 1557 * Free all the undo entries for one header and the header itself. 1558 * This means that "uhp" is invalid when returning. 1559 */ 1560 static void 1561 u_freeentries(buf, uhp, uhpp) 1562 buf_T *buf; 1563 u_header_T *uhp; 1564 u_header_T **uhpp; /* if not NULL reset when freeing this header */ 1565 { 1566 u_entry_T *uep, *nuep; 1567 1568 /* Check for pointers to the header that become invalid now. */ 1569 if (buf->b_u_curhead == uhp) 1570 buf->b_u_curhead = NULL; 1571 if (uhpp != NULL && uhp == *uhpp) 1572 *uhpp = NULL; 1573 1574 for (uep = uhp->uh_entry; uep != NULL; uep = nuep) 1575 { 1576 nuep = uep->ue_next; 1577 u_freeentry(uep, uep->ue_size); 1578 } 1579 1580 U_FREE_LINE((char_u *)uhp); 1581 --buf->b_u_numhead; 1582 } 1583 1584 /* 1585 * free entry 'uep' and 'n' lines in uep->ue_array[] 1586 */ 1587 static void 1588 u_freeentry(uep, n) 1589 u_entry_T *uep; 1590 long n; 1591 { 1592 while (n > 0) 1593 U_FREE_LINE(uep->ue_array[--n]); 1594 U_FREE_LINE((char_u *)uep->ue_array); 1595 U_FREE_LINE((char_u *)uep); 1596 } 1597 1598 /* 1599 * invalidate the undo buffer; called when storage has already been released 1600 */ 1601 void 1602 u_clearall(buf) 1603 buf_T *buf; 1604 { 1605 buf->b_u_newhead = buf->b_u_oldhead = buf->b_u_curhead = NULL; 1606 buf->b_u_synced = TRUE; 1607 buf->b_u_numhead = 0; 1608 buf->b_u_line_ptr = NULL; 1609 buf->b_u_line_lnum = 0; 1610 } 1611 1612 /* 1613 * save the line "lnum" for the "U" command 1614 */ 1615 void 1616 u_saveline(lnum) 1617 linenr_T lnum; 1618 { 1619 if (lnum == curbuf->b_u_line_lnum) /* line is already saved */ 1620 return; 1621 if (lnum < 1 || lnum > curbuf->b_ml.ml_line_count) /* should never happen */ 1622 return; 1623 u_clearline(); 1624 curbuf->b_u_line_lnum = lnum; 1625 if (curwin->w_cursor.lnum == lnum) 1626 curbuf->b_u_line_colnr = curwin->w_cursor.col; 1627 else 1628 curbuf->b_u_line_colnr = 0; 1629 if ((curbuf->b_u_line_ptr = u_save_line(lnum)) == NULL) 1630 do_outofmem_msg((long_u)0); 1631 } 1632 1633 /* 1634 * clear the line saved for the "U" command 1635 * (this is used externally for crossing a line while in insert mode) 1636 */ 1637 void 1638 u_clearline() 1639 { 1640 if (curbuf->b_u_line_ptr != NULL) 1641 { 1642 U_FREE_LINE(curbuf->b_u_line_ptr); 1643 curbuf->b_u_line_ptr = NULL; 1644 curbuf->b_u_line_lnum = 0; 1645 } 1646 } 1647 1648 /* 1649 * Implementation of the "U" command. 1650 * Differentiation from vi: "U" can be undone with the next "U". 1651 * We also allow the cursor to be in another line. 1652 */ 1653 void 1654 u_undoline() 1655 { 1656 colnr_T t; 1657 char_u *oldp; 1658 1659 if (undo_off) 1660 return; 1661 1662 if (curbuf->b_u_line_ptr == NULL || 1663 curbuf->b_u_line_lnum > curbuf->b_ml.ml_line_count) 1664 { 1665 beep_flush(); 1666 return; 1667 } 1668 /* first save the line for the 'u' command */ 1669 if (u_savecommon(curbuf->b_u_line_lnum - 1, 1670 curbuf->b_u_line_lnum + 1, (linenr_T)0) == FAIL) 1671 return; 1672 oldp = u_save_line(curbuf->b_u_line_lnum); 1673 if (oldp == NULL) 1674 { 1675 do_outofmem_msg((long_u)0); 1676 return; 1677 } 1678 ml_replace(curbuf->b_u_line_lnum, curbuf->b_u_line_ptr, TRUE); 1679 changed_bytes(curbuf->b_u_line_lnum, 0); 1680 U_FREE_LINE(curbuf->b_u_line_ptr); 1681 curbuf->b_u_line_ptr = oldp; 1682 1683 t = curbuf->b_u_line_colnr; 1684 if (curwin->w_cursor.lnum == curbuf->b_u_line_lnum) 1685 curbuf->b_u_line_colnr = curwin->w_cursor.col; 1686 curwin->w_cursor.col = t; 1687 curwin->w_cursor.lnum = curbuf->b_u_line_lnum; 1688 } 1689 1690 /* 1691 * There are two implementations of the memory management for undo: 1692 * 1. Use the standard malloc()/free() functions. 1693 * This should be fast for allocating memory, but when a buffer is 1694 * abandoned every single allocated chunk must be freed, which may be slow. 1695 * 2. Allocate larger blocks of memory and keep track of chunks ourselves. 1696 * This is fast for abandoning, but the use of linked lists is slow for 1697 * finding a free chunk. Esp. when a lot of lines are changed or deleted. 1698 * A bit of profiling showed that the first method is faster, especially when 1699 * making a large number of changes, under the condition that malloc()/free() 1700 * is implemented efficiently. 1701 */ 1702 #ifdef U_USE_MALLOC 1703 /* 1704 * Version of undo memory allocation using malloc()/free() 1705 * 1706 * U_FREE_LINE() and U_ALLOC_LINE() are macros that invoke vim_free() and 1707 * lalloc() directly. 1708 */ 1709 1710 /* 1711 * Free all allocated memory blocks for the buffer 'buf'. 1712 */ 1713 void 1714 u_blockfree(buf) 1715 buf_T *buf; 1716 { 1717 while (buf->b_u_oldhead != NULL) 1718 u_freeheader(buf, buf->b_u_oldhead, NULL); 1719 U_FREE_LINE(buf->b_u_line_ptr); 1720 } 1721 1722 #else 1723 /* 1724 * Storage allocation for the undo lines and blocks of the current file. 1725 * Version where Vim keeps track of the available memory. 1726 */ 1727 1728 /* 1729 * Memory is allocated in relatively large blocks. These blocks are linked 1730 * in the allocated block list, headed by curbuf->b_block_head. They are all 1731 * freed when abandoning a file, so we don't have to free every single line. 1732 * The list is kept sorted on memory address. 1733 * block_alloc() allocates a block. 1734 * m_blockfree() frees all blocks. 1735 * 1736 * The available chunks of memory are kept in free chunk lists. There is 1737 * one free list for each block of allocated memory. The list is kept sorted 1738 * on memory address. 1739 * u_alloc_line() gets a chunk from the free lists. 1740 * u_free_line() returns a chunk to the free lists. 1741 * curbuf->b_m_search points to the chunk before the chunk that was 1742 * freed/allocated the last time. 1743 * curbuf->b_mb_current points to the b_head where curbuf->b_m_search 1744 * points into the free list. 1745 * 1746 * 1747 * b_block_head /---> block #1 /---> block #2 1748 * mb_next ---/ mb_next ---/ mb_next ---> NULL 1749 * mb_info mb_info mb_info 1750 * | | | 1751 * V V V 1752 * NULL free chunk #1.1 free chunk #2.1 1753 * | | 1754 * V V 1755 * free chunk #1.2 NULL 1756 * | 1757 * V 1758 * NULL 1759 * 1760 * When a single free chunk list would have been used, it could take a lot 1761 * of time in u_free_line() to find the correct place to insert a chunk in the 1762 * free list. The single free list would become very long when many lines are 1763 * changed (e.g. with :%s/^M$//). 1764 */ 1765 1766 /* 1767 * this blocksize is used when allocating new lines 1768 */ 1769 #define MEMBLOCKSIZE 2044 1770 1771 /* 1772 * The size field contains the size of the chunk, including the size field 1773 * itself. 1774 * 1775 * When the chunk is not in-use it is preceded with the m_info structure. 1776 * The m_next field links it in one of the free chunk lists. 1777 * 1778 * On most unix systems structures have to be longword (32 or 64 bit) aligned. 1779 * On most other systems they are short (16 bit) aligned. 1780 */ 1781 1782 /* the structure definitions are now in structs.h */ 1783 1784 #ifdef ALIGN_LONG 1785 /* size of m_size */ 1786 # define M_OFFSET (sizeof(long_u)) 1787 #else 1788 /* size of m_size */ 1789 # define M_OFFSET (sizeof(short_u)) 1790 #endif 1791 1792 static char_u *u_blockalloc __ARGS((long_u)); 1793 1794 /* 1795 * Allocate a block of memory and link it in the allocated block list. 1796 */ 1797 static char_u * 1798 u_blockalloc(size) 1799 long_u size; 1800 { 1801 mblock_T *p; 1802 mblock_T *mp, *next; 1803 1804 p = (mblock_T *)lalloc(size + sizeof(mblock_T), FALSE); 1805 if (p != NULL) 1806 { 1807 /* Insert the block into the allocated block list, keeping it 1808 sorted on address. */ 1809 for (mp = &curbuf->b_block_head; 1810 (next = mp->mb_next) != NULL && next < p; 1811 mp = next) 1812 ; 1813 p->mb_next = next; /* link in block list */ 1814 p->mb_size = size; 1815 p->mb_maxsize = 0; /* nothing free yet */ 1816 mp->mb_next = p; 1817 p->mb_info.m_next = NULL; /* clear free list */ 1818 p->mb_info.m_size = 0; 1819 curbuf->b_mb_current = p; /* remember current block */ 1820 curbuf->b_m_search = NULL; 1821 p++; /* return usable memory */ 1822 } 1823 return (char_u *)p; 1824 } 1825 1826 /* 1827 * free all allocated memory blocks for the buffer 'buf' 1828 */ 1829 void 1830 u_blockfree(buf) 1831 buf_T *buf; 1832 { 1833 mblock_T *p, *np; 1834 1835 for (p = buf->b_block_head.mb_next; p != NULL; p = np) 1836 { 1837 np = p->mb_next; 1838 vim_free(p); 1839 } 1840 buf->b_block_head.mb_next = NULL; 1841 buf->b_m_search = NULL; 1842 buf->b_mb_current = NULL; 1843 } 1844 1845 /* 1846 * Free a chunk of memory for the current buffer. 1847 * Insert the chunk into the correct free list, keeping it sorted on address. 1848 */ 1849 static void 1850 u_free_line(ptr, keep) 1851 char_u *ptr; 1852 int keep; /* don't free the block when it's empty */ 1853 { 1854 minfo_T *next; 1855 minfo_T *prev, *curr; 1856 minfo_T *mp; 1857 mblock_T *nextb; 1858 mblock_T *prevb; 1859 long_u maxsize; 1860 1861 if (ptr == NULL || ptr == IObuff) 1862 return; /* illegal address can happen in out-of-memory situations */ 1863 1864 mp = (minfo_T *)(ptr - M_OFFSET); 1865 1866 /* find block where chunk could be a part off */ 1867 /* if we change curbuf->b_mb_current, curbuf->b_m_search is set to NULL */ 1868 if (curbuf->b_mb_current == NULL || mp < (minfo_T *)curbuf->b_mb_current) 1869 { 1870 curbuf->b_mb_current = curbuf->b_block_head.mb_next; 1871 curbuf->b_m_search = NULL; 1872 } 1873 if ((nextb = curbuf->b_mb_current->mb_next) != NULL 1874 && (minfo_T *)nextb < mp) 1875 { 1876 curbuf->b_mb_current = nextb; 1877 curbuf->b_m_search = NULL; 1878 } 1879 while ((nextb = curbuf->b_mb_current->mb_next) != NULL 1880 && (minfo_T *)nextb < mp) 1881 curbuf->b_mb_current = nextb; 1882 1883 curr = NULL; 1884 /* 1885 * If mp is smaller than curbuf->b_m_search->m_next go to the start of 1886 * the free list 1887 */ 1888 if (curbuf->b_m_search == NULL || mp < (curbuf->b_m_search->m_next)) 1889 next = &(curbuf->b_mb_current->mb_info); 1890 else 1891 next = curbuf->b_m_search; 1892 /* 1893 * The following loop is executed very often. 1894 * Therefore it has been optimized at the cost of readability. 1895 * Keep it fast! 1896 */ 1897 #ifdef SLOW_BUT_EASY_TO_READ 1898 do 1899 { 1900 prev = curr; 1901 curr = next; 1902 next = next->m_next; 1903 } 1904 while (mp > next && next != NULL); 1905 #else 1906 do /* first, middle, last */ 1907 { 1908 prev = next->m_next; /* curr, next, prev */ 1909 if (prev == NULL || mp <= prev) 1910 { 1911 prev = curr; 1912 curr = next; 1913 next = next->m_next; 1914 break; 1915 } 1916 curr = prev->m_next; /* next, prev, curr */ 1917 if (curr == NULL || mp <= curr) 1918 { 1919 prev = next; 1920 curr = prev->m_next; 1921 next = curr->m_next; 1922 break; 1923 } 1924 next = curr->m_next; /* prev, curr, next */ 1925 } 1926 while (mp > next && next != NULL); 1927 #endif 1928 1929 /* if *mp and *next are concatenated, join them into one chunk */ 1930 if ((char_u *)mp + mp->m_size == (char_u *)next) 1931 { 1932 mp->m_size += next->m_size; 1933 mp->m_next = next->m_next; 1934 } 1935 else 1936 mp->m_next = next; 1937 maxsize = mp->m_size; 1938 1939 /* if *curr and *mp are concatenated, join them */ 1940 if (prev != NULL && (char_u *)curr + curr->m_size == (char_u *)mp) 1941 { 1942 curr->m_size += mp->m_size; 1943 maxsize = curr->m_size; 1944 curr->m_next = mp->m_next; 1945 curbuf->b_m_search = prev; 1946 } 1947 else 1948 { 1949 curr->m_next = mp; 1950 curbuf->b_m_search = curr; /* put curbuf->b_m_search before freed 1951 chunk */ 1952 } 1953 1954 /* 1955 * If the block only containes free memory now, release it. 1956 */ 1957 if (!keep && curbuf->b_mb_current->mb_size 1958 == curbuf->b_mb_current->mb_info.m_next->m_size) 1959 { 1960 /* Find the block before the current one to be able to unlink it from 1961 * the list of blocks. */ 1962 prevb = &curbuf->b_block_head; 1963 for (nextb = prevb->mb_next; nextb != curbuf->b_mb_current; 1964 nextb = nextb->mb_next) 1965 prevb = nextb; 1966 prevb->mb_next = nextb->mb_next; 1967 vim_free(nextb); 1968 curbuf->b_mb_current = NULL; 1969 curbuf->b_m_search = NULL; 1970 } 1971 else if (curbuf->b_mb_current->mb_maxsize < maxsize) 1972 curbuf->b_mb_current->mb_maxsize = maxsize; 1973 } 1974 1975 /* 1976 * Allocate and initialize a new line structure with room for at least 1977 * 'size' characters plus a terminating NUL. 1978 */ 1979 static char_u * 1980 u_alloc_line(size) 1981 unsigned size; 1982 { 1983 minfo_T *mp, *mprev, *mp2; 1984 mblock_T *mbp; 1985 int size_align; 1986 1987 /* 1988 * Add room for size field and trailing NUL byte. 1989 * Adjust for minimal size (must be able to store minfo_T 1990 * plus a trailing NUL, so the chunk can be released again) 1991 */ 1992 size += M_OFFSET + 1; 1993 if (size < sizeof(minfo_T) + 1) 1994 size = sizeof(minfo_T) + 1; 1995 1996 /* 1997 * round size up for alignment 1998 */ 1999 size_align = (size + ALIGN_MASK) & ~ALIGN_MASK; 2000 2001 /* 2002 * If curbuf->b_m_search is NULL (uninitialized free list) start at 2003 * curbuf->b_block_head 2004 */ 2005 if (curbuf->b_mb_current == NULL || curbuf->b_m_search == NULL) 2006 { 2007 curbuf->b_mb_current = &curbuf->b_block_head; 2008 curbuf->b_m_search = &(curbuf->b_block_head.mb_info); 2009 } 2010 2011 /* Search for a block with enough space. */ 2012 mbp = curbuf->b_mb_current; 2013 while (mbp->mb_maxsize < size_align) 2014 { 2015 if (mbp->mb_next != NULL) 2016 mbp = mbp->mb_next; 2017 else 2018 mbp = &curbuf->b_block_head; 2019 if (mbp == curbuf->b_mb_current) 2020 { 2021 int n = (size_align > (MEMBLOCKSIZE / 4) 2022 ? size_align : MEMBLOCKSIZE); 2023 2024 /* Back where we started in block list: need to add a new block 2025 * with enough space. */ 2026 mp = (minfo_T *)u_blockalloc((long_u)n); 2027 if (mp == NULL) 2028 return (NULL); 2029 mp->m_size = n; 2030 u_free_line((char_u *)mp + M_OFFSET, TRUE); 2031 mbp = curbuf->b_mb_current; 2032 break; 2033 } 2034 } 2035 if (mbp != curbuf->b_mb_current) 2036 curbuf->b_m_search = &(mbp->mb_info); 2037 2038 /* In this block find a chunk with enough space. */ 2039 mprev = curbuf->b_m_search; 2040 mp = curbuf->b_m_search->m_next; 2041 for (;;) 2042 { 2043 if (mp == NULL) /* at end of the list */ 2044 mp = &(mbp->mb_info); /* wrap around to begin */ 2045 if (mp->m_size >= size) 2046 break; 2047 if (mp == curbuf->b_m_search) 2048 { 2049 /* back where we started in free chunk list: "cannot happen" */ 2050 EMSG2(_(e_intern2), "u_alloc_line()"); 2051 return NULL; 2052 } 2053 mprev = mp; 2054 mp = mp->m_next; 2055 } 2056 2057 /* when using the largest chunk adjust mb_maxsize */ 2058 if (mp->m_size >= mbp->mb_maxsize) 2059 mbp->mb_maxsize = 0; 2060 2061 /* if the chunk we found is large enough, split it up in two */ 2062 if ((long)mp->m_size - size_align >= (long)(sizeof(minfo_T) + 1)) 2063 { 2064 mp2 = (minfo_T *)((char_u *)mp + size_align); 2065 mp2->m_size = mp->m_size - size_align; 2066 mp2->m_next = mp->m_next; 2067 mprev->m_next = mp2; 2068 mp->m_size = size_align; 2069 } 2070 else /* remove *mp from the free list */ 2071 { 2072 mprev->m_next = mp->m_next; 2073 } 2074 curbuf->b_m_search = mprev; 2075 curbuf->b_mb_current = mbp; 2076 2077 /* If using the largest chunk need to find the new largest chunk */ 2078 if (mbp->mb_maxsize == 0) 2079 for (mp2 = &(mbp->mb_info); mp2 != NULL; mp2 = mp2->m_next) 2080 if (mbp->mb_maxsize < mp2->m_size) 2081 mbp->mb_maxsize = mp2->m_size; 2082 2083 mp = (minfo_T *)((char_u *)mp + M_OFFSET); 2084 *(char_u *)mp = NUL; /* set the first byte to NUL */ 2085 2086 return ((char_u *)mp); 2087 } 2088 #endif 2089 2090 /* 2091 * u_save_line(): allocate memory with u_alloc_line() and copy line 'lnum' 2092 * into it. 2093 */ 2094 static char_u * 2095 u_save_line(lnum) 2096 linenr_T lnum; 2097 { 2098 char_u *src; 2099 char_u *dst; 2100 unsigned len; 2101 2102 src = ml_get(lnum); 2103 len = (unsigned)STRLEN(src); 2104 if ((dst = U_ALLOC_LINE(len)) != NULL) 2105 mch_memmove(dst, src, (size_t)(len + 1)); 2106 return (dst); 2107 } 2108 2109 /* 2110 * Check if the 'modified' flag is set, or 'ff' has changed (only need to 2111 * check the first character, because it can only be "dos", "unix" or "mac"). 2112 * "nofile" and "scratch" type buffers are considered to always be unchanged. 2113 */ 2114 int 2115 bufIsChanged(buf) 2116 buf_T *buf; 2117 { 2118 return 2119 #ifdef FEAT_QUICKFIX 2120 !bt_dontwrite(buf) && 2121 #endif 2122 (buf->b_changed || file_ff_differs(buf)); 2123 } 2124 2125 int 2126 curbufIsChanged() 2127 { 2128 return 2129 #ifdef FEAT_QUICKFIX 2130 !bt_dontwrite(curbuf) && 2131 #endif 2132 (curbuf->b_changed || file_ff_differs(curbuf)); 2133 } 2134