src/preferences.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


with Candidates.Containers;
private with Ada.Containers;


generic
    Pref_Size    : Positive;
    Above_Ballot : Candidates.Containers.Above_Line_Ballot;
    Below_Ballot : Candidates.Containers.Below_Line_Ballot;
package Preferences is


    subtype Preference_Range is Positive range 1 .. Pref_Size;


    type Preference_Array is array (Preference_Range)
        of Candidates.Extended_CandidateID;
    pragma Pack (Preference_Array);


    Empty_Array : constant Preference_Array :=
        (others => Candidates.No_Candidate);


    function Parse_Preferences
           (Input : in String)
        return Preference_Array;


private


    Min_Above_Line : constant Positive := 1;
    Min_Below_Line : constant Positive := 6;


    subtype Above_Range is Ada.Containers.Count_Type range 1 .. Above_Ballot.Length;
    type Above_Pref_Array is array (Above_Range) of Natural;


    subtype Below_Range is Ada.Containers.Count_Type range 1 .. Below_Ballot.Length;
    type Below_Pref_Array is array (Below_Range) of Natural;


end Preferences;