Настраиваемые пакеты
Настраиваемые пакеты
Пакеты также могут быть настраиваемыми.Следующая спецификация настраиваемого пакета достаточно традиционна:
| 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(00) of Element; top : Integer range 00 := 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; |
В качестве элемента настройки, необходимо просто указать любой экземпляр типа данных.
