public Element writeXML(Document document, Workspace workspace) {
FilterModelImpl filterModel = workspace.getLookup().lookup(FilterModelImpl.class);
if (filterModel != null) {
Element filterModelE = filterModel.writeXML(document);
return filterModelE;
}
return null;
}
public void readXML(Element element, Workspace workspace) {
FilterModelImpl filterModel = new FilterModelImpl();
filterModel.readXML(element);
workspace.add(filterModel);
}
public FilterAutoRefreshor(FilterModelImpl filterModel, GraphModel graphModel) {
super("Filter Auto-Refresh - " + filterModel.getWorkspace().toString());
setDaemon(true);
this.graphModel = graphModel;
this.filterModel = filterModel;
}
public void manualRefresh() {
if (filterModel.getFilterThread() != null && filterModel.getCurrentQuery() != null) {
filterModel.getFilterThread().setRootQuery((AbstractQueryImpl) filterModel.getCurrentQuery());
}
}