public void shutdown() { timer.cancel(); if (observer != null && !observer.isDestroyed()) { observer.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; }
public void destroy() { stop(); if (!graphObserver.isDestroyed()) { graphObserver.destroy(); } if (columnObserver != null && !columnObserver.isDestroyed()) { columnObserver.destroy(); } } }
if (!observer.isDestroyed()) { observer.destroy();
if (visibleViewChanged || (observer != null && observer.isDestroyed())) { if (observer != null && !observer.isDestroyed()) { observer.destroy();