public class NoticeManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static Debug |
_debug |
private java.util.Map<SystemObject,Notice> |
_noticeMap |
private java.util.prefs.Preferences |
_preferences |
private java.text.SimpleDateFormat |
_simpleDateFormat |
Constructor and Description |
---|
NoticeManager(java.util.prefs.Preferences preferences,
ObjectLookup dataModel) |
Modifier and Type | Method and Description |
---|---|
void |
clear() |
void |
exportToFile(java.io.File file) |
Notice |
getNotice(SystemObject object) |
java.util.Collection<SystemObject> |
getObjectsWithNotice() |
boolean |
hasNotice(SystemObject systemObject) |
private void |
saveNode(SystemObject systemObject) |
boolean |
setNotice(SystemObject systemObject,
java.lang.String text) |
private final java.util.Map<SystemObject,Notice> _noticeMap
private final java.util.prefs.Preferences _preferences
private static final Debug _debug
private java.text.SimpleDateFormat _simpleDateFormat
public NoticeManager(java.util.prefs.Preferences preferences, ObjectLookup dataModel)
public boolean setNotice(SystemObject systemObject, java.lang.String text)
private void saveNode(SystemObject systemObject)
public java.util.Collection<SystemObject> getObjectsWithNotice()
public Notice getNotice(SystemObject object)
public boolean hasNotice(SystemObject systemObject)
public void exportToFile(java.io.File file) throws java.io.IOException
java.io.IOException
public void clear()