cfde30b7585c4e5623cc959ee353026631ab82ce
[bpt/emacs.git] / lisp / cedet / semantic / db.el
1 ;;; semantic/db.el --- Semantic tag database manager
2
3 ;; Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
4 ;; 2009 Free Software Foundation, Inc.
5
6 ;; Author: Eric M. Ludlam <zappo@gnu.org>
7 ;; Keywords: tags
8
9 ;; This file is part of GNU Emacs.
10
11 ;; GNU Emacs is free software: you can redistribute it and/or modify
12 ;; it under the terms of the GNU General Public License as published by
13 ;; the Free Software Foundation, either version 3 of the License, or
14 ;; (at your option) any later version.
15
16 ;; GNU Emacs is distributed in the hope that it will be useful,
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 ;; GNU General Public License for more details.
20
21 ;; You should have received a copy of the GNU General Public License
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
23
24 ;;; Commentary:
25 ;;
26 ;; Maintain a database of tags for a group of files and enable
27 ;; queries into the database.
28 ;;
29 ;; By default, assume one database per directory.
30 ;;
31
32 ;;; Code:
33
34 (require 'eieio-base)
35 (require 'semantic)
36
37 (declare-function semantic-lex-spp-save-table "semantic/lex-spp")
38
39 ;;; Variables:
40 (defgroup semanticdb nil
41 "Parser Generator Persistent Database interface."
42 :group 'semantic)
43
44 (defvar semanticdb-database-list nil
45 "List of all active databases.")
46
47 (defvar semanticdb-new-database-class 'semanticdb-project-database-file
48 "The default type of database created for new files.
49 This can be changed on a per file basis, so that some directories
50 are saved using one mechanism, and some directories via a different
51 mechanism.")
52 (make-variable-buffer-local 'semanticdb-new-database-class)
53
54 (defvar semanticdb-default-find-index-class 'semanticdb-find-search-index
55 "The default type of search index to use for a `semanticdb-table's.
56 This can be changed to try out new types of search indices.")
57 (make-variable-buffer-local 'semanticdb-default-find=index-class)
58
59 ;;;###autoload
60 (defvar semanticdb-current-database nil
61 "For a given buffer, this is the currently active database.")
62 (make-variable-buffer-local 'semanticdb-current-database)
63
64 ;;;###autoload
65 (defvar semanticdb-current-table nil
66 "For a given buffer, this is the currently active database table.")
67 (make-variable-buffer-local 'semanticdb-current-table)
68
69 ;;; ABSTRACT CLASSES
70 ;;
71 (defclass semanticdb-abstract-table ()
72 ((parent-db ;; :initarg :parent-db
73 ;; Do not set an initarg, or you get circular writes to disk.
74 :documentation "Database Object containing this table.")
75 (major-mode :initarg :major-mode
76 :initform nil
77 :documentation "Major mode this table belongs to.
78 Sometimes it is important for a program to know if a given table has the
79 same major mode as the current buffer.")
80 (tags :initarg :tags
81 :accessor semanticdb-get-tags
82 :printer semantic-tag-write-list-slot-value
83 :documentation "The tags belonging to this table.")
84 (index :type semanticdb-abstract-search-index
85 :documentation "The search index.
86 Used by semanticdb-find to store additional information about
87 this table for searching purposes.
88
89 Note: This index will not be saved in a persistent file.")
90 (cache :type list
91 :initform nil
92 :documentation "List of cache information for tools.
93 Any particular tool can cache data to a database at runtime
94 with `semanticdb-cache-get'.
95
96 Using a semanticdb cache does not save any information to a file,
97 so your cache will need to be recalculated at runtime. Caches can be
98 referenced even when the file is not in a buffer.
99
100 Note: This index will not be saved in a persistent file.")
101 )
102 "A simple table for semantic tags.
103 This table is the root of tables, and contains the minimum needed
104 for a new table not associated with a buffer."
105 :abstract t)
106
107 (defmethod semanticdb-in-buffer-p ((obj semanticdb-abstract-table))
108 "Return a nil, meaning abstract table OBJ is not in a buffer."
109 nil)
110
111 (defmethod semanticdb-get-buffer ((obj semanticdb-abstract-table))
112 "Return a buffer associated with OBJ.
113 If the buffer is not in memory, load it with `find-file-noselect'."
114 nil)
115
116 (defmethod semanticdb-full-filename ((obj semanticdb-abstract-table))
117 "Fetch the full filename that OBJ refers to.
118 Abstract tables do not have file names associated with them."
119 nil)
120
121 (defmethod semanticdb-dirty-p ((obj semanticdb-abstract-table))
122 "Return non-nil if OBJ is 'dirty'."
123 nil)
124
125 (defmethod semanticdb-set-dirty ((obj semanticdb-abstract-table))
126 "Mark the abstract table OBJ dirty.
127 Abstract tables can not be marked dirty, as there is nothing
128 for them to synchronize against."
129 ;; The abstract table can not be dirty.
130 nil)
131
132 (defmethod semanticdb-normalize-tags ((obj semanticdb-abstract-table) tags)
133 "For the table OBJ, convert a list of TAGS, into standardized form.
134 The default is to return TAGS.
135 Some databases may default to searching and providing simplified tags
136 based on whichever technique used. This method provides a hook for
137 them to convert TAG into a more complete form."
138 tags)
139
140 (defmethod semanticdb-normalize-one-tag ((obj semanticdb-abstract-table) tag)
141 "For the table OBJ, convert a TAG, into standardized form.
142 This method returns a list of the form (DATABASE . NEWTAG).
143
144 The default is to just return (OBJ TAG).
145
146 Some databases may default to searching and providing simplified tags
147 based on whichever technique used. This method provides a hook for
148 them to convert TAG into a more complete form."
149 (cons obj tag))
150
151 (defmethod object-print ((obj semanticdb-abstract-table) &rest strings)
152 "Pretty printer extension for `semanticdb-table'.
153 Adds the number of tags in this file to the object print name."
154 (apply 'call-next-method obj
155 (cons (format " (%d tags)"
156 (length (semanticdb-get-tags obj))
157 )
158 strings)))
159
160 ;;; Index Cache
161 ;;
162 (defclass semanticdb-abstract-search-index ()
163 ((table :initarg :table
164 :type semanticdb-abstract-table
165 :documentation "XRef to the table this belongs to.")
166 )
167 "A place where semanticdb-find can store search index information.
168 The search index will store data about which other tables might be
169 needed, or perhaps create hash or index tables for the current buffer."
170 :abstract t)
171
172 (defmethod semanticdb-get-table-index ((obj semanticdb-abstract-table))
173 "Return the search index for the table OBJ.
174 If one doesn't exist, create it."
175 (if (slot-boundp obj 'index)
176 (oref obj index)
177 (let ((idx nil))
178 (setq idx (funcall semanticdb-default-find-index-class
179 (concat (object-name obj) " index")
180 ;; Fill in the defaults
181 :table obj
182 ))
183 (oset obj index idx)
184 idx)))
185
186 (defmethod semanticdb-synchronize ((idx semanticdb-abstract-search-index)
187 new-tags)
188 "Synchronize the search index IDX with some NEW-TAGS."
189 ;; The abstract class will do... NOTHING!
190 )
191
192 (defmethod semanticdb-partial-synchronize ((idx semanticdb-abstract-search-index)
193 new-tags)
194 "Synchronize the search index IDX with some changed NEW-TAGS."
195 ;; The abstract class will do... NOTHING!
196 )
197
198
199 ;;; SEARCH RESULTS TABLE
200 ;;
201 ;; Needed for system databases that may not provide
202 ;; a semanticdb-table associated with a file.
203 ;;
204 (defclass semanticdb-search-results-table (semanticdb-abstract-table)
205 (
206 )
207 "Table used for search results when there is no file or table association.
208 Examples include search results from external sources such as from
209 Emacs' own symbol table, or from external libraries.")
210
211 (defmethod semanticdb-refresh-table ((obj semanticdb-search-results-table) &optional force)
212 "If the tag list associated with OBJ is loaded, refresh it.
213 This will call `semantic-fetch-tags' if that file is in memory."
214 nil)
215
216 ;;; CONCRETE TABLE CLASSES
217 ;;
218 (defclass semanticdb-table (semanticdb-abstract-table)
219 ((file :initarg :file
220 :documentation "File name relative to the parent database.
221 This is for the file whose tags are stored in this TABLE object.")
222 (buffer :initform nil
223 :documentation "The buffer associated with this table.
224 If nil, the table's buffer is no in Emacs. If it has a value, then
225 it is in Emacs.")
226 (dirty :initform nil
227 :documentation
228 "Non nil if this table needs to be `Saved'.")
229 (db-refs :initform nil
230 :documentation
231 "List of `semanticdb-table' objects refering to this one.
232 These aren't saved, but are instead recalculated after load.
233 See the file semanticdb-ref.el for how this slot is used.")
234 (pointmax :initarg :pointmax
235 :initform nil
236 :documentation "Size of buffer when written to disk.
237 Checked on retrieval to make sure the file is the same.")
238 (fsize :initarg :fsize
239 :initform nil
240 :documentation "Size of the file when it was last referenced.
241 Checked when deciding if a loaded table needs updating from changes
242 outside of Semantic's control.")
243 (lastmodtime :initarg :lastmodtime
244 :initform nil
245 :documentation "Last modification time of the file referenced.
246 Checked when deciding if a loaded table needs updating from changes outside of
247 Semantic's control.")
248 ;; @todo - need to add `last parsed time', so we can also have
249 ;; refresh checks if spp tables or the parser gets rebuilt.
250 (unmatched-syntax :initarg :unmatched-syntax
251 :documentation
252 "List of vectors specifying unmatched syntax.")
253
254 (lexical-table :initarg :lexical-table
255 :initform nil
256 :printer semantic-lex-spp-table-write-slot-value
257 :documentation
258 "Table that might be needed by the lexical analyzer.
259 For C/C++, the C preprocessor macros can be saved here.")
260 )
261 "A single table of tags derived from file.")
262
263 (defmethod semanticdb-in-buffer-p ((obj semanticdb-table))
264 "Return a buffer associated with OBJ.
265 If the buffer is in memory, return that buffer."
266 (let ((buff (oref obj buffer)))
267 (if (buffer-live-p buff)
268 buff
269 (oset obj buffer nil))))
270
271 (defmethod semanticdb-get-buffer ((obj semanticdb-table))
272 "Return a buffer associated with OBJ.
273 If the buffer is in memory, return that buffer.
274 If the buffer is not in memory, load it with `find-file-noselect'."
275 (or (semanticdb-in-buffer-p obj)
276 ;; Save match data to protect against odd stuff in mode hooks.
277 (save-match-data
278 (find-file-noselect (semanticdb-full-filename obj) t))))
279
280 (defmethod semanticdb-set-buffer ((obj semanticdb-table))
281 "Set the current buffer to be a buffer owned by OBJ.
282 If OBJ's file is not loaded, read it in first."
283 (set-buffer (semanticdb-get-buffer obj)))
284
285 (defmethod semanticdb-full-filename ((obj semanticdb-table))
286 "Fetch the full filename that OBJ refers to."
287 (expand-file-name (oref obj file)
288 (oref (oref obj parent-db) reference-directory)))
289
290 (defmethod semanticdb-dirty-p ((obj semanticdb-table))
291 "Return non-nil if OBJ is 'dirty'."
292 (oref obj dirty))
293
294 (defmethod semanticdb-set-dirty ((obj semanticdb-table))
295 "Mark the abstract table OBJ dirty."
296 (oset obj dirty t)
297 )
298
299 (defmethod object-print ((obj semanticdb-table) &rest strings)
300 "Pretty printer extension for `semanticdb-table'.
301 Adds the number of tags in this file to the object print name."
302 (apply 'call-next-method obj
303 (cons (if (oref obj dirty) ", DIRTY" "") strings)))
304
305 ;;; DATABASE BASE CLASS
306 ;;
307 (defclass semanticdb-project-database (eieio-instance-tracker)
308 ((tracking-symbol :initform semanticdb-database-list)
309 (reference-directory :type string
310 :documentation "Directory this database refers to.
311 When a cache directory is specified, then this refers to the directory
312 this database contains symbols for.")
313 (new-table-class :initform semanticdb-table
314 :type class
315 :documentation
316 "New tables created for this database are of this class.")
317 (cache :type list
318 :initform nil
319 :documentation "List of cache information for tools.
320 Any particular tool can cache data to a database at runtime
321 with `semanticdb-cache-get'.
322
323 Using a semanticdb cache does not save any information to a file,
324 so your cache will need to be recalculated at runtime.
325
326 Note: This index will not be saved in a persistent file.")
327 (tables :initarg :tables
328 :type list
329 ;; Need this protection so apps don't try to access
330 ;; the tables without using the accessor.
331 :accessor semanticdb-get-database-tables
332 :protection :protected
333 :documentation "List of `semantic-db-table' objects."))
334 "Database of file tables.")
335
336 (defmethod semanticdb-full-filename ((obj semanticdb-project-database))
337 "Fetch the full filename that OBJ refers to.
338 Abstract tables do not have file names associated with them."
339 nil)
340
341 (defmethod semanticdb-dirty-p ((DB semanticdb-project-database))
342 "Return non-nil if DB is 'dirty'.
343 A database is dirty if the state of the database changed in a way
344 where it may need to resynchronize with some persistent storage."
345 (let ((dirty nil)
346 (tabs (oref DB tables)))
347 (while (and (not dirty) tabs)
348 (setq dirty (semanticdb-dirty-p (car tabs)))
349 (setq tabs (cdr tabs)))
350 dirty))
351
352 (defmethod object-print ((obj semanticdb-project-database) &rest strings)
353 "Pretty printer extension for `semanticdb-project-database'.
354 Adds the number of tables in this file to the object print name."
355 (apply 'call-next-method obj
356 (cons (format " (%d tables%s)"
357 (length (semanticdb-get-database-tables obj))
358 (if (semanticdb-dirty-p obj)
359 " DIRTY" "")
360 )
361 strings)))
362
363 (defmethod semanticdb-create-database :STATIC ((dbc semanticdb-project-database) directory)
364 "Create a new semantic database of class DBC for DIRECTORY and return it.
365 If a database for DIRECTORY has already been created, return it.
366 If DIRECTORY doesn't exist, create a new one."
367 (let ((db (semanticdb-directory-loaded-p directory)))
368 (unless db
369 (setq db (semanticdb-project-database
370 (file-name-nondirectory directory)
371 :tables nil))
372 ;; Set this up here. We can't put it in the constructor because it
373 ;; would be saved, and we want DB files to be portable.
374 (oset db reference-directory (file-truename directory)))
375 db))
376
377 (defmethod semanticdb-flush-database-tables ((db semanticdb-project-database))
378 "Reset the tables in DB to be empty."
379 (oset db tables nil))
380
381 (defmethod semanticdb-create-table ((db semanticdb-project-database) file)
382 "Create a new table in DB for FILE and return it.
383 The class of DB contains the class name for the type of table to create.
384 If the table for FILE exists, return it.
385 If the table for FILE does not exist, create one."
386 (let ((newtab (semanticdb-file-table db file)))
387 (unless newtab
388 ;; This implementation will satisfy autoloaded classes
389 ;; for tables.
390 (setq newtab (funcall (oref db new-table-class)
391 (file-name-nondirectory file)
392 :file (file-name-nondirectory file)
393 ))
394 (oset newtab parent-db db)
395 (object-add-to-list db 'tables newtab t))
396 newtab))
397
398 (defmethod semanticdb-file-table ((obj semanticdb-project-database) filename)
399 "From OBJ, return FILENAME's associated table object."
400 (object-assoc (file-relative-name (file-truename filename)
401 (oref obj reference-directory))
402 'file (oref obj tables)))
403
404 ;; DATABASE FUNCTIONS
405 (defun semanticdb-get-database (filename)
406 "Get a database for FILENAME.
407 If one isn't found, create one."
408 (semanticdb-create-database semanticdb-new-database-class (file-truename filename)))
409
410 (defun semanticdb-directory-loaded-p (path)
411 "Return the project belonging to PATH if it was already loaded."
412 (eieio-instance-tracker-find path 'reference-directory 'semanticdb-database-list))
413
414 (defun semanticdb-create-table-for-file (filename)
415 "Initialize a database table for FILENAME, and return it.
416 If FILENAME exists in the database already, return that.
417 If there is no database for the table to live in, create one."
418 (let ((cdb nil)
419 (tbl nil)
420 (dd (file-name-directory filename))
421 )
422 ;; Allow a database override function
423 (setq cdb (semanticdb-create-database semanticdb-new-database-class
424 dd))
425 ;; Get a table for this file.
426 (setq tbl (semanticdb-create-table cdb filename))
427
428 ;; Return the pair.
429 (cons cdb tbl)
430 ))
431
432 ;;; Cache Cache.
433 ;;
434 (defclass semanticdb-abstract-cache ()
435 ((table :initarg :table
436 :type semanticdb-abstract-table
437 :documentation
438 "Cross reference to the table this belongs to.")
439 )
440 "Abstract baseclass for tools to use to cache information in semanticdb.
441 Tools needing a per-file cache must subclass this, and then get one as
442 needed. Cache objects are identified in semanticdb by subclass.
443 In order to keep your cache up to date, be sure to implement
444 `semanticdb-synchronize', and `semanticdb-partial-synchronize'.
445 See the file semantic-scope.el for an example."
446 :abstract t)
447
448 (defmethod semanticdb-cache-get ((table semanticdb-abstract-table)
449 desired-class)
450 "Get a cache object on TABLE of class DESIRED-CLASS.
451 This method will create one if none exists with no init arguments
452 other than :table."
453 (assert (child-of-class-p desired-class 'semanticdb-abstract-cache))
454 (let ((cache (oref table cache))
455 (obj nil))
456 (while (and (not obj) cache)
457 (if (eq (object-class-fast (car cache)) desired-class)
458 (setq obj (car cache)))
459 (setq cache (cdr cache)))
460 (if obj
461 obj ;; Just return it.
462 ;; No object, lets create a new one and return that.
463 (setq obj (funcall desired-class "Cache" :table table))
464 (object-add-to-list table 'cache obj)
465 obj)))
466
467 (defmethod semanticdb-cache-remove ((table semanticdb-abstract-table)
468 cache)
469 "Remove from TABLE the cache object CACHE."
470 (object-remove-from-list table 'cache cache))
471
472 (defmethod semanticdb-synchronize ((cache semanticdb-abstract-cache)
473 new-tags)
474 "Synchronize a CACHE with some NEW-TAGS."
475 ;; The abstract class will do... NOTHING!
476 )
477
478 (defmethod semanticdb-partial-synchronize ((cache semanticdb-abstract-cache)
479 new-tags)
480 "Synchronize a CACHE with some changed NEW-TAGS."
481 ;; The abstract class will do... NOTHING!
482 )
483
484 (defclass semanticdb-abstract-db-cache ()
485 ((db :initarg :db
486 :type semanticdb-project-database
487 :documentation
488 "Cross reference to the database this belongs to.")
489 )
490 "Abstract baseclass for tools to use to cache information in semanticdb.
491 Tools needing a database cache must subclass this, and then get one as
492 needed. Cache objects are identified in semanticdb by subclass.
493 In order to keep your cache up to date, be sure to implement
494 `semanticdb-synchronize', and `semanticdb-partial-synchronize'.
495 See the file semantic-scope.el for an example."
496 :abstract t)
497
498 (defmethod semanticdb-cache-get ((db semanticdb-project-database)
499 desired-class)
500 "Get a cache object on DB of class DESIRED-CLASS.
501 This method will create one if none exists with no init arguments
502 other than :table."
503 (assert (child-of-class-p desired-class 'semanticdb-abstract-db-cache))
504 (let ((cache (oref db cache))
505 (obj nil))
506 (while (and (not obj) cache)
507 (if (eq (object-class-fast (car cache)) desired-class)
508 (setq obj (car cache)))
509 (setq cache (cdr cache)))
510 (if obj
511 obj ;; Just return it.
512 ;; No object, lets create a new one and return that.
513 (setq obj (funcall desired-class "Cache" :db db))
514 (object-add-to-list db 'cache obj)
515 obj)))
516
517 (defmethod semanticdb-cache-remove ((db semanticdb-project-database)
518 cache)
519 "Remove from TABLE the cache object CACHE."
520 (object-remove-from-list db 'cache cache))
521
522
523 (defmethod semanticdb-synchronize ((cache semanticdb-abstract-db-cache)
524 new-tags)
525 "Synchronize a CACHE with some NEW-TAGS."
526 ;; The abstract class will do... NOTHING!
527 )
528
529 (defmethod semanticdb-partial-synchronize ((cache semanticdb-abstract-db-cache)
530 new-tags)
531 "Synchronize a CACHE with some changed NEW-TAGS."
532 ;; The abstract class will do... NOTHING!
533 )
534
535 ;;; REFRESH
536
537 (defmethod semanticdb-refresh-table ((obj semanticdb-table) &optional force)
538 "If the tag list associated with OBJ is loaded, refresh it.
539 Optional argument FORCE will force a refresh even if the file in question
540 is not in a buffer. Avoid using FORCE for most uses, as an old cache
541 may be sufficient for the general case. Forced updates can be slow.
542 This will call `semantic-fetch-tags' if that file is in memory."
543 (when (or (semanticdb-in-buffer-p obj) force)
544 (save-excursion
545 (semanticdb-set-buffer obj)
546 (semantic-fetch-tags))))
547
548 (defmethod semanticdb-needs-refresh-p ((obj semanticdb-table))
549 "Return non-nil of OBJ's tag list is out of date.
550 The file associated with OBJ does not need to be in a buffer."
551 (let* ((ff (semanticdb-full-filename obj))
552 (buff (semanticdb-in-buffer-p obj))
553 )
554 (if buff
555 (save-excursion
556 (set-buffer buff)
557 ;; Use semantic's magic tracker to determine of the buffer is up
558 ;; to date or not.
559 (not (semantic-parse-tree-up-to-date-p))
560 ;; We assume that semanticdb is keeping itself up to date.
561 ;; via all the clever hooks
562 )
563 ;; Buffer isn't loaded. The only clue we have is if the file
564 ;; is somehow different from our mark in the semanticdb table.
565 (let* ((stats (file-attributes ff))
566 (actualsize (nth 7 stats))
567 (actualmod (nth 5 stats))
568 )
569
570 (or (not (slot-boundp obj 'tags))
571 ;; (not (oref obj tags)) --> not needed anymore?
572 (/= (or (oref obj fsize) 0) actualsize)
573 (not (equal (oref obj lastmodtime) actualmod))
574 )
575 ))))
576
577 \f
578 ;;; Synchronization
579 ;;
580 (defmethod semanticdb-synchronize ((table semanticdb-abstract-table)
581 new-tags)
582 "Synchronize the table TABLE with some NEW-TAGS."
583 (oset table tags new-tags)
584 (oset table pointmax (point-max))
585 (let ((fattr (file-attributes (semanticdb-full-filename table))))
586 (oset table fsize (nth 7 fattr))
587 (oset table lastmodtime (nth 5 fattr))
588 )
589 ;; Assume it is now up to date.
590 (oset table unmatched-syntax semantic-unmatched-syntax-cache)
591 ;; The lexical table should be good too.
592 (when (featurep 'semantic/lex-spp)
593 (oset table lexical-table (semantic-lex-spp-save-table)))
594 ;; this implies dirtyness
595 (semanticdb-set-dirty table)
596
597 ;; Synchronize the index
598 (when (slot-boundp table 'index)
599 (let ((idx (oref table index)))
600 (when idx (semanticdb-synchronize idx new-tags))))
601
602 ;; Synchronize application caches.
603 (dolist (C (oref table cache))
604 (semanticdb-synchronize C new-tags)
605 )
606
607 ;; Update cross references
608 ;; (semanticdb-refresh-references table)
609 )
610
611 (defmethod semanticdb-partial-synchronize ((table semanticdb-abstract-table)
612 new-tags)
613 "Synchronize the table TABLE where some NEW-TAGS changed."
614 ;; You might think we need to reset the tags, but since the partial
615 ;; parser splices the lists, we don't need to do anything
616 ;;(oset table tags new-tags)
617 ;; We do need to mark ourselves dirty.
618 (semanticdb-set-dirty table)
619
620 ;; The lexical table may be modified.
621 (when (featurep 'semantic/lex-spp)
622 (oset table lexical-table (semantic-lex-spp-save-table)))
623
624 ;; Incremental parser doesn't mokey around with this.
625 (oset table unmatched-syntax semantic-unmatched-syntax-cache)
626
627 ;; Synchronize the index
628 (when (slot-boundp table 'index)
629 (let ((idx (oref table index)))
630 (when idx (semanticdb-partial-synchronize idx new-tags))))
631
632 ;; Synchronize application caches.
633 (dolist (C (oref table cache))
634 (semanticdb-synchronize C new-tags)
635 )
636
637 ;; Update cross references
638 ;;(when (semantic-find-tags-by-class 'include new-tags)
639 ;; (semanticdb-refresh-references table))
640 )
641
642 ;;; SAVE/LOAD
643 ;;
644 (defmethod semanticdb-save-db ((DB semanticdb-project-database)
645 &optional supress-questions)
646 "Cause a database to save itself.
647 The database base class does not save itself persistently.
648 Subclasses could save themselves to a file, or to a database, or other
649 form."
650 nil)
651
652 (defun semanticdb-save-current-db ()
653 "Save the current tag database."
654 (interactive)
655 (message "Saving current tag summaries...")
656 (semanticdb-save-db semanticdb-current-database)
657 (message "Saving current tag summaries...done"))
658
659 ;; This prevents Semanticdb from querying multiple times if the users
660 ;; answers "no" to creating the Semanticdb directory.
661 (defvar semanticdb--inhibit-create-file-directory)
662
663 (defun semanticdb-save-all-db ()
664 "Save all semantic tag databases."
665 (interactive)
666 (message "Saving tag summaries...")
667 (let ((semanticdb--inhibit-make-directory nil))
668 (mapc 'semanticdb-save-db semanticdb-database-list))
669 (message "Saving tag summaries...done"))
670
671 (defun semanticdb-save-all-db-idle ()
672 "Save all semantic tag databases from idle time.
673 Exit the save between databases if there is user input."
674 (semantic-safe "Auto-DB Save: %S"
675 (semantic-exit-on-input 'semanticdb-idle-save
676 (mapc (lambda (db)
677 (semantic-throw-on-input 'semanticdb-idle-save)
678 (semanticdb-save-db db t))
679 semanticdb-database-list))
680 ))
681
682 ;;; Directory Project support
683 ;;
684 (defvar semanticdb-project-predicate-functions nil
685 "List of predicates to try that indicate a directory belongs to a project.
686 This list is used when `semanticdb-persistent-path' contains the value
687 'project. If the predicate list is nil, then presume all paths are valid.
688
689 Project Management software (such as EDE and JDE) should add their own
690 predicates with `add-hook' to this variable, and semanticdb will save tag
691 caches in directories controlled by them.")
692
693 (defmethod semanticdb-write-directory-p ((obj semanticdb-project-database))
694 "Return non-nil if OBJ should be written to disk.
695 Uses `semanticdb-persistent-path' to determine the return value."
696 nil)
697
698 ;;; Utilities
699 ;;
700 ;; What is the current database, are two tables of an equivalent mode,
701 ;; and what databases are a part of the same project.
702 (defun semanticdb-current-database ()
703 "Return the currently active database."
704 (or semanticdb-current-database
705 (and default-directory
706 (semanticdb-create-database semanticdb-new-database-class
707 default-directory)
708 )
709 nil))
710
711 (defvar semanticdb-match-any-mode nil
712 "Non-nil to temporarily search any major mode for a tag.
713 If a particular major mode wants to search any mode, put the
714 `semantic-match-any-mode' symbol onto the symbol of that major mode.
715 Do not set the value of this variable permanently.")
716
717 (defmacro semanticdb-with-match-any-mode (&rest body)
718 "A Semanticdb search occurring withing BODY will search tags in all modes.
719 This temporarily sets `semanticdb-match-any-mode' while executing BODY."
720 `(let ((semanticdb-match-any-mode t))
721 ,@body))
722 (put 'semanticdb-with-match-any-mode 'lisp-indent-function 0)
723
724 (defmethod semanticdb-equivalent-mode-for-search (table &optional buffer)
725 "Return non-nil if TABLE's mode is equivalent to BUFFER.
726 See `semanticdb-equivalent-mode' for details.
727 This version is used during searches. Major-modes that opt
728 to set the `semantic-match-any-mode' property will be able to search
729 all files of any type."
730 (or (get major-mode 'semantic-match-any-mode)
731 semanticdb-match-any-mode
732 (semanticdb-equivalent-mode table buffer))
733 )
734
735 (defmethod semanticdb-equivalent-mode ((table semanticdb-abstract-table) &optional buffer)
736 "Return non-nil if TABLE's mode is equivalent to BUFFER.
737 Equivalent modes are specified by by `semantic-equivalent-major-modes'
738 local variable."
739 nil)
740
741 (defmethod semanticdb-equivalent-mode ((table semanticdb-table) &optional buffer)
742 "Return non-nil if TABLE's mode is equivalent to BUFFER.
743 Equivalent modes are specified by by `semantic-equivalent-major-modes'
744 local variable."
745 (save-excursion
746 (if buffer (set-buffer buffer))
747 (or
748 ;; nil major mode in table means we don't know yet. Assume yes for now?
749 (null (oref table major-mode))
750 ;; nil means the same as major-mode
751 (and (not semantic-equivalent-major-modes)
752 (mode-local-use-bindings-p major-mode (oref table major-mode)))
753 (and semantic-equivalent-major-modes
754 (member (oref table major-mode) semantic-equivalent-major-modes))
755 )
756 ))
757
758
759 ;;; Associations
760 ;;
761 ;; These routines determine associations between a file, and multiple
762 ;; associated databases.
763
764 (defcustom semanticdb-project-roots nil
765 "*List of directories, where each directory is the root of some project.
766 All subdirectories of a root project are considered a part of one project.
767 Values in this string can be overridden by project management programs
768 via the `semanticdb-project-root-functions' variable."
769 :group 'semanticdb
770 :type '(repeat string))
771
772 (defvar semanticdb-project-root-functions nil
773 "List of functions used to determine a given directories project root.
774 Functions in this variable can override `semanticdb-project-roots'.
775 Functions set in the variable are given one argument (a directory) and
776 must return a string, (the root directory) or a list of strings (multiple
777 root directories in a more complex system). This variable should be used
778 by project management programs like EDE or JDE.")
779
780 (defvar semanticdb-project-system-databases nil
781 "List of databases containing system library information.
782 Mode authors can create their own system databases which know
783 detailed information about the system libraries for querying purposes.
784 Put those into this variable as a buffer-local, or mode-local
785 value.")
786 (make-variable-buffer-local 'semanticdb-project-system-databases)
787
788 (defvar semanticdb-search-system-databases t
789 "Non nil if search routines are to include a system database.")
790
791 (defun semanticdb-current-database-list (&optional dir)
792 "Return a list of databases associated with the current buffer.
793 If optional argument DIR is non-nil, then use DIR as the starting directory.
794 If this buffer has a database, but doesn't have a project associated
795 with it, return nil.
796 First, it checks `semanticdb-project-root-functions', and if that
797 has no results, it checks `semanticdb-project-roots'. If that fails,
798 it returns the results of function `semanticdb-current-database'.
799 Always append `semanticdb-project-system-databases' if
800 `semanticdb-search-system' is non-nil."
801 (let ((root nil) ; found root directory
802 (dbs nil) ; collected databases
803 (roots semanticdb-project-roots) ;all user roots
804 (dir (file-truename (or dir default-directory)))
805 )
806 ;; Find the root based on project functions.
807 (setq root (run-hook-with-args-until-success
808 'semanticdb-project-root-functions
809 dir))
810 ;; Find roots based on strings
811 (while (and roots (not root))
812 (let ((r (file-truename (car roots))))
813 (if (string-match (concat "^" (regexp-quote r)) dir)
814 (setq root r)))
815 (setq roots (cdr roots)))
816
817 ;; If no roots are found, use this directory.
818 (unless root (setq root dir))
819
820 ;; Find databases based on the root directory.
821 (when root
822 ;; The rootlist allows the root functions to possibly
823 ;; return several roots which are in different areas but
824 ;; all apart of the same system.
825 (let ((regexp (concat "^" (regexp-quote root)))
826 (adb semanticdb-database-list) ; all databases
827 )
828 (while adb
829 ;; I don't like this part, but close enough.
830 (if (and (slot-boundp (car adb) 'reference-directory)
831 (string-match regexp (oref (car adb) reference-directory)))
832 (setq dbs (cons (car adb) dbs)))
833 (setq adb (cdr adb))))
834 )
835 ;; Add in system databases
836 (when semanticdb-search-system-databases
837 (setq dbs (nconc dbs semanticdb-project-system-databases)))
838 ;; Return
839 dbs))
840
841 \f
842 ;;; Generic Accessor Routines
843 ;;
844 ;; These routines can be used to get at tags in files w/out
845 ;; having to know a lot about semanticDB.
846 (defvar semanticdb-file-table-hash (make-hash-table :test 'equal)
847 "Hash table mapping file names to database tables.")
848
849 (defun semanticdb-file-table-object-from-hash (file)
850 "Retrieve a DB table from the hash for FILE.
851 Does not use `file-truename'."
852 (gethash file semanticdb-file-table-hash 'no-hit))
853
854 (defun semanticdb-file-table-object-put-hash (file dbtable)
855 "For FILE, associate DBTABLE in the hash table."
856 (puthash file dbtable semanticdb-file-table-hash))
857
858 ;;;###autoload
859 (defun semanticdb-file-table-object (file &optional dontload)
860 "Return a semanticdb table belonging to FILE, make it up to date.
861 If file has database tags available in the database, return it.
862 If file does not have tags available, and DONTLOAD is nil,
863 then load the tags for FILE, and create a new table object for it.
864 DONTLOAD does not affect the creation of new database objects."
865 ;; (message "Object Translate: %s" file)
866 (when (file-exists-p file)
867 (let* ((default-directory (file-name-directory file))
868 (tab (semanticdb-file-table-object-from-hash file))
869 (fullfile nil))
870
871 ;; If it is not in the cache, then extract the more traditional
872 ;; way by getting the database, and finding a table in that database.
873 ;; Once we have a table, add it to the hash.
874 (when (eq tab 'no-hit)
875 (setq fullfile (file-truename file))
876 (let ((db (or ;; This line will pick up system databases.
877 (semanticdb-directory-loaded-p default-directory)
878 ;; this line will make a new one if needed.
879 (semanticdb-get-database default-directory))))
880 (setq tab (semanticdb-file-table db fullfile))
881 (when tab
882 (semanticdb-file-table-object-put-hash file tab)
883 (when (not (string= fullfile file))
884 (semanticdb-file-table-object-put-hash fullfile tab)
885 ))
886 ))
887
888 (cond
889 ((and tab
890 ;; Is this in a buffer?
891 ;;(find-buffer-visiting (semanticdb-full-filename tab))
892 (semanticdb-in-buffer-p tab)
893 )
894 (save-excursion
895 ;;(set-buffer (find-buffer-visiting (semanticdb-full-filename tab)))
896 (semanticdb-set-buffer tab)
897 (semantic-fetch-tags)
898 ;; Return the table.
899 tab))
900 ((and tab dontload)
901 ;; If we have table, and we don't want to load it, just return it.
902 tab)
903 ((and tab
904 ;; Is table fully loaded, or just a proxy?
905 (number-or-marker-p (oref tab pointmax))
906 ;; Is this table up to date with the file?
907 (not (semanticdb-needs-refresh-p tab)))
908 ;; A-ok!
909 tab)
910 ((or (and fullfile (get-file-buffer fullfile))
911 (get-file-buffer file))
912 ;; are these two calls this faster than `find-buffer-visiting'?
913
914 ;; If FILE is being visited, but none of the above state is
915 ;; true (meaning, there is no table object associated with it)
916 ;; then it is a file not supported by Semantic, and can be safely
917 ;; ignored.
918 nil)
919 ((not dontload) ;; We must load the file.
920 ;; Full file should have been set by now. Debug why not?
921 (when (and (not tab) (not fullfile))
922 ;; This case is if a 'nil is erroneously put into the hash table. This
923 ;; would need fixing
924 (setq fullfile (file-truename file))
925 )
926
927 ;; If we have a table, but no fullfile, that's ok. Lets get the filename
928 ;; from the table which is pre-truenamed.
929 (when (and (not fullfile) tab)
930 (setq fullfile (semanticdb-full-filename tab)))
931
932 (setq tab (semanticdb-create-table-for-file-not-in-buffer fullfile))
933
934 ;; Save the new table.
935 (semanticdb-file-table-object-put-hash file tab)
936 (when (not (string= fullfile file))
937 (semanticdb-file-table-object-put-hash fullfile tab)
938 )
939 ;; Done!
940 tab)
941 (t
942 ;; Full file should have been set by now. Debug why not?
943 ;; One person found this. Is it a file that failed to parse
944 ;; in the past?
945 (when (not fullfile)
946 (setq fullfile (file-truename file)))
947
948 ;; We were asked not to load the file in and parse it.
949 ;; Instead just create a database table with no tags
950 ;; and a claim of being empty.
951 ;;
952 ;; This will give us a starting point for storing
953 ;; database cross-references so when it is loaded,
954 ;; the cross-references will fire and caches will
955 ;; be cleaned.
956 (let ((ans (semanticdb-create-table-for-file file)))
957 (setq tab (cdr ans))
958
959 ;; Save the new table.
960 (semanticdb-file-table-object-put-hash file tab)
961 (when (not (string= fullfile file))
962 (semanticdb-file-table-object-put-hash fullfile tab)
963 )
964 ;; Done!
965 tab))
966 )
967 )))
968
969 (defvar semanticdb-out-of-buffer-create-table-fcn nil
970 "When non-nil, a function for creating a semanticdb table.
971 This should take a filename to be parsed.")
972 (make-variable-buffer-local 'semanticdb-out-of-buffer-create-table-fcn)
973
974 (defun semanticdb-create-table-for-file-not-in-buffer (filename)
975 "Create a table for the file FILENAME.
976 If there are no language specific configurations, this
977 function will read in the buffer, parse it, and kill the buffer."
978 (if (and semanticdb-out-of-buffer-create-table-fcn
979 (not (file-remote-p filename)))
980 ;; Use external parser only of the file is accessible to the
981 ;; local file system.
982 (funcall semanticdb-out-of-buffer-create-table-fcn filename)
983 (save-excursion
984 (let* ( ;; Remember the buffer to kill
985 (kill-buffer-flag (find-buffer-visiting filename))
986 (buffer-to-kill (or kill-buffer-flag
987 (semantic-find-file-noselect filename t))))
988
989 ;; This shouldn't ever be set. Debug some issue here?
990 ;; (when kill-buffer-flag (debug))
991
992 (set-buffer buffer-to-kill)
993 ;; Find file should automatically do this for us.
994 ;; Sometimes the DB table doesn't contains tags and needs
995 ;; a refresh. For example, when the file is loaded for
996 ;; the first time, and the idle scheduler didn't get a
997 ;; chance to trigger a parse before the file buffer is
998 ;; killed.
999 (when semanticdb-current-table
1000 (semantic-fetch-tags))
1001 (prog1
1002 semanticdb-current-table
1003 (when (not kill-buffer-flag)
1004 ;; If we had to find the file, then we should kill it
1005 ;; to keep the master buffer list clean.
1006 (kill-buffer buffer-to-kill)
1007 )))))
1008 )
1009
1010 (defun semanticdb-file-stream (file)
1011 "Return a list of tags belonging to FILE.
1012 If file has database tags available in the database, return them.
1013 If file does not have tags available, then load the file, and create them."
1014 (let ((table (semanticdb-file-table-object file)))
1015 (when table
1016 (semanticdb-get-tags table))))
1017
1018 (provide 'semantic/db)
1019
1020 ;; Local variables:
1021 ;; generated-autoload-file: "loaddefs.el"
1022 ;; generated-autoload-feature: semantic/loaddefs
1023 ;; generated-autoload-load-name: "semantic/db"
1024 ;; End:
1025
1026 ;; arch-tag: d9f75280-737d-494f-9f70-09a649d27433
1027 ;;; semantic/db.el ends here