1. ANALISA SEMANTIK (Kelompok II Error)

Analisa semantik berperan dalam memeriksa kesalahan yang bersifat semantic. Salah satu peranannya analisa semantic yang penting adalah pemeriksaan tipe variable. Contohnya operator * hanya digunakan untuk operan dengan tipe integer ataupun real. Sedangkan operator and, or, digunakan untuk operand dengan tipe boolean.

Penganalisaan semantik dapat dilakukan dengan dua bentuk notasi yaitu : DBS(Defenisi Berdasarkan Sintaks) dan Skema Translasi.

DBS merupakan tata bahasa dengan himpunan aturan semantic yang akan menentukan struktur sintaks dari suatu masukan, sedangkan Skema Translasi adalah suatu tata bahasa bebas konteks dengan penyisipan suatu bagian program, yang disebut aksi semantik, pada sisi kanan produksi.

Fungsi dari analisa semantik adalah untuk menentukan makna dari serangkaian instruksi yang terdapat dalam program sumber. Untuk mengetahui makna, maka rutin analisa semantik akan memeriksa :

a. Apakah variabel yang ada telah didefenisikan didefenisikan sebelumnya

b. Apakah variabel-variabel tersebut tipenya sama

c. Apakah operan yang akan dioperasikan tersebut ada nilainya dan seterusnya.

Pengecekan yang dilakukan oleh analisa semantik adalah:

Ø Memeriksa pemberlakuan nama-nama yang meliputi Duplikasi (pengecekan apakah sebuah nama terjadi duplikasi) dan Terdefenisi (Pengecekan apakah sebuah nama yang dipakai pada tubuh program sudah terdefenisi atau belum)

Ø Memeriksa tipe disini dilakukan pemeriksaan misal dalam penjumlahan

A+ B = C disini diperiksa apakah A,B dan C bertipe number atau tidak.

Setelah pengecakan dilakukan dan proses analisa semantik akan beraksi maka dibutuhkan tabel simbol. Tabel simbol digunakan untuk pembuatan dan implementasi dari analisa semantik Tabel simbol berfungsi untuk :

v Menyimpan inforamasi tentang :

· Nama variabel dan tipe datanya

· Informasi detail untuk record dan array

· Nama prosedur dan fungsi yang ada

· Jumlah, nama, tipe data dan parameter fungsi/prosedur

· Nama label

· Konstanta dan String

v Membantu memeriksa kebenaran semantic dari source code

v Membantu mempermudah dalam pembuatan intermediate code dan code

generation.