ESAME DI FONDAMENTI DI INFORMATICA T-2 del 27/06/2011 Proff. E. Denti G. Zannoni Tempo a disposizione: 4 ore MAX

Transcript

1 ESAME DI FONDAMENTI DI INFORMATICA T-2 del 27/06/2011 Prff. E. Denti G. Zannni Temp a dispsizine: 4 re MAX NB: il candidat trverà nell archivi ZIP scaricat da Esamix anche il sftware Start Kit NOME PROGETTO ECLIPSE: CgnmeNme-matricla (es. RssiMari ) È richiest di realizzare un applicazine per la gestine del bilanci familiare, intesa cme pratic strument per registrare le spese e le entrate, nde pter prdurre un bilanci mensile pprtunamente articlat. DESCRIZIONE DEL DOMINIO. Un bilanci familiare è definit cme insieme di cnti, di divers tip (si veda ltre). Ogni cnt è caratterizzat da un nme e cstituit da un elenc (inizialmente vut) di mvimenti, ciascun dei quali trasferisce un cert ammntare di denar, in una certa data, cn una certa causale. I cnti sn fndamentalmente di tre tipi: cnt crrente, carta di credit, liquidi; piché in famiglia si pssn avere più carte di credit, più cnti crrenti e più prtafgli cn liquidi (tipicamente, un per gni persna del grupp familiare), un bilanci familiare può cntenere un numer arbitrari di cnti di vari tip. Ogni mviment ha un prpri cdice, dettaglia un spstament di denar da un cnt a un altr e perciò cinvlge sempre due cnti: un da cui preleva denar, un su cui accredita denar. Per rappresentare le entrate dall estern e le spese vers l estern della famiglia, nei mvimenti può figurare l entità virtuale estern: chiaramente, le entrate risulterann in mvimenti da estern vers un cnt del bilanci, mentre le uscite (spese) sarann rappresentate cme mvimenti da qualche cnt del bilanci familiare vers estern. Alcuni tipi di cnt pssn prevedere dei tetti di spesa: ad esempi, il cnt di tip carta di credit ptrà prevedere un plafnd (tett di spesa massim) mensile, mentre il cnt di tip cnt crrente ptrà prevedere un massim scpert (ssia un massim sald negativ autrizzat). ESEMPI: l accredit dell stipendi sul cnt crrente ccluigi è rappresentat in tale cnt cme mviment da estern al cnt stess; una spesa cn carta di credit VisaLuigi è rappresentata cme mviment da tale cnt a estern; il rimbrs mensile delle spese cn tale carta di credit cme mviment da ccluigi a VisaLuigi per un imprt pari al ttale delle spese cn carta effettuate nel mese (tasse incluse); un preliev dal cnt crrente cme mviment dal cnt ccluigi al cnt prtafgliluigi; una spesa in cntanti cme mviment da prtafgliluigi a estern; un regal in denar a un altr membr della famiglia ad esempi, la figlia Sara cme mviment da prtafgliluigi a brsasara; ecc. A tal fine, l applicazine deve mstrare all utente una GUI cn cui inserire i vari mvimenti fra i cnti: all inizi della sessine si ricarica dal file binari Bilanci.dat l stat salvat in precedenza, che verrà pi ri-salvat a fine sessine, premend l appsit pulsante SALVA. L insieme dei cnti dell specific bilanci familiare è prefissat e immdificabile e viene preventivamente lett da un file di cnfigurazine StrutturaBilanci.txt (descritt ltre). La GUI mstra cstantemente il sald attuale dei vari cnti nnché il ttale delle entrate e delle spese. Parte 1 (punti: 17) Dati (namespace mney.mdel) (punti: 12) Il mdell dei dati relativ all esame deve essere rganizzat secnd il diagramma UML in figura. SEMANTICA: a) la classe astratta Cnt (frnita nell Start Kit) rappresenta il generic cnt, caratterizzat da un nme univc e un insieme di mvimenti cn i relativi metdi accessr; essa incapsula tutta la lgica di gestine spiegata nella Descrizine del Dmini e ha cme unic metd astratt checkvincli(mviment), che delega alle sttclassi la verifica dei vincli di un specific tip di mviment, nel md specificat più ltre. I vari metdi getsald, getmvimenti, getttaleuscite e getttaleentrate fann tutti riferiment a un perid specificat (data iniziale, data finale) e cnsideran tutti i tipi di mviment (sia quelli prvenienti/diretti dall estern sia quelli intra-cnti); per cmdità, ne sn frnite anche versini cn un sl argment (la data finale), cl significat di fin a quella data. L insieme restituit da getmvimenti è già rdinat per data. b) la classe Mviment (frnita nell Start Kit) rappresenta il generic mviment, cn le relative prprietà e i relativi metdi accessr; è serializzabile e cmparabile, in base a un criteri di cnfrnt per data.

2 class mdel Mv iment Serializable Bilanci + getsald(fine :Date) : duble + getttaleentrate(inizi :Date, fine :Date) : duble + getttaleuscite(inizi :Date, fine :Date) : duble + equals( :Object) : blean + getcausale() : String + getdata() : Date + getdenarmss() : duble + getdestinazine() : String + getsrgente() : String + Mviment(causale :String, denarmss :duble, srgente :String, destinazine :String, data :Date) * 2 BilanciFamiliare Cnt + aggiungimviment(m :Mviment) : vid + BilanciFamiliare(cnti :Cllectin<Cnt>, mvimenti :Cllectin<Mviment>) + checkvincli(m :Mviment) : Cllectin<String> + getcnti() : Iterable<Cnt> + getcnt(nme :String) : Cnt + getmvimenti() : Cllectin<Mviment> + getsald(fine :Date) : duble + getttaleentrate(inizi :Date, fine :Date) : duble + getttaleuscite(inizi :Date, fine :Date) : duble + aggiungimviment(mviment :Mviment) : vid + Cnt(nme :String) + getmvimenti() : Cllectin<Mviment> + getmvimenti(fine :Date) : Cllectin<Mviment> + getname() : String + getnumttalemvimenti() : int + getsald(fine :Date) : duble + getttaleentrate(inizi :Date, fine :Date) : duble + getttaleentrate(fine :Date) : duble + getttaleuscite(inizi :Date, fine :Date) : duble + getttaleuscite(fine :Date) : duble Estern + Estern() CartaCredit Liquidi CntCrrente + CartaCredit(nme :String, massimaspesamensile :duble) + getmassimaspesa() : duble + setmassimaspesa(massimaspesa :duble) : vid + Liquidi(nme :String) + CntCrrente(nme :String, massimscpert :duble) + getmassimscpert() : duble + setmassimscpert(massimscpert :duble) : vid c) Le quattr classi CntCrrente, Liquidi, Estern e CartaCredit (frnite nell Start Kit) rappresentan i vari tipi di cnt: ciascuna implementa il metd checkvincli(mviment) in accrd alle prprie specifiche (rispettivamente: verifica del rispett del massim scpert per CntCrrente, verifica della dispnibilità di sufficienti liquidi per Liquidi, nessuna verifica per Estern, verifica del rispett del tett di spesa massim mensile per CartaDiCredit). Per iptesi, checkvincli(mviment) restituisce un messaggi d errre (senza lanciare eccezine) in cas di vilazine, mentre restituisce null in assenza di prblemi; lancia invece una IllegalArgumentExceptin se il mviment nn riguarda quest cnt, vver se nn prevede questa carta di credit né cme srgente, né cme destinazine. d) la classe BilanciFamiliare (da realizzare) realizza l interfaccia Bilanci (frnita) nel cas del bilanci familiare, mdellat cme un insieme arbitrari di cnti (descritti nel file di cnfigurazine) più un cnt Estern (che viceversa nn viene lett dal file di cnfigurazine, essend presente e unic per definizine). Il cstruttre riceve a tal fine due argmenti una cllezine di cnti e una cllezine di mvimenti già pplate (per il lr pplament, si rimanda alla sezine sulla persistenza): per favrire il successiv rapid reperiment dei cnti per nme, si suggerisce l us di un pprtuna mappa. Il metd più imprtante è inseriscimviment, che aggiunge simultaneamente un mviment nei due cnti cinvlti, previa verifica del rispett dei vincli. Per garantire la cnsistenza, l aggiunta di un mviment in un cnt dev essere permessa sl se la data di tale mviment è successiva a quella dell ultim mviment già presente nel cnt. La classe espne inltre adeguati metdi di access, tra cui getttaleentrate, getttaleuscite, getsald (dvuti all implementazine di Bilanci) e getmvimenti che calclan e restituiscn rispettivamente il ttale delle entrate (mvimenti dall estern vers un cnt qualsiasi), delle uscite (mvimenti da un cnt qualunque vers l estern), il sald fra questi due valri, e l insieme rdinat di tutti i mvimenti di tutti i cnti del bilanci, riferiti ad un specific perid di temp (data iniziale, data finale). Il metd getmvimenti cmpare anche senza parametri in tal cas devn essere restituiti tutti i mvimenti senza alcun filtr. Nta 1: getsald prende in ingress sl la data di fine perid, intendend cn quest che si desidera il sald di tutti i mvimenti fin alla data specificata; pertant, nei metdi che prevedn una data iniziale, ccrrerà utilizzare una data certamente precedente gni altra, cme ad esempi new Date(0) Nta 2: nell implementazine di getmvimenti si tenga presente che gni mviment cmpare sempre in due cnti (srgente, destinazine)... Nta 3: per l rdinament dei mvimenti nel metd getmvimenti, si cnsideri l utilizz di un pprtun Cmparatr. L Start Kit cntiene anche i test (nn cmmentati) per verificare il funzinament delle classi da realizzare.

3 Persistenza (namespace mney.persistence) (punti 5) Il file di test StrutturaBilanci.txt specifica l elenc dei cnti desiderati per il bilanci di una data famiglia: più esattamente, gni riga specifica un cnt, i cui dettagli sn separati un dall altr da spazi tabulazini. Ogni riga ha perciò la seguente struttura: la parla chiave #define Il nme del cnt (univc e priv di spazi) Il tip del cnt ( cntcrrente, cartadicredit, liquidi ) eventuali parametri accessri e precisamente: il massim scpert nel cas del cnt crrente, il tett di spesa nel cas della carta di credit Nel diagramma UML l interfaccia CntiReader (frnita nell Start Kit) mdella l entità in grad di leggere una lista di class persistence CntiReader + readall(reader :Reader) : Cllectin<Cnt> Mv imentimanager + leggimvimenti(inputstream :InputStream) : Cllectin<Mviment> + scrivimvimenti(listamvimenti :Cllectin<Mviment>, utputstream :OutputStream) : vid MyCntiReader + readall(reader :Reader) : Cllectin<Cnt> MyMv imentimanager + leggimvimenti(inputstream :InputStream) : Cllectin<Mviment> + scrivimvimenti(mvimenti :Cllectin<Mviment>, utputstream :OutputStream) : vid Inv aliddataexceptin Exceptin + InvalidDataExceptin() + InvalidDataExceptin(message :String) + InvalidDataExceptin(innerExceptin :Thrwable) + InvalidDataExceptin(message :String, innerexceptin :Thrwable) istanze di Cnt. La classe MyCntiReader (da realizzare) implementa tale interfaccia in md da leggere cnti espressi nel frmat di cui spra, rilanciand IOExceptin in cas di prblemi nella gestine del file, vver lanciand una InvalidDataExceptin (frnita nell Start Kit) se il file nn è frmattat in md adeguat. Il file binari Bilanci.dat spita l elenc dei mvimenti salvati e ha l scp di mantenere l stat fra una sessine e l altra: viene lett all att della creazine del Bilanci per ripristinare l stat precedente e riscritt quand si preme il pulsante SALVA (tipicamente, al termine della sessine di lavr). L interfaccia MvimentiManager mdella entità in grad di leggere/salvare una lista di mvimenti, ed è implementata dalla classe MyMvimentiManager (da realizzare); i metdi rilancian IOExceptin in cas di prblemi nella gestine del file, e lancian InvalidDataExceptin (frnita) in cas di prblemi di serializzazine. L Start Kit cntiene anche i test (nn cmmentati) relativi a MyCntiReader e MyMvimentiManager. Parte 2 (punti: 13) Cntrller (namespace mney.ui) (punti 4) La classe MyCntrller (da realizzare) implementa l interfaccia Cntrller (frnita) e frnisce i servizi necessari al funzinament della finestra principale dell applicazine; in particlare, il metd getbilancifamiliare restituisce l istanza di BilanciFamiliare (stt frma dell interfaccia implementata Bilanci), il metd getcnti restituisce l elenc dei nmi dei cnti dispnibili, il metd getcnt(string) restituisce un ggett Cnt dat il nme del cnt stess, il metd lad carica i dati da file sfruttand i due ggetti CntiReader e MvimentiManager passati durante la cstruzine di MyCntrller, il metd penmvimenti crea un istanza di MyMvimentCntrller e, mediante

4 l invcazine di shwui, mstra l interfaccia utente crrispndente; infine, il metd class ui SummaryPanel JPanel ChangeListener + refreshdata() : vid + setbilanci(bilanci :Bilanci) : vid + statechanged(e :ChangeEvent) : vid + SummaryPanel() -inizi -fine MyDateSpinner JSpinner + getdatevalue() : Date + MyDateSpinner() Mv imentcntrller + checkvincli(mviment :Mviment) : Cllectin<String> + getcnti() : Cllectin<String> + inseriscimviment() : blean -bilancisummarypanel MyMv imentcntrller -cntsummarypanel Cntrller + getbilancifamiliare() : Bilanci + getcnti() : Iterable<String> + getcnt(nme :String) : Bilanci + penmvimenti() : vid + save() : vid + checkvincli(m :Mviment) : Cllectin<String> + getcnti() : Cllectin<String> + inseriscimviment() : blean + MyMvimentCntrller(bilanci :BilanciFamiliare) + shwui() : vid -cntrller MainFrame JFrame ActinListener + actinperfrmed(e :ActinEvent) : vid # initgui() : vid + MainFrame() + setcntrller(cntrller :Cntrller) : vid MyCntrller + getbilancifamiliare() : Bilanci + getcnti() : Iterable<String> + getcnt(nme :String) : Bilanci + lad() : blean + MyCntrller(cntiReader :CntiReader, mvimentimanager :MvimentiManager) + penmvimenti() : vid + save() : vid + shwui() : vid save salva su file l elenc dei mvimenti, mentre il metd shwui visualizza l interfaccia utente, vver crea un istanza di MainFrame (v. dp) e impsta MyCntrller stess cme cntrller. La classe MyMvimentCntrller (frnita) implementa l interfaccia MvimentCntrller (pure frnita) e gestisce la finestra mdale per la gestine dei mvimenti sfruttand le utilities fferte dall interfaccia Bilanci. Figura 1 Interfaccia utente (namespace mney.ui) L interfaccia utente deve essere simile (nn necessariamente identica) agli esempi mstrati nelle figure che segun. Cme già dett, all avvi dell applicazine vengn autmaticamente ricaricati i dati di bilanci, che sn quindi immediatamente visualizzati. L interfaccia permette di: avere cstantemente stt cchi il sald attuale dei vari cnti nnché il ttale delle entrate e delle spese; visualizzare la lista rdinata dei mvimenti cmpresi tra due specifiche date, nnché inserire un nuv mviment, crredat di imprt, cnt di addebit e cnt di accredit, data e causale: premend il pulsante INSERISCI, il mviment viene cntrllat e, se crrett, immediatamente applicat; in cas di vilazine di vincli il mviment è invece rifiutat, cn pprtuna segnalazine di errre. Nn è invece pssibile eliminare mdificare un mviment già inserit. salvare la situazine crrente premend il pulsante SALVA.

5 La Figura 1 mstra la finestra principale dell applicazine, istanza della classe MainFrame (da realizzare). I due tasti Visualizza Mvimenti e Salva cnsentn rispettivamente di aprire una nuva finestra cntenente la lista dei mvimenti (Figura 2) e di salvare l stat crrente del bilanci. Stt di due pulsanti, mstrare le caratteristiche di BilanciFamiliare mediante l us del cmpnente SummaryPanel (frnit) (tale cmpnente cnsente di mstrare i dati di un un implementazine di Bilanci, date le date iniziale e finale, mstrand il sald, le entrate e le uscite). Mediante una cmb bx deve essere pssibile selezinare un cnt di cui visualizzare le caratteristiche (riutilizzare SummaryPanel). Figura 2 La Fig. 2 mstra la finestra mdale dei mvimenti, istanza dalla classe MyMvimentiDialg (frnita), che specializza pprtunamente FrmDialg (pure frnita). Di nuv, due MyDataSpinner permettn di scegliere la data iniziale e finale del perid: viene quindi prdtta e mstrata la lista dei mvimenti, rdinata per data; la gestine di tale lista è delegata a un cmpnente JBindableTable (frnit). Figura 3 La pressine del bttne Inserisci causa l apparizine di una nuva finestra per l inseriment dei dati del mviment (Fig. 3): se l inseriment ha success, la lista mvimenti di Fig. 2 viene crrispndentemente aggirnata. Inltre, se il nuv mviment ricade nel perid di interesse del Bilanci e cinvlge mvimenti da/vers estern, quand si ritrna alla schermata principale ccrre aggirnare anche il sald glbale cn relative entrate e uscite.