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
|
with Unit_Tests;
use Unit_Tests;
package Graph_Tests.Basic is
function To_Graph_Check return Test_Result;
function Is_Empty_Check return Test_Result;
function Clear_Check return Test_Result;
function Cursor_Element_Check return Test_Result;
function Equals_Check return Test_Result;
function Assign_Check return Test_Result;
function Copy_Check return Test_Result;
function Move_Check return Test_Result;
Tests : Test_Array :=
((+"To_Graph", To_Graph_Check'Access),
(+"Is_Empty", Is_Empty_Check'Access),
(+"Clear", Clear_Check'Access),
(+"To_Cursor, Has_Element, Element", Cursor_Element_Check'Access),
(+"Graph Equals", Equals_Check'Access),
(+"Assign", Assign_Check'Access),
(+"Copy", Copy_Check'Access),
(+"Move", Move_Check'Access));
end Graph_Tests.Basic;
|
