Forelæsning Uge 14 – Torsdag

Præsentationer af emnet: "Forelæsning Uge 14 – Torsdag"— Præsentationens transcript:

1 Forelæsning Uge 14 – Torsdag
Defensiv programmering Metoder og konstruktører bør tjekke de parameterværdier, som de kaldes med Derved kan man ofte undgå ulovlige handlinger, såsom at dividere med nul eller tilgå et element, som ikke eksisterer (i en arrayliste eller et array) Exceptions Sprogkonstruktion til rapportering af fejl En kaldt metode kan kaste en exception, som så efterfølgende gribes (behandles) på det sted hvor metoden blev kaldt Assertions Sprogkonstruktion til beskrivelse af betingelser, som man forventer vil være opfyldt på bestemte steder i programmet Brugt i jeres progression tests (via metoderne assertEquals, assertTrue og assertFalse) Fil-baseret input/output Hvordan læser og skriver man en fil? Område, hvor der let kan ske fejl (forkert filnavn, disk full, no permission , netværksfejl, osv.) Sådanne fejl håndteres elegant ved hjælp af exceptions Afleveringsopgave: Computerspil 5 Input/output og exception handling

2 ● Defensiv programmering
Lad os betragte et program, der implementerer en adressebog Systemet har tre klasser AddressBookGUI implementerer programmets grafiske brugergrænseflade AddressBook implementerer programmets øvrige funktionalitet. Klassen indeholder metoder til at tilføje, ændre, fjerne og søge i kontaktinformation ContactDetails indeholder kontaktinformationen, der består af navn, telefonnummer og adresse AddressBook gemmer kontaktinformation i en Map, hvor de kan findes ved at bruge enten navnet eller telefonnummeret som nøgle Et AddressBook objekt er et typisk eksempel på en server Objektet gør intet på egen hånd Det er reaktivt og handler kun når en klient (GUI-objektet) anmoder om det

3 To mulige strategier To mulige strategier for programmering af servere
Vi kan antage, at klienterne ved, hvad de gør ,og kun foretager fornuftige og veldefinerede serverkald Vi kan antage, at klienterne indeholder fejl eller med vilje forsøger at udføre illegale serverkald Ovenstående inducerer fire spørgsmål Skal serveren tjekke om de parametre den modtager fra klienterne har rimelige værdier? Hvordan og til hvem rapporterer serveren eventuelle fejl? Hvordan kan en klient forudse/foregribe at dets serverkald fejler? Hvad bør en klient gøre, når et af dens serverkald fejler?

4 removeDetails metoden i AddressBook
Parameterværdien bruges til at finde et sæt ContactDetails, hvis indgange derefter fjernes fra Map'en public void removeDetails(String key) { ContactDetails details = book.get(key); book.remove(details.getName()); book.remove(details.getPhone()); numberOfEntries--; } Hvis den angivne nøgle ikke er i brug, vil metodekaldet book.get(key) returnere null Det betyder at metodekaldet details.getName() fejler med en NullPointerException Ovenstående er ikke nødvendigvis forkert Men det er en farlig fremgangsmåde – specielt hvis man ikke selv har kontrol over, hvordan klienterne programmeres

5 Tjek af parametre Servere er særligt sårbare, når deres konstruktører og metoder modtager værdier via deres parametre Det er essentielt at vide, om man kan stole på, at disse parameterværdier er fornuftige Når det er tilfældet, er der ingen grund til at spilde tid på at teste dem I mange tilfælde har man dog ingen eller kun ringe indflydelse på, hvordan klienter programmeres Når det er tilfældet, bør alle parameterværdier tjekkes Derved kan man ofte undgå ulovlige handlinger, såsom at dividere med nul, kalde en metode på en variabel, der er lig null, eller tilgå et element som ikke eksisterer (i en arrayliste eller et array) Vi har nu "pakket" de fire sætninger ind i en if sætning Hvis nøglen er i brug gøres det samme som før Ellers gør man ingen ting public void removeDetails(String key) { if( keyInUse(key) ) { ContactDetails details = book.get(key); book.remove(details.getName()); book.remove(details.getPhone()); numberOfEntries--; }

6 Rapportering af fejl Hvad bør serveren gøre, når den finder en illegal parameter? Serveren kan blot undlade at udføre det foretagne request Det gjorde vi for removeDetails metoden Serveren kan rapportere fejlen til brugeren Serveren kan printe en fejlmeddelelse eller bringe en dialogboks op på skærmen Begge dele har kun effekt, hvis der er en bruger til at se beskeden, og selv da vil de fleste brugere ikke vide hvad de skal gøre Hvad vil du gøre, hvis en bankautomat fortæller dig, at der er en NullPointerException? Serveren kan rapportere fejlen til klienten Hvis metoden har returtypen void kan denne ændres til boolean, således at succesfulde requests returnerer true og illegale requests returnerer false Hvis metoden har en non-void returtype kan man returnere en speciel værdi, der ikke er i brug (f.eks. null, 0, eller en negativ værdi) Serveren kan kaste en exception (det kommer vi tilbage til)

7 Forskellige strategier til at rapportere fejl
Returtypen er ændret fra void til boolean Brug af exception Det tjekkes om parameterværdien er null Hvis det er tilfældet skabes et exception objekt, og dette kastes ved hjælp af det reserverede ord throw Exception objektets type beskriver fejlen Herudover kan der være en tekststreng med yderligere information om fejlen public boolean removeDetails(String key) { if(key == null){ throw new IllegalArgumentException( "Null key in removeDetails"); } if( keyInUse(key) ) { ContactDetails details = book.get(key); book.remove(details.getName()); book.remove(details.getPhone()); numberOfEntries--; return true; else { return false; Brug af returtype If sætningen er ændret til en if-else sætning Returværdien angiver om operationen lykkedes eller ej Klienter kan undlade at tjekke returværdien Men de kan ikke ignorere exceptions Derfor er exceptions i mange tilfælde bedst

8 ● Exceptions Exceptions tillader klienter at forsøge at overleve/reparere fejl, som rapporteres fra servere Exceptions kastes af serveren (throw) og gribes af klienten (catch) Nedenstående klassediagram viser det hierarki som exceptions indgår i Errors er alvorlige fejl, som et program ikke med fornuft kan forsøge at overleve(f.eks. en assertion errors, som vi kender fra progression tests) Exceptions opdeles i RuntimeExceptions og øvrige exceptions Subklasser af RuntimeExceptions er unchecked, hvilket betyder at oversætteren ikke tvinger programmøren til at håndtere dem Øvrige exceptions er checked, hvilket betyder at oversætteren protesterer, hvis de ikke håndteres (gribes eller videresendes)

9 Unchecked versus checked exceptions
Unchecked exceptions bruges i situationer, hvor fejlen bør føre til at programmet stopper Typisk fordi programmøren har lavet en logisk fejl, såsom at dividere med nul, kalde en metode på en variabel, der er lig null, eller tilgå et element som ikke eksisterer (i en arrayliste eller et array) Sådanne fejl kan undgås – hvis programmøren er kompetent og omhyggelig Checked exceptions bruges i situationer, hvor det giver mening, at klienten forsøge at reparere fejlen Hvis brugeren har angivet et filnavn som ikke eksisterer, kan man lade brugeren vælge/indtaste et nyt Hvis systemet ikke kan skrive en fil, fordi disken er fuld, eller brugeren har manglende permissions, kan man lade brugeren angive et nyt sted at placere filen

10 Når en exception kastes
Metoden (der kaster en exception) stopper øjeblikkeligt Der udføres ikke flere sætninger (statements) Heller ikke for at returnere et resultat Oversætteren protesterer ikke over, at metoden har en sti (via throw sætningen) som ikke returnerer en værdi Den vil derimod protestere, hvis der umiddelbart efter throw sætningen indsættes en return sætning, idet denne aldrig vil kunne blive udført. public boolean removeDetails(String key) { if(key == null){ throw new IllegalArgumentException( "Null key in removeDetails"); } if( keyInUse(key) ) { ... return true; else { return false;

11 Check af parameterværdier
Unchecked exceptions bruges ofte til at standse programmet, hvis der anvendes en ulovlig parameterværdi Der gøres intet forsøg på at gribe exception I stedet rettes den logiske fejl i programmet, således at der ikke fremover kastes denne slags exceptions public ContactDetails getDetails(String key) { if(key == null) { throw new IllegalArgumentException( "Null key in getDetails"); } if(key.trim().length() == 0) { "Empty key in getDetails"); return book.get(key); Det tjekkes om parameteren er null Det tjekkes om parameteren er den tomme eller en blank streng Hvis alt er ok, bruges nøglen til at hente de ønskede kontaktinformationer

12 Check af parameterværdier i konstruktør
Konstruktører kan også modtage illegale parameterværdier Her kan exceptions forhindre, at der skabes "sære" objekter public ContactDetails(String name, String phone, String address) { if(name == null) { name = ""; } if(phone == null) { phone = ""; } if(address == null) { address = ""; } this.name = name.trim(); this.phone = phone.trim(); this.address = address.trim(); if(this.name.isEmpty() && this.phone.isEmpty() { throw new IllegalStateException( "Either name or phone must be non-blank"); } Det tjekkes om en eller flere parameter- værdier er null. I så fald sættes de til den tomme streng Feltvariablerne initialiseres Hvis både name og phone er den tomme streng, kastes en exception Det giver ikke mening at oprette objektet, idet man ikke har nogen nøgle, hvormed det kan tilgås (i Map'en)

13 Checked exceptions En metode, der kan kaste en checked exception, skal angive dette i sin header ved hjælp af det reserverede ord throws Det er også tilladt at anvende throws for unchecked exceptions – men dette anbefales ikke public void saveToFile(String destinationFile) throws IOException { ... } Når man kalder en metode, der kan kaste en checked exception, skal man være parat til at gribe denne Dette gøres ved at placere kaldet i et try-delen af en try-catch sætning try { addressbook.saveToFile(filename); successful = true; } catch( IOException e ) { System.out.println("Unable to save to " + filename); successful = false; Metodekald Den exception som kan kastes, og som skal fanges catch blokken indeholder de sætninger, der skal udføres for at reparere situationen, dvs. gribe den kastede exception Når der kastes en exception, overføres kontrollen fra try-delen til catch-delen

14 Try sætning try-catch sætningen kan indeholde flere catch blokke
I så fald søges catch blokkene igennem forfra (som i en switch sætning) Den første catch blok, hvor exception typen matcher, udføres Rækkefølgen af catch blokkene er vigtig Hvis catch blokken med IOException flyttes op foran de to andre, vil disse aldrig kunne udføres, og vi vil få en compile-time fejl try { ... object-reference.method(...); } catch(EOFException e) { // Handle end of file exception catch(FileNotFoundException e) { // Handle file not found exception catch(IOException e) { // Handle other IOExceptions finally { // Any actions common to whether or // not an exception is raised try { ... object-reference.method(...); } catch(EOFException e) { // Handle end of file exception catch(FileNotFoundException e) { // Handle file not found exception catch(IOException e) { // Hnadle other IOExceptions try-catch sætningen kan også indeholde en finally blok Denne er placeret efter catch blokkene Sætninger i en finally blok udføres altid – uanset om, der kastes en exception eller ej (under udførelsen af try blokken)

15 Eksempel på unyttig try sætning
Checked exceptions er kun nyttige, hvis programmøren (på kaldsstedet) forsøger at reparere situationen Nedenstående try sætning er ikke nyttig ContactDetails details = null; try { details = book.search(...); } catch(Exception e ) { System.out.println("Error " + e); String phone = details.getPhone(); Metodekaldet book.search kan rejse en exception Når dette sker udskriver den kaldende metode en fejlmeddelelse Herefter fortsætter man ufortrødent Men details er stadig null Kaldet af getPhone giver derfor ikke mening, og vil rejse en NullPointerException Pause

16 Eksempel på nyttig try sætning
// Try to save the address book boolean successful = false; int attempts = 0; do { try { contacts.saveToFile(filename); successful = true; } catch(IOException e) { System.out.println("Unable to save to " + filename); attempts++; filename = get alternative filename from user; } while(!successful && attempts < MAX_ATTEMPTS); if(!successful) { report the problem and give up; Erklæring af to lokale variabler til kontrol af den efterfølgende løkke do-while løkke Forsøg at gemme på en fil Hvis det ikke lykkes rejses en exception I catch-delen beder man brugeren specificere et alternativt filnavn Kroppen udføres indtil, det lykkes at gemme eller man har forsøgt mange gange Rapporter at man opgiver

17 Videresendelse af exceptions (propagering)
I stedet for at gribe en exception, kan den videresendes til omgivelserne (propagering) Den kaldende metode indeholder så ikke længere en try sætning til at gribe den kastede exception I stedet har den en throws clause i sin header (signatur) Dette indikerer, at den kastede exception videresendes til omgivelserne, dvs. til den metode, der har kaldt metoden med throws sætningen Videresendelse bruges når en metode er ude af stand til selv at reparere situationen normalt kun for checked exceptions Når en metode kan kaste en checked exception, tjekker oversætteren, at alle kaldende metoder, enten indeholder en try-catch sætning, der beskytter kaldet og specificerer, hvordan det gribes, eller throws clause, der videresender den kastede exception til omgivelserne

18 Erklæring af nye exception klasser
Man kan definere sine egne exception klasser Dette gøres ved at lave en subklasse af en eksisterende exception klasse Hvis klassen er en subklasse af RuntimeException, vil dens exceptions være unchecked, ellers vil de være checked Der er intet nyt eller mærkeligt ved erklæringen Checked exceptions public class NoMatchingDetailsException extends Exception { private String key; public NoMatchingDetailsException(String key) { this.key = key; } public String getKey() { return key; public String toString() { return "No details matching: " + key + " were found"; Feltvariabel Konstruktør Accessor metode toString metode

19 ● Assertions Vi har ofte en forventning om at visse betingelser er opfyldt på bestemte steder i vores program Efter udførelsen af removeDetails metoden vil vi forvente, at nøglen, der blev anvendt som parameterværdi, ikke længere forekommer i adressebogen størrelsen af adressebogen er konsistent, dvs. at værdien af feltvariablen numberOfEntries er lig med, antallet af kontaktinformationer public void removeDetails(String key) { if(key == null){ throw new IllegalArgumentException( "Null key in removeDetails"); } if( keyInUse(key) ) { ContactDetails details = book.get(key); book.remove(details.getName()); book.remove(details.getPhone()); numberOfEntries--; assert !keyInUse(key); assert consistentSize() : "Inconsistent book size in removeDetails"; Dette tjekkes ved hjælp af to assertions indeholdende det reserverede ord assert et boolske udtryk som skal testes en (optional) tekststreng som beskriver, hvad der gik galt

20 Metoderne keyInUse and consistentSize
Den første metode er simpel private boolean keyInUse(String key) { return book.containsKey(key); } Brug containsKey metoden fra Map interfacet Den anden metode er lidt mere kompleks Lokal variabel indeholdende værdierne fra AddressBook private boolean consistentSize() { Collection<ContactDetails> allEntries = book.values(); Set<ContactDetails> uniqueEntries = new HashSet<>(allEntries); int actualCount = uniqueEntries.size(); return numberOfEntries == actualCount; } Værdierne kopieres over i en mænge (Set), hvorved dubletter elimineres Find størrelsen af mængden Tjek at størrelsen er lig med numberOfEntries

21 Brug af assertions En assertion sætning opfylder to formål
Den beskriver en betingelse, som vi forventer er opfyldt på det sted, hvor assertion sætningen er indsat (en sådan betingelse kaldes en invariant) Under programudførelsen kan det tjekkes, at betingelsen virkelig er opfyldt, og hvis dette ikke er tilfældet kastes en AssertionError (subklasse af Error) Assertions kan let slås til og fra – de vil typisk være slået til mens programmet udvikles og testes fra når programmet anvendes af brugere (produktionsmode) I BlueJ er assertions integreret med JUnit tests Når JUnit tests er slået til, vises assertion errors i test vinduet – sammen med de fejl, der genereres af assertions i JUnit testene

22 ● Fil-baseret input/output
Hvordan læser og skriver man en fil? Område, hvor der let kan ske fejl (forkert filnavn, disk full, no permission, netværksfejl, osv.) Sådanne fejl håndteres ved hjælp af exceptions Java's oprindelige support for i/o findes i pakken java.io Denne indeholder en lang række subklasser, som supporter input/output operationer Herudover definerer den IOException, som er en checked exception Vigtige subklasser er FileNotFoundException and EOFException (EOF ≈ end of file) Senere versioner af Java API'en har introduceret pakken java.nio Java.nio har en række tilhørende pakker såsom java.nio.file og java.nio.charset Klasserne i nio hierarkiet erstatter delvis klasserne i java.io pakken

23 Files og streams Input/ouput opdeles i Tekstfiler Streams
Indeholder tegn-baseret information i en form, som kan læses og forstås af mennesker – f.eks. html filer, programfiler og dokumentationsfiler Baseret på char typen Håndteres ved hjælp af readers og writers såsom FileReader og FileWriter Streams Indeholder binær information såsom billeder eller eksekverbare programmer Baseret på byte typen Streams håndteres ved hjælp af stream handlers Bemærk at disse streams intet har med de streams at gøre, som vi mødte i afsnittet om funktionel programmering

24 File klassen og Path interfacet
En fil er ikke blot et navn og noget indhold Filer ligger i foldere (directories) De indeholder information om størrelse, hvem der ejer dem, og hvem der kan tilgå/modificere dem De kan være skjulte (hidden) Osv. Klassen File i java.io indeholder en lang række metoder til at understøtte ovenstående Et File objekt i et program indeholder information om en fils egenskaber (men indeholder ikke filen selv) Ved hjælp af et File objekt kan man f.eks. undersøge om en fil eksisterer, og på den måde undgå at fremprovokere en FileNotFoundException Tilsvarende indeholder java.nio.file pakken interfacet Path og Files klassen (som er mere moderne)

25 File output består af tre skridt
Åben filen try { FileWriter writer = new FileWriter("file name"); while(there is more text to write) { ... writer.write(next piece of text); } writer.close(); catch(IOException e) { something went wrong with accessing the file; Skriv data Luk filen Håndtering af fejl Alle tre skridt kan fejle – af forskellige grunde Mange af disse er fuldstændig udenfor programmørens kontrol (såsom en disk, der er fuld eller ødelagt) Disse fejl håndteres ved hjælp af IOExceptions Læs detaljer i BlueJ bogen (de egner sig ikke til en forelæsning)

26 File input består af de samme tre skridt
Åben filen Karaktersæt Filens sti (navn + placering i folder hierarkiet) Charset charset = Charset.forName("US-ASCII"); Path path = Paths.get("file name"); try( BufferedReader reader = Files.newBufferedReader(path, charset)) { String line = reader.readLine(); while( line != null ) { do something with line line = reader.readLine(); } catch(FileNotFoundException e) { deal with the exception; catch(IOException e) { Filen åbnes ved hjælp af en klassemetode i Files klassen Læs data Ved at placere åbningen i en parentes efter nøgleordet try, sikrer man, at filen automatisk lukkes efter læsningen Håndter fejl Læs detaljer i BlueJ bogen (de egner sig ikke til en forelæsning)

27 Scanning af input Scanner klassen indeholder metoder til at opbryde en tekst i delkomponenter nextLine, nextInt, nextDouble, nextBoolean, osv. hasNextLine, hasNextInt, hasNextDouble, hasNextBoolean, osv. Files klassen indeholder klassemetoden lines Tager en parameter af typen Path Returnerer en Stream<String> (som kendt fra afsnittet om funktionel programmering) Denne kan behandles som en (funktionel) stream eller konverteres til et array eller en arrayliste På denne måde kan man helt undgå at bruge klassen BufferedReader

28 System klassen System klassen Indeholder tre klassevariabler
in af typen InputStream standard input stream out af type PrintStream standard output stream err af type PrintStream standard error output stream I BlueJ er alle tre knyttet til terminalvinduet Welcome to the DodgySoft Technical Support System. Please tell us about your problem. We will assist you with any problem you might have. Please type 'bye' to exit our system. > My web browser crashes each morning Well, it never crashes on our system. It must have something to do with your system. Tell me more about your configuration. > Windows 7 This is a known bug to do with the Windows operating system. Please report it to Microsoft. There is nothing we can do about this. > Errors written to System.err is shown here Input via System.in Output via System.out Errors via System.err I kan skrive i denne del af terminalvinduet via System.err.println("…")

29 ● Computerspil 5 I den femte og sidste delaflevering skal I bruge nogle af de ting, som I har lært om exceptions og fil-baseret input/output Programmet kan allerede gemme de træk, der laves og afspille disse igen (ved brug af et Log objekt og et LogPlayer objekt) Det er nu jeres opgave at implementere metoder/konstruktører til at: skabe et Log objekt ud fra dets String repræsentation konvertere et Log objekt til dets String repræsentation indlæse en tekstfil fra operativsystemet og starte afspilning af det spil, der er gemt på filen gemme et logget spil på en tekstfil i operativsystemet Herudover skal I (som sædvanlig) rette gamle fejl og mangler I behøver ikke at lave regression tests for de nye metoder De testes via to testmetoder, som vi har udviklet til jer

30 ● Opsummering Defensiv programmering Exceptions Assertions
Servere bør (i de fleste tilfælde) tjekke de parameterværdier, som de modtager fra deres klienter i kald af metoder/konstruktører Derved kan man ofte undgå ulovlige handlinger, såsom at dividere med nul eller tilgå et element, som ikke eksisterer (i en arrayliste eller et array) Exceptions Sprogkonstruktion til rapportering af fejl En kaldt metode kan kaste en exception, som så efterfølgende gribes (behandles) på det sted hvor metoden blev kaldt Assertions Sprogkonstruktion til beskrivelse af betingelser, som man forventer vil være opfyldt på bestemte steder i programmet (invarianter) Betingelserne kan testes under programudførelsen Fil-baseret input/output Hvordan læser og skriver man en fil? Område, hvor der let kan ske fejl (forkert filnavn, disk full, no permission , osv.) Sådanne fejl håndteres elegant ved hjælp af exceptions Afleveringsopgave: Computerspil 5 Input/output og exception handling

31 Det var alt for nu….. … spørgsmål