Rappresentazione di dati

Transcript

1 Rappresentazione di dati oggetti del mondo reale: - caratteristiche - caratteristiche obiettivo della rappresentazione analisi e progettazione strutture dati teoriche (ADT) - domini ( ) - dominio di interesse ( ) - ( ) - caratteristiche formali (espresse come funzioni e combinazioni di elementi dei domini) - strutturali ( ) - funzionali ( ) formale: carta: indipendente dal linguaggio strutture dati concrete - (array, struct, int,...) funzioni dipendenti dal linguaggio di programmazione usato implementazione 1/22

2 Un esempio di struttura astratta e sua implementazione L'ADT TABELLA modella tutte le entita' che corrispondono alla definizione (cioe' "le tabelle"): - e' una collezione di oggetti ("dati"/"elementi") - memorizzati - ciascuno identificato univocamente da una CHIAVE (parte dell'elemento) - fornisce le funzionalita' USO di un elemento della collezione (secondo necessita' - vari usi) Ad esempio, la collezione di stringhe era una tabella (l'abbiamo realizzata senza l'eliminazione) 2/22

3 Un esempio di struttura astratta e sua implementazione ADT "collezione di stringhe" D0 = dominio di interesse = { } D1 = dominio = { } D2 = dominio = {indici} (alternativa) definendo D3 = {gli elenchi di stringhe} si puo' dare una definizione di D0: ogni collezione di stringhe e' composta da un elenco di stringhe e un valore nel dominio degli indici) funzionalita' aggiungi: D0 D1 D0 stampatutto: D0 VOID (ø) sostituisci: D0 (alternativa) D0 = D3 D2 (alternativa) aggiungi: D3 D2 D1 D0 ricerca: D0 D1 D2 3/22

4 Un esempio di struttura astratta e sua implementazione implementazione dell'adt "collezione di stringhe" D0 = dominio di interesse = {le collezioni di stringhe} = < > D1 = dominio = {le stringhe} = <char *> / <array di char> D2 = dominio = {indici} = <int> D3 = {gli elenchi di stringhe} <array di char *> D0 = D3 D2 { funzionalita' } void stampatutto(, int ) stampatutto: D0 VOID void aggiungi (, nuovastringa, int ) aggiungi: D0 D1 D0 void sostituisci (,, char *dasost, char *conchi) sostituisci: D0 D1 D1 D0 4/22

5 Un esempio di struttura astratta e sua implementazione -Definizione di TipoCollezione a partire dalla definizione di tipo record precedente - definizione di una funzione stampatutto2 che riceve un solo parametro di tipo TipoCollezione per stamparla - mostrare la chiamata di stapatutto2 in un ambiente di memoria opportuno e mostrare il RDA - idem come sopra per aggiungi2, che riceve due parametri (una collezione e una stringa da aggiungere): definizione ed esempio di chiamata 5/22

6 Tabella di Voli Aerei E' una tabella i cui elementi sono VOLI - Un VOLO e' costituito dalle informazioni - codice ( ) --- chiave identificativa - destinazione ( ) - ora di partenza ( ) - numero di posti liberi ( ) le funzionalita' disponibili devono essere - aggiungere un volo - eliminare un volo - modificare il numero di posti liberi di un volo (dato codice); stamp salv - calcolo dell'indice 6/22

7 Tabella di Voli Aerei - ADT (struttura dati astratta) D 0 = dominio di interesse = { } D 1 = dominio = { } altri domini D 2 = dominio = { } D 3 = dominio = { }... la struttura teorica viene implementata 1. rappresentando concretamente i D con T D 2. definendo variabili di per avere nel programma i rappresentanti di elementi dei domini 3. definire per programmare le funzionalita' della struttura teorica 7/22

8 Tabella di Voli Aerei - ADT (struttura dati concreta) 1/2 1. rappresentando concretamente i domini D con tipi concreti T D D 1 = dominio = {i voli} T 1 = tipo concreto = TipoVolo ( ) D 2 = dominio = {i codici} T 2 = tipo concreto = D 3 = dominio = {ore} T 3 = tipo concreto = D 0 = dominio di interesse = {le tabelle di voli aerei} T 0 = TipoTabellaVoli = 2. definendo variabili di tipi T D per avere nel programma i rappresentanti di elementi dei domini es. unvolo; tabvoli;... 8/22

9 Tabella di Voli Aerei - ADT (struttura dati concreta) 2/2 3. definire funzioni per programmare le funzionalita' della struttura teorica stampare la tabella void stampatabella ( tab) aggiunta di un volo int aggiungivolo ( t, v) stampa di un volo void stampavolo (TipoVolo v)... 9/22

10 Tabella di Voli Aerei - tipi di base struct volo { char codice[6]; char * dest; TipoOra orapartenza; int postiliberi; } typedef struct volo TipoVolo; struct ora {int ore, min } typedef TipoOra; typedef TipoTabella (o TipoTabellaVoli piu lungo ma piu- preciso) 10/22

11 Tabella di Voli Aerei - impl. mediante ARRAY STATICO int main() { TipoTabella tabvoli; tabvoli.arrayvoli tabvoli.a tabvoli. inizialmente la tabella e' vuota; dopo ogni aggiunta viene modificato quantivoli (aggiungendo 1); (tabvoli.quantivoli e' il numero di voli gia' presenti nel sostegno della tabella) Remember questa struttura dati va INIZIALIZZATA prima di usarla. Come? tabvoli = 0?? macche (tabvoli.arrayvoli[tabvoli.quantivoli] e' invece il primo elemento vuoto del sostegno, cioe il primo disponibile a contenere un nuovo volo) quindi un'aggiunta si puo' fare solo se tabvoli.arrayvoli[tabvoli.quantivoli] e' minore di MAXVOLI 11/22

12 Tabella di Voli Aerei - impl. mediante ARRAY STATICO int main() { TipoTabella tabvoli; int riuscita, scelta; /* scelta nel menu' */ char buffer[40]; tabvoli.quantivoli=0; /* inizializzazione */ do { printf(" - scegli -\n"); printf(" - stampa dei voli (1) -\n"); printf(" - (2) -\n"); printf(" - fine (0) -\n"); scanf("%d", ); switch ( ) { } /* fine switch */ } while (!=0); /* fine do_while*/... 12/22

13 Tabella di Voli Aerei - impl. mediante ARRAY STATICO int main() { TipoTabella tabvoli;... switch ( ) { case 1: printf(" - %d voli in tabella:\n", ); stampatabella( ); break; case 2: printf(" - codice volo? "); scanf("%s", buffer); stampaquelvolo(, ); break; case 3: riuscita=aggiungivolo( tabvoli);... 13/22

14 Tabella di Voli Aerei - impl. mediante ARRAY STATICO... case 3: riuscita=aggiungivolo(&tabvoli); if(!riuscita) printf(" - aggiunta non effettuata -\n"); else printf(" - fatto -\n"); break; case 0: printf(" - USCITA DAL PROGRAMMA\n"); break; default: printf(" - opzione sballata\n"); } /* fine switch */ } while (!=0); /* fine do_while*/ printf("\nfine\n"); return 0; } 14/22

15 Tabella di Voli Aerei - impl. mediante ARRAY STATICO prototipi/funzioni fin qui... void stampatabella ( ) { int i; for(i=0; i< t.quantivoli; i++) { stampavolo ( ); printf("\n"); return ; tabvoli } /stampaquelvolo, stampavolo */ void stampaquelvolo ( t, cod ); tabvoli.quantivoli tabvoli.arrayvoli tabvoli.arrayvoli[2].orapartenza.min int aggiungivolo ( t); void stampavolo ( v) { /* funzione accessoria */ printf(" VOLO %s ( posti disponibili), partenza alle per ", v.codice,,, v.orapartenza.min, v.dest); return ; } 15/22

16 Tabella di Voli Aerei - impl. mediante ARRAY STATICO void stampaquelvolo (TipoTabella t, char cod[6]) { int k = indicevolo( t, cod); if (k== ) printf(... non c'e'...); else stampavolo ( [k]); return; } /* funzione accessoria indicevolo()*/ int indicevolo (TipoTabella tb, char *code) { int trovato = 0, i=0; while ( ( tb.quantivoli) && trovato ) if (strcmp(.codice, code)==0) trovato = 1; else i++; if ( ) return i; else ; } Mentre t.arrayvoli[i] e un volo Se e il volo cod trovato!!! esci Senno incrementa i 16/22

17 Tabella di Voli Aerei - impl. mediante ARRAY STATICO int aggiungivolo(tipotabella *t) { char buffer[50], *aux; int o,m,pl; if (t->quantivoli==maxvoli) { tabvoli printf("\n spazio insufficiente \n"); return 0; } else { posti 4 LETTURA di t->arrayvoli[t->quantivoli].codice LETTURA della stringa aux e di.destinazione LETTURA.ore; LETTURA.minuti; LETTURA.postiLiberi; /* l'aggiunta ha avuto successo */ ; } return 1; } orapartenza indice 4 17/22

18 Tabella di Voli Aerei - impl. mediante ARRAY STATICO case 4: lettura codice volo da eliminare, in buffer riuscita = eliminavolo (&tabvoli, buffer) codice int eliminavolo (TipoTabella *t, char cod[6]) { (*t) tabvoli dest posti orapartenza - ricerca volo da eliminare (con indicevolo)- sia codice k - eliminazione stringa destinazione da t->arrayvoli[k] - copia - t->quantivoli -= 1 18/22