Ada 程式設計/庫/Ada.Containers.Generic_Sort

計算 » 計算機科學 » 計算機程式設計 » Ada 程式設計

---

此語言特性是在 Ada 2012 中引入的。

Ada.Containers.Generic_Sort 是 預定義語言環境 自 Ada 2012 以來的一個單元。

規範

--                     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 Index_Type is (<>);
   with function Before (Left, Right : Index_Type) return Boolean;
   with procedure Swap (Left, Right : in Index_Type);
procedure Ada.Containers.Generic_Sort
      (First, Last : Index_Type'Base);
pragma Pure(Ada.Containers.Generic_Sort);

參見

華夏公益教科書

• Ada 程式設計/庫/Ada
• Ada 程式設計/庫/Ada.Containers

外部示例

• 搜尋 Ada.Containers.Generic_Sort 的 示例：Rosetta Code、GitHub (gists)、任何 Alire 包 或 本華夏公益教科書。
• 搜尋與 Ada.Containers.Generic_Sort 相關的 帖子：Stack Overflow、comp.lang.ada 或 任何與 Ada 相關的頁面。

Ada 參考手冊

Ada 2012

• A.18.26: 陣列排序 ^{[帶註釋的]}

開源實現

FSF GNAT

• 規範：a-cogeso.ads

drake

• 規範：containers/a-cogeso.ads