gui
Class Modello

java.lang.Object
  gui.Modello

public final class Modello
extends java.lang.Object

partiti

private java.util.Map<java.lang.String,giunte.Partito> partiti

Questa HashMap mantiene la lista dei partiti con cui il diagramma delle classi č stato popolato. I partiti sono indicizzati su una stringa che ne identificano il nome (che si suppone univoco). L'uso delle mappe invece che dei semplici Set č motivato dalla volontā di garantire una maggiore efficienza nella verifica della presenza di un partito con lo stesso nome per evitare l'aggiunta di elementi duplicati.

persone

private java.util.Map<gui.Nominativo,giunte.Persona> persone

Questa HashMap mantiene la lista delle regioni i con cui il diagramma delle classi stato popolato. Le regioni sono indicizzate su una tipo Nominativo. Il tipo Nominativo č caratterizzato da due proprietā stringa Nome e Cognome; per tale tipo sono stati ridefiniti equals() and hashCode() in modo tale che due valori sono considerati uguali se le proprietā Nome e Cognome hanno lo stesso valore. L'uso delle mappe invece che dei semplici Set č motivato dalla volontā di garantire una maggiore efficienza nella verifica della presenza di una persona con lo stesso nome e cognome per evitare l'aggiunta di elementi duplicati.

regioni

private java.util.Map<java.lang.String,giunte.Regione> regioni

Questa HashMap mantiene la lista delle regioni i con cui il diagramma delle classi č stato popolato. Le regioni sono indicizzate su una stringa che ne identificano il nome (che si suppone univoco). L'uso delle mappe invece che dei semplici Set č motivato dalla volontā di garantire una maggiore efficienza nella verifica della presenza di una regione con lo stesso nome per evitare l'aggiunta di elementi duplicati.

Modello

public Modello()

addPartito

public void addPartito(giunte.Partito partito)
                throws giunte.EccezionePrecondizioni

Popola il diagramma degli oggetti con un nuovo partito

Parameters:

partito - L'oggetto Partito da aggiungere

Throws:

giunte.EccezionePrecondizioni - L'eccezione č lanciata se esiste giā un partito con lo stesso nome. In tal caso, il partito non viene aggiunto.

addPersona

public void addPersona(giunte.Persona persona)
                throws giunte.EccezionePrecondizioni

Popola il diagramma degli oggetti con una nuova persona

Parameters:

regione - L'oggetto Partito da aggiungere

Throws:

giunte.EccezionePrecondizioni - L'eccezione č lanciata se esiste giā una regione con lo stesso nome. In tal caso, la persona non viene aggiunta.

addPersonaGiunta

public void addPersonaGiunta(giunte.Persona persona,
                             giunte.Regione regione,
                             int annoElezione)
                      throws giunte.EccezionePrecondizioni

Aggiunge una associazione tra una data persona e un data regione, specificando l'attributo dell'associazione annoElezione.

Parameters:

persona - L'oggetto Persona coinvolto nell'associazione

regione - L'oggetto Regione coinvolto nell'associazione

annoElezione - L'anno di elezione alla giunta di tale regione.

Throws:

giunte.EccezionePrecondizioni - L'eccezione č lanciata se la persona o la regione non sono oggetti con cui il diagramma delle classi č stato popolato.

addPersonaPartito

public void addPersonaPartito(giunte.Persona persona,
                              giunte.Partito partito,
                              int annoIscrizione)
                       throws giunte.EccezionePrecondizioni

Aggiunge una associazione tra una data persona e un dato partito, specificando l'attributo dell'associazione annoIscrizione

Parameters:

persona - L'oggetto Persona coinvolto nell'associazione

partito - L'oggetto Partito coinvolto nell'associazione

annoIscrizione - L'anno di iscrizione al partito.

Throws:

giunte.EccezionePrecondizioni - L'eccezione č lanciata se la persona o il partito non sono oggetti con cui il diagramma delle classi č stato popolato.

addRegione

public void addRegione(giunte.Regione regione)
                throws giunte.EccezionePrecondizioni

Popola il diagramma degli oggetti con una nuova regione

Parameters:

regione - L'oggetto Regione da aggiungere

Throws:

giunte.EccezionePrecondizioni - L'eccezione č lanciata se esiste giā una regione con lo stesso nome. In tal caso, la regione non viene aggiunta.

getPartiti

public java.util.Collection<giunte.Partito> getPartiti()

Restitusce la lista dei partiti aggiunti

Returns:

Un oggetto che implementa l'interfaccia java.util.Collection che contiene tutti gli oggetti della classe Partito con cui il diagramma č stato popolato. La collezione č restituita immutabile: non č possibile modificarla, aggiungendo o rimuovendo elementi, nč direttamente nč attraverso gli iteratori.

getPersone

public java.util.Collection<giunte.Persona> getPersone()

Restitusce la lista delle persone aggiunte.

Returns:

Un oggetto che implementa l'interfaccia java.util.Collection che contiene tutti gli oggetti della classe Persona con cui il diagramma č stato popolato. La collezione č restituita immutabile: non č possibile modificarla, aggiungendo o rimuovendo elementi, nč direttamente nč attraverso gli iteratori.

getRegioni

public java.util.Collection<giunte.Regione> getRegioni()

Restitusce la lista delle regioni aggiunte.

Returns:

Un oggetto che implementa l'interfaccia java.util.Collection che contiene tutti gli oggetti della classe Regione con cui il diagramma č stato popolato. La collezione č restituita immutabile: non č possibile modificarla, aggiungendo o rimuovendo elementi, nč direttamente nč attraverso gli iteratori.