Veatöötlus, erindid

Eriolukordade töötlemine

Veatöötlus ilma selleks kohandatud vahenditeta on töömahukas ja ebaülevaatlik. Traditsiooniliste meetodite korral tuleb selleks, et kanda informatsioon vea tekkekohast selle töötlemise kohta, näha vaeva spetsiaalsete tagastuskoodide tekitamise, edasisuunamise ja arvessevõtmisega.

Javas töödeldakse eriolukordi erilise juhtimismehhanismi - katsendidirektiivi (ingl.k. try/catch) abil. Eriolukorra tekkimise kohas tekitatakse spetsiaalsete omadustega objekt klassist java.lang.Throwable või mõnest selle alamklassist. Juhtimine antakse seda tüüpi eriolukordi töötlevale programmiosale (catch-haru e. püünis) või tagasi antud meetodit välja kutsunud meetodile, kui antud meetod ise eriolukordi ei töötle.

Vead ja erindid

Laias laastus jagunevad eriolukorrad vigadeks (klass java.lang.Error) ning erinditeks (ingl.k. exception, klass java.lang.Exception). Vigu üldiselt töödelda ei saa, tegemist on tõsiste probleemidega, mille tekkimisel programm tööd jätkata ei saa. Erindite hulgas on alamklass java.lang.RuntimeException, mille isendeid võib töödelda või mitte töödelda (sel juhul lõpetab interpretaator töö vastava veateatega). Kõigi ülejäänud erindiklasside korral peab meetod erindi kas ilmutatud kujul edasi ("üles") suunama (throws-täiend meetodi päises) või töötlema mõnes püünises.

Throwable

Error

LinkageError

ClassCircularityError

ClassFormatError

IncompatibleClassChangeError

NoSuchMethodError

NoSuchFieldError

InstantiationError

AbstractMethodError

IllegalAccessError

NoClassDefFoundError

VerifyError

UnsatisfiedLinkError

UnsatisfiedError

AbstractMethodError

ExceptionInInitializationError

ThreadDeath

VirtualMachineError

InternalError

OutOfMemoryError

StackOverflowError

UnknownError

AWTError

Exception

ClassNotFoundException

CloneNotSupportedException

IllegalAccessException

InstantiationException

InterruptedException

NoSuchMethodException

TooManyListenersException

ParseException

AWTException

IOException

CharConversionException

EOFException

FileNotFoundException

InterruptedIOException

ObjectStreamException

InvalidClassException

InvalidObjectException

NotActiveException

NotSerializableException

OptionalDataException

StreamCorruptedException

WriteAbortedException

SyncFailedException

UnsupportedEncodingException

UTFDataFormatException

MalformedURLException

ProtocolException

SocketException

BindException

ConnectException

NoRouteToHostException

UnknownHostException

UnknownServiceException

RuntimeException

ArithmeticException

ArrayStoreException

ClassCastException

IllegalArgumentException

IllegalThreadStateException

NumberFormatException

FormatException

IllegalMonitorStateException

IllegalStateException

IndexOutOfBoundsException

ArrayIndexOutOfBoundsException

StringIndexOutOfBoundsException

NegativeArraySizeException

NullPointerException

SecurityException

EmptyStackException

MissingResourceException

NoSuchElementException

IllegalComponentStateException

 

Erindiseade direktiiv

throw erind;
 
Selleks, et erindeid ise tekitada, kasutatakse erindiseade direktiivi (throw-statement), mille argumendiks on Throwable (alam-)klassi isend. Tekitatud erind tuleb reeglina töödelda või delegeerida töötlemiseks "üles".

Näit.

throw new SecurityException("Lugemine keelatud!");
 

Katsendidirektiiv

try {
põhiblokk...;
}

catch (Erinditüüp1 muutuja) {

püünis1...;
}

...

catch (Erinditüüp_n muutuja) {

püünis_n...;
}

finally {

epiloog...;
}

Võtmesõna try järel olev põhiblokk täidetakse n.-ö. silumisrezhiimis. Kui selle bloki sees (s.h. meetodites, mille poole otseselt või kaudselt pöördutakse) tekib mingi eriolukord, siis suunatakse juhtimine esimesse niisugusesse püünisesse, mis vastab tekkinud erindi tüübile ning seejärel katsendidirektiivist välja. Seega on mõtet järjestada püünised nii, et spetsiifilisemad erindiklassid töödeldaks eespool. Kui esineb ka epiloog võtmesõna finally järel, siis see täidetakse igal juhul (isegi siis, kui püünis sisaldab naasmisdirektiivi).

Püünise päises esinev muutuja on formaalne parameeter, mis lubab viidata tekkinud erindile.

Näit.

import java.io.*;
...
try {
FileInputStream p =
   new FileInputStream ("/etc/passwd");
byte[] sisu = new byte [p.available()];
p.read (sisu);
p.close();
System.out.write (sisu);
}
catch (FileNotFoundException e) {
System.out.println ("Faili ei leitud");
}
catch (IOException e) {
System.out.println ("S/V viga");
}
catch (Exception e) {
System.out.println ("Mingi probleem");
}
finally {
System.out.println ("===Lõpp===");
}
 

Erindikirjeldus

Iga meetod, mis ise erindeid ei töötle, peab ilmutatud kujul deklareerima kõik erinditüübid, mis temas võivad tekkida, v.a. RuntimeException ning selle alamklassid.

Näit.

public static void maga()
   throws InterruptedException {
Thread.sleep (1000);
}
 

public Object nextElement()
   throws java.util.NoSuchElementException {
      if (votaJargmine() == null)
         throw new

java.util.NoSuchElementException();
      else
         return votaJargmine();
     }
 

Erindite programmeerimisel tekkivaid probleeme

1. try-blokis defineeritud objekte ei saa väljaspool (näiteks püünistes) hästi kasutada, sest kompilaatori arvates ei ole neid olemas (ei ole garanteeritud juhtimise jõudmine nende kirjeldusteni).
2. Java ei võimalda katkestuskohast jätkamist ("resume" vms.). Kui soovitakse sellist efekti saavutada, tuleb katsendidirektiiv panna mingi tsükli mõjupiirkonda.
3. 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);

}

}