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;