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
|
with Unit_Tests;
use Unit_Tests;
package Graph_Tests.Inspection is
function Node_Count_Check return Test_Result;
function Node_Count_Subgraph_Check return Test_Result;
function Edge_Count_Check return Test_Result;
function Edge_Count_Subgraph_Check return Test_Result;
function Nodes_Check return Test_Result;
function Nodes_Subgraph_Check return Test_Result;
function Edges_Check return Test_Result;
function Edges_Subgraph_Check return Test_Result;
function Node_Range_Check return Test_Result;
function Unused_Check return Test_Result;
Tests : Test_Array :=
((+"Node_Count", Node_Count_Check'Access),
(+"Node_Count_In_Subgraph", Node_Count_Subgraph_Check'Access),
(+"Edge_Count", Edge_Count_Check'Access),
(+"Edge_Count_In_Subgraph", Edge_Count_Subgraph_Check'Access),
(+"Nodes", Nodes_Check'Access),
(+"Nodes_In_Subgraph", Nodes_Subgraph_Check'Access),
(+"Edges", Edges_Check'Access),
(+"Edges_In_Subgraph", Edges_Subgraph_Check'Access),
(+"Node_Range", Node_Range_Check'Access),
(+"Unused", Unused_Check'Access));
end Graph_Tests.Inspection;
|