Modul ini membahas tahap ketiga pipeline, yaitu memeriksa makna program setelah sintaksisnya dinyatakan benar oleh parser. Empat topik di dalamnya mencakup tabel simbol sebagai tempat nama dan scope bersarang, resolusi nama yang mengaitkan penggunaan dengan deklarasi, pemeriksaan tipe statis beserta inference ringan, dan kualitas diagnostik semantik yang membantu pembaca memperbaiki program. Modul ini menutup front end compiler, sehingga keluarannya siap diubah menjadi representasi antara pada tahap berikutnya.
Analisis Semantik
Memeriksa makna program setelah sintaksis benar: tabel simbol, resolusi scope, pemeriksaan tipe, dan diagnostik semantik.
0/0 selesai
- Tabel Simbol
Struktur tabel simbol, scope bersarang, dan disiplin pencarian nama.
- Resolusi Scope
Deklarasi, shadowing, dan aturan pemakaian sebelum definisi pada scope bersarang.
- Pemeriksaan Tipe
Pemeriksaan tipe statis, inference ringan, dan error tipe sebagai data terstruktur.
- Error Semantik
Kualitas diagnostik semantik: pesan yang membantu pembaca memperbaiki program.