Objektorienteeritud programmeerimine MTAT (6 EAP) 9. Loeng. H e l le H e i n h e l l e. h ee

Size: px

Start display at page:

Download "Objektorienteeritud programmeerimine MTAT (6 EAP) 9. Loeng. H e l le H e i n h e l l e. h ee"

Candice Roberts
5 years ago
Views:

1 Objektorienteeritud programmeerimine MTAT (6 EAP) 9. Loeng H e l le H e i n h e l l e. h ein@ut. ee

2 Täna loengus: Erindid Erindite töötlemine Võtmesõnad try, catch, throw, throws, finally, assert 2

3 Millest vead (tõrked) tekivad? Koodi või andmete viga - nt. vale tüübiteisendus, massiivi sobimatu indeksi kasutamine, avaldises nulliga jagamine, Vead standardmeetodite kasutamisel - nt. kui kasutada substring() meetodit sõne töötlemisel, võime saada vea (erindiklassi ) StringIndexOutOfBoundsException Ise tekitades - Ebasoovitava olukorra avastamisel programmi töö käigus, nt arvelt soovitakse rohkem raha välja võtta kui seal on, jne Java vead - Tekivad JVM-s, mis käitab kasutaja kompileeritud programmi; tavaliselt tekib programmi veast 3

4 Erindid Vea (tõrke) avastamisel tekib eriolukord (exception), mida nimetatakse erindiks. Erindi tekkimisel genereerib Java isendi antud erinditüübile vastavast objektist. See sisaldab infot vea iseloomu kohta. Eriolukord on sündmus, mis katkestab käskude täitmise normaalse järjekorra programmi töö käigus. 4

5 Olgu meil programm: Töötlemata erindid class Erind1 { public static void main(string[] args) { int b = 0; int a = 35 / b; Selle käivitamisel saame järgmise teate: Muudame programmi: class Erind2 { static void jaga() { int b = 0; int a = 35 / b; public static void main(string[] args) { Erind2.jaga(); stack trace 5

6 Erindite töötlemine Erindeid saab töödelda kasutades katsendidirektiivi (try) ja püünist (catch) Üldkuju: try { // koodiosa, milles vea tekkimist jälgitakse catch (SpecificExceptionType exob) { // vea töötlemine erindi SpecificExceptionType korral catch (OtherExceptionType exob) { // vea töötlemine erindi OtherExceptionType korral catch (GeneralExceptionType exob) { // vea töötlemine erindi GeneralExceptionType korral... finally { // kood, mis täidetakse õnnestumise ja ebaõnnestumise korral 6

7 Erindite töötlemine Kasutame eelmise programmi korral püünist (try): class Erind3 { public static void main(string[] args) { int a, b; try { b = 0; a = 35 / b; System.out.println("Seda ei väljastata."); catch (ArithmeticException e) { System.out.println("Nulliga jagamine."); System.out.println("See on peale pyynist."); 7

8 Erindite töötlemine Katsendidirektiiv (try) ja püünis (catch) moodustavad terviku. Nende vahel ei tohi olla koodi. Samuti ei tohi olla koodi püünise ja bloki finally vahel. Püünise skoop on piiratud lausetega talle vahetult eelnevas katsendidirektiivis; ta ei saa töödelda erindeid, mis on tekkinud teistes try blokkides, välja arvatud üksteisesse sisestatud try blokid. Püünise eesmärk on lahendada olukord ja võimalusel jätkata programmi tööd. Püüniseid otsitakse esinemise järjekorras kuni sobiva leidmiseni. 8

9 Töö jätkamine peale erindi töötlemist public class Erind4 { public static void main(string[] args) { int i = 10; for(int j = -1 ;j<= 2 ; j++){ try { System.out.println("Try blokki sisse i = "+ i + " j = " + j); System.out.println(i/j); System.out.println("Try blokist välja"); catch(arithmeticexception e) { System.out.println("Tekkis viga: " + e); System.out.println("Peale try blokki"); Try blokki sisse i = 10 j = Try blokist valja Try blokki sisse i = 10 j = 0 Tekkis viga: java.lang.arithmeticexception: / by zero Try blokki sisse i = 10 j = 1 10 Try blokist valja Try blokki sisse i = 10 j = 2 5 Try blokist valja Peale try blokki 9

10 Programmi täitmine juhul kui erindit ei teki 10

11 Programmi täitmine erindi korral 11

12 try { // 1 kood, mis võib tekitada erindi // 2 catch (IOException e) { // 3 kood, mis võib tekitada erindi // 4 finally { // 5 // 6 Olukorrad: 1. Erindit ei teki. Täitmise järjekord: 1, 2, 5, Erind tekib ja ta püütakse. Täitmise järjekord: 1, 3, 4, 5, 6. Kui catch tekitab erindi, siis see suunatakse väljakutsujale ja täitmise järjekord on: 1, 3, Kood tekitab erindi, mida ei püüta. Erind suunatakse väljakutsujale. Täitmise järjekord: 1, 5. 12

13 Java sisseehitatud erindiklassid erindiklassid.pdf 13

14 RuntimeException erindiklassid Kompilaator lubab need jätta töötlemata, vaatame mõnda neist Erind ArithmeticException IndexOutOfBoundsException NegativeArraySizeException NullPointerException ClassCastException IllegalArgumentException Millal tekib Viga aritmeetikas, nt katse jagada nulliga Katse kasutada massiivi indeksit väljaspool massiivi kehtivuspiirkonda. Katse defineerida massiivi negatiivse dimensiooniga. Katse kasutada muutujat, mis peaks viitama objektile, kuid viit (osuti) puudub. Katse teisendada muutujat objekti tüübiks, mis pole võimalik. Katse edastada meetodile mittekooskõlalisi argumente. 14

15 Mitme püünise (catch) kasutamine class MituCatchi { public static void main(string[] args) { try { int a = args.length; System.out.println("a = " + a); int b = 20 / a; int[] c = {2; c[25] = 100; catch(arithmeticexception e) { System.out.println("Jagamine nulliga: " + e); catch(arrayindexoutofboundsexception e) { System.out.println("Massiivi indeks vigane: " + e); System.out.println("Peale try/catch blokki."); >java MituCatchi a = 0 Jagamine nulliga: java.lang.arithmeticexception: / by zero Peale try/catch blokki. >java MituCatchi argument a = 1 Massiivi indeks vigane: java.lang.arrayindexoutofboundsexception: 25 Peale try/catch blokki. 15

16 Mitme püünise kasutamine Mitme püünise kasutamise korral tuleb meeles pidada, et erindite alamklassid peavad olema enne ülemklasse. Näiteks järgmine programm annab kompileerimisel vea: class SuperSubCatch { public static void main(string[] args) { try { int a = 0; int b = 42 / a; catch(exception e) { System.out.println("Üldisem erind."); catch(arithmeticexception e) { System.out.println("Seda erindit ei täideta kunagi"); Arutelu. Mõned küsimused. 16

17 Üksteisesse sisestatud katsendidirektiivid (try) Kui sisemises try blokis tekib erind ja sobivat püünist ei leita, siis otsitakse püünist teda sisaldavast try blokist. Otsing jätkub kuni sobiva leidmiseni või kuni katsendidirektiivide lõppemiseni. class NestTry { public static void main(string[] args) { try { int a = args.length; int b = 20 / a; System.out.println("a = " + a); try { if(a == 1) a = a/(a - a); if(a == 2) { int c[] = { 1 ; c[25] = 100; //sisemine try catch(arrayindexoutofboundsexception e) { System.out.println("Massiivi indeks vigane: " + e); //välimine try catch(arithmeticexception e) { System.out.println("Jagamine nulliga: " + e); >java NestTry Jagamine nulliga: java.lang.arithmeticexception: / by zero >java NestTry 1 a = 1 Jagamine nulliga: java.lang.arithmeticexception: / by zero 17 >java NestTry 1 2 a = 2 Massiivi indeks vigane: java.lang.arrayindexoutofbounds Exception: 25

18 Püünise otsimine kui katsendidirektiivis on meetodi poole pöördumine 18

19 throw - erindi tekitamine Programmis on võimalik erindit ka ise tekitada, kasutades lauset: throw ThrowableInstance; Siin ThrowableInstance peab olema tüüpi Throwable või klassi Throwable alamklass. Järgmisi käske ei täideta ja otsitakse sobivat püünist. class ThrowDemo { static void erindiviskaja() { try { throw new NullPointerException("demo"); catch(nullpointerexception e) { System.out.println("Erind on püütud ja tekitatakse uuesti."); throw e; public static void main(string[] args) { try { erindiviskaja(); catch(nullpointerexception e) { System.out.println("Erind on uuesti kinni püütud: " + e); Erind on kinni püütud ja tekitatakse uuesti. Erind on uuesti kinni püütud: java.lang.nullpointerexception: demo 19

20 throws Kui meetodis on võimalik, et tekib erind (välja arvatud erindid Error või RuntimeException või nende alamklassid), mida ei töödelda, siis tuleb sellest märku anda tema väljakutsujatele võtmesõna throws abil. Meetodi üldkuju: tüüp meetodi-nimi(parameetrite loetelu) throws erindite loetelu { // meetodi keha class ThrowsDemo { static void viskaerind() throws IllegalAccessException { System.out.println(" Meetodi viskaerind sees."); throw new IllegalAccessException("demo"); public static void main(string[] args) { try { viskaerind(); catch (IllegalAccessException e) { System.out.println("Püütud erind: " + e); Meetodi viskaerind sees. Püütud erind: java.lang.illegalaccessexception: demo 20

Oma erindiklassi loomine Selleks tuleb defineerida klassi Exception alamklass. Saab kasutada (ja üle katta) meetodeid, mis on päritud klassist Throwable.

21 Oma erindiklassi loomine Selleks tuleb defineerida klassi Exception alamklass. Saab kasutada (ja üle katta) meetodeid, mis on päritud klassist Throwable. String getmessage( ) - tagastab erindi kirjelduse; void printstacktrace( ) - näitab, kust erind tuli (magasini sisu); Throwable fillinstacktrace( ) - tagastab objekti Throwable, mis sisaldab magasini; StackTraceElement[ ] getstacktrace( ) tagastab massiivi magasinielementidest; 21

22 class MinuErind extends Exception { private int detail; MinuErind(int a) { detail = a; public String tostring() { return "MinuErind[" + detail + "]"; 22

23 class ExceptionDemo { static void compute(int a) throws MinuErind { System.out.println("Kutsuti välja compute(" + a + ")"); if(a > 10){ throw new MinuErind(a); System.out.println("Normaalne lõpp"); public static void main(string args[]) { try { compute(1); compute(20); catch (MinuErind e) { System.out.println("Püüti " + e); Kutsuti välja compute(1) Normaalne lõpp Kutsuti välja compute(20) Püüti MinuErind[20] 23

24 finally Ei ole kohustuslik Kuid: iga katsendidirektiiv (try) nõuab vähemalt ühte catch blokki või bloki finally olemasolu class FinallyDemo { public static void main(string args[]) { try { meetod1(); catch (Exception e) { System.out.println("Püüti erind"); meetod2(); meetod3(); 24

25 static void meetod1() { try { System.out.println("meetod1 sees"); throw new RuntimeException("demo"); finally { System.out.println("meetod1 finally"); static void meetod2() { try { System.out.println("meetod2 sees"); return; finally { System.out.println("meetod2 finally"); static void meetod3() { try { System.out.println("meetod3 sees"); finally { System.out.println("meetod3 finally"); meetod1 sees meetod1 finally Püüti erind meetod2 sees meetod2 finally meetod3 sees meetod3 finally 25

26 Aheldatud erindid (chained exceptions) Mõnikord on vaja erindi töötlemisel tekitada uus erind, mis annab esialgse erindi kohta täiendavat informatsiooni. Niisuguseid erindeid nimetatakse aheldatud erinditeks. Aheldatud erindi realiseerimiseks saab kasutada klassi Throwable kahte konstruktorit Throwable(Throwable causeexc) Throwable(String msg, Throwable causeexc) ja kahte meetodit: Throwable getcause( ) tagastab jooksva erindi Throwable initcause(throwable causeexc) tagastab põhjustava erindi 26

27 1 public class ChainedExceptionDemo { 2 public static void main(string[] args) { 3 try { 4 meetod1(); 5 6 catch (Exception ex) { 7 ex.printstacktrace(); 8 public static void meetod1() throws Exception { 9 try { 10 meetod2(); catch (Exception ex) { 13 throw new Exception("Uus info meetod1-st", ex); 14 public static void meetod2() throws Exception { 15 throw new Exception("Uus info meetod2-st"); java.lang.exception: Uus info meetod1-st at ChainedExceptionDemo.meetod1(ChainedExceptionDemo.java:13) at ChainedExceptionDemo.main(ChainedExceptionDemo.java:4) Caused by: java.lang.exception: Uus info meetod2-st at ChainedExceptionDemo.meetod2(ChainedExceptionDemo.java:15) at ChainedExceptionDemo.meetod1(ChainedExceptionDemo.java:10) 27

28 Tõend (assertion) Programmi loomise käigus on võimalik luua tõend, millele vastav tingimus peab olema tõene programmi kogu töö vältel. Seda saab teha võtmesõna assert abil kahel viisil: assert condition; või assert condition : expr; public class AssertionDemo { public static void main(string[] args) { int i; int sum = 0; for (i = 0; i < 10; i++) { sum += i; assert i == 10; assert sum > 100 : "summa on " + sum; >java ea AssertionDemo Tõendi sisselülitamine 28

29 Probleemid erindite töötlemisel try-blokis defineeritud objekte ei saa väljaspool (näiteks püünistes) kasutada, sest kompilaatori arvates ei ole neid olemas (ei ole garanteeritud juhtimise jõudmine nende kirjeldusteni). Java ei võimalda katkestuskohast jätkamist. Kui soovitakse sellist efekti saavutada, tuleb katsendidirektiiv panna mingi tsükli mõjupiirkonda. Isetehtud erindite korral tuleks hoolitseda konstruktorite eest, kuna ainult vaikekonstruktorist ei piisa: class MinuErind extends Exception { public MinuErind () { super(); public MinuErind (String s) { super (s); 29

30 Erindite töötlemise eelised 1. Vigu töötleva koodi ja tavalise koodi eraldamine lugedafail { avada fail; määrata faili suurus; eraldada mälu; lugeda fail mällu; sulgeda fail; Mis juhtub, kui faili ei õnnestu avada? faili suurust ei õnnestu määrata? ei õnnestu eraldada mälu? faili lugemine ebaõnnestub? faili ei õnnestu sulgeda? 30

31 Pseudokood ilma erinditeta lugedafail_veatootlusega { veakood = 0; avada fail; if (fail avatud) { määrata faili pikkus; if (pikkusmääratud) { eraldada mälu; if (mälu eraldatud) { lugeda fail mällu; if (lugemine ei õnnestunud) { veakood = -1; else { veakood = -2; else { veakood = -3; sulgeda fail; if (sulgemine ebaõnnestus && veakood == 0) { veakood = -4; else { veakood = -5; else { veakood = -6; return veakood; 31

32 Pseudokood - erindid lugedafail { try { avada fail; määrata faili suurus; eraldada mälu; lugeda fail mällu; sulgeda fail; catch (faili avamine ebaõnnestus) { teemidagi; catch (suuruse määramine ebaõnnestus) { teemidagi; catch (mälu eraldamine ebaünnestus) { teemidagi; catch (lugemine ebaõnnestus) { teemidagi; catch (faili sulgemine ebaõnnestus) { teemidagi; 32

33 2. Vigade töötlemise edasiandmine magasini abil method1 { call method2; method2 { call method3; method3 { call lugedafail; Oletame, et ainult method1 on huvitatud vigadest faili lugemisel 33

34 Pseudokood ilma erinditeta method1 { error = call method2; if (error) doerrorprocessing; else proceed; errorcodetype method2 { error = call method3; if (error) return error; else proceed; errorcodetype method3 { error = call lugedafail; if (error) return error; else proceed; 34

35 method1 { try { call method2; catch (exception) { doerrorprocessing; method2 throws exception { call method3; method3 throws exception { call lugedafail; Pseudokood - erindid 35

36 Iseseisvalt: 1. Y. Daniel Liang Introduction to Java programming fifth ed. Ch. 15 või sixth ed. Ch. 17 Lesson aadressilt või Chapter 8 punktid 1-4 aadressilt 36

Objektorienteeritud programmeerimine

Objektorienteeritud programmeerimine 10. loeng 15. aprill Eno Tõnisson 1 Kasutatud H. Heina loengumaterjalid J. Kiho Väike Java leksikon J. Kiho Java Programmeerimise aabits Y. D. Liang Introduction to