test/rat_tests-parse_graphs.ads


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


with Unit_Tests;
use Unit_Tests;


package Rat_Tests.Parse_Graphs is


    function Root_Check return Test_Result;
    function Finish_List_Check return Test_Result;
    function Sub_Nodes_Check return Test_Result;
    function Prune_Check return Test_Result;
    function Ambiguous_Check return Test_Result;


    Tests : Test_Array :=
       ((+"Root getter, setter", Root_Check'Access),
        (+"Finish_List", Finish_List_Check'Access),
        (+"Sub_Nodes", Sub_Nodes_Check'Access),
        (+"Prune", Prune_Check'Access),
        (+"Is_Ambiguous", Ambiguous_Check'Access));


end Rat_Tests.Parse_Graphs;