org.processmining.plugins.graphviz.dot

Interface DotElement

All Superinterfaces:

java.util.EventListener, java.awt.event.MouseListener

All Known Implementing Classes:

AbstractDotElement, Dot, DotCluster, DotEdge, DotNode

public interface DotElement
extends java.awt.event.MouseListener

Method Summary

Methods

Modifier and Type	Method and Description
void	addMouseListener(java.awt.event.MouseListener l)
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()
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.

Methods inherited from interface java.awt.event.MouseListener

mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased

Method Detail

getLabel

java.lang.String getLabel()

setLabel

void setLabel(java.lang.String label)

setOption

void setOption(java.lang.String key,
             java.lang.String value)

getOption

java.lang.String getOption(java.lang.String key)

Parameters:

key -

Returns:

the value of the option if it was set, otherwise null.

getOptionKeySet

java.util.Set<java.lang.String> getOptionKeySet()

Returns:

the set of options that is set (keys)

getId

java.lang.String getId()

addMouseListener

void addMouseListener(java.awt.event.MouseListener l)

setSelectable

void setSelectable(boolean selectable)

Sets whether this node can be selected.

Parameters:

selectable -

isSelectable

boolean isSelectable()

Returns:

whether the element is selectable.

addSelectionListener

void addSelectionListener(DotElementSelectionListener listener)

Add a selection/deselection listener. Side-effect: enables selection of the element. Thread-safe.

Parameters:

listener -

getSelectionListeners

java.util.List<DotElementSelectionListener> getSelectionListeners()