blob: 8caf263487f988e4d95b1de740a99346c84f8124 (
plain)
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
  | 
with
    Ada.Containers.Vectors;
generic
    Min_Valid : Candidates.CandidateID;
    Max_Valid : Candidates.CandidateID;
package Bundles.Containers is
    package Bundle_Vectors is new Ada.Containers.Vectors
           (Index_Type   => Positive,
            Element_Type => Bundle);
    subtype Bundle_Vector is Bundle_Vectors.Vector;
    subtype Valid_CandidateID is Candidates.CandidateID range Min_Valid .. Max_Valid;
    type Bundle_Collection is array (Valid_CandidateID) of Bundle_Vector;
    procedure Read_Bundles
           (Filename : in     String;
            Result   :    out Bundle_Collection);
end Bundles.Containers;
  |