public interface DotElement
extends java.awt.event.MouseListener
Modifier and Type | Method and Description |
---|---|
void |
addMouseListener(java.awt.event.MouseListener l)
Please note that in the current implementation, only a click on a drawn
pixel of an element is registered as a click (due to Bezier curves for
edges and irregular shapes for nodes).
|
void |
addSelectionListener(DotElementSelectionListener listener)
Add a selection/deselection listener.
|
java.lang.String |
getId() |
java.lang.String |
getLabel() |
java.lang.String |
getOption(java.lang.String key) |
java.util.Set<java.lang.String> |
getOptionKeySet() |
java.util.List<DotElementSelectionListener> |
getSelectionListeners() |
boolean |
isSelectable()
Please note that in the current implementation, only a click on a drawn
pixel of an element is registered as a click (due to Bezier curves for
edges and irregular shapes for nodes).
|
void |
setLabel(java.lang.String label) |
void |
setOption(java.lang.String key,
java.lang.String value) |
void |
setSelectable(boolean selectable)
Sets whether this node can be selected.
|
java.lang.String getLabel()
void setLabel(java.lang.String label)
void setOption(java.lang.String key, java.lang.String value)
java.lang.String getOption(java.lang.String key)
key
- java.util.Set<java.lang.String> getOptionKeySet()
java.lang.String getId()
void addMouseListener(java.awt.event.MouseListener l)
l
- void setSelectable(boolean selectable)
selectable
- boolean isSelectable()
void addSelectionListener(DotElementSelectionListener listener)
listener
- java.util.List<DotElementSelectionListener> getSelectionListeners()