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 GraphListener
ge
- il descrittore dell'eventopublic void nodeSelected(GraphEvent ge)
nodeSelected
in interface GraphListener
ge
- il descrittore dell'eventopublic void zoomed(GraphEvent ge)
zoomed
in interface GraphListener
ge
- il descrittore dell'eventopublic void moved(GraphEvent ge)
moved
in interface GraphListener
ge
- il descrittore dell'eventopublic void colorChanged(GraphEvent ge)
ge
- il descrittore dell'eventopublic void changed(GraphEvent ge)
changed
in interface GraphListener
ge
- il descrittore dell'eventopublic void set(GraphEvent ge)
set
in interface GraphListener
ge
- il descrittore dell'evento