CAPITOLO 13b

1. CAPITOLO 13b

2. In Pascal è possibile avere oltre ai file testo, cioè file di char, anche file di interi, stringhe, records. Unica condizione è quella che se un file è ad esempio dichiarato di interi esso non può contenere che interi. Tutti i file di tipo non-testo sono detti file binari.

3. La sintassi di un file binario è diversa da quella di un file testo. identificatore FILE OF = type La estensione di un file testo è NomeFile.txt La estensione di un file binario è NomeFile.dat

4. PROGRAM FileTesto(output, Teresa); VAR Teresa:text; Ch:char; BEGIN END. PROGRAM FileBinari(output, Ints,Reals,Records); TYPE String30=STRING[30]; NameType=RECORD First, Middle, Last:String30; END; IntsFile=FILE OF integer; RealsFile=FILE OF real; RecFile=FILE OF NameType; VAR Ints:IntsFile; Reals:RealsFile; Names:RecFile; BEGIN END. Preparazione alla scrittura del file rewrite(NomeFile) es. rewrite(Reals) Preparazione alla lettura del file reset(NomeFile) es. reset(Reals)

5. …………….. Giulio Luca Rossi Carlo Maria Bianchi Gian Giacomo Verdi …………….. Area Dati AName.First  Carlo AName.Middle  Maria AName.Last  Bianchi Carlo Maria Bianchi Il controllo di fine file viene eseguito come per i text file con la funzione <eof> eof(NomeFile) Essendo i dati scritti uno di seguito all’altro non esiste più l’<eoln>. Nel caso del RecFile i record NameType=RECORD descritti da First, Middle, Last:String30; avremo La lettura avviene record per record, non stringa per stringa

6. E’ possibile leggere anche più di un valore alla volta da un file. Esempio read(Reals, R1, R2, R3,….) Per leggere un intero file si può far uso dell’ <eof> Esempio reset(Ints); WHILE NOT eof(Ints) DO BEGIN read(Ints, Intero); elabora(Intero) END; L’uso dell’ <eoln> produce un errore di sintassi.

7. Errore !!!!!! E’ possibile scrivere in un file binario se ovviamente è stato preparato per la scrittura. Esempio write(Ints, AnInt, 3*AnInt); write(Reals, Re1, 3.1416); write(Names, AName); write(Names, Name1, Name2); TYPE String30=STRING[30]; NameType=RECORD First, Middle, Last:String30; END; IntsFile=FILE OF integer; RealsFile=FILE OF real; RecFile=FILE OF NameType; VAR Ints:IntsFile; Reals:RealsFile; Names:RecFile; Come si vede anche più di un dato può contemporaneamente essere scritto in un file binario. Attenzione !!! Ogni elemento che si scrive deve essere dello stesso Type del file. Quindi sono sbagliate le scritture del tipo write(Ints, Re1, 3.2*Re1); write(Reals, AnInt, AnInt DIV 2); write(Names, Aname.First, Aname.Middle, Aname.Last); Non essendoci <eoln> non è permesso il writeln.

8. COPIA DI FILE BINARI Supponiamo di avere due file binary AFile e Bfile aventi lo stesso Type le cui componenti sono del tipo ComponentType. WHILE NOT eof(Afile) DO read(Afile, Acomponent) write(Bfile, Acomponent) PROCEDURE CopyFile(VAR InNames, OutNames:RecFile); VAR AName:NameType; BEGIN WHILE NOT eof(InNames) DO read(InNames, AName); write(OutNames, AName) END END;

9. Si noti che con una sola operazione di read o write si possono leggere molti valori contemporaneamente se questo è previsto dalla struttura dei file in gioco. Ad esempio un record con 20 campi può essere scritto con una sola operazione e non campo per campo. Nel caso in cui si vogliono dare i valori di un record campo per campo, ad esempio da tastiera, allora si può adoperare la seguente procedura: WITH RecordVar DO introduci il valore del campo write(OutFile, RecordVar)

10. PROCEDURE WriteAName(VAR OutFile:NameFile); VAR Aname: NameType; BEGIN WITH Aname DO BEGIN write(‘ First Name: ‘); readln(First); write(‘ Middle Name: ‘); readln(Middle ); write(‘ Last Name: ‘); readln(Last ); END; write(OutFile, AName) END; TYPE String30=STRING[30]; NameType=RECORD First, Middle, Last:String30; END; IntsFile=FILE OF integer; RealsFile=FILE OF real; RecFile=FILE OF NameType; VAR Ints:IntsFile; Reals:RealsFile; Names:RecFile;

11. Studente Anagrafe Nascita Matricola AnnoCorso Risultati Media Cognome Nome Giorno Mese Anno TYPE Stringa20 = STRING[20] RisultatiArray =ARRAY[1.. TotaleProve ] OF integer; DataRecord = RECORD AnagraficaRecord = RECORD Giorno, Cognome, Mese, Nome : Stringa20 Anno : integer END; END; StuRecord = RECORD Anagrafe : AnagraficaRecord ; CONST MaxStud=150; TYPE StuRecord = RECORD ………………. END; ClassArray=ARRAY[1..Maxstud] OF StuRecord; StuRecFile=FILE OF StuRecord; VAR InFile:StuRecFile; AClass: ClassArray; TotalStudents:integer; Nascita : DataRecord ; Matricola : StringaNome ; AnnoCorso : StringaNome ; Risultati : RisultatiArray ; Media:real; END;

12. Procedura per la costruzione di un Array di record a partire da un file binario. Supponiamo di introdurre meno di MaxStud record PROCEDURE FillClass(VAR AClass: ClassArray; VAR TotalStudents: integer; VAR InFile: StuRecFile); VAR AStudent: StuRecord; BEGIN TotalStudents:=0; reset(InFile); WHILE NOT eof(InFile) DO BEGIN TotalStudents:= TotalStudents+1; read(InFile, AStudent); Aclass[TotalStudents]:=AStudent END END; StuRecord = RECORD Anagrafe : AnagraficaRecord ; Nascita : DataRecord ; Matricola : StringaNome ; AnnoCorso : StringaNome ; Risultati : RisultatiArray ; Media:real; END;

13. Sessione StuRecord OldMaster Semester Sessione StuRecord StuRecord merge MStuRec NewMaster MStuRec AGGIORNAMENTO DI FILE DI RECORD BINARI Dati due File di record binari ordinati, fare il merge del primo nel secondo producendo un terzo file ordinato. Corso Programmazione Sessione Invernale CSPI99 Corso Programmazione Sessione Estiva CSPE99 Corso Programmazione CSP99

14. SBAGLIATO !!!!!!!!!! SBAGLIATO !!!!!!!!!! CORRETTO !!!!!!!!!! Alcuni suggerimenti sui file Evitare di usare il REPEAT … UNTIL quando si leggono file binari o testo. reset(SomeFile) REPEAT read(SomeFile,SomeComponent) elabora(SomeComponent) UNTIL eof(SomeFile) reset(SomeFile) IF NOT eof(SomeFile) THEN REPEAT read(SomeFile,SomeComponent) elabora(SomeComponent) UNTIL eof(SomeFile) Non mettere mai un reset o un rewrite all’interno di un loop. WHILE NOT eof(SomeFile) DO BEGIN reset(SomeFile); read(SomeFile,SomeComponent) elabora(SomeComponent) END;

15. Ricordare che il valore di una variabile file cambia sempre quando si usano il read o il write, quindi le chiamate alle variabili file vanno sempre fatte per VAR e mai per valore. Ricordare che readln e writeln si possono usare solo con i file testo e non con i file binari. Quando si implementano procedure per la gestione di file realizzare sempre procedure per provare se i record o comunque i dati sono correttamente inseriti facendo le prove con pochi esempi.

17. StringADT Chars Len UNIT STRINGHE Si vuole creare una UNIT che operi sulle stringhe e che sia il più possibile indipendente dal dialetto PASCAL adoperato. Adoperiamo una struttura a RECORD per il data Type Array

18. UNIT Stringa; INTERFACE CONST MaxLength=80; TYPE SysString=STRING[MaxLength]; StringADT=RECORD Chars:ARRAY[1.. MaxLength] OF char; Len:0.. MaxLength END;

19. Constructor - cambia o inizializza i valori di una variabile astratta Primitive constructor - assegna un valore ad una variabile astratta senza fare uso di altre variabili astratte dello stesso tipo. Ha una sola variabile di output e quelle di input servono per costruire l’output.

20. IMPLEMENTATION PROCEDURE NullString(VAR OutStr:StringADT); BEGIN END; ritorna una la stringa nulla ‘’. Primitive constructor PROCEDURE ConvertSysString(StrValue:SysString; VAR OutStr:StringADT); VAR Position:1..MaxLength; BEGIN WITH OutStr DO BEGIN Len:=length(StrValue); FOR Position:=1 TO Len DO Chars[Position]:=StrValue[Position] END END; converte una stringa rappresentata in un qualche sistema nella stringa equivalente di type StringADT

21. Primitive constructor PROCEDURE ReadString(Sentinel:char;VAR OutStr:StringADT; VAR InFile:text); VAR Ch:char; BEGIN WITH OutStr DO BEGIN Len:=0; ReadCh(Sentinel,Ch,Len,InFille) WHILE Ch<>Sentinel DO BEGIN Len:=Len+1; Chars[Len]:=Ch; ReadCh(SentinelCh,Len,InFile) END END END; legge la stringa da un file escludendo eventuali caratteri sentinella

22. Primitive constructor PROCEDURE ReadlnString (Sentinel:char; VAR OutStr:StringADT;VAR InFile:text); VAR Ch:char; BEGIN WITH InString DO BEGIN Len:=0; WHILE NOT eoln(InFile) AND NOT (Len=MaxLength) DO BEGIN Read(Infile,Ch); Len:=Len+1; Chars[Len]:=Ch; END END END; legge una stringa da una linea di un file predeterminato

23. SELECTOR - fornisce informazioni su una variabile di input ADT ad un parametro di uscita. Spesso è una funzione (il parametro di uscita in tal caso è la funzione stessa). Primitive selector - ritorna il valore di uno dei componenti della variabile astratta.

24. FUNCTION ACh(Instr:StringADT;Position:integer):char; BEGIN IF Position>InStr.Len THEN Ach:=chr(0) ELSE Ach:=InStr.Chars[Position] END; ritorna il carattere N-esimo di una stringa Primitive selector FUNCTION StrLength(Instr:StringADT):integer; BEGIN StrLength:=Instr.Len END; ritorna la lunghezza della stringa Primitive selector

25. Non-primitive selector - ritorna il valore che non è relativo ad uno dei componenti della variabile astratta ma ciò nonostante è utile al client.

26. PROCEDURE WriteString (InStr:StringADT; VAR OutFile:text); VAR Position:integer; BEGIN WITH InStr DO FOR Position:=1 TO Len DO write(OutFile,Chars[Position]) END; scrive una stringa in un file Non-primitive selector PROCEDURE WritelnString(InStr:StringADT; VAR OutFile:text); BEGIN WriteString(Instr,OutFile); writeln(OutFile) END; scrive una stringa in un file seguita da un <eoln> Non-primitive selector

27. FUNCTION StartPos((Substr, SearchStr:StringADT):integer; VAR SLen,Pos: integer; Found: Boolean; CandStr: StringADT; BEGIN SLen:=SubStr.Len; Found:=FALSE; Pos:=1; WHILE NOT (SearchStr.Len+1-Pos>SLen) AND NOT Found DO BEGIN StrExtract(SearcStr,Pos,SLen,CandStr); IF StrEqual(CandStr,SearchStr) THEN Found:=TRUE ELSE Pos:=Pos+1 END; IF Found THEN StratPos:=Pos ELSE StratPos:=0 END; Selector operations Ritorna la posizione di partenza di una data sub-stringa nell’ambito di una preassegnata stringa

28. PREDICATE - è una funzione booleana che ritorna informazioni sul valore o lo stato di una variabile astratta.

29. FUNCTION StrEqual(Instr1, Instr2:StringADT):boolean; VAR Pos, TotalChars:integer; StillEqual:boolean; BEGIN IF Instr1.Len<>Instr2.Len THEN StillEqual:= FALSE ELSE StillEqual:= TRUE; TotalChars:= Instr1.Len; Pos:=1; WHILE NOT(Pos>TotalChars) AND StillEqual DO IF Minuscole(InStr1.Chars[Pos])<> Minuscole(InStr2.Chars[Pos]) THEN StillEqual:= FALSE ELSE Pos:=Pos+1; StrEqual:=StillEqual END; ritorna TRUE se due stringhe hanno gli stessi caratteri e la stessa lunghezza Predicate operations

30. Predicate operations FUNCTION StrLessThan(InStr1, InStr2:StringADT):boolean BEGIN ………………. END; ritorna TRUE se la prima stringa precede alfabeticamente la seconda

31. Non-primitive constructor -. Ha almeno una variabile di input il cui tipo è uguale a quello dell’output.

32. Non-primitive constructor PROCEDURE ChConcat (Ch; VAR InOutStr:StringADT); BEGIN WITH InOutStr DO IF Len<MaxLength THEN BEGIN Len:=Len+1; Chars[Len]:=Ch END END; concatena un singolo carattere ad una stringa

33. PROCEDURE StrExtract(InStr:StringADT; Start, TotalChs:integer; VAR OutStr: StringADT); VAR InStrPos, OutStrPos :integer; BEGIN WITH OutStr DO BEGIN IF Start > Instr.Len THEN Len:=0 ELSE IF TotalChs > InStr.Len+1-Start THEN Len:=InStr.Len+1-Start ELSE Len:=TotalChs; InStrPos:=Start; FOR OutStrPos:=1 TO Len DO BEGIN Chars[OutStrPos]:=InStr.Chars[InStrPos]; InStrPos:=InStrPos+1 END END END; copia una stringa di una predeterminata lunghezza a partire da una determinata posizione in una stringa di output Non-primitive constructor

34. PROCEDURE StrRemove(Start, TotalChs:integer; VAR InOutStr: StringADT); PredString, SuccString: StringADT; BEGIN IF NOT (Start>InOutStr.Len) THEN BEGIN StrExtract(InOutStr,1,Start-1,PredString); StrExtract(InOutStr,1,Start+TotalChs,InOutStr.Len,SuccString); StrConcat(PredString, SuccString,InOutStr) END END; rimuove un predeterminato numero di caratteri a partire da una certa posizione di una stringa di input/output Non-primitive constructor PROCEDURE StrInsert(InStr:StringADT; Start:integer; VAR InOutStr: StringADT); BEGIN END; inserisce un predeterminata stringa di caratteri a partire da una certa posizione in una variabile stringa.

35. Non-primitive constructor PROCEDURE ReadCh(Sentinel:char;PresentLength:integer; VAR Ch:char;VAR InFile:text); BEGIN IF NOT(eoln(InFile) OR (PredsentLength= MaxLength)) THEN Read(InFile,Ch); ELSE Ch:=Sentinel END; legge i caratteri di una stringa da un file e se supera la lunghezza prefissata o trova eoln restituisce un carattere sentinella

36. FUNCTION Minuscole(Ch:char):char; BEGIN IF Ch IN ['A'..'Z'] THEN Minuscole:=chr(ordCh)+ord('a')-ord('A')) ELSE Minuscole:=Ch END; trasforma le maiuscole in minuscole

37. PROCEDURE ChConcat (Ch; VAR InOutStr:StringADT); BEGIN WITH InOutStr DO IF Len<MaxLength THEN BEGIN Len:=Len+1; Chars[Len]:=Ch END END; concatena i caratteri in una stringa controllando che la lunghezza massima non venga superata

38. Sia assegnato un file così caratterizzato <Indirizzo Mittente> Informazioni Varie <Fine Indirizzo> Testo Messaggio …………………. <Indirizzo Mittente > Informazioni Varie <Fine Indirizzo> Testo Messaggio …………………. <Indirizzo Mittente > Informazioni Varie <Fine Indirizzo> Testo Messaggio …………………. ESERCIZIO Scrivere una procedura per estrarre per ogni mittente solo il testo del messaggio. Costruire un array con gli indirizzi dei mittenti. Mostrare per ogni mittente il messaggio