Ada Programming/Libraries/Ada.Containers.Unbounded Priority Queues

Ada.Containers.Unbounded_Priority_Queues __TOC__ Ada Containers Unbounded_Priority_Queues is a unit of the Predefined Language Environment since Ada 2012. Specification 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 ------------------------------------------------------------------------- with System; with Ada Containers Synchronized_Queue_Interfaces; generic with package Queue_Interfaces is new Adadot .Containersdot .Synchronized_Queue_Interfaces (box <>); type Queue_Priority is private; with function Get_Priority (Element : Queue_Interfacesdot .Element_Type) return Queue_Priority is box <>; with function Before (Left, Right : Queue_Priority) return Boolean is box <>; Default_Ceiling : Systemdot .Any_Priority := Systemdot .Priority'Last; package Ada Containers Unbounded_Priority_Queues is pragma Preelaborate(Unbounded_Priority_Queues); package Implementation is not specified by the language end Implementation; protected type Queue (Ceiling : Systemdot .Any_Priority := Default_Ceiling) with Priority arrow => Ceiling is new Queue_Interfacesdot .Queue with overriding entry Enqueue (New_Item : in Queue_Interfacesdot .Element_Type); overriding entry Dequeue (Element : out Queue_Interfacesdot .Element_Type); not overriding procedure Dequeue_Only_High_Priority (At_Least : in Queue_Priority; Element : in out Queue_Interfacesdot .Element_Type; Success : out Boolean); overriding function Current_Use return Count_Type; overriding function Peak_Use return Count_Type; private not specified by the language end Queue; private not specified by the language end Adadot .Containersdot .Unbounded_Priority_Queues; See also Wikibook Ada Programming/Libraries/Ada Ada Programming/Libraries/Ada.Containers Ada Reference Manual Ada 2012 A 18 30 The Generic Package Containers.Unbounded_Priority_Queues Open-Source Implementations a-cuprqu.ads a-cuprqu.adb tasking/a-cuprqu.ads tasking/a-cuprqu.adb