/usr/share/ada/adainclude/gnadecommon/gnu-db-support-list.ads is in libgnadecommon2-dev 1.6.2-9.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 | -------------------------------------------------------------------------------
-- --
-- GNADE : GNat Ada Database Environment --
-- --
-- Filename : $Source: /cvsroot/gnade/gnade/support/gnu-db-support-list.ads,v $
-- Description : Simple list package --
-- Author : Michael Erdmann <Michael.Erdmann@snafu.de> --
-- Created On : 16-Mar-2002 --
-- Last Modified By: $Author: persan $
-- Last Modified On: $Date: 2007/08/24 21:33:41 $ --
-- Status : $State: Exp $ --
-- --
-- Copyright (C) 2000-2002 Michael Erdmann --
-- --
-- GNADE is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 2, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
-- for more details. You should have received a copy of the GNU General --
-- Public License distributed with GNAT; see file COPYING. If not, write --
-- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
-- MA 02111-1307, USA. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- --
-- GNADE is implemented to work with GNAT, the GNU Ada compiler. --
-- --
-- <a> --
-- Functional Description --
-- ====================== --
-- --
-- </a> --
-- --
-- --
-- Restrictions --
-- ============ --
-- R.1 - The handling of the tree nodes is currently not task save --
-- --
-- References --
-- ========== --
-- None --
-- --
-------------------------------------------------------------------------------
with Ada.Finalization; use Ada.Finalization;
package GNU.DB.Support.List is
type List_Element is abstract tagged private;
type List_Element_Access is access all List_Element'Class;
type Secure (H : List_Element_Access) is private;
---------------------------------------------------------------------------
-- Description:
-- Preconditions:
-- Postconditions:
-- Exceptions:
-- Notes:
---------------------------------------------------------------------------
function "&" (
First : in List_Element_Access;
Next : in List_Element_Access) return List_Element_Access;
function "&" (
First : in List_Element_Access;
Next : in List_Element'Class) return List_Element_Access;
function "&" (
First : in List_Element'Class;
Next : in List_Element'Class) return List_Element_Access;
---------------------------------------------------------------------------
-- Description:
-- Preconditions:
-- Postconditions:
-- Exceptions:
-- Notes:
---------------------------------------------------------------------------
procedure Destroy (
Element : in List_Element_Access);
---------------------------------------------------------------------------
-- Description:
-- Preconditions:
-- Postconditions:
-- Exceptions:
-- Notes:
---------------------------------------------------------------------------
function Head (
Element : in List_Element_Access) return List_Element_Access;
---------------------------------------------------------------------------
-- Description:
-- Preconditions:
-- Postconditions:
-- Exceptions:
-- Notes:
---------------------------------------------------------------------------
type List_Iterator_Type is abstract tagged null record;
procedure Action (
IC : in out List_Iterator_Type;
Element : in out List_Element_Access) is abstract;
---------------------------------------------------------------------------
-- Description:
-- Preconditions:
-- Postconditions:
-- Exceptions:
-- Notes:
---------------------------------------------------------------------------
procedure Perform (
First : in List_Element_Access;
IC : in out List_Iterator_Type'Class);
---------------------------------------------------------------------------
-- Description:
-- Preconditions:
-- Postconditions:
-- Exceptions:
-- Notes:
---------------------------------------------------------------------------
procedure Destroy (
Element : in List_Element;
Ptr : in out List_Element_Access) is abstract;
---------------------------------------------------------------------------
-- Description:
-- Preconditions:
-- Postconditions:
-- Exceptions:
-- Notes:
---------------------------------------------------------------------------
function Create_Copy (
Element : in List_Element) return List_Element_Access is abstract;
Not_In_Any_List : exception;
private
-- ==================================================================== --
type Container_Data;
type Container_Data_Access is access Container_Data;
type Secure (H : List_Element_Access) is new Controlled with record
null;
end record;
procedure Initialize (
This : in out Secure);
procedure Finalize (
This : in out Secure);
type List_Element is abstract tagged record
Previous : List_Element_Access := null;
Next : List_Element_Access := null;
Container : Container_Data_Access := null;
end record;
end GNU.DB.Support.List;
|