Præsentation er lastning. Vent venligst

Præsentation er lastning. Vent venligst

Forelæsning Uge 14 – Mandag

Lignende præsentationer


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

1 Forelæsning Uge 14 – Mandag
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 regression 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
En server er karakteriseret ved, at den er reaktiv og kun handler, når en klient anmoder om det Serveren gør intet på egen hånd 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 introducerer 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?

3 AddressBook projektet
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 handler kun, når en klient (GUI-objektet) anmoder om det

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--; } Ovenstående giver os et problem 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 Det 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 Hvis man ved, at disse parameterværdier er fornuftige, 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, og så bør alle parameterværdier tjekkes Derved kan man ofte undgå ulovlige handlinger, såsom at dividere med 0, kalde en metode på en variabel, der har værdien 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 undlade at udføre det foretagne request Det gjorde vi for removeDetails metoden Serveren kan også (sommetider) ændre parameterværdien til noget "fornuftigt" 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 forstå beskeden / vide hvad de skal gøre Hvad vil du gøre, hvis en hæveautomat fortæller dig, at der er en Fejl eller rejser en NullPointerException? Serveren kan rapportere fejlen til klienten Hvis metoden har returtypen void kan denne ændres til boolean, således at legale requests returnerer true og illegale 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, som efterfølgende gribes af klienten (dvs. den programkode, der kaldte den fejlende metode)

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 De fleste exceptions er checked, hvilket betyder at oversætteren protesterer, hvis de ikke håndteres af den kaldende klient RuntimeExceptions og dets subklasser er unchecked, hvilket betyder at oversætteren ikke tvinger programmøren til at håndtere dem NullPointerExceptions og IndexOutOfBounds- Exceptions er eksempler på RuntimeExceptions Errors er alvorlige fejl, som et program ikke med fornuft kan forsøge at overleve

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 har værdien 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 public boolean removeDetails(String key) { if(key == null){ throw new IllegalArgumentException( "Null key in removeDetails"); } if( keyInUse(key) ) { ... return true; else { return false; Eksemplet fra før Efter throw sætningen udføres der 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

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 den kastede exception, hvilket betyder at programmet standser 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 filename) 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 blokken indeholder de sætninger, der kan føre til, at der kastes en exception try { filename = ... // Request filename from user addressbook.saveToFile(filename); successful = true; } catch( IOException e ) { System.out.println("Unable to save to " + filename); successful = false; Metodekald catch blokken indeholder de sætninger, der skal udføres for at reparere situationen, dvs. gribe den kastede exception Den exception som kan kastes, og som skal gribes Hvis der kastes en exception, overføres kontrollen fra try-delen til catch-delen catch-delen udføres kun, hvis der kastes en exception

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) { // Handle other IOExceptions try-catch sætningen kan også indeholde en finally blok Denne er placeret efter catch blokkene Indeholder sætninger som altid skal udføres – 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

16 Eksempel på nyttig try sætning
filename = ... // Request filename from user // 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 = ... // Request alternative filename } 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 mislykkes rejses en exception I catch-delen beder man så 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 i erklæringen af exception klasser Checked exception 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 Pause Accessor metode toString metode Når en exception er kastet, kan den "dårlige" key, tilgås via getKey metoden Den kan også ses i den diagnostiske tekst (som bruger toString metoden)

19 ● Kursusevaluering Kursusevalueringer er et vigtigt redskab til at forbedre vores kurser Jeres kommentarer bruges af forelæserne til at forbedre næste års kurser Alle evalueringerne gennemgås af institutledelsen samt formændene for uddannelsesudvalget Dette er medvirkende til at kurserne opretholder deres høje kvalitet For at forbedre svarprocenten har fakultetet besluttet, at der skal afsættes tid ved forelæsningerne til at besvare kursusevalueringen Derfor vil vi nu bruge 5-10 minutter på det Resultatet af kursusevalueringen vil blive gennemgået og diskuteret ved den afsluttende forelæsning i næste uge Jeg opfordrer kraftigt til, at I bruger tid på at deltage i denne (og andre) kursusevalueringer Det er en nem måde at få indflydelse på Det forbedrer forholdene for jer selv og for fremtidige studerende Det hjælper mig (og andre undervisere) med at forbedre indholdet af undervisningen

20 Påtænkt ændring til næste år
Køreprøverne får to ekstra spørgsmål Implementation af to metoder ved hjælp af de funktionelle algoritmeskabeloner Opgaven om Funktionel programmering flyttes til anden øvelsesgang i uge 6 (dvs. inden køreprøven) Ovenstående betyder Bedre sammenhæng mellem forelæsningen om funktionel programmering og øvelserne, hvor funktionel programmering bruges i praksis Der bliver lidt mere at lave i uge 6-7, som mange har oplevet som værende "lidt tynde" Man får mulighed for at score nogle flere point i de sidste minutter af køreprøven (i stedet for blot at sidde og vente) Man kan ikke længere dumpe køreprøven Intet krav om at man skal nå mindst 2 tjekpunkter Hvis man kun klarer et tjekpunkt, vil man have få point med til eksamen Herudover vil det nok også være vanskeligt at klare computerspilsopgaven Køreprøven vil være et pejlemærke for den enkelte – ikke en stopprøve

21 ● 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

22 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); return numberOfEntries == uniqueEntries.size(); } Værdierne kopieres over i en mænge (Set), hvorved dubletter elimineres Tjek at størrelsen at numberOfEntries er identisk med antal elementer i mængden

23 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 og gør vores kode mere læselig og lettere at forstå) 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 Metoderne assertEquals, assertTrue og assertFalse, som I har brugt i forbindelse med jeres testmetoder, er implementeret ved hjælp af en assert sætning Ved anvendelse af JUnit tests vises assertion errors fra de testede klasser i test vinduet (sammen med assertions errors fra JUnit testene)

24 ● Fil-baseret input/output
Hvordan læser og skriver man en fil? Område, hvor der let kan ske fejl (forkert filnavn, disk fuld, manglende 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 (på samme måde som Swing delvist erstatter AWT)

25 Files og streams Input/output 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 Svarer til char og String typerne Håndteres ved hjælp af readers og writers såsom FileReader, BufferedReader og FileWriter Streams Indeholder binær information såsom billeder eller eksekverbare programmer Svarer til 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

26 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)

27 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; Løkke, hvor man skriver 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)

28 File input består af de samme tre skridt
Nu beskrevet i lidt større detaljer og med brug af faciliteter fra nio Å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 (så det behøves vi ikke selv at gøre) Håndter fejl Læs detaljer i BlueJ bogen (de egner sig ikke til en forelæsning)

29 Files klassen (java.nio) og Scanner klassen (java.util)
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 Scanner klassen indeholder metoder til at opbryde en tekst i delkomponenter nextLine, nextInt, nextDouble, nextBoolean, osv. hasNextLine, hasNextInt, hasNextDouble, hasNextBoolean, osv. Stream<String> myStream = Files.lines(path);

30 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("…")

31 ● 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: konvertere et Log objekt til dets String repræsentation genskabe et Log objekt ud fra dets String repræsentation gemme et logget spil på en tekstfil i operativsystemet indlæse en tekstfil fra operativsystemet og starte afspilning af det spil, der er gemt på filen Herudover skal I (som sædvanlig) rette gamle fejl og mangler holde jeres dokumentation opdateret, herunder tilføje dokumentation for nye programdele I behøver ikke at lave regressiontests for de nye metoder De testes via to testmetoder, som vi har udviklet til jer

32 ● 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 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

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


Download ppt "Forelæsning Uge 14 – Mandag"

Lignende præsentationer


Annoncer fra Google