public class TopologyComponent extends com.vaadin.ui.AbstractComponent implements GraphContainer.ChangeListener, com.vaadin.data.Property.ValueChangeListener, MapViewManagerListener
Modifier and Type | Class and Description |
---|---|
static interface |
TopologyComponent.VertexUpdateListener |
com.vaadin.ui.AbstractComponent.ComponentErrorEvent, com.vaadin.ui.AbstractComponent.ComponentErrorHandler
Constructor and Description |
---|
TopologyComponent(GraphContainer dataSource,
IconRepositoryManager iconRepositoryManager,
SelectionManager selectionManager,
ContextMenuHandler contextMenuHandler) |
Modifier and Type | Method and Description |
---|---|
void |
addMenuItemStateListener(MenuItemUpdateListener listener) |
void |
addVertexUpdateListener(TopologyComponent.VertexUpdateListener listener) |
void |
boundingBoxChanged(MapViewManager viewManager) |
void |
changeVariables(Object source,
Map<String,Object> variables)
Main vaadin method for receiving communication from the Front End
|
protected Graph |
getGraph() |
MapViewManager |
getViewManager() |
void |
graphChanged(GraphContainer container) |
void |
paintContent(com.vaadin.terminal.PaintTarget target) |
void |
removeMenuItemStateListener(MenuItemUpdateListener listener) |
void |
setActiveTool(String toolname) |
protected void |
setScale(double scale) |
void |
valueChange(com.vaadin.data.Property.ValueChangeEvent event)
ValueChange listener for the scale property
|
addListener, addListener, addListener, addListener, addListener, addStyleName, attach, childRequestedRepaint, detach, fireComponentErrorEvent, fireComponentEvent, fireEvent, focus, getApplication, getCaption, getComponentError, getData, getDebugId, getDescription, getErrorHandler, getErrorMessage, getHeight, getHeightUnits, getIcon, getListeners, getLocale, getParent, getStyle, getStyleName, getWidth, getWidthUnits, getWindow, handleError, hasListeners, isEnabled, isImmediate, isReadOnly, isVisible, paint, removeListener, removeListener, removeListener, removeListener, removeListener, removeListener, removeStyleName, requestRepaint, requestRepaintRequests, setCaption, setComponentError, setData, setDebugId, setDescription, setEnabled, setErrorHandler, setHeight, setHeight, setHeight, setHeightUnits, setIcon, setImmediate, setLocale, setParent, setReadOnly, setSizeFull, setSizeUndefined, setStyle, setStyleName, setVisible, setWidth, setWidth, setWidth, setWidthUnits
public TopologyComponent(GraphContainer dataSource, IconRepositoryManager iconRepositoryManager, SelectionManager selectionManager, ContextMenuHandler contextMenuHandler)
public void paintContent(com.vaadin.terminal.PaintTarget target) throws com.vaadin.terminal.PaintException
paintContent
in class com.vaadin.ui.AbstractComponent
com.vaadin.terminal.PaintException
public void changeVariables(Object source, Map<String,Object> variables)
changeVariables
in interface com.vaadin.terminal.VariableOwner
changeVariables
in class com.vaadin.ui.AbstractComponent
protected void setScale(double scale)
protected Graph getGraph()
public void addMenuItemStateListener(MenuItemUpdateListener listener)
public void removeMenuItemStateListener(MenuItemUpdateListener listener)
public void graphChanged(GraphContainer container)
graphChanged
in interface GraphContainer.ChangeListener
public void valueChange(com.vaadin.data.Property.ValueChangeEvent event)
valueChange
in interface com.vaadin.data.Property.ValueChangeListener
public void setActiveTool(String toolname)
public void boundingBoxChanged(MapViewManager viewManager)
boundingBoxChanged
in interface MapViewManagerListener
public MapViewManager getViewManager()
public void addVertexUpdateListener(TopologyComponent.VertexUpdateListener listener)
Copyright © 2015. All Rights Reserved.