src/fltk-widgets-progress_bars.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


package FLTK.Widgets.Progress_Bars is


    type Progress_Bar is new Widget with private;

    type Progress_Bar_Reference (Data : not null access Progress_Bar'Class) is
        limited null record with Implicit_Dereference => Data;


    package Forge is

        function Create
               (X, Y, W, H : in Integer;
                Text       : in String)
            return Progress_Bar;

    end Forge;


    function Get_Minimum
           (This : in Progress_Bar)
        return Float;

    procedure Set_Minimum
           (This : in out Progress_Bar;
            To   : in     Float);

    function Get_Maximum
           (This : in Progress_Bar)
        return Float;

    procedure Set_Maximum
           (This : in out Progress_Bar;
            To   : in     Float);

    function Get_Value
           (This : in Progress_Bar)
        return Float;

    procedure Set_Value
           (This : in out Progress_Bar;
            To   : in     Float);


    procedure Draw
           (This : in out Progress_Bar);

    function Handle
           (This  : in out Progress_Bar;
            Event : in     Event_Kind)
        return Event_Outcome;


private


    type Progress_Bar is new Widget with null record;

    overriding procedure Finalize
           (This : in out Progress_Bar);


    pragma Inline (Get_Minimum);
    pragma Inline (Set_Minimum);
    pragma Inline (Get_Maximum);
    pragma Inline (Set_Maximum);
    pragma Inline (Get_Value);
    pragma Inline (Set_Value);


    pragma Inline (Draw);
    pragma Inline (Handle);


end FLTK.Widgets.Progress_Bars;