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