test/packrat-parsers-debug.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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79


--  This source is licensed under the Sunset License v1.0


generic
package Packrat.Parsers.Debug is


    type Result_Part is private;
    type Result_Part_Array is array (Positive range <>) of Result_Part;

    type Curtail_Map is private;


    Empty_Context : constant Parser_Context;
    Empty_Fail : constant Combinator_Result;


    function Parts
           (This : in Combinator_Result)
        return Result_Part_Array;

    function Curtails
           (This : in Combinator_Result)
        return Curtail_Map;

    function Status
           (This : in Combinator_Result)
        return Result_Status;


    function Finish
           (Part : in Result_Part)
        return Traits.Tokens.Finish_Type;

    function Value
           (Part : in Result_Part)
        return Traits.Element_Array;

    function Tokens
           (Part : in Result_Part)
        return Traits.Tokens.Finished_Token_Array;


    function Is_Empty
           (Curt : in Curtail_Map)
        return Boolean;


    function Debug_String
           (This : in Combinator_Result)
        return String;


private


    type Result_Part is new Combo_Result_Part;
    type Curtail_Map is new Curtail_Maps.Map with null record;


    Empty_Context : constant Parser_Context := Packrat.Parsers.Empty_Context;
    Empty_Fail : constant Combinator_Result := Packrat.Parsers.Empty_Fail;


end Packrat.Parsers.Debug;