public class GraphAdapter extends java.lang.Object implements GraphListener
| Constructor and Description |
|---|
GraphAdapter() |
| Modifier and Type | Method and Description |
|---|---|
void |
arcSelected(GraphEvent ge)
invocata quando un arco viene selezionato
|
void |
changed(GraphEvent ge)
invocata quando il pannello viene modificato
|
void |
colorChanged(GraphEvent ge)
invocata quando il colore di sfondo del pannello viene modificato
|
void |
moved(GraphEvent ge)
invocata quando il pannello viene spostato
|
void |
nodeSelected(GraphEvent ge)
invocata quando un nodo viene selezionato
|
void |
set(GraphEvent ge)
invocata quando vengono modificati i default del pannello
|
void |
zoomed(GraphEvent ge)
invocata quando viene fatto uno zoom sul pannello
|
public void arcSelected(GraphEvent ge)
arcSelected in interface GraphListenerge - il descrittore dell'eventopublic void nodeSelected(GraphEvent ge)
nodeSelected in interface GraphListenerge - il descrittore dell'eventopublic void zoomed(GraphEvent ge)
zoomed in interface GraphListenerge - il descrittore dell'eventopublic void moved(GraphEvent ge)
moved in interface GraphListenerge - il descrittore dell'eventopublic void colorChanged(GraphEvent ge)
ge - il descrittore dell'eventopublic void changed(GraphEvent ge)
changed in interface GraphListenerge - il descrittore dell'eventopublic void set(GraphEvent ge)
set in interface GraphListenerge - il descrittore dell'evento