comparison src/buffer.c @ 3693:3b847cba6d71

[xemacs-hg @ 2006-11-22 02:20:20 by stephent] Update buffer-file-truename with buffer-file-name in info.el. Document invariant. <874pssmen5.fsf@uwakimon.sk.tsukuba.ac.jp>
author stephent
date Wed, 22 Nov 2006 02:20:34 +0000
parents d674024a8674
children 229bd619740a
comparison
equal deleted inserted replaced
3692:e8f894dc0700 3693:3b847cba6d71
2633 */ ); 2633 */ );
2634 2634
2635 DEFVAR_BUFFER_LOCAL ("buffer-file-name", filename /* 2635 DEFVAR_BUFFER_LOCAL ("buffer-file-name", filename /*
2636 Name of file visited in current buffer, or nil if not visiting a file. 2636 Name of file visited in current buffer, or nil if not visiting a file.
2637 Each buffer has its own value of this variable. 2637 Each buffer has its own value of this variable.
2638 Code that changes this variable must maintain the invariant
2639 `(equal buffer-file-truename (file-truename buffer-file-name))'.
2638 */ ); 2640 */ );
2639 2641
2640 #if 0 /* FSFmacs */ 2642 #if 0 /* FSFmacs */
2641 /* 2643 /*
2642 Abbreviated truename of file visited in current buffer, or nil if none. 2644 Abbreviated truename of file visited in current buffer, or nil if none.
2645 Each buffer has its own value of this variable. 2647 Each buffer has its own value of this variable.
2646 */ 2648 */
2647 #endif /* FSFmacs */ 2649 #endif /* FSFmacs */
2648 2650
2649 DEFVAR_BUFFER_LOCAL ("buffer-file-truename", file_truename /* 2651 DEFVAR_BUFFER_LOCAL ("buffer-file-truename", file_truename /*
2650 The real name of the file visited in the current buffer, 2652 The real name of the file visited in the current buffer, or nil if not
2651 or nil if not visiting a file. This is the result of passing 2653 visiting a file. This is the result of passing `buffer-file-name' to the
2652 buffer-file-name to the `file-truename' function. Every buffer has 2654 `file-truename' function. Every buffer has its own value of this variable.
2653 its own value of this variable. This variable is automatically 2655 Code that changes the file name associated with a buffer maintains the
2654 maintained by the functions that change the file name associated 2656 invariant `(equal buffer-file-truename (file-truename buffer-file-name))'.
2655 with a buffer.
2656 */ ); 2657 */ );
2657 2658
2658 DEFVAR_BUFFER_LOCAL ("buffer-auto-save-file-name", auto_save_file_name /* 2659 DEFVAR_BUFFER_LOCAL ("buffer-auto-save-file-name", auto_save_file_name /*
2659 Name of file for auto-saving current buffer, 2660 Name of file for auto-saving current buffer,
2660 or nil if buffer should not be auto-saved. 2661 or nil if buffer should not be auto-saved.