public interface GraphListener
| Modifier and Type | Method and Description |
|---|---|
void |
wasChangedWorkspace(Graph graph) |
void |
wasElementCreated(Graph graph,
GraphElement element) |
void |
wasElementDragged(Graph graph,
GraphElement element,
double tx,
double ty) |
void |
wasElementDragged(Graph graph,
GraphElement element,
java.awt.geom.Point2D startPoint,
java.awt.geom.Point2D endPoint) |
void |
wasElementDropped(Graph graph,
GraphElement element,
java.awt.geom.Point2D point) |
void |
wasElementParametrized(Graph graph,
GraphElement element) |
void |
wasElementRemoved(Graph graph,
GraphElement element) |
void |
wasElementSelected(Graph graph,
GraphElement element) |
void |
wasLinkAnchored(Graph graph,
GraphLink link,
GraphFileDescriptor fileDescriptor) |
void |
wasLinkIncreased(Graph graph,
GraphLink link) |
void |
wasLinkStatusChanged(Graph graph,
GraphLink link) |
void |
wasLinkUnanchored(Graph graph,
GraphLink link,
GraphFileDescriptor fileDescriptor) |
void |
wasNodeResized(Graph graph,
GraphNode node) |
void |
wasParameterSetEnabled(Graph graph,
GraphNode node,
java.lang.String parameterName,
boolean isEnabled) |
void |
wasParameterSetVisible(Graph graph,
GraphNode node,
java.lang.String parameterName,
boolean isVisible) |
void |
wasReseted(Graph graph) |
void wasChangedWorkspace(Graph graph)
void wasElementCreated(Graph graph, GraphElement element)
void wasElementDragged(Graph graph, GraphElement element, java.awt.geom.Point2D startPoint, java.awt.geom.Point2D endPoint)
void wasElementDragged(Graph graph, GraphElement element, double tx, double ty)
void wasElementDropped(Graph graph, GraphElement element, java.awt.geom.Point2D point)
void wasElementParametrized(Graph graph, GraphElement element)
void wasElementRemoved(Graph graph, GraphElement element)
void wasElementSelected(Graph graph, GraphElement element)
void wasLinkAnchored(Graph graph, GraphLink link, GraphFileDescriptor fileDescriptor)
void wasLinkUnanchored(Graph graph, GraphLink link, GraphFileDescriptor fileDescriptor)
void wasParameterSetEnabled(Graph graph, GraphNode node, java.lang.String parameterName, boolean isEnabled)
void wasReseted(Graph graph)
Copyright © 2016. All Rights Reserved.