CARA PENANGANAN KESALAHAN
Kesalahan Program bisa merupakan :
- Kesalahan Leksikal : THEN ditulis TEN
- Kesalahan Sintaks : A:=X+(B*(C+D) {jumlah kurungnya kurang}
- Kesalahan Semantik :
Tipe data yang salah.
Contoh : Var Siswa : Integer
Siswa := 'Yanuar' {tipe string}
Variabel belum didefinisikan.
Contoh : B := B + 1 {B belum didefinisikan}
Langkah-langkah Penanganan Kesalahan adalah sebagai berikut :
l Mendeteksi Kesalahan
l Melaporkan Kesalahan
l Tindak lanjut pemulihan/perbaikan
sebuah kompilator yang menemukan kesalahan akan melakukan pelaporan kesalahan, yang biasanya meliputi :
l Kode kesalahan
l Pesan kesalahan dalam bahasa natural
l Nama dan atribut identifier
l Tipe-tipe yang terkait bila type checking
Contoh : Error Massage: Error 162 Jumlah := unknown identifier
artinya :
è kode kesalahan = 162
è pesan kesalahan = unknown identifier
è nama identifier = Jumlah
Adanya pesan kesalahan tersebut akan memudahkan pemrogram dalam mencari dan mengoreksi sumber dari kesalahan.
REAKSI KOMPILATOR PADA KESALAHAN
Terdapat beberapa tingkatan reaksi yang dilakukan oleh kompilator saat menemukan kesalahan, yaitu :
- Reaksi-reaksi yang tidak dapat diterima (tidak melaporkan error);
Kompilator crash: berhenti atau hang.
Looping: kompilator masih berjalan tapi tidak pernah berakhir karena looping tak berhingga (indefinite/onbounded loop)
Menghasilkan program objek yang salah: kompilator melanjutkan proses sampai selesai tapi program objek yang dihasilkan salah. Ini berbahaya bila tidak diketahui pemrogram, karena baru akan muncul saat program dieksekusi.
- Reaksi yang benar tapi kurang dapat diterima dan kurang bermanfaat. Kompilator menemukan kesalahan pertama, melaporkannya, lalu berhenti (halt). Ini bisa muncul bila pembuat kompilator menganggap jarang terjadi kemunculan error dalam program sehingga kemampuan kompilator untuk mendeteksi dan melaporkan kesalahan hanya satu untuk setiap kali kompilasi. Pemrogram akan membuang waktu untuk melakukan pengulangan kompilasi setiap kali terdapat sebuah error.
- Reaksi-reaksi yang dapat diterima:
Reaksi yang sudah dapat dilakukan, yaitu kompilator melaporkan error, dan selanjutnya melakukan :
■ Recovery/pemulihan, lalu melanjutkan mencari error lain bila masih ada.
■ Repair/perbaikan kesalahan, lalu melanjutkan proses translasi dan menghasilkan program objek yang valid.
Kebanyakan kompilator dewasa ini sudah memiliki kemampuan recovery dan repair.
Reaksi yang belum dapat dilakukan, yaitu kompilator mengkoreksi kesalahan, lalu menghasilkan program objek sesuai dengan yang diinginkan pemrogram. Disini komputernya sudah memiliki kecerdasan untuk mengetahui maksud pemrogram. Tingkatan respon ini belum dapat diimplementasikan pada kompilator yang ada dewasa ini.
ERROR RECOVERY
Pemulihan kesalahan bertujuan mengembalikan kondisi parser kekondisi stabil (supaya bisa melanjutkan proses parsing keposisi selanjutnya). Strategi untuk melakukan error recovery sebagai berikut:
- Mekanisme Ad Hoc. Recovery yang dilakukan tergantung dari pembuat kompilator sendiri/spesifik dan tidak terikat pada suatu aturan tertentu. Cara ini bisa disebut juga sebagai special purpose error recovery.
- Syntax directed recovery. Melakukan recovery berdasarkan syntax. Contoh :
Begin
A:=A+1
B:=B+1;
C:=C+1
end;
kompilator akan mengenali sebagai (dalam notasi BNF):
begin<statement>?<statement>;<statement>end;
'?' akan dikenali sebagai ';'
- Secondary Error Recovery berguna untuk melokalisir error, dengan cara sebagai berikut:
Panic Mode. Maju terus dan mengabaikan teks sampai bertemu delimiter (';'). contoh,
IF A:=1
Kondisi := true;
Pada teks diatas tidak terdapat instuksi THEN, kompilator akan maju terus/skip sampai bertemu titik koma.
Unit Deletion. Menghapus keseluruhan suatu unit sintaktik (misal: <blok>, <exp>, <statement> ). Efeknya mirip dengan panic mode tetapi unit deletion memelihara kebenaran sintaksis dari source program dan mempermudah untuk melakukan error repairing lebih lanjut.
- Context Sensitive Recovery. Berkaitan dengan semantik, misal bila terdapat variabel yang belum dideklarasikan (Undefined Variable) maka diasumsikan tipenya berdasarkan kemunculannya. Contoh :
B:= 'nama'
sementara diawal program variabel B belum dideklarasikan, maka berdasarkan kemunculannya diasumsikan variabel B bertipe string.
ERROR REPAIRING
Perbaikan kesalahan bertujuan memodifikasi source program dari kesalahan dan membuatnya valid sehingga memungkinkan kompilator untuk melakukan translasi program yang mana akan dialirkan ketahapan selanjutnya pada proses kompilasi. Mekanismenya sebagai berikut :
- Mekanisme Ad Hoc. Tergantung dari pembuat kompilator sendiri/spesifik.
- Syntax Directed Repar. Menyisipkan simbol terminal yang dianggap hilang atau membuang terminal penyebab kesalahan. Contoh :algoritma berikut kurang instruksi DO
WHILE A < 1
I:=I+1;
Kompilator akan menyisipkan DO
contoh lain :
Procedure Increment;
begin
x:=x+1;
end;
end;
terdapat kelebihan simbol end, yang menyebabkan kesalahan maka kompilator akan membuangnya.
- Context Sensitive Repair. Perbaikan dilakukan pada kesalahan berikut.
Tipe Identifier. Diatasi dengan membangkitkan identifier dummy, contoh:
Var A:string;
begin
A:=0;
end;
kompilator akan memperbaiki kesalahan dengan membangkitkan identifier baru, misal B yang bertipe integer.
Tipe Konstanta diatasi dengan membangkitkan konstanta baru dengan tipe yang tepat.
- Spelling Repair. Memperbaiki kesalahan pengetikan pada identifier, misal:
WHILLE A=1 DO
identifier yang salah tersebut akan diperbaiki menjadi WHILE.
