Haladó elfedés és átadás

 
Ebben az írásunkban példákat mutatunk arra, hogy hogyan korlátozhatjuk egy csomag gyerekcsomagjaiban más csomagok és típusok láthatóságát, és hogy hogyan írhatunk tesztelő („gyerek eljárást”).
Egy egyszerű példán keresztül megmutatjuk, hogy a típus definíciójának (limited) milyen hatása van a paraméterátadás mechanizmusára és azt, hogy, ha nem vigyázunk akár egy in módú paramétert is megváltoztathatunk...
Ezután szándékosan megváltoztatjuk egy függvény „speciális” in módú paraméterét…

Mindeközben megmutatjuk, hogy figyelmes teszteléssel a fordítóprogramok között is lehet különbségeket találni, és, hogy ilyen módon felismerhetjük azokat a problémákat, amelyek a számítógépes rendszerek esetében komoly gondokat okozhatnak. (pl. Float – számokon végzett műveletek)

megjegyzés:

Mindig nagyon legyünk körültekintőek és kritikusak! 

alap_csomag.ads
alap_csomag.adb
alap_csomag-teszt.adb
elfedes_es_atadas.adb