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);
 }
Пример #3
0
 public FilterAutoRefreshor(FilterModelImpl filterModel, GraphModel graphModel) {
   super("Filter Auto-Refresh - " + filterModel.getWorkspace().toString());
   setDaemon(true);
   this.graphModel = graphModel;
   this.filterModel = filterModel;
 }
Пример #4
0
 public void manualRefresh() {
   if (filterModel.getFilterThread() != null && filterModel.getCurrentQuery() != null) {
     filterModel.getFilterThread().setRootQuery((AbstractQueryImpl) filterModel.getCurrentQuery());
   }
 }