Ada Programming/Libraries/Ada.Containers.Synchronized Queue Interfaces
This language feature has been introduced in Ada 2012.Category:Book:Ada Programming/Ada 2012 feature#Ada.Containers.Synchronized Queue Interfaces Ada.Containers.Synchronized_Queue_Interfaces is a unit of the Predefined Language Environment since Ada 2012.
Category:Book:Ada Programming/Unfinished module#Ada.Containers.Synchronized%20Queue%20InterfacesSpecification
-- Standard Ada library specification -- Copyright (c) 2004-2016 AXE Consultants -- Copyright (c) 2004, 2005, 2006 Ada-Europe -- Copyright (c) 2000 The MITRE Corporation, Inc. -- Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc. -- SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual -- -------------------------------------------------------------------------generic
type
Element_Typeis
private
;package
Ada.Containers.Synchronized_Queue_Interfacesis
pragma
Pure(Synchronized_Queue_Interfaces);type
Queueis
synchronized
interface
;procedure
Enqueue (Container :in
out
Queue; New_Item :in
Element_Type)is
abstract
with
Synchronization =>Category:Book:Ada Programming/Pages containing deprecated templates By_Entry;procedure
Dequeue (Container :in
out
Queue; Element :out
Element_Type)is
abstract
with
Synchronization =>Category:Book:Ada Programming/Pages containing deprecated templates By_Entry;function
Current_Use (Container : Queue)return
Count_Typeis
abstract
;function
Peak_Use (Container : Queue)return
Count_Typeis
abstract
;end
Ada.Category:Book:Ada Programming/Pages containing deprecated templatesContainers.Category:Book:Ada Programming/Pages containing deprecated templatesSynchronized_Queue_Interfaces;
See also
Wikibook
External examples
- Search for examples of
Ada.Containers.Synchronized_Queue_Interfaces
in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook. - Search for posts related to
Ada.Containers.Synchronized_Queue_Interfaces
in: Stack Overflow, comp.lang.ada or any Ada related page.
Ada Reference Manual
Ada 2012
Open-Source Implementations
FSF GNAT
- Specification: a-csquin.ads
drake
- Specification: tasking/a-csquin.ads