Ada Programming/Libraries/Ada.Containers.Synchronized_Queue_Interfaces
Appearance
This language feature has been introduced in Ada 2012.
Ada.Containers.Synchronized_Queue_Interfaces is a unit of the Predefined Language Environment since Ada 2012.
Specification
[edit | edit source]-- 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 => By_Entry;procedure
Dequeue (Container :in
out
Queue; Element :out
Element_Type)is
abstract
with
Synchronization => By_Entry;function
Current_Use (Container : Queue)return
Count_Typeis
abstract
;function
Peak_Use (Container : Queue)return
Count_Typeis
abstract
;end
Ada.Containers.Synchronized_Queue_Interfaces;
See also
[edit | edit source]Wikibook
[edit | edit source]External examples
[edit source]- 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
[edit | edit source]Ada 2012
[edit | edit source]Open-Source Implementations
[edit | edit source]FSF GNAT
- Specification: a-csquin.ads
drake
- Specification: tasking/a-csquin.ads