Interface GraphListener

  • All Superinterfaces:
    java.util.EventListener
    All Known Implementing Classes:
    GraphAdapter, GraphEditor, GraphJEditor, GraphJPanel, GraphPanel
    public interface GraphListener
extends java.util.EventListener
    Un GraphListener viene invocato quando avvengono le principali azioni 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

      • arcAdded

        void arcAdded​(GraphEvent ge)
        invocata quando un arco viene aggiunto
        Parameters:
        ge - il descrittore dell'evento

      • nodeAdded

        void nodeAdded​(GraphEvent ge)
        invocata quando un nodo viene aggiunto
        Parameters:
        ge - il descrittore dell'evento

      • arcRemoved

        void arcRemoved​(GraphEvent ge)
        invocata quando un arco viene rimosso
        Parameters:
        ge - il descrittore dell'evento

      • nodeRemoved

        void nodeRemoved​(GraphEvent ge)
        invocata quando un nodo viene rimosso
        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