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


with

    Ada.Strings.Fixed,
    Ada.Strings.Maps;

use type

    Ada.Strings.Maps.Character_Set;


separate (Packrat.Errors)
package body Parts is


    package Str renames Ada.Strings;
    package Fix renames Ada.Strings.Fixed;
    package Map renames Ada.Strings.Maps;


    ID_Start,  ID_Finish  : Positive := 1;
    Pos_Start, Pos_Finish : Positive := 1;
    Error_Count : Natural := Fix.Count (Message, Map.To_Set ('s'));


    Letter_Range : Map.Character_Range := ('A', 'Z');
    Digit_Range  : Map.Character_Range := ('0', '9');
    ID_Set  : Map.Character_Set := Map.To_Set (Letter_Range) or Map.To_Set ('_');
    Pos_Set : Map.Character_Set := Map.To_Set (Digit_Range);


    function Length
        return Natural is
    begin
        return Error_Count;
    end Length;


    procedure Reset_Position is
    begin
        ID_Start := 1;
        ID_Finish := 1;
        Pos_Start := 1;
        Pos_Finish := 1;
    end Reset_Position;


    procedure Set_Position
           (To : in Positive) is
    begin
        ID_Start := To;
        ID_Finish := To;
        Pos_Start := To;
        Pos_Finish := To;
    end Set_Position;


    procedure Next_ID_Token
           (Start  : out Positive;
            Finish : out Natural) is
    begin
        Fix.Find_Token (Message, ID_Set, Pos_Finish, Str.Inside, ID_Start, ID_Finish);
        Start := ID_Start;
        Finish := ID_Finish;
        Pos_Finish := ID_Finish;
    end Next_ID_Token;


    procedure Next_Pos_Token
           (Start  : out Positive;
            Finish : out Natural) is
    begin
        Fix.Find_Token (Message, Pos_Set, ID_Finish, Str.Inside, Pos_Start, Pos_Finish);
        Start := Pos_Start;
        Finish := Pos_Finish;
        ID_Finish := Pos_Finish;
    end Next_Pos_Token;


    procedure Next_Full_Token
           (Start  : out Positive;
            Finish : out Natural)
    is
        Dummy : Natural;
    begin
        Next_ID_Token (Start, Dummy);
        Next_Pos_Token (Dummy, Finish);
        Start := Start - 1;
    end Next_Full_Token;


end Parts;