src/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
90
91
92
93
94
95
96
97
98
99
100
101
102
103


with

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

private with

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


package 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 Datatypes.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 Datatypes.Field_ID_Vector;
            A_Data      : in Datatypes.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 Datatypes.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


    package SU renames Ada.Strings.Unbounded;


    function "+"
           (S : in String)
        return SU.Unbounded_String
        renames SU.To_Unbounded_String;

    function "-"
           (US : in SU.Unbounded_String)
        return String
        renames SU.To_String;


    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 FMD;