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
|
-- Remove these when all tests are written
with Ada.Text_IO, Ada.Exceptions;
use Ada.Text_IO, Ada.Exceptions;
package body Graph_Tests.Basic is
No_Nodes : Graphs.Node_Array (1 .. 0);
No_Edges : Graphs.Edge_Array (1 .. 0);
Dup_Nodes : Graphs.Node_Array := (1, 2, 2, 3, 5, 9, 9, 9);
Some_Nodes : Graphs.Node_Array := (1, 2, 5, 9);
Some_Edges : Graphs.Edge_Array := ((1, 1, 2), (2, 5, 9), (5, 9, 1));
My_Empty_Graph : Graphs.Graph := Graphs.To_Graph (No_Nodes, No_Edges);
My_Nonempty_Graph : Graphs.Graph := Graphs.To_Graph (Some_Nodes, Some_Edges);
function To_Graph_Check
return Test_Result
is
Illegal_Graph : Graphs.Graph;
begin
begin
Illegal_Graph := Graphs.To_Graph (No_Nodes, Some_Edges);
return Fail;
exception
when Constraint_Error => null;
end;
begin
Illegal_Graph := Graphs.To_Graph (Dup_Nodes, No_Edges);
return Fail;
exception
when Constraint_Error => null;
end;
return Pass;
end To_Graph_Check;
function Is_Empty_Check
return Test_Result is
begin
if My_Empty_Graph.Is_Empty and not My_Nonempty_Graph.Is_Empty then
return Pass;
else
return Fail;
end if;
end Is_Empty_Check;
function Clear_Check
return Test_Result
is
My_Cleared_Graph : Graphs.Graph := My_Nonempty_Graph;
begin
My_Cleared_Graph.Clear;
if My_Cleared_Graph.Is_Empty then
return Pass;
else
return Fail;
end if;
end Clear_Check;
function Cursor_Element_Check
return Test_Result
is
use type Graphs.Cursor;
My_Cursor : Graphs.Cursor;
begin
if Graphs.Has_Element (Graphs.No_Element) or
Graphs.Element (Graphs.No_Element) /= Graphs.Extended_Node_ID_Type'First
then
return Fail;
end if;
My_Cursor := My_Nonempty_Graph.To_Cursor (2);
if not Graphs.Has_Element (My_Cursor) or
Graphs.Element (My_Cursor) /= 2
then
return Fail;
end if;
My_Cursor := My_Empty_Graph.To_Cursor (1);
if My_Cursor /= Graphs.No_Element then
return Fail;
end if;
return Pass;
end Cursor_Element_Check;
end Graph_Tests.Basic;
|