Справочник Ada 2012
A.18.29 Обобщённый пакет Containers.Bounded_Synchronized_Queues
Статическая семантика
Определяемый языком обобщённый пакет Containers.Bounded_Synchronized_Queues предоставляет тип Queue, реализующий интерфейсный тип Containers.Synchronized_Queue_Interfaces.Queue.
с System;
с Ada.Containers.Synchronized_Queue_Interfaces;
generic
с package Queue_Interfaces is new Ada.Containers.Synchronized_Queue_Interfaces (<>);
Default_Capacity : Count_Type;
Default_Ceiling : System.Any_Priority := System.Priority'Last;
package Ada.Containers.Bounded_Synchronized_Queues is
pragma Preelaborate(Bounded_Synchronized_Queues);
с Ada.Containers.Synchronized_Queue_Interfaces;
generic
с package Queue_Interfaces is new Ada.Containers.Synchronized_Queue_Interfaces (<>);
Default_Capacity : Count_Type;
Default_Ceiling : System.Any_Priority := System.Priority'Last;
package Ada.Containers.Bounded_Synchronized_Queues is
pragma Preelaborate(Bounded_Synchronized_Queues);
package Implementation is
... -- не определено языком
end Implementation;
... -- не определено языком
end Implementation;
protected type Queue
(Capacity : Count_Type := Default_Capacity;
Ceiling : System.Any_Priority := Default_Ceiling)
с Priority => Ceiling is
new Queue_Interfaces.Queue с
(Capacity : Count_Type := Default_Capacity;
Ceiling : System.Any_Priority := Default_Ceiling)
с Priority => Ceiling is
new Queue_Interfaces.Queue с
overriding
entry Enqueue (New_Item : in Queue_Interfaces.Element_Type);
overriding
entry Dequeue (Element : out Queue_Interfaces.Element_Type);
entry Enqueue (New_Item : in Queue_Interfaces.Element_Type);
overriding
entry Dequeue (Element : out Queue_Interfaces.Element_Type);
overriding
function Current_Use return Count_Type;
overriding
function Peak_Use return Count_Type;
function Current_Use return Count_Type;
overriding
function Peak_Use return Count_Type;
private
... -- не определено языком
end Queue;
... -- не определено языком
end Queue;
private
... -- не определено языком
end Ada.Containers.Bounded_Synchronized_Queues;
Семантика такая же, как и для Unbounded_Synchronized_Queues, за исключением:
- Ёмкость экземпляров типа Queue ограничена и задаётся дискриминантом Capacity.
Рекомендации по реализации
Объекты ограниченной очереди следует реализовывать без неявных указателей или динамического выделения памяти.