public int getSemanticZoomLevel() { return m_graphContainer.getSemanticZoomLevel(); }
public int getSemanticZoomLevel() { return m_graphContainer.getSemanticZoomLevel(); }
@Override public void graphChanged(GraphContainer graphContainer) { setSemanticZoomLevelLabel(graphContainer.getSemanticZoomLevel()); handleSaveButton(graphContainer); handleLayerButton(graphContainer); }
@Override public void graphChanged(GraphContainer graphContainer) { setSemanticZoomLevelLabel(graphContainer.getSemanticZoomLevel()); handleSaveButton(graphContainer); handleLayerButton(graphContainer); }
public static SemanticZoomLevelCriteria getSemanticZoomLevelCriteriaForContainer(GraphContainer graphContainer) { Criteria[] criteria = graphContainer.getCriteria(); if (criteria != null) { for (Criteria criterium : criteria) { try { return (SemanticZoomLevelCriteria)criterium; } catch (ClassCastException e) {} } } SemanticZoomLevelCriteria hopCriteria = new SemanticZoomLevelCriteria(graphContainer.getSemanticZoomLevel()); graphContainer.addCriteria(hopCriteria); return hopCriteria; }
public static SemanticZoomLevelCriteria getSemanticZoomLevelCriteriaForContainer(GraphContainer graphContainer) { Criteria[] criteria = graphContainer.getCriteria(); if (criteria != null) { for (Criteria criterium : criteria) { try { return (SemanticZoomLevelCriteria)criterium; } catch (ClassCastException e) {} } } SemanticZoomLevelCriteria hopCriteria = new SemanticZoomLevelCriteria(graphContainer.getSemanticZoomLevel()); graphContainer.addCriteria(hopCriteria); return hopCriteria; }
public SavedHistory(GraphContainer graphContainer, Collection<HistoryOperation> operations) { this( graphContainer.getSemanticZoomLevel(), graphContainer.getMapViewManager().getCurrentBoundingBox(), saveLocations(graphContainer.getGraph()), getUnmodifiableSet(graphContainer.getSelectionManager().getSelectedVertexRefs()), getFocusVertices(graphContainer), getOperationSettings(graphContainer, operations) ); }
public SavedHistory(GraphContainer graphContainer, Collection<HistoryOperation> operations) { this( graphContainer.getSemanticZoomLevel(), graphContainer.getMapViewManager().getCurrentBoundingBox(), saveLocations(graphContainer.getGraph()), getUnmodifiableSet(graphContainer.getSelectionManager().getSelectedVertexRefs()), getFocusVertices(graphContainer), getOperationSettings(graphContainer, operations), getSearchQueries(graphContainer.getCriteria())); }
public SavedHistory(GraphContainer graphContainer, Collection<HistoryOperation> operations) { this( graphContainer.getSemanticZoomLevel(), graphContainer.getMapViewManager().getCurrentBoundingBox(), saveLocations(graphContainer.getGraph()), getUnmodifiableSet(graphContainer.getSelectionManager().getSelectedVertexRefs()), getFocusVertices(graphContainer), getOperationSettings(graphContainer, operations), getSearchQueries(graphContainer.getCriteria())); }