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