public interface GraphContainer extends DisplayState
Modifier and Type | Interface and Description |
---|---|
static interface |
GraphContainer.ChangeListener |
Modifier and Type | Method and Description |
---|---|
void |
addChangeListener(GraphContainer.ChangeListener listener) |
GraphProvider |
getBaseTopology() |
Criteria |
getCriteria(String namespace) |
Graph |
getGraph() |
MapViewManager |
getMapViewManager() |
com.vaadin.data.Property |
getScaleProperty() |
StatusProvider |
getStatusProvider() |
Collection<VertexRef> |
getVertexRefForest(Collection<VertexRef> vertexRefs) |
void |
removeChangeListener(GraphContainer.ChangeListener listener) |
void |
setBaseTopology(GraphProvider graphProvider) |
void |
setCriteria(Criteria critiera) |
void |
setStatusProvider(StatusProvider statusProvider) |
getLayoutAlgorithm, getScale, getSemanticZoomLevel, redoLayout, setLayoutAlgorithm, setScale, setSemanticZoomLevel
GraphProvider getBaseTopology()
void setBaseTopology(GraphProvider graphProvider)
void setCriteria(Criteria critiera)
void addChangeListener(GraphContainer.ChangeListener listener)
void removeChangeListener(GraphContainer.ChangeListener listener)
Graph getGraph()
Collection<VertexRef> getVertexRefForest(Collection<VertexRef> vertexRefs)
MapViewManager getMapViewManager()
com.vaadin.data.Property getScaleProperty()
StatusProvider getStatusProvider()
void setStatusProvider(StatusProvider statusProvider)
Copyright © 2015. All Rights Reserved.