src/deckdata-fmd.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
80
81
82
83
84
85
86
87
88
89


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


with

    Ada.Containers.Vectors,
    Ada.Strings.Unbounded,
    Ada.Text_IO;

private with

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


package Deckdata.FMD is


    procedure Put_Header
           (File_Handle : in Ada.Text_IO.File_Type;
            Version     : in String := "1.4");


    procedure Put_Fields
           (File_Handle : in Ada.Text_IO.File_Type;
            Field_IDs   : in Field_ID_Vector);


    procedure Start_Pack_Section
           (File_Handle : in Ada.Text_IO.File_Type);

    procedure Put_Pack
           (File_Handle : in Ada.Text_IO.File_Type;
            Q_Data      : in Field_ID_Vector;
            A_Data      : in Field_ID_Vector)
    with Pre => not Q_Data.Is_Empty and not A_Data.Is_Empty;

    procedure End_Pack_Section
           (File_Handle : in Ada.Text_IO.File_Type);


    procedure Start_Entry_Section
           (File_Handle : in Ada.Text_IO.File_Type);

    procedure Put_Entry
           (File_Handle : in Ada.Text_IO.File_Type;
            Data        : in Field_Vector;
            Quantity    : in Positive);

    procedure End_Entry_Section
           (File_Handle : in Ada.Text_IO.File_Type);


    procedure Put_Footer
           (File_Handle : in Ada.Text_IO.File_Type);


private


    procedure Replace_All
           (Text : in out SU.Unbounded_String;
            Char : in     Character;
            Sub  : in     String)
    with Pre => Ada.Strings.Fixed.Count (Sub, Ada.Strings.Maps.To_Set (Char)) = 0;

    procedure Replace_All
           (Text : in out SU.Unbounded_String;
            Item : in     String;
            Sub  : in     String);

    function Prep
           (Text : in SU.Unbounded_String)
        return SU.Unbounded_String;


end Deckdata.FMD;