Spec-Zone.ru › Ada 2022
Справочник по Ada (Ada 2022)

A.18.28 Универсальный пакет Containers.Unbounded_Synchronized_Queues

Статическая семантика

Определённый в языке универсальный пакет Containers.Unbounded_Synchronized_Queues предоставляет тип Queue, реализующий интерфейсный тип Containers.Synchronized_Queue_Interfaces.Queue.
with System;
with Ada.Containers.Synchronized_Queue_Interfaces;
generic
with package Queue_Interfaces is
new Ada.Containers.Synchronized_Queue_Interfaces (<>);
Default_Ceiling : System.Any_Priority := System.Priority'Last;
package Ada.Containers.Unbounded_Synchronized_Queues
with Preelaborate,
Nonblocking, Global => in out synchronized is
package Implementation is
... -- не определено языком
end Implementation;
protected type Queue
(Ceiling : System.Any_Priority := Default_Ceiling)
with Priority => Ceiling is
new Queue_Interfaces.Queue with
overriding
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
with Nonblocking, Global => null, Use_Formal => null;
overriding
function Peak_Use return Count_Type
with Nonblocking, Global => null, Use_Formal => null;
private
... -- не определено языком
end Queue;
private
... -- не определено языком
end Ada.Containers.Unbounded_Synchronized_Queues;
Тип Queue используется для представления безопасных для задач очередей.
Емкость экземпляров типа Queue не ограничена.


Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API