public interface GraphElementListener
Observador de elemento do grafo.
Observador utilizado para tomar conhecimento de alterções nos elementos do grafo, alterações como, drag, drop, redimensionamento, mudanças na seleção e parametrização.
| Modifier and Type | Method and Description |
|---|---|
void |
wasAnchored(GraphLink link,
GraphFileDescriptor fileDescriptor)
Notifica que a conexão se fixou a um arquivo.
|
void |
wasDragged(GraphElement element,
double tx,
double ty)
Notifica que o elemento passado foi deslocado tx para direita e ty para
cima.
|
void |
wasDragged(GraphElement element,
Point2D startPoint,
Point2D endPoint)
Notifica que o elemento passo por arrastado (drag) do ponto inicial até o
ponto final.
|
void |
wasDropped(GraphElement element,
Point2D point)
Notifica que o elemento passado foi largado (drop) no ponto passado.
|
void |
wasIncreased(GraphLink link)
Notifica que a aresta passada foi aumentada.
|
void |
wasLinkStatusChanged(GraphLink link)
Notifica de link mudou de estado.
|
void |
wasParameterSetEnabled(GraphNode node,
String parameterName,
boolean isEnabled)
Notifica que um parâmetro do algoritmo do nó foi habilitado/desabilitado.
|
void |
wasParameterSetVisible(GraphNode node,
String parameterName,
boolean isVisible)
Notifica que um parâmetro do algoritmo do nó foi habilitado/desabilitado.
|
void |
wasParametrized(GraphElement element)
Notifica que o elemento foi parametrizado.
|
void |
wasRenamed(GraphNode node)
Notifica que o nó foi renomeado.
|
void |
wasResized(GraphNode node)
Notifica que o nó foi redimensionado.
|
void |
wasSelected(GraphElement element)
Notifica que houve mudança na seleção do elemento, ou seja, ele foi
selecionado ou foi desselecionado.
|
void |
wasUnanchored(GraphLink link,
GraphFileDescriptor fileDescriptor)
Notifica que a conexão perdeu um de seus arquivos, onde ela se fixava.
|
void wasAnchored(GraphLink link, GraphFileDescriptor fileDescriptor)
link - A conexão.fileDescriptor - O arquivo.void wasDragged(GraphElement element, Point2D startPoint, Point2D endPoint)
element - O elemento que foi arrastado.startPoint - O ponto inicial.endPoint - O ponto final.void wasDragged(GraphElement element, double tx, double ty)
element - O elemento que foi arrastado.tx - O deslocamento em x.ty - O deslocamento em y.void wasDropped(GraphElement element, Point2D point)
element - O elemento que foi arrastado.point - O ponto.void wasIncreased(GraphLink link)
link - A aresta.void wasParameterSetEnabled(GraphNode node, String parameterName, boolean isEnabled)
node - O nó.parameterName - O nome do parâmetro.isEnabled - Flag que indica se o parâmetro foi habilitado (
true) ou desabilitado (false).void wasParameterSetVisible(GraphNode node, String parameterName, boolean isVisible)
node - O nó.parameterName - O nome do parâmetro.isVisible - Flag que indica se o parâmetro está visível (
true) ou não (false).void wasParametrized(GraphElement element)
element - O elemento que foi parametrizado.void wasRenamed(GraphNode node)
node - O nó que foi renomeado.void wasResized(GraphNode node)
node - O nó que foi redimensionado.void wasSelected(GraphElement element)
element - O elemento.void wasUnanchored(GraphLink link, GraphFileDescriptor fileDescriptor)
link - A conexão.fileDescriptor - O arquivo.void wasLinkStatusChanged(GraphLink link)
link - linkCopyright © 2019. All rights reserved.