Relazione del progetto (1° appello) per il corso di Programmazione e Laboratorio A.A. 2016/17

OBIETTIVO

Si richiede di implementare un programma che, tramite un'interfaccia grafica, consenta all'utente di comprare biglietti ferroviari.

ANALISI DEL PROBLEMA

AGGIUNTE

LISTATO

Classe EasyTrain (main)

	      
import java.io.*;

/**
* EasyTrain è la classe principale, contenente il metodo main(), il
* quale di fatto istanzia tutti gli oggetti per l'avvio del programma
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
*/
public class EasyTrain{

	public static void main(String[] args) {

		if(args.length>0) {
			File fileOrari = new File(args[0]);

			if(fileOrari.exists()) {
				LeggiOrari orari = new LeggiOrari(args[0]);

				OrariGUI gui = new OrariGUI("EasyTrain");
				gui.caricaDati(orari.getArrayList(),0);
			} else {
				System.out.println("ERRORE: file inesistente");
				System.exit(0);
			}

		} else {
			System.out.println("ERRORE: inserire il nome di un file in input dopo il comando di esecuzione");
			System.exit(0);
		}
	}
}
	      
      

Classe Ora

		
/**
* Ora è la classe che si occupa di salvare un dato orario dividendolo in ore e minuti per poterli gestire separatamente
*
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
*/
public class Ora implements Comparable {
	private int ore;
	private int min;

	/**
	* Costruttore che assegna i valori ricevuti a tutti gli attributi dichiarati
	*
	* @param o parametro che definisce l'ora di un orario
	* @param m parametro che definisce i minuti di un orario
	*/
	public Ora(int o, int m) {
		ore = o;
		min = m;
	}

	/**
	* Costruttore che assegna valori nulli/azzerati a tutti gli attributi dichiarati
	*
	*/
	public Ora() {
		this(0, 0);
	}

	/**
	* Metodo che ritorna l'ora dell'orario
	*
	* @return ora dell'orario
	*/
	public int getOra() { return ore; }

	/**
	* Metodo che ritorna i minuti dell'orario
	*
	* @return minuti dell'orario
	*/
	public int getMin() { return min; }

	/**
	* Metodo che setta l'ora dell'orario
	*
	* @param o ora
	*/
	public void setOra(int o) { ore = o; }

	/**
	* Metodo che setta i minuti dell'orario
	*
	* @param m minuti
	*/
	public void setMin(int m) { min = m; }

	/**
	* Metodo che stampa l'orario nel formato (HH:mm)
	*
	* @return ritorna la string ore:min
	*/
	public String toString() { return (ore < 10 ? "0" + ore : ore) + ":" + (min < 10 ? "0" + min : min); }

	/**
	* Metodo ereditato dalla classe Comparable e sovrascritto. Si occupa di comparare due oggetti di tipo
	* {@link Ora}
	*
	* @param o oggetto {@link Ora} da confrontare
	* @return 1 se l'oggetto l'ora che ha richiamato il metodo è più grande del parametro {@link Ora} passato, 0 se l'oggetto l'ora che ha richiamato il metodo è uguale al parametro {@link Ora} passato, -1 se l'oggetto l'ora che ha richiamato il metodo è più piccolo del parametro {@link Ora} passato
	*/
	public int compareTo(Ora o) {
		if(ore>o.ore) {
			return 1;
		} else if(ore==o.ore) {
			if(min>o.min) {
				return 1;
			} else if(min<o.min) {
				return -1;
			}
			return 0;
		}
		return -1;
	}

	/**
	* Metodo che ha la funzione di sottrarre due oggetti di tipo {@link Ora}, ottendendone un terzo che verrà infine ritornato
	*
	* @param o oggetto di tipo {@link Ora} da sottrarre all'istanza chiamante
	* @return un terzo oggetto di tipo {@link Ora} che rappresenta la durata
	*/
	public Ora sottrai(Ora o) {
		int tempMin = 0,
			tempOra = 0;

		tempOra = o.getOra() - getOra();
		if(o.getMin()<getMin()) {
			tempMin = o.getMin() - getMin() + 60;
			tempOra -= 1;
		} else {
			tempMin = o.getMin() - getMin();
		}

		return new Ora(tempOra, tempMin);
	}
}
		
	  

Classe Comparatore

	      
import java.util.*;
/**
* Comparatore è la classe che, implementando l'API {@link Comparator} permette di confrontare due oggetti di tipo {@link Orario}
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
*/

public class Comparatore implements Comparator {

    private String campo, tipo;

	/**
	* Unico costruttore. Obbligatorio in quanto per l'esigenza del programma vanno specificati i parametri campo
	* e tipo per capire in che modo va fatta la comparazione tra due oggetti {@link Orario}
	*
	* @param campo specifica se la comparazione andrà fatta in base all'orario o alla stazione
	* @param tipo specifica se la comparazione andrà fatta basandosi sulla partenza o sull'arrivo
	*/
    public Comparatore(String campo, String tipo) {
    	this.campo = campo;
    	this.tipo = tipo;
    }

	/**
	* Metodo che si occupa del confronto di due oggetti di tipo {@link Orario}
	*
	* @param o1 primo oggetto {@link Orario}
	* @param o2 secondo oggetto {@link Orario}
	*/
	@Override
	public int compare(Orario o1, Orario o2) {

		int res = 0;

		if(campo == "orario") {
			if(tipo == "partenza")
				res = o1.getOrarioPartenza().compareTo(o2.getOrarioPartenza());
			else if(tipo == "arrivo")
				res = o1.getOrarioArrivo().compareTo(o2.getOrarioArrivo());
		} else if(campo=="stazione") {
			if(tipo == "partenza")
				res = o1.getStazionePartenza().compareTo(o2.getStazionePartenza());
			else if(tipo == "arrivo")
				res = o1.getStazioneArrivo().compareTo(o2.getStazioneArrivo());
		}

		return res;

	};

}
	      
      

Classe Orario

	      
/**
* Orario è la classe che si occupa di fornire la struttura necessaria per un
* intero orario, costituita da orario di partenza e di arrivo, stazione di
* partenza e di arrivo, prezzo del biglietto, nome del treno e identificativo.
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
*/
public class Orario{

	private Ora orarioPartenza;
	private Ora orarioArrivo;
	private String stazionePartenza;
	private String stazioneArrivo;
	private double prezzo;
	private String nome;
	private int identificativo;

	/**
	* Costruttore che inizializza un oggetto di tipo Orario senza i dettagli
	* specificati
	*/
	public Orario() {
		this(new Ora(), new Ora(), null, null, 0, 0);
	}

	/**
	* Costruttore che inizializza un oggetto di tipo Orario contenente i dettagli
	* di un viaggio: orario di partenza e d'arrivo, stazione di partenza e d'arrivo,
	* il prezzo del biglietto e l'identificativo.
	*
	* @param orarioPartenza		l'orario di partenza
	* @param orarioArrivo		l'orario d'arrivo
	* @param stazionePartenza	il nome della stazione di partenza
	* @param stazioneArrivo		il nome della stazione d'arrivo
	* @param prezzo				il prezzo del biglietto per il viaggio
	* @param identificativo		l'id univoco
	*/
	public Orario(Ora orarioPartenza, Ora orarioArrivo, String stazionePartenza, String stazioneArrivo, double prezzo, int identificativo) {
		this.orarioPartenza = orarioPartenza;
		this.orarioArrivo = orarioArrivo;
		this.stazionePartenza = stazionePartenza;
		this.stazioneArrivo = stazioneArrivo;
		this.prezzo = prezzo;
		this.identificativo = identificativo;
	}

	/**
	* Metodo necessario a modificare l'orario di partenza
	*
	* @param o	l'ora della partenza
	* @param m  il minuto esatto relativo all'ora della partenza
	*/
 	public void setOrarioPartenza(int o, int m) {
 		orarioPartenza.setOra(o);
 		orarioPartenza.setMin(m);
 	}

	/**
	* Metodo necessario a modificare l'orario d'arrivo
	*
	* @param o	l'ora dell'arrivo
	* @param m  il minuto esatto relativo all'ora dell'arrivo
	*/
 	public void setOrarioArrivo(int o, int m) {
 		orarioArrivo.setOra(o);
 		orarioArrivo.setMin(m);
 	}

	/**
	* Metodo necessario a modificare il nome della stazione di partenza
	*
	* @param s	il nome della stazione di partenza
	*/
 	public void setStazionePartenza(String s) {
 		stazionePartenza = s;
 	}

	/**
	* Metodo necessario a modificare il nome della stazione d'arrivo
	*
	* @param s  il nome della stazione d'arrivo
	*/
 	public void setStazioneArrivo(String s) {
 		stazioneArrivo = s;
 	}

	/**
	* Metodo necessario a modificare il prezzo del biglietto per il viaggio
	*
	* @param d	il prezzo del biglietto per il viaggio
	*/
 	public void setPrezzo(Double d) {
 		prezzo = d;
 	}

	/**
	* Metodo necessario a modificare l'identificativo
	*
	* @param i 	parametro scelto arbitrariamente per dare un id univoco all'orario. È compito del programmatore assicurarsi
	* 			l'univocità dello stesso
	*/
 	public void setIdentificativo(int i) {
 		identificativo = i;
 	}

	/**
	* Metodo necessario a modificare il nome del treno che opererà il viaggio
	*
	* @param nome  il nome del treno che opererà il viaggio
	*/
 	public void setNome(String nome) {
 		this.nome = nome;
 	}

	/**
	* Metodo che fornisce l'orario di partenza
	*
	* @return	l'orario di partenza
	*/
 	public Ora getOrarioPartenza() { return orarioPartenza; }

	/**
	* Metodo che fornisce l'orario d'arrivo
	*
	* @return	l'orario d'arrivo
	*/
 	public Ora getOrarioArrivo() { return orarioArrivo; }

	/**
	* Metodo che fornisce il nome della stazione di partenza
	*
	* @return	il nome della stazione di partenza
	*/
 	public String getStazionePartenza() { return stazionePartenza; }

	/**
	* Metodo che fornisce il nome della stazione d'arrivo
	*
	* @return	il nome della stazione d'arrivo
	*/
 	public String getStazioneArrivo() { return stazioneArrivo; }

	/**
	* Metodo che fornisce il prezzo del biglietto per il viaggio
	*
	* @return	il prezzo del biglietto per il viaggio
	*/
 	public Double getPrezzo() { return prezzo; }

	/**
	* Metodo che fornisce l'id dell'orario
	*
	* @return   l'id dell'orario
	*/
 	public int getIdentificativo() { return identificativo; }

	/**
	* Metodo che fornisce il nome del treno che opererà il viaggio
	*
	* @return	il nome del treno che opererà il viaggio
	*/
 	public String getNome() { return nome; }

	/**
	* Si occupa di tradurre in stringa i maggiori dettagli del viaggio
	*
	* @return	una stringa contenente i maggiori dettagli del viaggio:
	*			orario di partenza e d'arrivo, stazione di partenza e d'arrivo, prezzo del biglietto
	*/
 	public String toString(){
 		String s = "[\n";

 		s += "orarioPartenza: "+orarioPartenza+"\n";
 		s += "stazionePartenza: "+stazionePartenza+"\n";
 		s += "\norarioArrivo: "+orarioArrivo+"\n";
 		s += "stazioneArrivo: "+stazioneArrivo+"\n";
 		s += "\nprezzo: "+prezzo;

 		s += "\n]";

 		return s;
 	}

}
	      
      

Classe LeggiOrari

	      
import java.util.*;
import java.io.*;


/**
* LeggiOrari è la classe che si occupa di eseguire la lettura da file degli orari, e conseguentemente il salvataggio
* degli stessi in memoria, attraverso una struttura dati che nel metodo "main" verrà poi passata come parametro alla
* classe che gestirà l'interfaccia grafica
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
*/
public class LeggiOrari{

	private ArrayList listaOrari;

	/**
	* Non esistono altri tipi di costruttori, in quanto il programma può essere eseguito solamente indicando tramite
	* linea di comando il nome di un file esistente da leggere che poi verrà passato a questo costruttore dal metodo "main"
	*
	* @param file nome del file che deve essere letto
	*/
	public LeggiOrari(String file) {
		leggiFile(file);
	}

	/**
	* Metodo principale di questa classe. Si occupa di andare ad effettuare la lettura vera e propria da file servendosi
	* delle API FileReader e BufferedReader. Richiama il metodo {@link #creaOrario creaOrario} passandogli
	* l'array delle righe lette da file
	*
	* @param file nome del file che deve essere letto
	*/
	public void leggiFile(String file) {

		listaOrari = new ArrayList();
		File fileDaLeggere = new File(file);
		ArrayList stringList = new ArrayList();
		String tempString;

		try {
			FileReader reader = new FileReader(fileDaLeggere);
			BufferedReader buffReader = new BufferedReader(reader);

			while ((tempString = buffReader.readLine()) != null) {
		        stringList.add(tempString);
		    }

			buffReader.close();

		}catch(IOException exc) {
			System.out.println(exc);
		}

		creaOrario(stringList);

	}

	/**
	* Si occupa di tradurre l'array delle righe lette da file in un insieme di singoli orari, inserendoli in un array di oggetti
	* di tipo {@link Orario}
	*
	* @param stringList un array contentente le linee lette da file
	*/
	public void creaOrario(ArrayList stringList) {

		Orario orarioTemp;

		int iterazioni = Integer.parseInt(stringList.get(0));
		int identificativo = 0;

		stringList.remove(0);
		for (int i=0; i<iterazioni ; i++) {

			orarioTemp = new Orario();

			orarioTemp.setNome(stringList.remove(0));	//nome treno

			String[] splittato = stringList.remove(0).split(":");	//orario partenza
			orarioTemp.setOrarioPartenza(Integer.parseInt(splittato[0]),Integer.parseInt(splittato[1]));

			orarioTemp.setStazionePartenza(stringList.remove(0));	//stazione partenza

			splittato = stringList.remove(0).split(":");	//orario arrivo
			orarioTemp.setOrarioArrivo(Integer.parseInt(splittato[0]),Integer.parseInt(splittato[1]));

			orarioTemp.setStazioneArrivo(stringList.remove(0));	//stazione arrivo

			orarioTemp.setPrezzo(Double.parseDouble(stringList.remove(0)));	//prezzo

			orarioTemp.setIdentificativo(identificativo);

			listaOrari.add(i, orarioTemp);
			identificativo++;
		}

	}

	/**
	* Metodo che ritorna l'array di tipo {@link Orario}, in quanto parametro dichiarato privatamente
	*
	* @return array degli orari
	*/
	public ArrayList getArrayList() {
		return listaOrari;
	}

}


	      
      

Classe OrariGUI

	      
import java.awt.*;
import javax.swing.*;
import javax.swing.table.*;
import javax.swing.border.*;
import java.util.*;

/**
* OrariGUI è la classe che si occupa di modellare la finesra grafica per l'interazione con l'utente, attraverso l'uso delle 
* librerie java.awt e javax.swing, inoltre implementa anche qualche metodo per lo scambio di dati
* tra la gli array di memorizzazione e i componenti grafici adibiti alla loro visualizzazione
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
*/
public class OrariGUI extends JFrame {

	/* DICHIARAZIONE di tutti i componenti */
	public ArrayList arrayOrariOriginale;
	public ArrayList arrayOrari;

	public JPanel 	panelPrincipale,
					panelAcquistati;

	public JTabbedPane tabbedPane;

	public JLabel 	labelViaggi,
					labelDettagli;

	public JButton buttonAcquista;

	public JList listOrari;
	public DefaultListModel model;

	public JSeparator separatore;

	public JScrollPane 	scrollConsole,
						scrollDettagli,
						scrollList;

	public JTable tableAcquistati;
	public DefaultTableModel modelTableAcquistati;

	public JTextArea textAreaConsole;

	public JTextPane textPaneDettagli;

	public JComboBox boxOrdina;

	public JTextField textFieldCerca;

	public GridBagConstraints 	gridCon,
								gridCon2;

	public GridBagLayout 	gridBL,
							gridBL2;

	public ArrayList acquistati;

	/**
	* Costruttore unico al quale viene passato solo il titolo della finestra. In quanto non necessita di altri parametri. 
	* Il costruttore della classe OrariGUI contiene buona parte dell'intero codice cella classe, in quanto ha il compito di
	* istanziare e aggiungere alla finestra tutti i componenti grafici necessari
	*
	* @param title il titolo della finestra
	*/
	public OrariGUI(String title) {
		
		/* FRAME - settaggi iniziali */
		super(title);
		setMinimumSize(new Dimension(705,500));

		tabbedPane = new JTabbedPane();

	    panelPrincipale = new JPanel();
	    panelAcquistati = new JPanel();
	    tabbedPane.addTab("Disponibilit\u00E0",panelPrincipale);
	    tabbedPane.addTab("Acquistati",panelAcquistati);

	    setContentPane(tabbedPane);
	    setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);

	    /* ARRAY biglietti acquistati */
	    acquistati = new ArrayList();

	    /* GridBagLayout  */

	    	//GridBagLayout per la tab "VIAGGI DISPONIBILI"
	    gridBL = new GridBagLayout();	
	    gridCon = new GridBagConstraints();	
	    reset();
		panelPrincipale.setLayout(gridBL);
	   
	    	//GridBagLayout per la tab "ACQUISTATI"
	    gridBL2 = new GridBagLayout();	
	    gridCon2 = new GridBagConstraints();
	    gridCon2.insets.top = 5;
	    gridCon2.insets.bottom = 5;
	    gridCon2.insets.left = 5;
	    gridCon2.insets.right = 5;
		panelAcquistati.setLayout(gridBL2);


		/******************** COMPONENTI ********************/


		/*---------
		|		  |
		|  TAB_1  |  (VIAGGI DISPONIBILI)
		|		  |
		---------*/
		/* -------------------------------------------------- RIGA 1 -------------------------------------------------- */

		/* JComboBox */
	 	boxOrdina = new JComboBox<>(new String[] {"","orario di partenza","orario di arrivo","stazione di partenza (A-Z)","stazione di arrivo (A-Z)"});
	 	/* border */
	   	TitledBorder titoloOrdina;
	   	titoloOrdina = BorderFactory.createTitledBorder("Ordina per");
	   	boxOrdina.setBorder(titoloOrdina);

	 	reset();
	 	gridCon.gridy = 0;
	 	gridCon.gridx = 1;
	 	gridCon.anchor = GridBagConstraints.EAST;
	 	gridCon.fill = GridBagConstraints.NONE;
	    gridBL.setConstraints(boxOrdina, gridCon);
	    panelPrincipale.add(boxOrdina);


	    /* JSeparator */
	    separatore = new JSeparator(JSeparator.VERTICAL);
	    reset();
	    gridCon.fill = GridBagConstraints.VERTICAL;
	    gridCon.gridy = 1;
	 	gridCon.gridx = 2;
		gridCon.gridheight = 3;
	    gridBL.setConstraints(separatore, gridCon);
	    panelPrincipale.add(separatore);


	    /* JTextField - cerca */
	    textFieldCerca =  new JTextField();
	    textFieldCerca.setPreferredSize(new Dimension(170,45));
	    textFieldCerca.setMinimumSize(new Dimension(170,45));
	    textFieldCerca.setOpaque(false);
	    textFieldCerca.addActionListener(new Ascoltatore(this));
	    textFieldCerca.getDocument().addDocumentListener(new Ascoltatore(this));
	    /* border */
	   	TitledBorder titoloCerca;
	   	titoloCerca = BorderFactory.createTitledBorder("Cerca");
	   	textFieldCerca.setBorder(titoloCerca);

	  	reset();
		gridCon.gridy = 0;
	 	gridCon.gridx = 4;
	 	gridCon.fill = GridBagConstraints.NONE;
	 	gridCon.anchor = GridBagConstraints.LINE_END;
	    gridBL.setConstraints(textFieldCerca, gridCon);
	    panelPrincipale.add(textFieldCerca);


	    /* -------------------------------------------------- RIGA 2 -------------------------------------------------- */
	    
	    /* JLabel */
		labelViaggi = new JLabel("VIAGGI DISPONIBILI");
		reset();
	 	gridCon.gridy = 1;
	 	gridCon.gridx = 0;
	    gridBL.setConstraints(labelViaggi, gridCon);
	    panelPrincipale.add(labelViaggi);


	    labelDettagli = new JLabel("DETTAGLI");
		reset();
	 	gridCon.gridy = 1;
	 	gridCon.gridx = 3;
	    gridBL.setConstraints(labelDettagli, gridCon);
	    panelPrincipale.add(labelDettagli);


	    /* -------------------------------------------------- RIGA 3 -------------------------------------------------- */

	    /* JList */
	    model = new DefaultListModel();
		listOrari = new JList(model);
		listOrari.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
		listOrari.setCellRenderer(new MyCellRenderer());

		scrollList = new JScrollPane(listOrari);
	    scrollList.setPreferredSize(new Dimension(480, 260));
		scrollList.setMinimumSize(new Dimension(480, 260));

		reset();
	    gridCon.gridy = 2;
	    gridCon.gridx = 0;
	    gridCon.gridwidth = 2;
		gridCon.gridheight = 2;
	    gridCon.anchor = GridBagConstraints.NORTHWEST;
	    gridCon.fill = GridBagConstraints.HORIZONTAL;
	    gridBL.setConstraints(scrollList, gridCon);
	    panelPrincipale.add(scrollList);


	    /* JTextPane */
	    textPaneDettagli = new JTextPane();
	    textPaneDettagli.setContentType("text/html");
	    textPaneDettagli.setEditable(false);

	    scrollDettagli = new JScrollPane(textPaneDettagli);
	    scrollDettagli.setPreferredSize(new Dimension(270,210));
		scrollDettagli.setMinimumSize(new Dimension(270,210));

	 	reset();
	 	gridCon.gridy = 2;
	 	gridCon.gridx = 3;
	 	gridCon.gridwidth = 2;
	 	gridCon.fill = GridBagConstraints.HORIZONTAL;
	    gridBL.setConstraints(scrollDettagli, gridCon);
	    panelPrincipale.add(scrollDettagli);


	    /* -------------------------------------------------- RIGA 4 -------------------------------------------------- */

		/* JButton */
	    buttonAcquista = new JButton("Acquista");

	 	reset();
	 	gridCon.gridy = 3;
	 	gridCon.gridx = 3;
		gridCon.gridwidth = 2;
	 	gridCon.anchor = GridBagConstraints.NORTHWEST;
	 	gridCon.fill = GridBagConstraints.BOTH;
	    gridBL.setConstraints(buttonAcquista, gridCon);
	    panelPrincipale.add(buttonAcquista);



	    /* -------------------------------------------------- RIGA 5 -------------------------------------------------- */

	    /* JTextArea */
	    textAreaConsole = new JTextArea();
	    textAreaConsole.setEditable(false);

	    scrollConsole = new JScrollPane(textAreaConsole);
	    scrollConsole.setPreferredSize(new Dimension(700,120));
		scrollConsole.setMinimumSize(new Dimension(700,120));

	 	reset();
		gridCon.insets.top = 50;

	 	gridCon.gridy = 4;
	 	gridCon.gridx = 0;
	 	gridCon.gridwidth = 5;
	    gridBL.setConstraints(scrollConsole, gridCon);
	    panelPrincipale.add(scrollConsole);


	    /* aggiunta degli ascoltatori */
		boxOrdina.addActionListener(new Ascoltatore(this));
		listOrari.addListSelectionListener(new Ascoltatore(this));
		buttonAcquista.addActionListener(new Ascoltatore(this));



		/*---------
		|		  |
		|  TAB_2  | (ACQUISTATI)
		|		  |
		---------*/
		/* -------------------------------------------------- RIGA 1 -------------------------------------------------- */
		
		/* JTable */
		modelTableAcquistati = new DefaultTableModel(new MioModello[][] {}, new String[] {"Treno","Partenza","Stazione di partenza","Arrivo","Stazione di arrivo","Durata","Prezzo"}) {
		    public boolean isCellEditable(int row, int column) {
		       //all cells false
		       return false;
		    }
		};

		tableAcquistati = new JTable(modelTableAcquistati);
		for (int i=0; i<=6; i++) {	// 6 è il numero delle colonne della tabella
			if(i==0 || i==2 | i==4){
				tableAcquistati.getColumnModel().getColumn(i).setPreferredWidth(120);
			}else{
				tableAcquistati.getColumnModel().getColumn(i).setMinWidth(60);
				tableAcquistati.getColumnModel().getColumn(i).setMaxWidth(60);	
			}
		}
		
		JScrollPane contenitore = new JScrollPane(tableAcquistati);
	 	gridCon2.gridy = 0;
	 	gridCon2.gridx = 0;
	 	gridCon2.weightx = 1;
	 	gridCon2.weighty = 1;
	 	gridCon2.anchor = GridBagConstraints.WEST;
	 	gridCon2.fill = GridBagConstraints.BOTH;
	    gridBL2.setConstraints(contenitore, gridCon2);

	    panelAcquistati.add(contenitore);
	    


	    /* istruzioni finali */

	    pack();
	    setLocationRelativeTo(null);
	    setVisible(true);

	}

	/**
	* Metodo che si occupa di riportare tutti i parametri dell'oggetto GridBagConstraints allo stato iniziale
	* voluto dal programmatore
	*/
	public void reset(){

		gridCon.fill = GridBagConstraints.BOTH;
	    gridCon.gridheight = 1;
	    gridCon.gridwidth = 1;
	    gridCon.weightx = 1;
	    gridCon.weighty = 1;
	    gridCon.anchor = GridBagConstraints.PAGE_START;
		gridCon.insets.top = 5;
	    gridCon.insets.bottom = 5;
	    gridCon.insets.left = 5;
	    gridCon.insets.right = 5;

	}

	/**
	* Metodo che si occupa di riempire un array model da inserire nel componente grafico JList per popolare la lista degli orari. 
	*
	* @param lista l'array di oggetti di tipo {@link Orario} (lista degli orari)
	* @param check parametro necessario a riconoscere da chi è richiamato il metodo, e gestire di conseguenza istruzioni differenti
	*/
	public void caricaDati(ArrayList lista, int check) {

		if(check==0) {	//se 0, arriva dal MAIN -> salvo su lista originale, e non tocco più
			arrayOrariOriginale = lista;
		}

		model.removeAllElements();
		arrayOrari = lista;

		for ( int i = 0; i < arrayOrari.size(); i++ ) {	//per ogni orario, creo una stringa da inserire nel modello della JList

			String s = "
"+"    "+arrayOrari.get(i).getOrarioPartenza().toString();
			s += "   "+arrayOrari.get(i).getStazionePartenza();
			s += "\t\t"+arrayOrari.get(i).getOrarioArrivo().toString();
			s += "   "+arrayOrari.get(i).getStazioneArrivo()+"
";

			/* inserisco il la stringa nel modello e gestiscto il logo */
			if ((arrayOrari.get(i).getNome()).contains("Italo")) {
				model.addElement(new MioModello(s,arrayOrari.get(i).getIdentificativo(),"icons/logo_italo.png"));
			} else {
				model.addElement(new MioModello(s,arrayOrari.get(i).getIdentificativo(),"icons/logo_fs.png"));
			}

		}
		listOrari.setModel(model);

	}

	/**
	* Metodo con lo scopo di ordinare l'array di orari, che verrà di volta in volta reinserito nel componente grafico JList
	*
	* @param scelta parametro in base al quale viene decretato quale metodo di ordinamento effettuare
	*/
	public void ordinaModello(int scelta) {

		switch(scelta) {
			case 0:
					//no sorting
					break;

			case 1:
					Collections.sort(arrayOrari, new Comparatore("orario","partenza"));
					break;

			case 2:
					Collections.sort(arrayOrari, new Comparatore("orario","arrivo"));
					break;

			case 3:
					Collections.sort(arrayOrari, new Comparatore("stazione","partenza"));
					break;

			case 4:
					Collections.sort(arrayOrari, new Comparatore("stazione","arrivo"));
					break;

			default:
					Collections.sort(arrayOrari, new Comparatore("orario","partenza"));
					break;
		}

		/* ...dopo aver ordinato l'array, lo reinserisco nella JList */
		caricaDati(arrayOrari,1);
	}

}
	      
      

Classe MioModello

	      
import javax.swing.*;

/**
* MioModello è la classe che ha il solo scopo di modellare un oggetto che contenga una stringa da stampare 
* all'interno della lista degli orari (componente grafico JList), e tenere traccia di un identificativo per riconoscere 
* in maniera univoca un dato orario
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
*/
public class MioModello {

	public String s;
	public int id;
	public ImageIcon image;

	/**
	* Costruttore vuoto per assegnare valori nulli/azzerati alle variabili dichiarate
	*/
	public MioModello() {
		this.s = "";
		this.id = -1;
		this.image = null;
	}

	/**
	* Costruttore si occupa di assegnare i valori ricevuti come parametri solo a due delle variabili dichiariarate, rispettivamente 
	* la stringa s e l'intero id
	*
	* @param s contiene l'effettiva stringa che rappresenta un dato orario
	* @param id contiene l'identificativo univoco di un dato orario
	*/
	public MioModello(String s, int id) {
		this.s = s;
		this.id = id;
		this.image = null;
	}

	/**
	* Costruttore si occupa di assegnare i valori ricevuti come parametri a tutte le variabili dichiarate
	*
	* @param s contiene l'effettiva stringa che rappresenta un dato orario
	* @param id contiene l'identificativo univoco di un dato orario
	* @param path contiene una stringa che è il path di un immagine, attraverso il quale sarà istanziato l'oggetto ImageIcon
	*/
	public MioModello(String s, int id, String path) {
		this.s = s;
		this.id = id;
		this.image = new ImageIcon(path);
	}

	/**
	* Metodo che restituisce la stringa principale da stampare a video nell'interfaccia grafica
	*
	* @return stringa da stampare
	*/
	public String toString() {
		return s;
	}

	/**
	* Metodo che restituisce l'immagine dell'oggetto MioModello
	*
	* @return oggetto di tipo ImageIcon
	*/
	public ImageIcon getImmagine() {
		return image;
	}

	/**
	* Metodo che restituisce l'id dell'oggetto MioModello
	*
	* @return identificativo univoco dell'orario
	*/
	public int getId() {
		return id;
	}

}

	      
      

Classe MyCellRenderer

	      
import java.awt.*;
import javax.swing.*;

/**
* MyCellRenderer è una classe proprietaria con lo scopo di aggiungere un'icona
* ad ogni elemento della lista di orari
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
* @see         <a href="https://docs.oracle.com/javase/7/docs/api/javax/swing/ListCellRenderer.html">Java API Library: <code>ListCellRenderer<E></code></a>
*/
public class MyCellRenderer extends JLabel implements ListCellRenderer<Object> {

 /**
 * Metodo necessario ad aggiungere il logo della compagnia che opererà il viaggio
 * a fianco dell'elemento della lista degli orari
 *
 * @param list          la JList che si sta per stampare
 * @param value         l'oggetto che viene trasformato nella stringa equivalente all'orario
 * @param index         l'indice della cella
 * @param isSelected    vero se la cella specificata è stata selezionata
 * @param cellHasFocus  vero se la cella specificata ha il focus
 * @return              un componente il cui metodo <code>paint()</code> farà il
 *                      render del <code>value</code> specificato
 * @see <a href="https://docs.oracle.com/javase/7/docs/api/javax/swing/ListCellRenderer.html#getListCellRendererComponent(javax.swing.JList,%20E,%20int,%20boolean,%20boolean)">Java API Library: <code>getListCellRendererComponent()</code></a>
 */
    public Component getListCellRendererComponent(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
        String s = value.toString();
        setText(s);

        setIcon(((MioModello)value).getImmagine());

        if (isSelected) {
           setBackground(list.getSelectionBackground());
           setForeground(list.getSelectionForeground());
        } else {
           setBackground(list.getBackground());
           setForeground(list.getForeground());
        }
        setEnabled(list.isEnabled());
        setFont(list.getFont());
        setOpaque(true);
        return this;
    }
}
	      
      

Classe Ascoltatore

	      
import java.util.*;
import java.text.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.text.*;
import javax.swing.event.*;

/**
* Ascoltatore è la classe che si occupa di notificare e di reagire agli
* eventi generati dall'utente nella GUI
*
* @author      Amos Cappellaro
* @author      Luca Dal Poz
* @author      Marco Castagnera
* @version     1.0, %G%
*/
public class Ascoltatore implements ActionListener, ListSelectionListener, DocumentListener {

	private OrariGUI gui;

	/**
	* Costruttore assegna all'attributo dichiarato di tipo {@link OrariGUI} il parametro ottenuto
	*
	* @param gui	un'istanza della classe {@link OrariGUI} che gestisce l'interfaccia grafica
	*/
	public Ascoltatore(OrariGUI gui) {
		this.gui = gui;
	}

	/**
	* Metodo adibito a catturare l'evento ({@link ActionEvent}) e a gestirne
	* tutti i vari casi
	*
	* @param e	l'evento generato da un'azione dell'utente
	*/
	public void actionPerformed(ActionEvent e) {
		Object source = e.getSource();

		if(source instanceof JComboBox) {
			JComboBox box = (JComboBox)source;
			gui.textPaneDettagli.setText("");
			gui.ordinaModello(box.getSelectedIndex());
		}else if(source instanceof JButton) {

			JButton button = (JButton)source;
			Date data = new Date();
			SimpleDateFormat outputDate = new SimpleDateFormat("H:mm:ss", new Locale("it"));
			JList list = (JList)gui.listOrari;
			MioModello temp = (MioModello)list.getSelectedValue();
			Boolean giaAcquistato = false;

			try{
				for(Orario orario : gui.arrayOrariOriginale) {
					if(orario.getIdentificativo()==temp.id) {
						for(int j=0; j<gui.acquistati.size(); j++) {
							if(gui.acquistati.get(j)==temp.id) {
								giaAcquistato = true;
							}
						}
						if(!giaAcquistato) {
							int choice = JOptionPane.showOptionDialog(null,
      							"Sei sicuro di voler acquistare questo viaggio?",
      							"Conferma Acquisto",
      							JOptionPane.YES_NO_OPTION,
      							JOptionPane.QUESTION_MESSAGE,
      							null, null, null);

  							if (choice == JOptionPane.YES_OPTION) {
								gui.textAreaConsole.append(outputDate.format(data)+" - Hai acquistato il biglietto per il treno "+orario.getNome()+" da "+orario.getStazionePartenza()+" ("+orario.getOrarioPartenza()+") a "+orario.getStazioneArrivo()+" ("+orario.getOrarioArrivo()+") al prezzo di "+orario.getPrezzo()+" \u20ac.\n");

								gui.acquistati.add(temp.id);
								gui.modelTableAcquistati.addRow(new MioModello[] {
									new MioModello(orario.getNome(),temp.id),
									new MioModello(orario.getOrarioPartenza().toString(),temp.id),
									new MioModello(orario.getStazionePartenza(),temp.id),
									new MioModello(orario.getOrarioArrivo().toString(),temp.id),
									new MioModello(orario.getStazioneArrivo(),temp.id),
									new MioModello(orario.getOrarioPartenza().sottrai(orario.getOrarioArrivo()).toString(),temp.id),
									new MioModello(orario.getPrezzo().toString()+" \u20ac",temp.id)
								});

								gui.textAreaConsole.append("Fino ad ora hai speso: "+calcolaPrezzo()+" \u20ac \n\n");
  							}
						} else {
							String warning = "Hai gi\u00E0 acquistato questo biglietto!";
							System.out.println(warning);
							JOptionPane.showMessageDialog(null, warning, "Attenzione", JOptionPane.WARNING_MESSAGE);
						}
					}
				}
			}catch(NullPointerException exc) {
				String error = "Non \u00E8 stato selezionato alcun viaggio!";
				System.out.println(error);
				JOptionPane.showMessageDialog(null, error, "Errore", JOptionPane.ERROR_MESSAGE);
			}

		}
	}

	/**
	* Metodo che richiama il metodo {@link #ricerca(DocumentEvent)}
	*
	* @param e l'evento generato dal campo di ricerca {@link JTextField}
	*/
	public void changedUpdate(DocumentEvent e) {
		ricerca(e);
	}

	/**
	* Metodo che richiama il metodo {@link #ricerca(DocumentEvent)}
	*
	* @param e l'evento generato dal campo di ricerca {@link JTextField}
	*/
	public void insertUpdate(DocumentEvent e) {
		ricerca(e);
	}

	/**
	* Metodo che richiama il metodo {@link #ricerca(DocumentEvent)}
	*
	* @param e l'evento generato dal campo di ricerca {@link JTextField}
	*/
	public void removeUpdate(DocumentEvent e) {
		ricerca(e);
	}

	/**
	* Metodo che cattura gli eventi generati dalla lista orari {@link JList} e in
	* base al tipo di evento gestisce le casistiche
	*
	* @param e	l'evento generato dalla lista orari {@link JList}
	*/
	public void valueChanged(ListSelectionEvent e) {

		Object source = e.getSource();
		int id = 0;

		if(source instanceof JList) {
			//if(e.getValueIsAdjusting()){	//entra SOLO se l'elemento della lista è stato cliccato, NON se perde il focus
				try{
					JList list = (JList)source;
					MioModello temp = (MioModello)list.getSelectedValue();
					id = temp.id;

					String stringaDettagli = "<html><body><pre style='font-size: 10px'>";

					for(Orario orario : gui.arrayOrariOriginale) {
						if(orario.getIdentificativo()==id) {
							stringaDettagli += "<b>Treno: </b>"+orario.getNome()+"<br/><br/>";
							stringaDettagli += "<b>Orario di partenza: </b>"+orario.getOrarioPartenza()+"<br/>";
							stringaDettagli += "<b>Stazione di partenza: </b>"+orario.getStazionePartenza()+"<br/><br/>";
							stringaDettagli += "<b>Orario di arrivo: </b>"+orario.getOrarioArrivo()+"<br/>";
							stringaDettagli += "<b>Stazione di arrivo: </b>"+orario.getStazioneArrivo()+"<br/><br/>";
							stringaDettagli += "<b>Durata: </b>"+(orario.getOrarioPartenza().sottrai(orario.getOrarioArrivo()))+"<br/>";
							stringaDettagli += "<b>Prezzo: </b>"+orario.getPrezzo()+" €<br/>";
							stringaDettagli += "</pre></body></html>";

							gui.textPaneDettagli.setText(stringaDettagli);
						}
					}
				}catch(NullPointerException exc) {
					//do nothing
				}
			//}
		}

	}

	/**
	* Metodo che calcola il prezzo complessivo di tutti i biglietti acquistati
	*
	* @return l'ammontare del prezzo totale comprensivo di tutti i biglietti acquistati
	*/
	public double calcolaPrezzo() {

		double prezzo = 0d;

		for (int id : gui.acquistati) {
			for (Orario orTemp : gui.arrayOrariOriginale ) {
				if(orTemp.getIdentificativo()==id) {
					prezzo += orTemp.getPrezzo();
				}
			}
		}

		prezzo = Math.round(prezzo * 100.0) / 100.0;

		return prezzo;

	}

	/**
	* Metodo che si occupa di ripopolare la lista orari filtrata in base al cambiamento
	* del campo di ricerca
	*
	* @param e	l'evento generato dal campo di ricerca {@link JTextField}, passato dai metodi ascoltatori
	*/
	public void ricerca(DocumentEvent e) {
		try{
			String testo = e.getDocument().getText(0,e.getDocument().getLength());
			ArrayList arrayOrariCercati = new ArrayList<>();

			for(Orario orario : gui.arrayOrariOriginale) {
				if(orario.getStazionePartenza().toLowerCase().contains(testo.toLowerCase()) || orario.getStazioneArrivo().toLowerCase().contains(testo.toLowerCase())){
					arrayOrariCercati.add(orario);
				}
			}

			gui.caricaDati(arrayOrariCercati,1);
		}catch(BadLocationException exc){
			exc.printStackTrace();
		}

	}

}
	      
      

PROVA DI ESECUZIONE