Modul ini membahas struktur program berbasis package, mulai dari pemisahan spesifikasi dan badan, tipe privat dengan representasi tersembunyi, unit anak untuk hierarki program besar, hingga disiplin nama dan klausa use. Prasyarat modul ini adalah pemahaman tentang subprogram dan kontrak, karena package menjadi tempat subprogram dirangkai menjadi unit yang dapat digunakan ulang. Seluruh contoh berupa program multi-berkas yang dikompilasi dengan gnatmake.
Package dan visibilitas
Struktur program berbasis package: spesifikasi, badan, tipe privat, unit anak, dan disiplin nama.
0/0 selesai
- Spesifikasi dan badan
Pemisahan spesifikasi dan badan package serta ketergantungan klien pada spesifikasi.
- Tipe privat
Tipe privat dengan representasi tersembunyi dan operasi yang diekspor.
- Unit anak
Unit anak untuk membangun struktur hierarkis pada program besar.
- Nama dan klausa use
Nama terkualifikasi sebagai pilihan utama dan disiplin penggunaan klausa use.