Class GraphPanel<TN,TA>

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Panel

GraphPanel<TN,TA>

All Implemented Interfaces:

GraphListener, ImageReader, java.awt.event.ActionListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible

public class GraphPanel<TN,TA>
extends java.awt.Panel
implements java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.ActionListener, ImageReader, GraphListener

GraphPanel e' un Panel su cui e' visualizzato un grafo

Version:

4.5 1/3/2011 corretto rappresentazione degli anelli corretto collocazione dei nodi di una matrice 19/12/2012 reso GraphPanel un ImageReader aggiunto la possibilità di indicare i colori da file di testo in altre basi sistemato il flickering 20/12/2012 salva il nome del background 29/12/2012 gestione del colore dei singoli archi (non ancora visualizzato autonomamente) 1/3/2013 aggiunto costruttore che fornisce la collocazione dei nodi 4/3/2013 aggiunto metodi che ritornano il nodo dato l'indice e l'arco dati i nodi aggiunto la possibilità di modificare i testi dei menu. 3/12/2013 aggiunto metodi per la rappresentazione di un nodo con diverse forme e con riempimento 6/5/2014 aggiunto metodi per abilitare e disabilitare le modifiche, lo scivolamento e zoom interattivi sistemato la lettura di immagini da applet 23/5/14 aggiunte le nuove forme dei nodi aggiunta la gestione di GraphListener 8/7/14 aggiunta la visibilità dei percorsi aggiunta lo spessore dei segni aggiunta visualizzazione separata del colore dei pesi negli archi aggiunta la selezione di piu' nodi per modificarli assieme (muoverli e cambiarli) (SHIFT in spazio aperto per rettangolo di selezione) 23/12/15 aggiunta la selezione multipla incrementale un nodo alla volta. (selezione del nodo con SHIFT) aggiunta la possibilità di non deselezionare la selezione multipla tenendo lo SHIFT abbassato quando si attiva il menù contestuale 31/8/17 abilitati i listeners quando il popup è disabilitato 14/4/18 abilitati i listeners quando editing disabilitato aggiunto i listeners ad archi e nodi e la relativa sensibilità ai cambiamenti del GraphJPanel aggiunta la distinzione tra editabilita' e muovibilita' 15/4/18 modificata l'interfaccia GraphListener aggiungendo la cancellazione e l'inserimento di nodi e archi 16/4/18 corretta la selezione multipla con rettangoli selezionati nelle diverse direzioni 17/4/18 corretto un errore di visualizzazione degli archi perfettamente verticali verso e da nodi quadrati 23/4/18 aggiunto il comportamento adattivo e la possibilità di fissare i nodi nell'adattamento e negli spostamenti multipli 16/1/19 corretto il nome del metodo da getadjacency a getAdjacency 21/1/19 provato a sostituire BUTTON1_MASK con BUTTON1_DOWN_MASK , BUTTON3_MASK con BUTTON3_DOWN_MASK e getModifiers con getModifiersEx ma quest'ultimo non funziona su Panel 12/2/19 sistemato il default di fissaggio dei nodi 27/5/19 bloccato lo spostamento dei nodi fissati anche non durante l'adattamento sistemato il cambio di caratteristica con le selezioni multiple.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.awt.Panel

java.awt.Panel.AccessibleAWTPanel

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields inherited from class java.awt.Component

accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Constructors

Constructor	Description
GraphPanel()	Crea un GraphPanel di un grafo vuoto
GraphPanel(Graph<TN,TA> gr)	Crea un GraphPanel di un grafo dato
GraphPanel(Graph<TN,TA> gr, java.awt.Image bg, java.lang.String bgn)	Crea un GraphPanel di un grafo dato con una immagine di sfondo
GraphPanel(java.awt.Image bg, java.lang.String bgn)	Crea un GraphPanel di un grafo vuoto con una immagine di sfondo
GraphPanel(java.io.Reader r)	Crea un GraphPanel prelevando dal Reader r la descrizione di un grafo in due formati.
GraphPanel(java.lang.String[][] couples, double[] p)	Crea un GraphPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,
GraphPanel(java.lang.String[][] couples, double[] p, int[][] pos, java.awt.Color col)	Crea un GraphPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,
GraphPanel(java.lang.String[][] couples, double[] p, java.awt.Color col)	Crea un GraphPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,
GraphPanel(java.lang.String[] name, int[][] matAd)	Crea un GraphPanel contente un grafo di cui viene fornita la matrice di adiacenza e la matrice contente i nomi dei nodi
GraphPanel(java.lang.String[] name, int[][] matAd, double[][][] p)	Crea un GraphPanel contenente un grafo di cui viene fornita la matrice di adiacenza, la matrice contente i nomi dei nodi e la matrice dei prezzi di ogni arco.
GraphPanel(java.lang.String[] name, int[][] pos, int[][] matAd, double[][][] p)	Crea un GraphPanel contenente un grafo di cui viene fornita la matrice di adiacenza, la matrice contente i nomi dei nodi e la matrice dei prezzi di ogni arco.
GraphPanel(java.lang.String[] name, int[][] pos, int[][] matAd, double[][][] p, java.awt.Color col)	Crea un GraphPanel contenente un grafo di cui viene fornita la matrice di adiacenza, la matrice contente i nomi dei nodi e la matrice dei prezzi di ogni arco.

Method Summary

Modifier and Type	Method	Description
int	absoluteX(int x)	Calcola l'ascissa assoluta dato un punto del piano
int	absoluteY(int y)	Calcola l'ordinata assoluta dato un punto del piano
void	actionPerformed(java.awt.event.ActionEvent ae)	Gestisce le azioni relative ai menu
boolean	addArc(java.lang.String source, java.lang.String dest)	Aggiunge un arco al grafo tra il nodo sorg e il nodo dest
boolean	addArc(java.lang.String source, java.lang.String dest, double price)	Aggiunge un arco al grafo tra il nodo sorg e il nodo dest con il costo indicato
boolean	addArc(java.lang.String source, java.lang.String dest, java.awt.Color c)	Aggiunge un arco al grafo tra il nodo sorg e il nodo dest del colore indicato
boolean	addArc(java.lang.String source, java.lang.String dest, java.awt.Color c, double price)	Aggiunge un arco al grafo tra il nodo sorg e il nodo dest con il costo indicato del colore indicato
boolean	addArc(java.lang.String source, java.lang.String dest, java.awt.Color c, int thickness, boolean visible, double price)	Aggiunge un arco al grafo tra il nodo sorg e il nodo dest con il costo indicato del colore indicato
void	addGraphListener(GraphListener gl)	Aggiunge un nuovo GraphListener al pannello.
boolean	addNode(java.lang.String name)	Aggiunge un nodo col dato nome al grafo
boolean	addNode(java.lang.String name, int x, int y)	Aggiunge un nodo col dato nome al grafo in una data posizione
boolean	addNode(java.lang.String name, int x, int y, java.awt.Color c)	Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	addNode(java.lang.String name, int x, int y, java.awt.Color c, int dim)	Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	addNode(java.lang.String name, int x, int y, java.awt.Color c, int dim, int shape)	Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	addNode(java.lang.String name, int x, int y, java.awt.Color c, int dim, int shape, boolean filled)	Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	addNode(java.lang.String name, int x, int y, java.awt.Color c, int dim, int shape, boolean filled, int thickness)	Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	addNode(java.lang.String name, int x, int y, java.awt.Color c, int dim, java.lang.String image)	Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	addNode(java.lang.String name, int x, int y, java.awt.Color c, int dim, java.lang.String image, int shape, boolean filled, int thickness)	Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	addNode(java.lang.String name, int x, int y, java.awt.Color c, int dim, java.lang.String image, int shape, boolean filled, int thickness, boolean fixing)	Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	addNode(java.lang.String name, java.awt.Color c)	Aggiunge un nodo col dato nome al grafo di un certo colore
void	arcAdded(GraphEvent ge)	invocata quando un arco viene aggiunto
void	arcRemoved(GraphEvent ge)	invocata quando un arco viene rimosso
void	arcSelected(GraphEvent ge)	invocata quando un arco viene selezionato
boolean	changeArcThickness(java.lang.String source, java.lang.String dest, int thickness)	Modifica lo spessore di un arco del grafo tra il nodo sorg e il nodo dest con lo spessore indicato
boolean	changeArcWeight(java.lang.String source, java.lang.String dest, double price)	Modifica il peso di un arco del grafo tra il nodo sorg e il nodo dest con il costo indicato
void	changed(GraphEvent ge)	invocata quando il pannello viene modificato
boolean	changeNode(java.lang.String name, NodeSign<TN> ns)	Sostituisce un nodo col dato nome con il nodo indicato
boolean	changeNodeFill(java.lang.String name, boolean newFill)	Modifica il riempimento di un nodo nel grafo
boolean	changeNodeFix(java.lang.String name, boolean newFix)	Modifica il fissaggio di un nodo nel grafo
boolean	changeNodeFixing(java.lang.String name, boolean newFix)	Modifica il fissaggio di un nodo nel grafo
boolean	changeNodeImage(java.lang.String name, java.lang.String image)	Modifica l'immagine di un nodo nel grafo
boolean	changeNodeThickness(java.lang.String name, int newThick)	Modifica lo spessore del bordo di un nodo nel grafo
void	clear()	Cancella il grafo nel GraphPanel
void	clear(boolean erase)	Cancella il grafo nel GraphPanel
void	close()	Da chiamare al momento della chiusura del Panel per rilasciare le finestre aperte e chiudere i processi in corso.
boolean	coordOk(int i, int j)	Controlla se i due indici di nodi sono validi per il grafo
int	degree()	Ritorna l'ordine del grafo rappresentato nel GraphJPanel
int	dezoom(int v)	Rimuove la zoommata dalla dimensione
void	drawPath(java.awt.Color c, int[] steps)	Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti
void	drawPath(java.awt.Color c, int[] steps, boolean visible)	Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti
void	drawPath(java.awt.Color c, java.awt.Color cn, int[] steps, boolean visible)	Disegna un cammino nei colori indicati.
void	drawPath(java.awt.Color c, java.awt.Color cn, java.lang.String[] steps, boolean visible)	Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti
void	drawPath(java.awt.Color c, java.lang.String[] steps)	Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti
void	drawPath(java.awt.Color c, java.lang.String[] steps, boolean visible)	Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti
int	findNode(java.lang.String name)	Ritorna l'indice del nodo dato il nome
double[][]	getAdjacency()	Ritorna la matrice di adiacenza dei collegamenti tra i nodi in un passo
ArcSign<TN,TA>	getArc(int x, int y)	Ritorna l'arco indicato con le sue coordinate sul grafo
ArcSign<TN,TA>	getArc(java.lang.String n1, java.lang.String n2)	Ritorna l'arco tra due nodi, se presente
ArcSign<TN,TA>	getArc(NodeSign<TN> n1, NodeSign<TN> n2)	Ritorna l'arco tra due nodi, se presente
ArcSign<TN,TA>[][]	getArcs()	Ritorna la matrice degli archi presenti nel GraphPanel
java.lang.String	getBackImage()	Ritorna il nome dello sfondo
java.awt.Image	getBackImageSource()	Ritorna l'immagine dello sfondo
java.awt.Color	getColor()	Ritorna il colore di default
double[][]	getConnection(int n)	Ritorna la matrice dei collegamenti tra i nodi in un dato numero di passi
double[][]	getConnections()	Ritorna la matrice delle connessioni tra i nodi in un numero qualsiasi di passi
Graph<TN,TA>	getGraph()	Ritorna il grafo rappresentato nel pannello
GraphListener[]	getGraphListeners()	Rimuove un GraphListener dal pannello.
java.awt.Image	getImage(java.lang.String ims)	Ritorna una immagine.
java.lang.String	getImageName()	Ritorna l'immagine dei nodi di default
java.lang.String	getName()	Ritorna il nome di default
NodeSign<TN>	getNode(int i)	Ritorna un nodo indicato con il suo indice
NodeSign<TN>	getNode(int x, int y)	Ritorna un nodo indicato con le sue coordinate sul grafo
NodeSign<TN>	getNode(java.lang.String s)	Ritorna un nodo indicato con il suo nome
boolean	getNodeFill()	Ritorna il riempimento di default dei nodi
boolean	getNodeFixing()	Ritorna il fissaggio di default dei nodi
int	getNodeIndex(int x, int y)	Ritorna l'indice di un nodo indicato con le sue coordinate sul grafo
int	getNodeIndex(java.lang.String s)	Ritorna l'indice di un nodo indicato con il suo nome
java.lang.String	getNodeName(int x, int y)	Ritorna il nome di un nodo indicato con le sue coordinate sul grafo
NodeSign<TN>[]	getNodes()	Ritorna la matrice dei nodi presenti nel GraphPanel
int	getNodeShape()	Ritorna la forma dei nodi di default
int	getNodeSize()	Ritorna la dimensione dei nodi di default
java.awt.Dimension	getPreferredSize()	Ritorna la dimensione preferita del GraphPanel
boolean	getShowAxis()	Ritorna la visualizzazione degli assi del grafo
boolean	getShowNames()	Ritorna la visualizzazione dei nomi dei nodi del grafo
boolean	getShowWeights()	Ritorna la visualizzazione dei pesi degli archi del grafo
java.lang.String	getString()	Deprecated. substituted by getName
int	getThickness()	Ritorna lo spessore di default
double	getWeight()	Ritorna il peso di default
int	getZoom()	Ritorna il grado di ingrandimento del grafo
void	inZoom()	Ingrandisce il grafo
boolean	isAdaptive()	Dice se e' disattivato il processo di adattamento della posizione dei nodi per consentire una corretta collocazione e dare una lunghezza richiesta agli archi
boolean	isEdit()	Controlla se sono abilitate le modifiche sul pannello
boolean	isModified()	Controlla se il pannello e' stato modificato
boolean	isMovable()	Controlla se sono abilitati gli spostamenti sul pannello
boolean	isPopUp()	Controlla se e' abilitato il popup sul pannello
boolean	isSliding()	Controlla se e' abilitato lo scivolamento sul GraphPanel
boolean	linearise()	Linearizza il grafo (Bisogna ancora risolvere la linearizzazione di piu' di due passi)
void	load(java.io.Reader r)	Carica un grafo nel pannello prelevando dal Reader r la matrice di adiacenza il cui formato prevede che la prima riga letta contenga il numero di nodi e la successiva riga contiene l'elenco dei nomi dei nodi e nelle righe successive sono conservati i valori della matrice di adiacenza dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi Successivamente puo' esserci la matrice dei pesi dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi e gli elementi sono i valori dei singoli archi separati da '|' In seguito, se c'e' un'altra riga, contiene una terna di valori separati da virgola per ogni nodo contenente il valore del codice del colore in decimale e le coordinate x e y del nodo nel grafo.
void	load(java.io.Reader r, boolean merge)	Carica un grafo nel pannello prelevando dal Reader r la descrizione di un grafo in due formati.
static void	main(java.lang.String[] s)	Il programma di prova
void	mouseClicked(java.awt.event.MouseEvent e)	Gestisce l'evento mouse click se l'evento non e' stato gia' consumato Se il click col tasto destro è su un nodo o un arco presente se sono attivi i popup viene visualizzato il popup relativo a quel nodo/arco se ci sono listeners vengono avvertiti della selezione
void	mouseDragged(java.awt.event.MouseEvent e)	Gestisce l'evento mouse dragged se l'evento non e' stato gia' consumato
void	mouseEntered(java.awt.event.MouseEvent e)	Gestisce l'evento mouse entered
void	mouseExited(java.awt.event.MouseEvent e)	Gestisce l'evento mouse exited
void	mouseMoved(java.awt.event.MouseEvent e)	Gestisce l'evento mouse moved
void	mousePressed(java.awt.event.MouseEvent e)	Gestisce l'evento mouse pressed se l'evento non e' stato gia' consumato
void	mouseReleased(java.awt.event.MouseEvent e)	Gestisce l'evento mouse released se l'evento non e' stato gia' consumato
void	moved(GraphEvent ge)	invocata quando il pannello viene spostato
void	nodeAdded(GraphEvent ge)	invocata quando un nodo viene aggiunto
void	nodeRemoved(GraphEvent ge)	invocata quando un nodo viene rimosso
void	nodeSelected(GraphEvent ge)	invocata quando un nodo viene selezionato
void	outZoom()	Rimpicciolisce il grafo
void	paint(java.awt.Graphics g)	Disegna il pannello
boolean	removeArc(int x, int y)	Rimuove l'arco selezionato dal grafo
boolean	removeArc(ArcSign<TN,TA> as)	Rimuove un arco dal grafo
boolean	removeArc(java.lang.String source, java.lang.String dest)	Rimuove un arco dal grafo tra il nodo source e il nodo dest
boolean	removeArcs(java.lang.String source, java.lang.String dest)	Rimuove gli archi dal grafo tra il nodo source e il nodo dest
void	removeGraphListener(GraphListener gl)	Rimuove un nuovo GraphListener dal pannello.
boolean	removeNode(int x, int y)	Rimuove il nodo selezionato dal grafo
boolean	removeNode(java.lang.String name)	Rimuove un nodo col dato nome dal grafo
boolean	renameNode(java.lang.String name, java.lang.String newName)	Rinomina un nodo nel grafo
void	reset()	Ripristina la zoommata e l'origine
boolean	reshapeNode(java.lang.String name, int newShape)	Modifica la forma di un nodo nel grafo
boolean	resizeNode(java.lang.String name, int newSize)	Modifica la dimensione di un nodo nel grafo
void	save(java.io.Writer w)	Salva la matrice di adiacenza del grafo nel pannello su un Writer in un formato che prevede che la prima riga scritta contenga il numero di nodi e la successiva riga contenga l'elenco dei nomi e delle caratteristiche dei nodi.
void	selectAll(boolean sel)	Seleziona o deselaziona tutti i nodi del grafo
void	set(GraphEvent ge)	invocata quando vengono modificati i default del pannello
void	setAdaptive(boolean ad)	Attiva o disattiva il processo di adattamento della posizione dei nodi per consentire una corretta collocazione e dare una lunghezza richiesta agli archi
void	setBackImage(java.awt.Image i)	Deprecated. versione 2.0 utilizzare la forma setBackImage(String i) che conserva il nome dell'immagine per poterlo salvare
void	setBackImage(java.lang.String i)	Modifica lo sfondo
void	setColor(java.awt.Color c)	Stabilisce il colore di default
void	setEdit(boolean is)	Abilita e disabilita le modifiche sul pannello
void	setGraph(Graph<TN,TA> g)	Visualizza un grafo sul GraphPanel
void	setGraph(Graph<TN,TA> g, int[][] c)	Visualizza un grafo sul GraphPanel
void	setGraph(Graph<TN,TA> g, int[][] c, java.awt.Color col)	Visualizza un grafo sul GraphPanel
void	setGraph(java.lang.String[] name, int[][] matAd)	Inizializza il GraphPanel con un grafo
void	setGraph(java.lang.String[] name, int[][] matAd, double[][][] prices)	Inizializza il GraphPanel con un grafo pesato
void	setImageName(java.lang.String im)	Stabilisce l'immagine dei nodi di default
void	setImageReader(ImageReader i)	Stabilisce l'ImageReader da utilizzare per la lettura delle immagini
void	setLanguage(java.lang.String[] v, java.lang.String[] p)	Sostituisce i testi nei menu e nelle finestre
void	setModified(boolean mo)	Segna come modificato il pannello
void	setMovable(boolean is)	Abilita e disabilita gli spostamenti sul pannello
void	setName(java.lang.String s)	Stabilisce il nome di default
void	setNodeFill(boolean fill)	Stabilisce il rempimento di dafault dei nodi
void	setNodeFixing(boolean fixing)	Stabilisce il fissaggio di dafault dei nodi
void	setNodeShape(int sh)	Stabilisce la forma dei nodi di default
void	setNodeSize(int dim)	Stabilisce la dimensione dei nodi di default
void	setPopUp(boolean pu)	Abilita e disabilita il popup sul pannello
void	setShowAxis(boolean show)	Stabilisce se visualizzare gli assi nel grafo
void	setShowNames(boolean show)	Stabilisce se visualizzare i nomi dei nodi nel grafo
void	setShowText(boolean show)	Stabilisce se visualizzare le scritte nel grafo
void	setShowWeights(boolean show)	Stabilisce se visualizzare i pesi degli archi nel grafo
void	setSize(int w, int h)	Modifica la dimensione del GraphPanel
void	setSize(java.awt.Dimension d)	Modifica la dimensione del GraphPanel
void	setSliding(boolean sl)	Abilita e disabilita scivolamento sul GraphPanel
void	setString(java.lang.String s)	Deprecated.
void	setThickness(int th)	Stabilisce lo spessore di default
boolean	setThickness(java.lang.String name, int newThickness)	Modifica lo spessore di un nodo nel grafo
void	setVisible(boolean v)
void	setWeight(double w)	Stabilisce il peso di default
void	setZoom(int z)	Stabilisce il grado di ingrandimento del grafo
void	slide(int x, int y)	Sposta l'origine
java.lang.String	toString()	Ritorna la stringa che descrive il grafo
void	update(java.awt.Graphics g)	Disegna il GraphJPanel
int	zoom(int v)	Applica la zoommata alla dimensione
void	zoomed(GraphEvent ge)	invocata quando viene fatto uno zoom sul pannello

Methods inherited from class java.awt.Panel

addNotify, getAccessibleContext

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getListeners, getMaximumSize, getMinimumSize, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, isValidateRoot, layout, list, list, locate, minimumSize, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, removeNotify, setComponentZOrder, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, setLayout, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getToolkit, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, revalidate, setBackground, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setMixingCutoutShape, setPreferredSize, show, show, size, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GraphPanel

public GraphPanel()

Crea un GraphPanel di un grafo vuoto

GraphPanel

public GraphPanel(java.awt.Image bg,
                  java.lang.String bgn)

Crea un GraphPanel di un grafo vuoto con una immagine di sfondo

Parameters:

bg - l'immagine di sfondo

bgn - il nome dell'immagine di sfondo

GraphPanel

public GraphPanel(Graph<TN,TA> gr)

Crea un GraphPanel di un grafo dato

Parameters:

gr - il grafo

GraphPanel

public GraphPanel(Graph<TN,TA> gr,
                  java.awt.Image bg,
                  java.lang.String bgn)

Crea un GraphPanel di un grafo dato con una immagine di sfondo

Parameters:

gr - il grafo

bg - l'immagine di sfondo

bgn - il nome dell'immagine di sfondo

GraphPanel

public GraphPanel(java.io.Reader r)

Crea un GraphPanel prelevando dal Reader r la descrizione di un grafo in due formati. Nel primo il formato prevede che la prima riga letta contenga il numero di nodi e la successiva riga contiene l'elenco dei nomi dei nodi e nelle righe successive sono conservati i valori della matrice di adiacenza dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi Successivamente puo' esserci la matrice dei pesi dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi e gli elementi sono i valori dei singoli archi separati da '|' In seguito, se c'e' un'altra riga, contiene una terna di valori separati da virgola per ogni nodo contenente il valore del codice del colore in decimale e le coordinate x e y del nodo nel grafo. Infine dopo puo' esserci una matrice contenente i valori dei colori degli archi. Nel secondo formato invece sono elencati su ogni riga la coppia di nodi connessi da un arco ed eventualmente il costo dell'arco. Il nome del primo nodo non puo' essere un numero intero

Parameters:

r - il Reader da cui viene prelevato il grafo

GraphPanel

public GraphPanel(java.lang.String[] name,
                  int[][] matAd)

Crea un GraphPanel contente un grafo di cui viene fornita la matrice di adiacenza e la matrice contente i nomi dei nodi

Parameters:

name - nomi dei nodi del grafo

matAd - matrice di adiacenza del grafo

GraphPanel

public GraphPanel(java.lang.String[] name,
                  int[][] matAd,
                  double[][][] p)

Crea un GraphPanel contenente un grafo di cui viene fornita la matrice di adiacenza, la matrice contente i nomi dei nodi e la matrice dei prezzi di ogni arco.

Parameters:

name - nomi dei nodi del grafo

matAd - matrice di adiacenza del grafo

p - matrice dei prezzi di ogni arco

GraphPanel

public GraphPanel(java.lang.String[] name,
                  int[][] pos,
                  int[][] matAd,
                  double[][][] p)

Crea un GraphPanel contenente un grafo di cui viene fornita la matrice di adiacenza, la matrice contente i nomi dei nodi e la matrice dei prezzi di ogni arco.

Parameters:

name - nomi dei nodi del grafo

pos - le coordinate dei nodi (primo indice orizzontale, secondo indice verticale)

matAd - matrice di adiacenza del grafo

p - matrice dei prezzi di ogni arco

GraphPanel

public GraphPanel(java.lang.String[] name,
                  int[][] pos,
                  int[][] matAd,
                  double[][][] p,
                  java.awt.Color col)

Crea un GraphPanel contenente un grafo di cui viene fornita la matrice di adiacenza, la matrice contente i nomi dei nodi e la matrice dei prezzi di ogni arco.

Parameters:

name - nomi dei nodi del grafo

pos - le coordinate dei nodi (primo indice orizzontale, secondo indice verticale)

matAd - matrice di adiacenza del grafo

col - il colore degli archi e dei nodi

p - matrice dei prezzi di ogni arco

GraphPanel

public GraphPanel(java.lang.String[][] couples,
                  double[] p)

Crea un GraphPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,

Parameters:

couples - le coppie di nomi dei nodi del grafo collegati da un arco

p - matrice dei prezzi di ogni arco

GraphPanel

public GraphPanel(java.lang.String[][] couples,
                  double[] p,
                  java.awt.Color col)

Crea un GraphPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,

Parameters:

couples - le coppie di nomi dei nodi del grafo collegati da un arco

p - matrice dei prezzi di ogni arco

col - il colore degli archi e dei nodi

GraphPanel

public GraphPanel(java.lang.String[][] couples,
                  double[] p,
                  int[][] pos,
                  java.awt.Color col)

Crea un GraphPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,

Parameters:

couples - le coppie di nomi dei nodi del grafo collegati da un arco

p - matrice dei prezzi di ogni arco

pos - le coordinate dei nodi (primo indice orizzontale, secondo indice verticale)

col - il colore degli archi e dei nodi

Method Detail

arcSelected

public void arcSelected(GraphEvent ge)

invocata quando un arco viene selezionato

Specified by:

arcSelected in interface GraphListener

Parameters:

ge - il descrittore dell'evento

nodeSelected

public void nodeSelected(GraphEvent ge)

invocata quando un nodo viene selezionato

Specified by:

nodeSelected in interface GraphListener

Parameters:

ge - il descrittore dell'evento

arcAdded

public void arcAdded(GraphEvent ge)

invocata quando un arco viene aggiunto

Specified by:

arcAdded in interface GraphListener

Parameters:

ge - il descrittore dell'evento

nodeAdded

public void nodeAdded(GraphEvent ge)

invocata quando un nodo viene aggiunto

Specified by:

nodeAdded in interface GraphListener

Parameters:

ge - il descrittore dell'evento

arcRemoved

public void arcRemoved(GraphEvent ge)

invocata quando un arco viene rimosso

Specified by:

arcRemoved in interface GraphListener

Parameters:

ge - il descrittore dell'evento

nodeRemoved

public void nodeRemoved(GraphEvent ge)

invocata quando un nodo viene rimosso

Specified by:

nodeRemoved in interface GraphListener

Parameters:

ge - il descrittore dell'evento

changed

public void changed(GraphEvent ge)

invocata quando il pannello viene modificato

Specified by:

changed in interface GraphListener

Parameters:

ge - il descrittore dell'evento

moved

public void moved(GraphEvent ge)

invocata quando il pannello viene spostato

Specified by:

moved in interface GraphListener

Parameters:

ge - il descrittore dell'evento

set

public void set(GraphEvent ge)

invocata quando vengono modificati i default del pannello

Specified by:

set in interface GraphListener

Parameters:

ge - il descrittore dell'evento

zoomed

public void zoomed(GraphEvent ge)

invocata quando viene fatto uno zoom sul pannello

Specified by:

zoomed in interface GraphListener

Parameters:

ge - il descrittore dell'evento

close

public void close()

Da chiamare al momento della chiusura del Panel per rilasciare le finestre aperte e chiudere i processi in corso.

setLanguage

public void setLanguage(java.lang.String[] v,
                        java.lang.String[] p)

Sostituisce i testi nei menu e nelle finestre

Parameters:

v - le voci del menu

p - le frasi di prompt

setSliding

public void setSliding(boolean sl)

Abilita e disabilita scivolamento sul GraphPanel

Parameters:

sl - true se si vuole abilitare lo scivolamento interattivo e false altrimenti

isSliding

public boolean isSliding()

Controlla se e' abilitato lo scivolamento sul GraphPanel

Returns:

true se e' abilitato lo scivolamento interattivo, false altrimenti

setMovable

public void setMovable(boolean is)

Abilita e disabilita gli spostamenti sul pannello

Parameters:

is - true se si vuole abilitare gli spostamenti interattivi e false altrimenti

isMovable

public boolean isMovable()

Controlla se sono abilitati gli spostamenti sul pannello

Returns:

true se sono abilitati gli spostamenti, false altrimenti

setEdit

public void setEdit(boolean is)

Abilita e disabilita le modifiche sul pannello

Parameters:

is - true se si vuole abilitare le modifiche interattive e false altrimenti

isEdit

public boolean isEdit()

Controlla se sono abilitate le modifiche sul pannello

Returns:

true se sono abilitate le modifiche interattive, false altrimenti

setPopUp

public void setPopUp(boolean pu)

Abilita e disabilita il popup sul pannello

Parameters:

pu - true se si vuole abilitare il popup e false altrimenti

isPopUp

public boolean isPopUp()

Controlla se e' abilitato il popup sul pannello

Returns:

true se il popup e' abilitato, false altrimenti

setModified

public void setModified(boolean mo)

Segna come modificato il pannello

Parameters:

mo - true se si vuole segnare come modificato il GraphPanel e false altrimenti

isModified

public boolean isModified()

Controlla se il pannello e' stato modificato

Returns:

true se il popup e' modificato, false altrimenti

getAdjacency

public double[][] getAdjacency()

Ritorna la matrice di adiacenza dei collegamenti tra i nodi in un passo

Returns:

la matrice dei collegamenti in un passo

getConnection

public double[][] getConnection(int n)

Ritorna la matrice dei collegamenti tra i nodi in un dato numero di passi

Parameters:

n - il numero di passi

Returns:

la matrice dei collegamenti in n passi

getConnections

public double[][] getConnections()

Ritorna la matrice delle connessioni tra i nodi in un numero qualsiasi di passi

Returns:

la matrice dei collegamenti in un numero qualsiasi di passi inferiori al numero dei nodi

linearise

public boolean linearise()

Linearizza il grafo (Bisogna ancora risolvere la linearizzazione di piu' di due passi)

Returns:

true se il grafo viene modificato, false altrimenti

load

public void load(java.io.Reader r)

Carica un grafo nel pannello prelevando dal Reader r la matrice di adiacenza il cui formato prevede che la prima riga letta contenga il numero di nodi e la successiva riga contiene l'elenco dei nomi dei nodi e nelle righe successive sono conservati i valori della matrice di adiacenza dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi Successivamente puo' esserci la matrice dei pesi dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi e gli elementi sono i valori dei singoli archi separati da '|' In seguito, se c'e' un'altra riga, contiene una terna di valori separati da virgola per ogni nodo contenente il valore del codice del colore in decimale e le coordinate x e y del nodo nel grafo. Infine dopo puo' esserci una matrice contenente i valori dei colori degli archi. Nel secondo formato invece sono elencati su ogni riga la coppia di nodi connessi da un arco ed eventualmente il costo dell'arco. Il nome del primo nodo non può essere un numero intero

Parameters:

r - il Reader da cui viene prelevato il grafo

load

public void load(java.io.Reader r,
                 boolean merge)

Carica un grafo nel pannello prelevando dal Reader r la descrizione di un grafo in due formati. Nel primo il formato prevede che la prima riga letta contenga il numero di nodi e la successiva riga contiene l'elenco dei nomi dei nodi e nelle righe successive sono conservati i valori della matrice di adiacenza dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi Successivamente puo' esserci la matrice dei pesi dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi e gli elementi sono i valori dei singoli archi separati da '|' In seguito, se c'e' un'altra riga, contiene una terna di valori separati da virgola per ogni nodo contenente il valore del codice del colore in decimale e le coordinate x e y del nodo nel grafo. Infine dopo puo' esserci una matrice contenente i valori dei colori degli archi. Nel secondo formato invece sono elencati su ogni riga la coppia di nodi connessi da un arco ed eventualmente il costo dell'arco. Il nome del primo nodo non può essere un numero intero

Parameters:

r - il Reader da cui viene prelevato il grafo

merge - true se il grafo va sovrapposto a quello esistente, false altrimenti

save

public void save(java.io.Writer w)

Salva la matrice di adiacenza del grafo nel pannello su un Writer in un formato che prevede che la prima riga scritta contenga il numero di nodi e la successiva riga contenga l'elenco dei nomi e delle caratteristiche dei nodi. Nelle righe successive sono conservati i valori della matrice di adiacenza dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi Successivamente c'e' la matrice dei pesi dove le colonne e le righe conservano lo stesso ordine dei nomi dei nodi e gli elementi sono i valori dei singoli archi separati da '|' In seguito c'e' una riga che contiene una terna di valori separati da virgola per ogni nodo contenente il valore del codice del colore in decimale e le coordinate x e y del nodo nel grafo. Infine dopo c'e' una matrice contenente i valori dei colori degli archi.

Parameters:

w - il Writer su cui viene salvato il grafo

clear

public void clear()

Cancella il grafo nel GraphPanel

clear

public void clear(boolean erase)

Cancella il grafo nel GraphPanel

Parameters:

erase - true se deve essere cancellato anche lo sfondo, false altrimenti

setGraph

public void setGraph(java.lang.String[] name,
                     int[][] matAd)

Inizializza il GraphPanel con un grafo

Parameters:

name - nomi dei nodi del grafo

matAd - matrice di adiacenza del grafo

setGraph

public void setGraph(java.lang.String[] name,
                     int[][] matAd,
                     double[][][] prices)

Inizializza il GraphPanel con un grafo pesato

Parameters:

name - nomi dei nodi del grafo

matAd - matrice di adiacenza del grafo

prices - matrice dei prezzi di ogni arco

setGraph

public void setGraph(Graph<TN,TA> g)

Visualizza un grafo sul GraphPanel

Parameters:

g - il grafo da visualizzare

setGraph

public void setGraph(Graph<TN,TA> g,
                     int[][] c)

Visualizza un grafo sul GraphPanel

Parameters:

g - il grafo da visualizzare

c - le coordinate dei nodi (primo indice orizzontale, secondo indice verticale)

setGraph

public void setGraph(Graph<TN,TA> g,
                     int[][] c,
                     java.awt.Color col)

Visualizza un grafo sul GraphPanel

Parameters:

g - il grafo da visualizzare

c - le coordinate dei nodi (primo indice orizzontale, secondo indice verticale)

col - il colore dei nodi e degli archi

coordOk

public boolean coordOk(int i,
                       int j)

Controlla se i due indici di nodi sono validi per il grafo

Parameters:

i - la riga dell'arco

j - la colonna dell'arco

Returns:

true se le coordinate dell'arco sono valide, false altrimenti

getPreferredSize

public java.awt.Dimension getPreferredSize()

Ritorna la dimensione preferita del GraphPanel

Overrides:

getPreferredSize in class java.awt.Container

Returns:

la dimensione preferita del GraphPanel

setSize

public void setSize(int w,
                    int h)

Modifica la dimensione del GraphPanel

Overrides:

setSize in class java.awt.Component

setSize

public void setSize(java.awt.Dimension d)

Modifica la dimensione del GraphPanel

Overrides:

setSize in class java.awt.Component

findNode

public int findNode(java.lang.String name)

Ritorna l'indice del nodo dato il nome

Parameters:

name - nome del nodo

Returns:

l'indice del nodo nel grafo, -1 se non esiste nodo con il nome dato

setAdaptive

public void setAdaptive(boolean ad)

Attiva o disattiva il processo di adattamento della posizione dei nodi per consentire una corretta collocazione e dare una lunghezza richiesta agli archi

Parameters:

ad - true se il pannello deve adattarsi, false altrimenti

isAdaptive

public boolean isAdaptive()

Dice se e' disattivato il processo di adattamento della posizione dei nodi per consentire una corretta collocazione e dare una lunghezza richiesta agli archi

Returns:

true se il pannello deve adattarsi, false altrimenti

drawPath

public void drawPath(java.awt.Color c,
                     java.lang.String[] steps)

Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti

Parameters:

c - il colore del percorso

steps - l'elenco dei nodi che costituiscono il percorso

drawPath

public void drawPath(java.awt.Color c,
                     java.lang.String[] steps,
                     boolean visible)

Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti

Parameters:

c - il colore del percorso

steps - l'elenco dei nodi che costituiscono il percorso

visible - true se il percorso deve essere visibile, false altrimenti

drawPath

public void drawPath(java.awt.Color c,
                     java.awt.Color cn,
                     java.lang.String[] steps,
                     boolean visible)

Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti

Parameters:

c - il colore del percorso

cn - il colore dei nodi (se null il colore non viene cambiato)

steps - l'elenco dei nodi che costituiscono il percorso

visible - true se il percorso deve essere visibile, false altrimenti

drawPath

public void drawPath(java.awt.Color c,
                     int[] steps)

Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti

Parameters:

c - il colore del percorso

steps - l'elenco degli indici dei nodi che costituiscono il percorso

drawPath

public void drawPath(java.awt.Color c,
                     int[] steps,
                     boolean visible)

Disegna un cammino nel colore indicato Aggiunge gli archi se non presenti

Parameters:

c - il colore del percorso

steps - l'elenco degli indici dei nodi che costituiscono il percorso

visible - true se il percorso deve essere visibile, false altrimenti

drawPath

public void drawPath(java.awt.Color c,
                     java.awt.Color cn,
                     int[] steps,
                     boolean visible)

Disegna un cammino nei colori indicati. Aggiunge gli archi se non presenti

Parameters:

c - il colore del percorso

cn - il colore dei nodi (se null il colore non viene cambiato)

steps - l'elenco degli indici dei nodi che costituiscono il percorso

visible - true se il percorso deve essere visibile, false altrimenti

selectAll

public void selectAll(boolean sel)

Seleziona o deselaziona tutti i nodi del grafo

Parameters:

sel - true se seleziona, false se deseleziona

resizeNode

public boolean resizeNode(java.lang.String name,
                          int newSize)

Modifica la dimensione di un nodo nel grafo

Parameters:

name - il nome del nodo

newSize - la nuova dimensione del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

setThickness

public boolean setThickness(java.lang.String name,
                            int newThickness)

Modifica lo spessore di un nodo nel grafo

Parameters:

name - il nome del nodo

newThickness - la nuova dimensione del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

reshapeNode

public boolean reshapeNode(java.lang.String name,
                           int newShape)

Modifica la forma di un nodo nel grafo

Parameters:

name - il nome del nodo

newShape - la nuova forma del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

changeNodeFill

public boolean changeNodeFill(java.lang.String name,
                              boolean newFill)

Modifica il riempimento di un nodo nel grafo

Parameters:

name - il nome del nodo

newFill - il nuovo stato di riempimento del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

changeNodeFix

public boolean changeNodeFix(java.lang.String name,
                             boolean newFix)

Modifica il fissaggio di un nodo nel grafo

Parameters:

name - il nome del nodo

newFix - il nuovo stato di fissaggio del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

changeNodeThickness

public boolean changeNodeThickness(java.lang.String name,
                                   int newThick)

Modifica lo spessore del bordo di un nodo nel grafo

Parameters:

name - il nome del nodo

newThick - il nuovo spessore del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

changeNodeFixing

public boolean changeNodeFixing(java.lang.String name,
                                boolean newFix)

Modifica il fissaggio di un nodo nel grafo

Parameters:

name - il nome del nodo

newFix - il nuovo fissaggio del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

changeNodeImage

public boolean changeNodeImage(java.lang.String name,
                               java.lang.String image)

Modifica l'immagine di un nodo nel grafo

Parameters:

name - il nome del nodo

image - la nuova immagine del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

renameNode

public boolean renameNode(java.lang.String name,
                          java.lang.String newName)

Rinomina un nodo nel grafo

Parameters:

name - il vecchio nome del nodo

newName - il nuovo nome del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

removeNode

public boolean removeNode(int x,
                          int y)

Rimuove il nodo selezionato dal grafo

Parameters:

x - l'ascissa del punto di selezione

y - l'ordinata del punto di selezione

Returns:

true se il grafo e' cambiato, false altrimenti

removeNode

public boolean removeNode(java.lang.String name)

Rimuove un nodo col dato nome dal grafo

Parameters:

name - nome del nodo da eliminare

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name)

Aggiunge un nodo col dato nome al grafo

Parameters:

name - nome del nodo da aggiungere

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       java.awt.Color c)

Aggiunge un nodo col dato nome al grafo di un certo colore

Parameters:

name - nome del nodo da aggiungere

c - colore del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y)

Aggiunge un nodo col dato nome al grafo in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y,
                       java.awt.Color c)

Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

c - colore del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y,
                       java.awt.Color c,
                       int dim)

Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

c - colore del nodo

dim - dimensione del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y,
                       java.awt.Color c,
                       int dim,
                       java.lang.String image)

Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

c - colore del nodo

dim - dimensione del nodo

image - immagine di sfondo del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y,
                       java.awt.Color c,
                       int dim,
                       int shape)

Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

c - colore del nodo

dim - dimensione del nodo

shape - forma del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y,
                       java.awt.Color c,
                       int dim,
                       int shape,
                       boolean filled)

Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

c - colore del nodo

dim - dimensione del nodo

shape - forma del nodo

filled - true se il nodo è pieno, false se il nodo è vuoto

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y,
                       java.awt.Color c,
                       int dim,
                       int shape,
                       boolean filled,
                       int thickness)

Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

c - colore del nodo

dim - dimensione del nodo

shape - forma del nodo

filled - true se il nodo è pieno, false se il nodo è vuoto

thickness - lo spessore del bordo del segno

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y,
                       java.awt.Color c,
                       int dim,
                       java.lang.String image,
                       int shape,
                       boolean filled,
                       int thickness)

Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

c - colore del nodo

dim - dimensione del nodo

image - immagine di sfondo del nodo, null se il nodo è una forma geometrica

shape - forma del nodo

filled - true se il nodo è pieno, false se il nodo è vuoto

thickness - lo spessore del bordo del segno

Returns:

true se il grafo e' cambiato, false altrimenti

addNode

public boolean addNode(java.lang.String name,
                       int x,
                       int y,
                       java.awt.Color c,
                       int dim,
                       java.lang.String image,
                       int shape,
                       boolean filled,
                       int thickness,
                       boolean fixing)

Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione

Parameters:

name - nome del nodo da aggiungere

x - la coordinata x del nodo

y - la coordinata y del nodo

c - colore del nodo

dim - dimensione del nodo

image - immagine di sfondo del nodo, null se il nodo è una forma geometrica

shape - forma del nodo

filled - true se il nodo è pieno, false se il nodo è vuoto

thickness - lo spessore del bordo del segno

fixing - indica se il nodo è fisso o può fluttuare

Returns:

true se il grafo e' cambiato, false altrimenti

changeNode

public boolean changeNode(java.lang.String name,
                          NodeSign<TN> ns)

Sostituisce un nodo col dato nome con il nodo indicato

Parameters:

name - nome del nodo di cui sostituire la rappresentazione

ns - la nuova rappresentazione del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

removeArc

public boolean removeArc(ArcSign<TN,TA> as)

Rimuove un arco dal grafo

Parameters:

as - l'arco da rimuovere

Returns:

true se il grafo e' cambiato, false altrimenti

removeArc

public boolean removeArc(java.lang.String source,
                         java.lang.String dest)

Rimuove un arco dal grafo tra il nodo source e il nodo dest

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

removeArcs

public boolean removeArcs(java.lang.String source,
                          java.lang.String dest)

Rimuove gli archi dal grafo tra il nodo source e il nodo dest

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

removeArc

public boolean removeArc(int x,
                         int y)

Rimuove l'arco selezionato dal grafo

Parameters:

x - l'ascissa del punto di selezione

y - l'ordinata del punto di selezione

Returns:

true se il grafo e' cambiato, false altrimenti

addArc

public boolean addArc(java.lang.String source,
                      java.lang.String dest)

Aggiunge un arco al grafo tra il nodo sorg e il nodo dest

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

addArc

public boolean addArc(java.lang.String source,
                      java.lang.String dest,
                      java.awt.Color c)

Aggiunge un arco al grafo tra il nodo sorg e il nodo dest del colore indicato

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

c - il colore dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

addArc

public boolean addArc(java.lang.String source,
                      java.lang.String dest,
                      double price)

Aggiunge un arco al grafo tra il nodo sorg e il nodo dest con il costo indicato

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

price - il costo dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

addArc

public boolean addArc(java.lang.String source,
                      java.lang.String dest,
                      java.awt.Color c,
                      double price)

Aggiunge un arco al grafo tra il nodo sorg e il nodo dest con il costo indicato del colore indicato

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

c - il colore dell'arco

price - il costo dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

addArc

public boolean addArc(java.lang.String source,
                      java.lang.String dest,
                      java.awt.Color c,
                      int thickness,
                      boolean visible,
                      double price)

Aggiunge un arco al grafo tra il nodo sorg e il nodo dest con il costo indicato del colore indicato

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

c - il colore dell'arco

thickness - lo spessore dell'arco

visible - la visibilità dell'arco

price - il costo dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

changeArcWeight

public boolean changeArcWeight(java.lang.String source,
                               java.lang.String dest,
                               double price)

Modifica il peso di un arco del grafo tra il nodo sorg e il nodo dest con il costo indicato

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

price - il costo dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

changeArcThickness

public boolean changeArcThickness(java.lang.String source,
                                  java.lang.String dest,
                                  int thickness)

Modifica lo spessore di un arco del grafo tra il nodo sorg e il nodo dest con lo spessore indicato

Parameters:

source - la sorgente dell'arco

dest - la destinazione dell'arco

thickness - il costo dell'arco

Returns:

true se il grafo e' cambiato, false altrimenti

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent ae)

Gestisce le azioni relative ai menu

Specified by:

actionPerformed in interface java.awt.event.ActionListener

Parameters:

ae - l'evento da gestire

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)

Gestisce l'evento mouse click se l'evento non e' stato gia' consumato Se il click col tasto destro è su un nodo o un arco presente se sono attivi i popup viene visualizzato il popup relativo a quel nodo/arco se ci sono listeners vengono avvertiti della selezione

Specified by:

mouseClicked in interface java.awt.event.MouseListener

Parameters:

e - l'evento del mouse

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent e)

Gestisce l'evento mouse entered

Specified by:

mouseEntered in interface java.awt.event.MouseListener

Parameters:

e - l'evento del mouse

mouseExited

public void mouseExited(java.awt.event.MouseEvent e)

Gestisce l'evento mouse exited

Specified by:

mouseExited in interface java.awt.event.MouseListener

Parameters:

e - l'evento del mouse

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Gestisce l'evento mouse pressed se l'evento non e' stato gia' consumato

Specified by:

mousePressed in interface java.awt.event.MouseListener

Parameters:

e - l'evento del mouse

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)

Gestisce l'evento mouse released se l'evento non e' stato gia' consumato

Specified by:

mouseReleased in interface java.awt.event.MouseListener

Parameters:

e - l'evento del mouse

mouseDragged

public void mouseDragged(java.awt.event.MouseEvent e)

Gestisce l'evento mouse dragged se l'evento non e' stato gia' consumato

Specified by:

mouseDragged in interface java.awt.event.MouseMotionListener

Parameters:

e - l'evento del mouse

mouseMoved

public void mouseMoved(java.awt.event.MouseEvent e)

Gestisce l'evento mouse moved

Specified by:

mouseMoved in interface java.awt.event.MouseMotionListener

Parameters:

e - l'evento del mouse

getGraph

public Graph<TN,TA> getGraph()

Ritorna il grafo rappresentato nel pannello

Returns:

il grafo

degree

public int degree()

Ritorna l'ordine del grafo rappresentato nel GraphJPanel

Returns:

il grado (ordine) del grafo

getNodeName

public java.lang.String getNodeName(int x,
                                    int y)

Ritorna il nome di un nodo indicato con le sue coordinate sul grafo

Parameters:

x - l'ascissa sul grafo

y - l'ordinata sul grafo

Returns:

il nome del nodo

getNode

public NodeSign<TN> getNode(int i)

Ritorna un nodo indicato con il suo indice

Parameters:

i - l'indice del nodo

Returns:

l'indice del nodo, null se il nodo non esiste

getNode

public NodeSign<TN> getNode(java.lang.String s)

Ritorna un nodo indicato con il suo nome

Parameters:

s - il nome

Returns:

l'indice del nodo, null se il nodo non esiste

getNode

public NodeSign<TN> getNode(int x,
                            int y)

Ritorna un nodo indicato con le sue coordinate sul grafo

Parameters:

x - l'ascissa sul grafo

y - l'ordinata sul grafo

Returns:

il nodo alla posizione indicata, null se non esiste alcun nodo in tale posizione

getNodeIndex

public int getNodeIndex(java.lang.String s)

Ritorna l'indice di un nodo indicato con il suo nome

Parameters:

s - il nome

Returns:

l'indice del nodo, -1 se il nodo non esiste

getNodeIndex

public int getNodeIndex(int x,
                        int y)

Ritorna l'indice di un nodo indicato con le sue coordinate sul grafo

Parameters:

x - l'ascissa sul grafo

y - l'ordinata sul grafo

Returns:

l'indice del nodo, -1 se il nodo non esiste

getNodes

public NodeSign<TN>[] getNodes()

Ritorna la matrice dei nodi presenti nel GraphPanel

Returns:

la matrice dei nodi

getArc

public ArcSign<TN,TA> getArc(NodeSign<TN> n1,
                                   NodeSign<TN> n2)

Ritorna l'arco tra due nodi, se presente

Parameters:

n1 - il nodo di partenza

n2 - il nodo di arrivo

Returns:

l'arco tra i due nodi, null se non esiste alcun arco

getArc

public ArcSign<TN,TA> getArc(java.lang.String n1,
                                   java.lang.String n2)

Ritorna l'arco tra due nodi, se presente

Parameters:

n1 - il nodo di partenza

n2 - il nodo di arrivo

Returns:

l'arco tra i due nodi, null se non esiste alcun arco

getArc

public ArcSign<TN,TA> getArc(int x,
                                   int y)

Ritorna l'arco indicato con le sue coordinate sul grafo

Parameters:

x - l'ascissa sul grafo

y - l'ordinata sul grafo

Returns:

l'arco alla posizione indicata, null se non esiste alcun arco in tale posizione

getArcs

public ArcSign<TN,TA>[][] getArcs()

Ritorna la matrice degli archi presenti nel GraphPanel

Returns:

la matrice degli archi

setShowAxis

public void setShowAxis(boolean show)

Stabilisce se visualizzare gli assi nel grafo

Parameters:

show - true se gli assi vanno visualizzati, false altrimenti

getShowAxis

public boolean getShowAxis()

Ritorna la visualizzazione degli assi del grafo

Returns:

true se gli assi vanno visualizzati, false altrimenti

setShowNames

public void setShowNames(boolean show)

Stabilisce se visualizzare i nomi dei nodi nel grafo

Parameters:

show - true se le scritte vanno visualizzate, false altrimenti

getShowNames

public boolean getShowNames()

Ritorna la visualizzazione dei nomi dei nodi del grafo

Returns:

true se le scritte vanno visualizzate, false altrimenti

setShowWeights

public void setShowWeights(boolean show)

Stabilisce se visualizzare i pesi degli archi nel grafo

Parameters:

show - true se le scritte vanno visualizzate, false altrimenti

getShowWeights

public boolean getShowWeights()

Ritorna la visualizzazione dei pesi degli archi del grafo

Returns:

true se le scritte vanno visualizzate, false altrimenti

setShowText

public void setShowText(boolean show)

Stabilisce se visualizzare le scritte nel grafo

Parameters:

show - true se le scritte vanno visualizzate, false altrimenti

setString

@Deprecated
public void setString(java.lang.String s)

Deprecated.

Stabilisce la stringa di default

Parameters:

s - la stringa di default + @deprecated substituted by setName

setName

public void setName(java.lang.String s)

Stabilisce il nome di default

Overrides:

setName in class java.awt.Component

Parameters:

s - la stringa di default

getString

@Deprecated
public java.lang.String getString()

Deprecated.

substituted by getName

Ritorna la stringa di default

Returns:

la stringa di default

getName

public java.lang.String getName()

Ritorna il nome di default

Overrides:

getName in class java.awt.Component

Returns:

il nome di default

setWeight

public void setWeight(double w)

Stabilisce il peso di default

Parameters:

w - il peso di default

getWeight

public double getWeight()

Ritorna il peso di default

Returns:

il peso di default

setColor

public void setColor(java.awt.Color c)

Stabilisce il colore di default

Parameters:

c - il colore di default

getColor

public java.awt.Color getColor()

Ritorna il colore di default

Returns:

il colore di default

setThickness

public void setThickness(int th)

Stabilisce lo spessore di default

Parameters:

th - lo spessore di default

getThickness

public int getThickness()

Ritorna lo spessore di default

Returns:

lo spessore di default

setNodeSize

public void setNodeSize(int dim)

Stabilisce la dimensione dei nodi di default

Parameters:

dim - la dimensione dei nodi di default

getNodeSize

public int getNodeSize()

Ritorna la dimensione dei nodi di default

Returns:

la dimensione dei nodi default

setNodeShape

public void setNodeShape(int sh)

Stabilisce la forma dei nodi di default

Parameters:

sh - la forma dei nodi di default

getNodeShape

public int getNodeShape()

Ritorna la forma dei nodi di default

Returns:

la forma dei nodi default

setNodeFill

public void setNodeFill(boolean fill)

Stabilisce il rempimento di dafault dei nodi

Parameters:

fill - il riempimento di default dei nodi

getNodeFill

public boolean getNodeFill()

Ritorna il riempimento di default dei nodi

Returns:

la riempimento di default dei nodi

setNodeFixing

public void setNodeFixing(boolean fixing)

Stabilisce il fissaggio di dafault dei nodi

Parameters:

fixing - il fissaggio di default dei nodi

getNodeFixing

public boolean getNodeFixing()

Ritorna il fissaggio di default dei nodi

Returns:

la fissaggio di default dei nodi

setImageName

public void setImageName(java.lang.String im)

Stabilisce l'immagine dei nodi di default

Parameters:

im - l'immagine dei nodi di default

getImageName

public java.lang.String getImageName()

Ritorna l'immagine dei nodi di default

Returns:

l'immagine dei nodi di default

inZoom

public void inZoom()

Ingrandisce il grafo

outZoom

public void outZoom()

Rimpicciolisce il grafo

setZoom

public void setZoom(int z)

Stabilisce il grado di ingrandimento del grafo

Parameters:

z - il grado di ingrandimento del grafo compreso tra MINZOOM (-2) e MAXZOOM (7)

getZoom

public int getZoom()

Ritorna il grado di ingrandimento del grafo

Returns:

il grado di ingrandimento del grafo

dezoom

public int dezoom(int v)

Rimuove la zoommata dalla dimensione

Parameters:

v - il valore da dezoommare

Returns:

la dimensione alle coordinate assolute

zoom

public int zoom(int v)

Applica la zoommata alla dimensione

Parameters:

v - il valore da zoommare

Returns:

la dimensione all'ingrandimento attuale

reset

public void reset()

Ripristina la zoommata e l'origine

slide

public void slide(int x,
                  int y)

Sposta l'origine

Parameters:

x - lo spostamento orizzontale

y - lo spostamento verticale

absoluteX

public int absoluteX(int x)

Calcola l'ascissa assoluta dato un punto del piano

Parameters:

x - l'ascissa del piano

Returns:

l'ascissa assoluta

absoluteY

public int absoluteY(int y)

Calcola l'ordinata assoluta dato un punto del piano

Parameters:

y - l'ordinata del piano

Returns:

l'ordinata assoluta

setImageReader

public void setImageReader(ImageReader i)

Stabilisce l'ImageReader da utilizzare per la lettura delle immagini

Parameters:

i - l'ImageReader da utilizzare

getBackImage

public java.lang.String getBackImage()

Ritorna il nome dello sfondo

Returns:

il nome del file contenente l'immagine di sfondo

getBackImageSource

public java.awt.Image getBackImageSource()

Ritorna l'immagine dello sfondo

Returns:

l'immagine di sfondo

setBackImage

public void setBackImage(java.lang.String i)

Modifica lo sfondo

Parameters:

i - il nome del file contenente l'immagine di sfondo

setBackImage

@Deprecated
public void setBackImage(java.awt.Image i)

Deprecated.

versione 2.0 utilizzare la forma setBackImage(String i) che conserva il nome dell'immagine per poterlo salvare

Modifica lo sfondo

Parameters:

i - l'immagine di sfondo

getImage

public java.awt.Image getImage(java.lang.String ims)

Ritorna una immagine. Implementa ImageReader

Specified by:

getImage in interface ImageReader

Parameters:

ims - nome dell'immagine da ritornare

Returns:

l'immagine letta

addGraphListener

public void addGraphListener(GraphListener gl)

Aggiunge un nuovo GraphListener al pannello.

Parameters:

gl - il nuovo GraphListener da aggiungere

removeGraphListener

public void removeGraphListener(GraphListener gl)

Rimuove un nuovo GraphListener dal pannello.

Parameters:

gl - il nuovo GraphListener da aggiungere

getGraphListeners

public GraphListener[] getGraphListeners()

Rimuove un GraphListener dal pannello.

Returns:

la matrice contenente i GraphListener aggiunti al pannello

update

public void update(java.awt.Graphics g)

Disegna il GraphJPanel

Overrides:

update in class java.awt.Container

Parameters:

g - lo spazio grafico di tracciamento

paint

public void paint(java.awt.Graphics g)

Disegna il pannello

Overrides:

paint in class java.awt.Container

Parameters:

g - lo spazio grafico di tracciamento

toString

public java.lang.String toString()

Ritorna la stringa che descrive il grafo

Overrides:

toString in class java.awt.Component

Returns:

la descrizione del grafo

setVisible

public void setVisible(boolean v)

Overrides:

setVisible in class java.awt.Component

main

public static void main(java.lang.String[] s)

Il programma di prova

Parameters:

s - i nomi dei file contenenti le descrizioni dei grafi. Se non ne sono indicati viene utilizzato un grafo di default