public interface FigureChangeListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
figureChanged(FigureChangeEvent e)
Sent when a figure changed
|
void |
figureInvalidated(FigureChangeEvent e)
Sent when an area is invalid
|
void |
figureRemoved(FigureChangeEvent e)
Sent when a figure was removed
|
void |
figureRequestRemove(FigureChangeEvent e)
Sent when requesting to remove a figure.
|
void |
figureRequestUpdate(FigureChangeEvent e)
Sent when an update should happen.
|
void figureInvalidated(FigureChangeEvent e)
e
- the event containing information about the changevoid figureChanged(FigureChangeEvent e)
e
- the event containing information about the changevoid figureRemoved(FigureChangeEvent e)
e
- the event containing information about the changevoid figureRequestRemove(FigureChangeEvent e)
e
- the event containing information about the changevoid figureRequestUpdate(FigureChangeEvent e)
e
- the event containing information about the changeFrom the book: Flexible, Reliable Software, © CRC Press 2010. Author: Henrik B. Christensen, Aarhus University, Denmark