Настраиваемые пакеты
Пакеты также могут быть настраиваемыми.
Следующая спецификация настраиваемого пакета достаточно традиционна:
| generic
type Element is private; -- примечательно, что это параметр -- настройки package Stacks is procedure Push(E : in Element); procedure Pop(E : out Element); function Empty return Boolean; private The_Stack : array(1..200) of Element; top : Integer range 0..200 := 0; end Stacks; |
Сопутствующее тело пакета может иметь подобный вид:
| package body Stacks is
procedure Push(E : in Element) is . . . procedure Pop(E : out Element) is . . . function Empty return Boolean is . . . end Stacks; |
В качестве элемента настройки, необходимо просто указать любой экземпляр типа данных.
