gvsig-tools / org.gvsig.tools / library / trunk / org.gvsig.tools / org.gvsig.tools.lib / src / main / java / org / gvsig / tools / bookmarksandhistory / BookmarksAndHistoryManager.java @ 2240
History | View | Annotate | Download (1.07 KB)
1 |
package org.gvsig.tools.bookmarksandhistory; |
---|---|
2 |
|
3 |
import java.util.Collection; |
4 |
import org.gvsig.tools.resourcesstorage.ResourcesStorage; |
5 |
|
6 |
/**
|
7 |
*
|
8 |
* @author jjdelcerro
|
9 |
*/
|
10 |
|
11 |
public interface BookmarksAndHistoryManager { |
12 |
|
13 |
public Collection<String> getBookmarkNames(); |
14 |
|
15 |
public Collection<String> getHistoryNames(); |
16 |
|
17 |
public boolean existsBookmarksGroup(String name); |
18 |
|
19 |
public boolean existsBookmarksHistory(String name); |
20 |
|
21 |
public Bookmarks<Object> getBookmarksGroup(String name); |
22 |
|
23 |
public History<Object> getHistoryGroup(String name); |
24 |
|
25 |
public ResourcesStorage getPrimaryStorage();
|
26 |
|
27 |
public ResourcesStorage getSecondaryStorage();
|
28 |
|
29 |
public void load(); |
30 |
|
31 |
public void registerBookmarksGroup(String name, Bookmarks<Object> bookmarks); |
32 |
|
33 |
public void registerBookmarksGroup(String name); |
34 |
|
35 |
public void registerHistoryGroup(String name, History<Object> history); |
36 |
|
37 |
public void registerHistoryGroup(String name, int size); |
38 |
|
39 |
public void save(); |
40 |
|
41 |
public void setPrimaryStorage(ResourcesStorage primaryStorage); |
42 |
|
43 |
public void setSecondaryStorage(ResourcesStorage secondaryStorage); |
44 |
|
45 |
} |