public synchronized void initialize() { if (nodesTableObserver != null) { return; } nodesTableObserver = graphModel.getNodeTable().createTableObserver(true); edgesTableObserver = graphModel.getEdgeTable().createTableObserver(true); }
public TableChangeObserver(Workspace workspace) { timer = new Timer("AppearanceColumnObserver", true); nodeObserver = gc.getGraphModel(workspace).getNodeTable().createTableObserver(false); edgeObserver = gc.getGraphModel(workspace).getEdgeTable().createTableObserver(false); }
public synchronized void initialize() { if (graphObserver != null) { return; } graphObserver = graphModel.createGraphObserver(graphModel.getGraph(), false); nodesTableObserver = graphModel.getNodeTable().createTableObserver(true); edgesTableObserver = graphModel.getEdgeTable().createTableObserver(true); for (Column column : graphModel.getNodeTable()) { createColumnObserver(column); } for (Column column : graphModel.getEdgeTable()) { createColumnObserver(column); } workspace.add(new LatestVisibleView(graphModel.getVisibleView())); }