public void shutdown() { timer.cancel(); if (observer != null && !observer.isDestroyed()) { observer.destroy(); } }
public synchronized void destroy() { if (graphObserver != null) { graphObserver.destroy(); graphObserver = null; } if (nodesTableObserver != null) { nodesTableObserver.destroy(); nodesTableObserver = null; } if (edgesTableObserver != null) { edgesTableObserver.destroy(); edgesTableObserver = null; } for (ColumnObserver columnObserver : columnObservers) { columnObserver.destroy(); } columnObservers.clear(); }
public void destroy() { stop(); if (!graphObserver.isDestroyed()) { graphObserver.destroy(); } if (columnObserver != null && !columnObserver.isDestroyed()) { columnObserver.destroy(); } } }
private boolean initObserver() { if (observer == null || observer.isDestroyed() || observer.getGraph().getView() != graphModel.getVisibleView()) { if (observer != null && !observer.isDestroyed()) { observer.destroy(); } observer = graphModel.createGraphObserver(graphModel.getGraphVisible(), false); return true; } return false; }
if (observer != null && (graphModel == null || observer.getGraph() != graph)) { if (!observer.isDestroyed()) { observer.destroy();
observer.destroy();