Interface GraphListener

All Superinterfaces:

java.util.EventListener

All Known Implementing Classes:

GraphAdapter, GraphEditor, GraphJEditor

public interface GraphListener
extends java.util.EventListener

Un GraphListener viene invocato quando avvengono le principali azioni sul pannello

Method Summary

Methods

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	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

Method Detail

arcSelected

void arcSelected(GraphEvent ge)

invocata quando un arco viene selezionato

Parameters:

ge - il descrittore dell'evento

nodeSelected

void nodeSelected(GraphEvent ge)

invocata quando un nodo viene selezionato

Parameters:

ge - il descrittore dell'evento

zoomed

void zoomed(GraphEvent ge)

invocata quando viene fatto uno zoom sul pannello

Parameters:

ge - il descrittore dell'evento

moved

void moved(GraphEvent ge)

invocata quando il pannello viene spostato

Parameters:

ge - il descrittore dell'evento

changed

void changed(GraphEvent ge)

invocata quando il pannello viene modificato

Parameters:

ge - il descrittore dell'evento

set

void set(GraphEvent ge)

invocata quando vengono modificati i default del pannello

Parameters:

ge - il descrittore dell'evento