Ada Programming/Libraries/Ada.Containers.Ordered Sets
Appearance
This language feature is only available from Ada 2005 on.
Ada.Containers.Ordered_Sets is a unit of the Predefined Language Environment since Ada 2005.
Specification
[edit | edit source]-- Standard Ada library specification -- Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com> -- 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
;with
function
"<" (Left :in
Element_Type; Right :in
Element_Type)return
Booleanis
<>;with
function
"=" (Left :in
Element_Type; Right :in
Element_Type)return
Booleanis
<>;package
Ada.Containers.Ordered_Setsis
pragma
Preelaborate (Ordered_Sets);function
Equivalent_Elements (Left :in
Element_Type; Right :in
Element_Type)return
Boolean;type
Setis
tagged
private
;pragma
Preelaborable_Initialization (Set);type
Cursoris
private
;pragma
Preelaborable_Initialization (Cursor); Empty_Set :constant
Set; No_Element :constant
Cursor;function
"=" (Left :in
Set; Right :in
Set)return
Boolean;function
Equivalent_Sets (Left :in
Set; Right :in
Set)return
Boolean;function
To_Set (New_Item :in
Element_Type)return
Set;function
Length (Container :in
Set)return
Count_Type;function
Is_Empty (Container :in
Set)return
Boolean;procedure
Clear (Container :in
out
Set);function
Element (Position :in
Cursor)return
Element_Type;procedure
Replace_Element (Container :in
out
Set; Position :in
Cursor; New_Item :in
Element_Type);procedure
Query_Element (Position :in
Cursor; Process :not
null
access
procedure
(Element :in
Element_Type));procedure
Move (Target :in
out
Set; Source :in
out
Set);procedure
Insert (Container :in
out
Set; New_Item :in
Element_Type; Position :out
Cursor; Inserted :out
Boolean);procedure
Insert (Container :in
out
Set; New_Item :in
Element_Type);procedure
Include (Container :in
out
Set; New_Item :in
Element_Type);procedure
Replace (Container :in
out
Set; New_Item :in
Element_Type);procedure
Exclude (Container :in
out
Set; Item :in
Element_Type);procedure
Delete (Container :in
out
Set; Item :in
Element_Type);procedure
Delete (Container :in
out
Set; Position :in
out
Cursor);procedure
Delete_First (Container :in
out
Set);procedure
Delete_Last (Container :in
out
Set);procedure
Union (Target :in
out
Set; Source :in
Set);function
Union (Left :in
Set; Right :in
Set)return
Set;function
"or" (Left :in
Set; Right :in
Set)return
Setrenames
Union;procedure
Intersection (Target :in
out
Set; Source :in
Set);function
Intersection (Left :in
Set; Right :in
Set)return
Set;function
"and" (Left :in
Set; Right :in
Set)return
Setrenames
Intersection;procedure
Difference (Target :in
out
Set; Source :in
Set);function
Difference (Left :in
Set; Right :in
Set)return
Set;function
"-" (Left :in
Set; Right :in
Set)return
Setrenames
Difference;procedure
Symmetric_Difference (Target :in
out
Set; Source :in
Set);function
Symmetric_Difference (Left :in
Set; Right :in
Set)return
Set;function
"xor" (Left :in
Set; Right :in
Set)return
Setrenames
Symmetric_Difference;function
Overlap (Left :in
Set; Right :in
Set)return
Boolean;function
Is_Subset (Subset :in
Set; Of_Set :in
Set)return
Boolean;function
First (Container :in
Set)return
Cursor;function
First_Element (Container :in
Set)return
Element_Type;function
Last (Container :in
Set)return
Cursor;function
Last_Element (Container :in
Set)return
Element_Type;function
Next (Position :in
Cursor)return
Cursor;procedure
Next (Position :in
out
Cursor);function
Previous (Position :in
Cursor)return
Cursor;procedure
Previous (Position :in
out
Cursor);function
Find (Container :in
Set; Item :in
Element_Type)return
Cursor;function
Floor (Container :in
Set; Item :in
Element_Type)return
Cursor;function
Ceiling (Container :in
Set; Item :in
Element_Type)return
Cursor;function
Contains (Container :in
Set; Item :in
Element_Type)return
Boolean;function
Has_Element (Position :in
Cursor)return
Boolean;function
"<" (Left :in
Cursor; Right :in
Cursor)return
Boolean;function
">" (Left :in
Cursor; Right :in
Cursor)return
Boolean;function
"<" (Left :in
Cursor; Right :in
Element_Type)return
Boolean;function
">" (Left :in
Cursor; Right :in
Element_Type)return
Boolean;function
"<" (Left :in
Element_Type; Right :in
Cursor)return
Boolean;function
">" (Left :in
Element_Type; Right :in
Cursor)return
Boolean;procedure
Iterate (Container :in
Set; Process :not
null
access
procedure
(Position :in
Cursor));procedure
Reverse_Iterate (Container :in
Set; Process :not
null
access
procedure
(Position :in
Cursor));generic
type
Key_Type (<>)is
private
;with
function
Key (Element :in
Element_Type)return
Key_Type;with
function
"<" (Left :in
Key_Type; Right :in
Key_Type)return
Booleanis
<>;package
Generic_Keysis
function
Equivalent_Keys (Left :in
Key_Type; Right :in
Key_Type)return
Boolean;function
Key (Position :in
Cursor)return
Key_Type;function
Element (Container :in
Set; Key :in
Key_Type)return
Element_Type;procedure
Replace (Container :in
out
Set; Key :in
Key_Type; New_Item :in
Element_Type);procedure
Exclude (Container :in
out
Set; Key :in
Key_Type);procedure
Delete (Container :in
out
Set; Key :in
Key_Type);function
Find (Container :in
Set; Key :in
Key_Type)return
Cursor;function
Floor (Container :in
Set; Key :in
Key_Type)return
Cursor;function
Ceiling (Container :in
Set; Key :in
Key_Type)return
Cursor;function
Contains (Container :in
Set; Key :in
Key_Type)return
Boolean;procedure
Update_Element_Preserving_Key (Container :in
out
Set; Position :in
Cursor; Process :not
null
access
procedure
(Element :in
out
Element_Type));end
Generic_Keys;private
type
Setis
tagged
null
record
; Empty_Set :constant
Set := (null
record
);type
Cursoris
null
record
; No_Element :constant
Cursor := (null
record
);end
Ada.Containers.Ordered_Sets;
See also
[edit | edit source]Wikibook
[edit | edit source]External examples
[edit source]- Search for examples of
Ada.Containers.Ordered_Sets
in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook. - Search for posts related to
Ada.Containers.Ordered_Sets
in: Stack Overflow, comp.lang.ada or any Ada related page.
Ada Reference Manual
[edit | edit source]Ada 2005
[edit | edit source]Ada 2012
[edit | edit source]Open-Source Implementations
[edit | edit source]FSF GNAT
- Specification: a-coorse.ads
- Body: a-coorse.adb
drake
- Specification: containers/a-coorse.ads
- Body: containers/a-coorse.adb