Class GraphJPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

GraphJPanel

All Implemented Interfaces:

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 GraphJPanel
extends javax.swing.JPanel
implements java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.ActionListener, ImageReader

GraphJPanel e' un JPanel su cui e' visualizzato un grafo 1/3/2011 corretto rappresentazione degli anelli corretto collocazione dei nodi di una matrice 19/12/2012 reso GraphJPanel un ImageReader aggiunto la possibilità di dare i colori 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 3/12/2013 aggiunto metodi 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 DA FARE selezionare più nodi e modificarli assieme (muoverli e cambiarli) scegliare l'attivazione di un metodo tramite puntamento visualizzare in colori diversi gli archi sovrapposti

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JPanel

javax.swing.JPanel.AccessibleJPanel

Nested classes/interfaces inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

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

Modifier and Type	Field and Description
(package private) ArcSign[][]	a
(package private) java.awt.Image	bgImage
(package private) java.lang.String	bgName
(package private) static int	COLOR
(package private) java.awt.Color	defaultColor
(package private) boolean	defaultFill
(package private) java.lang.String	defaultImage
(package private) java.lang.String	defaultName
(package private) int	defaultShape
(package private) int	defaultSize
(package private) double	defaultWeight
(package private) int	dx
(package private) int	dy
(package private) boolean	editing
(package private) static java.awt.Frame	f Il frame che contiene il GraphJPanel di prova
(package private) static int	FILL
(package private) Graph	g
(package private) java.util.Vector<GraphListener>	graphListeners
(package private) static int	IMAGE
(package private) ImageReader	ir
(package private) java.awt.event.MouseEvent	lastEvent
(package private) boolean	lineDraw true se viene evidenziato l'elastico col punto precedentemente clickato, false
(package private) int	linePosX ascissa del punto di partenza dell'elastico
(package private) int	linePosY ordinata del punto di partenza dell'elastico
(package private) static int	MAXZOOM
(package private) static int	MCOL
(package private) static int	MEDIT
(package private) static int	MFILE
(package private) static int	MINL
(package private) static int	MINL1
(package private) static int	MINP
(package private) static int	MINP1
(package private) static int	MINZOOM
(package private) javax.swing.JMenuItem	mnColSetPU
(package private) javax.swing.JMenuItem	mnFillPU
(package private) javax.swing.JMenuItem	mnImagePU
(package private) javax.swing.JMenuItem	mnMinLPU
(package private) javax.swing.JMenuItem	mnMinPPU
(package private) javax.swing.JPopupMenu	mnPointPU
(package private) javax.swing.JMenuItem	mnRemPU
(package private) javax.swing.JMenuItem	mnRenPU
(package private) javax.swing.JMenuItem	mnShapePU
(package private) javax.swing.JMenuItem	mnSizePU
(package private) javax.swing.JMenuItem	mnUnlinkPU
(package private) javax.swing.JMenuItem	mnWeightPU
(package private) javax.swing.JMenuItem	mnZoomPU
(package private) boolean	modified
(package private) static int	MSERACH
(package private) static int	MZOOM
(package private) NodeSign[]	n
(package private) static int	NAME
(package private) int	oldx
(package private) int	oldy
(package private) int	operation
(package private) int	posx
(package private) int	posy
(package private) static int	prefSize
(package private) java.lang.String	primo
(package private) java.lang.String[]	prompt
(package private) static int	REN
(package private) static int	REN1
(package private) int	selectedNode Indice del nodo selezionato
(package private) static long	serialVersionUID
(package private) static int	SHAPE
(package private) boolean	showAxis
(package private) boolean	showNames
(package private) boolean	showWeights
(package private) int	size
(package private) static int	SIZE
(package private) boolean	sliding
(package private) boolean	usePopUp
(package private) static int	VCOL
(package private) static int	VDELA
(package private) static int	VDELN
(package private) static int	VFILL
(package private) static int	VIMAGE
(package private) static int	VMINL
(package private) static int	VMINP
(package private) static int	VNAME
(package private) java.lang.String[]	voice
(package private) static int	VSHAPE
(package private) static int	VSIZE
(package private) static int	VWEI
(package private) static int	VZOOM
(package private) static int	WEIGHT
(package private) static int	ZOOM
(package private) int	zoomRate

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

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 and Description
GraphJPanel() Crea un GraphPanel di un grafo vuoto
GraphJPanel(Graph gr) Crea un GraphPanel di un grafo dato
GraphJPanel(Graph gr, java.awt.Image bg, java.lang.String bgn) Crea un GraphPanel di un grafo dato con una immagine di sfondo
GraphJPanel(java.awt.Image bg, java.lang.String bgn) Crea un GraphPanel di un grafo vuoto con una immagine di sfondo
GraphJPanel(java.io.Reader r) Crea un GraphJPanel prelevando dal Reader r la descrizione di un grafo in due formati.
GraphJPanel(java.lang.String[][] couples, double[] p) Crea un GraphJPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,
GraphJPanel(java.lang.String[][] couples, double[] p, java.awt.Color col) Crea un GraphJPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,
GraphJPanel(java.lang.String[][] couples, double[] p, int[][] pos, java.awt.Color col) Crea un GraphJPanel contenente un grafo di cui viene fornita la lista di coppie di nodi con i relativi costi,
GraphJPanel(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
GraphJPanel(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.
GraphJPanel(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.
GraphJPanel(java.lang.String[] name, int[][] pos, int[][] matAd, double[][][] p, java.awt.Color col) Crea un GraphJPanel 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

Methods

Modifier and Type	Method and Description
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, 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, double price) Aggiunge un arco al grafo tra il nodo sorg e il nodo dest con il costo 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, java.awt.Color c) Aggiunge un nodo col dato nome al grafo di un certo colore
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, 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, 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) Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	changeFillNode(java.lang.String name, boolean newFill) Modifica il riempimento di un nodo nel grafo
boolean	changeNode(java.lang.String name, NodeSign ns) Aggiunge un nodo col dato nome al grafo di un certo colore in una data posizione
boolean	changeNodeImage(java.lang.String name, java.lang.String image) Modifica l'immagine di un nodo nel grafo
void	clear() Cancella il grafo nel GraphPanel
void	clear(boolean erase) Cancella il grafo nel GraphPanel
boolean	coordOk(int i, int j) Controlla se i due indici di nodi sono validi per il grafo
int	dezoom(int v) Rimuove la zoommata dalla dimensione
(package private) void	doOperation(java.awt.event.MouseEvent e) Esegue le diverse operazioni in seguito al click del mouse o al completamento di un comando popup
void	drawPath(java.awt.Color c, int[] steps) Disegna un cammino nel colore indicato
void	drawPath(java.awt.Color c, java.lang.String[] steps) Disegna un cammino nel colore indicato
int	findNode(java.lang.String name) Ritorna l'indice del nodo dato il nome
double[][]	getAdiacence() Ritorna la matrice di adiacenza dei collegamenti tra i nodi in un passo
ArcSign	getArc(int x, int y) Ritorna l'arco indicato con le sue coordinate sul grafo
ArcSign	getArc(NodeSign n1, NodeSign n2) Ritorna l'arco tra due nodi, se presente
ArcSign[][]	getArcs() Ritorna la matrice degli archi presenti nel GraphPanel
java.lang.String	getBackImage() Ritorna il nome 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	getGraph() Ritorna il grafo rappresentato nel GraphJPanel
GraphListener[]	getGraphListeners() Rimuove un nuovo 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	getNode(int i) Ritorna un nodo indicato con il suo indice
NodeSign	getNode(int x, int y) Ritorna un nodo indicato con le sue coordinate sul grafo
NodeSign	getNode(java.lang.String s) Ritorna un nodo indicato con il suo nome
boolean	getNodeFill() Ritorna il riempimento 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[]	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
double	getWeight() Ritorna il peso di default
int	getZoom() Ritorna il grado di ingrandimento del grafo
void	inZoom() Ingrandisce il grafo
boolean	isEdit() Controlla se sono abilitate le modifiche sul GraphJPanel
boolean	isModified() Controlla se il GraphJPanel e' stato modificato
boolean	isPopUp() Controlla se e' abilitato il popup sul GraphJPanel
boolean	isSliding() Controlla se sono abilitate lo scivolamento sul GraphJPanel
void	load(java.io.Reader r) Carica un grafo nel GraphJPanel 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 GraphJPanel 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.
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
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
(package private) void	notifySetting() Notifica ai listeners che e' stato modificato il setting del pannello
void	outZoom() Rimpicciolisce il grafo
void	paint(java.awt.Graphics g) Disegna il GraphJPanel
(package private) void	remNodePU() Rimuove un nodo in seguito alla scelta da popup
boolean	removeArc(int x, int y) Rimuove l'arco selezionato 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
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 GraphPanel su un Writer in un formato che 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 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.
(package private) void	searchPU(boolean length) Evidenzia un percorso in seguito alla scelta da popup
void	setBackImage(java.awt.Image i) Deprecated. versione 2.0 utilizzare la forma 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 pu) Abilita e disabilita le modifiche sul GraphJPanel
void	setGraph(Graph g) Visualizza un grafo sul GraphPanel
void	setGraph(Graph g, int[][] c) Visualizza un grafo sul GraphPanel
void	setGraph(Graph 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
(package private) void	setListeners() Predispone i listeners necessari
void	setModified(boolean mo) Segna come modificato il GraphJPanel
void	setName(java.lang.String s) Stabilisce il nome di default
(package private) void	setNodeArcColorPU() Modifica il colore di un arco o di un nodo in seguito alla scelta da popup
void	setNodeFill(boolean fill) Stabilisce il rempimento 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 GraphJPanel
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(java.awt.Dimension d) Modifica la dimensione del GraphPanel
void	setSize(int w, int h) Modifica la dimensione del GraphPanel
void	setSliding(boolean sl) Abilita e disabilita scivolamento sul GraphPanel
void	setString(java.lang.String s) Deprecated.
void	setWeight(double w) Stabilisce il peso di default
(package private) void	setWeightPU() Modifica il peso di un arco in seguito alla scelta da popup
void	setZoom(int z) Stabilisce il grado di ingrandimento del grafo
java.lang.String	toString() Ritorna la stringa che descrive il grafo
(package private) void	unlinkPU() Cancella un arco in seguito alla scelta da popup
void	update(java.awt.Graphics g) Disegna il GraphJPanel
int	zoom(int v) Applica la zoommata alla dimensione

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, show, show, size, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

static final long serialVersionUID

See Also:

Constant Field Values

n

NodeSign[] n

a

ArcSign[][] a

g

Graph g

defaultColor

java.awt.Color defaultColor

defaultWeight

double defaultWeight

defaultName

java.lang.String defaultName

defaultSize

int defaultSize

defaultShape

int defaultShape

defaultFill

boolean defaultFill

defaultImage

java.lang.String defaultImage

zoomRate

int zoomRate

showAxis

boolean showAxis

showNames

boolean showNames

showWeights

boolean showWeights

MINZOOM

static final int MINZOOM

See Also:

Constant Field Values

MAXZOOM

static final int MAXZOOM

See Also:

Constant Field Values

MFILE

static final int MFILE

See Also:

Constant Field Values

MEDIT

static final int MEDIT

See Also:

Constant Field Values

MSERACH

static final int MSERACH

See Also:

Constant Field Values

MCOL

static final int MCOL

See Also:

Constant Field Values

MZOOM

static final int MZOOM

See Also:

Constant Field Values

WEIGHT

static final int WEIGHT

See Also:

Constant Field Values

REN1

static final int REN1

See Also:

Constant Field Values

NAME

static final int NAME

See Also:

Constant Field Values

ZOOM

static final int ZOOM

See Also:

Constant Field Values

COLOR

static final int COLOR

See Also:

Constant Field Values

SIZE

static final int SIZE

See Also:

Constant Field Values

IMAGE

static final int IMAGE

See Also:

Constant Field Values

SHAPE

static final int SHAPE

See Also:

Constant Field Values

FILL

static final int FILL

See Also:

Constant Field Values

MINL1

static final int MINL1

See Also:

Constant Field Values

MINP1

static final int MINP1

See Also:

Constant Field Values

REN

static final int REN

See Also:

Constant Field Values

MINL

static final int MINL

See Also:

Constant Field Values

MINP

static final int MINP

See Also:

Constant Field Values

VDELN

static final int VDELN

See Also:

Constant Field Values

VDELA

static final int VDELA

See Also:

Constant Field Values

VMINP

static final int VMINP

See Also:

Constant Field Values

VMINL

static final int VMINL

See Also:

Constant Field Values

VNAME

static final int VNAME

See Also:

Constant Field Values

VCOL

static final int VCOL

See Also:

Constant Field Values

VWEI

static final int VWEI

See Also:

Constant Field Values

VZOOM

static final int VZOOM

See Also:

Constant Field Values

VSIZE

static final int VSIZE

See Also:

Constant Field Values

VIMAGE

static final int VIMAGE

See Also:

Constant Field Values

VSHAPE

static final int VSHAPE

See Also:

Constant Field Values

VFILL

static final int VFILL

See Also:

Constant Field Values

voice

java.lang.String[] voice

prompt

java.lang.String[] prompt

bgImage

java.awt.Image bgImage

bgName

java.lang.String bgName

ir

ImageReader ir

modified

boolean modified

prefSize

static final int prefSize

See Also:

Constant Field Values

size

int size

operation

int operation

usePopUp

boolean usePopUp

editing

boolean editing

sliding

boolean sliding

mnPointPU

javax.swing.JPopupMenu mnPointPU

mnRemPU

javax.swing.JMenuItem mnRemPU

mnUnlinkPU

javax.swing.JMenuItem mnUnlinkPU

mnMinLPU

javax.swing.JMenuItem mnMinLPU

mnMinPPU

javax.swing.JMenuItem mnMinPPU

mnRenPU

javax.swing.JMenuItem mnRenPU

mnColSetPU

javax.swing.JMenuItem mnColSetPU

mnWeightPU

javax.swing.JMenuItem mnWeightPU

mnZoomPU

javax.swing.JMenuItem mnZoomPU

mnSizePU

javax.swing.JMenuItem mnSizePU

mnImagePU

javax.swing.JMenuItem mnImagePU

mnShapePU

javax.swing.JMenuItem mnShapePU

mnFillPU

javax.swing.JMenuItem mnFillPU

lastEvent

java.awt.event.MouseEvent lastEvent

primo

java.lang.String primo

graphListeners

java.util.Vector<GraphListener> graphListeners

dx

int dx

dy

int dy

oldx

int oldx

oldy

int oldy

posx

int posx

posy

int posy

selectedNode

int selectedNode

Indice del nodo selezionato

lineDraw

boolean lineDraw

true se viene evidenziato l'elastico col punto precedentemente clickato, false

linePosX

int linePosX

ascissa del punto di partenza dell'elastico

linePosY

int linePosY

ordinata del punto di partenza dell'elastico

f

static java.awt.Frame f

Il frame che contiene il GraphJPanel di prova

Constructor Detail

GraphJPanel

public GraphJPanel()

Crea un GraphPanel di un grafo vuoto

GraphJPanel

public GraphJPanel(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

GraphJPanel

public GraphJPanel(Graph gr)

Crea un GraphPanel di un grafo dato

Parameters:

gr - il grafo

GraphJPanel

public GraphJPanel(Graph 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

GraphJPanel

public GraphJPanel(java.io.Reader r)

Crea un GraphJPanel 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

GraphJPanel

public GraphJPanel(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

GraphJPanel

public GraphJPanel(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

GraphJPanel

public GraphJPanel(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

GraphJPanel

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

Crea un GraphJPanel 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

GraphJPanel

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

Crea un GraphJPanel 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

GraphJPanel

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

Crea un GraphJPanel 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

GraphJPanel

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

Crea un GraphJPanel 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

setListeners

void setListeners()

Predispone i listeners necessari

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 sono abilitate lo scivolamento sul GraphJPanel

Returns:

true se e' abilitato lo scivolamento interattivo, false altrimenti

setEdit

public void setEdit(boolean pu)

Abilita e disabilita le modifiche sul GraphJPanel

Parameters:

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

isEdit

public boolean isEdit()

Controlla se sono abilitate le modifiche sul GraphJPanel

Returns:

true se sono abilitate le modifiche interattive, false altrimenti

setPopUp

public void setPopUp(boolean pu)

Abilita e disabilita il popup sul GraphJPanel

Parameters:

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

isPopUp

public boolean isPopUp()

Controlla se e' abilitato il popup sul GraphJPanel

Returns:

true se il popup e' abilitato, false altrimenti

notifySetting

void notifySetting()

Notifica ai listeners che e' stato modificato il setting del pannello

setModified

public void setModified(boolean mo)

Segna come modificato il GraphJPanel

Parameters:

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

isModified

public boolean isModified()

Controlla se il GraphJPanel e' stato modificato

Returns:

true se il popup e' modificato, false altrimenti

getAdiacence

public double[][] getAdiacence()

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

load

public void load(java.io.Reader r)

Carica un grafo nel GraphJPanel 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 GraphJPanel 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

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 GraphPanel su un Writer in un formato che 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 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 g)

Visualizza un grafo sul GraphPanel

Parameters:

g - il grafo da visualizzare

setGraph

public void setGraph(Graph 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 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 javax.swing.JComponent

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

drawPath

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

Disegna un cammino nel colore indicato

Parameters:

c - il colore del percorso

steps - l'elenco dei nodi che costituiscono il percorso

drawPath

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

Disegna un cammino nel colore indicato

Parameters:

c - il colore del percorso

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

resizeNode

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

Modifica la dimensione di un nodo nel grafo

Parameters:

name - il vecchio nome del nodo

newSize - 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 vecchio nome del nodo

newShape - la nuova forma del nodo

Returns:

true se il grafo e' cambiato, false altrimenti

changeFillNode

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

Modifica il riempimento di un nodo nel grafo

Parameters:

name - il vecchio nome del nodo

newFill - la nuova dimensione 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,
              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, 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,
              java.lang.String image,
              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

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

shape - forma del nodo

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

Returns:

true se il grafo e' cambiato, false altrimenti

changeNode

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

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

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

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:

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:

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:

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:

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

remNodePU

void remNodePU()

Rimuove un nodo in seguito alla scelta da popup

unlinkPU

void unlinkPU()

Cancella un arco in seguito alla scelta da popup

searchPU

void searchPU(boolean length)

Evidenzia un percorso in seguito alla scelta da popup

Parameters:

length - se e' true viene scelta la lunghezza altrimenti il peso

setWeightPU

void setWeightPU()

Modifica il peso di un arco in seguito alla scelta da popup

setNodeArcColorPU

void setNodeArcColorPU()

Modifica il colore di un arco o di un nodo in seguito alla scelta da popup

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

Specified by:

mouseClicked in interface java.awt.event.MouseListener

Parameters:

e - l'evento del mouse

doOperation

void doOperation(java.awt.event.MouseEvent e)

Esegue le diverse operazioni in seguito al click del mouse o al completamento di un comando popup

Parameters:

e - l'evento da gestire

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 getGraph()

Ritorna il grafo rappresentato nel GraphJPanel

Returns:

il 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 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 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 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[] getNodes()

Ritorna la matrice dei nodi presenti nel GraphPanel

Returns:

la matrice dei nodi

getArc

public ArcSign getArc(NodeSign n1,
             NodeSign 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 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[][] 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

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

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

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

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

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 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 nuovo 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 javax.swing.JComponent

Parameters:

g - lo spazio grafico di tracciamento

paint

public void paint(java.awt.Graphics g)

Disegna il GraphJPanel

Overrides:

paint in class javax.swing.JComponent

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

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