stephes_ada_library_3.7.3_08b48307/source_devel/sal-ada_containers-gen_doubly_linked_lists_aunit.ads

 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
--  Abstract :
--
--  AUnit check for Ada.Containers.Doubly_Linked_Lists
--
--  Copyright (C) 2019 Stephen Leake All Rights Reserved.
--
--  This library is free software;  you can redistribute it and/or modify it
--  under terms of the  GNU General Public License  as published by the Free
--  Software  Foundation;  either version 3,  or (at your  option) any later
--  version. This library is distributed in the hope that it will be useful,
--  but WITHOUT ANY WARRANTY;  without even the implied warranty of MERCHAN-
--  TABILITY or FITNESS FOR A PARTICULAR PURPOSE.

pragma License (GPL);

with Ada.Containers.Doubly_Linked_Lists;
generic
   type Element_Type is private;

   with function "=" (Left, Right : Element_Type) return Boolean is <>;

   with package Lists is new Ada.Containers.Doubly_Linked_Lists (Element_Type, "=");

   with procedure Check_Element (Label : in String; Computed, Expected : in Element_Type);

procedure SAL.Ada_Containers.Gen_Doubly_Linked_Lists_AUnit
  (Label : in String; Computed : in Lists.List; Expected : in Lists.List);