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
|
with Unit_Tests;
use Unit_Tests;
package Graph_Tests.Labels is
function Getter_Setter_Check return Test_Result;
function Replace_Label_Check return Test_Result;
function Delete_Label_Check return Test_Result;
function Const_Ref_Check return Test_Result;
function Ref_Check return Test_Result;
function Has_Labeled_Edge_Check return Test_Result;
function Clear_Labels_Check return Test_Result;
Tests : Test_Array :=
((+"Append_Label, Has_Label, Label", Getter_Setter_Check'Access),
(+"Replace_Label", Replace_Label_Check'Access),
(+"Delete_Label", Delete_Label_Check'Access),
(+"Constant_Label_Reference", Const_Ref_Check'Access),
(+"Label_Reference", Ref_Check'Access),
(+"Has_Labeled_Edge", Has_Labeled_Edge_Check'Access),
(+"Clear_Labels", Clear_Labels_Check'Access));
end Graph_Tests.Labels;
|