public class GraphModelManager extends Observable
| Constructor and Description |
|---|
GraphModelManager() |
GraphModelManager(GraphModel newModel) |
| Modifier and Type | Method and Description |
|---|---|
void |
forceNotify() |
GraphModel |
getModel() |
boolean |
isEditable() |
void |
notifyObservers(GraphModelEvent ev) |
void |
replace(GraphModel newModel) |
void |
setEditable(boolean editable) |
void |
setExternalEdgeFactory(EdgeFactory newEdgeFactory) |
void |
setExternalVertexFactory(VertexFactory newVertexFactory) |
void |
setModel(GraphModel newModel) |
void |
setVertexOutlineCreator(VertexOutlineCreator newVertexOutlineCreator) |
void |
zoomIn(Vertex child) |
void |
zoomOut() |
addObserver, clearChanged, countObservers, deleteObserver, deleteObservers, hasChanged, notifyObservers, notifyObservers, setChangedpublic GraphModelManager()
public GraphModelManager(GraphModel newModel)
public void replace(GraphModel newModel)
public void setModel(GraphModel newModel)
public void zoomIn(Vertex child)
public void zoomOut()
public void forceNotify()
public GraphModel getModel()
public void setExternalEdgeFactory(EdgeFactory newEdgeFactory)
public void setExternalVertexFactory(VertexFactory newVertexFactory)
public void setVertexOutlineCreator(VertexOutlineCreator newVertexOutlineCreator)
public void notifyObservers(GraphModelEvent ev)
public void setEditable(boolean editable)
public boolean isEditable()
Copyright © 1997–2019 CRISTAL-iSE. All rights reserved.