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;