Modul ini membahas subprogram sebagai unit dasar program Ada, mulai dari prosedur dan fungsi beserta tiga mode parameternya, kontrak Pre dan Post yang diperiksa saat program berjalan, predikat subtipe yang menjaga validitas nilai, hingga mekanisme exception untuk pemulihan yang disengaja. Kontrak yang diperkenalkan di sini menjadi fondasi bagi pembungkusan kode dalam package pada modul Package dan visibilitas.
Subprogram dan kontrak
Fungsi dan prosedur dengan mode parameter, kontrak Pre dan Post, predikat, serta exception.
0/0 selesai
- Fungsi dan prosedur
Pembedaan fungsi dan prosedur beserta mode parameter in, out, dan in out.
- Aspek Pre dan Post
Aspek Pre dan Post sebagai kontrak subprogram yang diperiksa saat run time.
- Predikat
Predikat subtipe yang menjaga setiap nilai tetap valid pada batas yang ditetapkan.
- Exception
Mekanisme exception, penanganan Constraint_Error, dan pemulihan yang disengaja.