package Ratnest.Tests is


    package Errors is

        function Valid_Message_Check return Test_Result;
        function Valid_Identifier_Check return Test_Result;
        function Join_Check return Test_Result;
        function Encode_1_Check return Test_Result;
        function Encode_2_Check return Test_Result;
        function Encode_3_Check return Test_Result;
        function Encode_4_Check return Test_Result;
        function Decode_Check return Test_Result;

        Tests : Test_Array :=
           ((+"Valid_Message", Valid_Message_Check'Access),
            (+"Valid_Identifier", Valid_Identifier_Check'Access),
            (+"Join", Join_Check'Access),
            (+"Encode_1", Encode_1_Check'Access),
            (+"Encode_2", Encode_2_Check'Access),
            (+"Encode_3", Encode_3_Check'Access),
            (+"Encode_4", Encode_4_Check'Access),
            (+"Decode", Decode_Check'Access));

    end Errors;




    package Tokens is

        function Adjust_Check return Test_Result;
        function Equals_Check return Test_Result;
        function Store_Check return Test_Result;

        Tests : Test_Array :=
           ((+"Adjust", Adjust_Check'Access),
            (+"Equals", Equals_Check'Access),
            (+"Storage", Store_Check'Access));

    end Tokens;




    package Lexer is

        function Join_Check return Test_Result;
        function Equals_Check return Test_Result;

        function Sequence_Check return Test_Result;
        function Count_Check return Test_Result;
        function Many_Check return Test_Result;
        function Many_Until_Check return Test_Result;

        function Satisfy_Check return Test_Result;
        function Satisfy_With_Check return Test_Result;
        function Match_Check return Test_Result;
        function Match_With_Check return Test_Result;
        function Multimatch_Check return Test_Result;
        function Take_Check return Test_Result;
        function Take_While_Check return Test_Result;
        function Take_Until_Check return Test_Result;

        function Line_End_Check return Test_Result;
        function Input_End_Check return Test_Result;

        Combinator_Tests : Test_Array :=
           ((+"Join", Join_Check'Access),
            (+"Equals", Equals_Check'Access),
            (+"Sequence", Sequence_Check'Access),
            (+"Count", Count_Check'Access),
            (+"Many", Many_Check'Access),
            (+"Many_Until", Many_Until_Check'Access),
            (+"Satisfy", Satisfy_Check'Access),
            (+"Satisfy With", Satisfy_With_Check'Access),
            (+"Match", Match_Check'Access),
            (+"Match With", Match_With_Check'Access),
            (+"Multimatch", Multimatch_Check'Access),
            (+"Take", Take_Check'Access),
            (+"Take While", Take_While_Check'Access),
            (+"Take Until", Take_Until_Check'Access),
            (+"Line End", Line_End_Check'Access),
            (+"Input_End", Input_End_Check'Access));


        function Stamp_Check return Test_Result;
        function Ignore_Check return Test_Result;

        function Scan_Check return Test_Result;
        function Scan_Only_Check return Test_Result;
        function Scan_With_Check return Test_Result;
        function Scan_Set_Check return Test_Result;
        function Scan_Set_With_Check return Test_Result;

        function Scan_Error_Check return Test_Result;
        function Scan_Only_Error_Check return Test_Result;
        function Scan_With_Error_Check return Test_Result;
        function Scan_Set_Error_Check return Test_Result;
        function Scan_Set_With_Error_Check return Test_Result;

        Lexer_Tests : Test_Array :=
           ((+"Stamp", Stamp_Check'Access),
            (+"Ignore", Ignore_Check'Access),
            (+"Scan", Scan_Check'Access),
            (+"Scan_Only", Scan_Only_Check'Access),
            (+"Scan_With", Scan_With_Check'Access),
            (+"Scan_Set", Scan_Set_Check'Access),
            (+"Scan_Set_With", Scan_Set_With_Check'Access),
            (+"Scan Exception", Scan_Error_Check'Access),
            (+"Scan_Only Exception", Scan_Only_Error_Check'Access),
            (+"Scan_With Exception", Scan_With_Error_Check'Access),
            (+"Scan_Set Exception", Scan_Set_Error_Check'Access),
            (+"Scan_Set_With Exception", Scan_Set_With_Error_Check'Access));

    end Lexer;




    package Util is

        function In_Set_Check return Test_Result;
        function Not_In_Set_Check return Test_Result;

        Set_Predicate_Tests : Test_Array :=
           ((+"In_Set", In_Set_Check'Access),
            (+"Not_In_Set", Not_In_Set_Check'Access));


        function Is_Digit_Check return Test_Result;
        function Is_Hex_Check return Test_Result;
        function Is_Letter_Check return Test_Result;
        function Is_Alphanumeric_Check return Test_Result;
        function Is_Punctuation_Check return Test_Result;
        function Is_ASCII_Check return Test_Result;
        function Is_Extended_ASCII_Check return Test_Result;
        function Is_Space_Check return Test_Result;
        function Is_Linespace_Check return Test_Result;
        function Is_End_Of_Line_Check return Test_Result;
        function Is_Whitespace_Check return Test_Result;
        function Not_Whitespace_Check return Test_Result;

        Predicate_Tests : Test_Array :=
           ((+"Is_Digit", Is_Digit_Check'Access),
            (+"Is_Hex", Is_Hex_Check'Access),
            (+"Is_Letter", Is_Letter_Check'Access),
            (+"Is_Alphanumeric", Is_Alphanumeric_Check'Access),
            (+"Is_Punctuation", Is_Punctuation_Check'Access),
            (+"Is_ASCII", Is_ASCII_Check'Access),
            (+"Is_Extended_ASCII", Is_Extended_ASCII_Check'Access),
            (+"Is_Space", Is_Space_Check'Access),
            (+"Is_Linespace", Is_Linespace_Check'Access),
            (+"Is_End_Of_Line", Is_End_Of_Line_Check'Access),
            (+"Is_Whitespace", Is_Whitespace_Check'Access),
            (+"Not_Whitespace", Not_Whitespace_Check'Access));

    end Util;


end Ratnest.Tests;