src/fltk-widgets-valuators-sliders.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
104
105
106
107
108
109
110


package FLTK.Widgets.Valuators.Sliders is


    type Slider is new Valuator with private;

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

    type Slider_Kind is
       (Vertical_Kind, Horizontal_Kind,
        Vert_Fill_Kind, Hor_Fill_Kind,
        Vert_Nice_Kind, Hor_Nice_Kind);


    package Forge is

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

    end Forge;


    function Get_Slider_Type
           (This : in Slider)
        return Slider_Kind;

    procedure Set_Bounds
           (This     : in out Slider;
            Min, Max : in     Long_Float);

    function Get_Box
           (This : in Slider)
        return Box_Kind;

    procedure Set_Box
           (This : in out Slider;
            To   : in     Box_Kind);

    function Get_Slide_Size
           (This : in Slider)
        return Float;

    procedure Set_Slide_Size
           (This : in out Slider;
            To   : in     Float);

    procedure Set_Scrollvalue
           (This            : in out Slider;
            Pos_First_Line  : in     Natural;
            Lines_In_Window : in     Natural;
            First_Line_Num  : in     Natural;
            Total_Lines     : in     Natural);


    procedure Draw
           (This : in out Slider);

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


    package Extra is

        procedure Set_Slider_Type
               (This : in out Slider;
                To   : in     Slider_Kind);

    end Extra;


private


    type Slider is new Valuator with null record;

    overriding procedure Finalize
           (This : in out Slider);


    pragma Inline (Get_Slider_Type);
    pragma Inline (Set_Bounds);
    pragma Inline (Get_Box);
    pragma Inline (Set_Box);
    pragma Inline (Get_Slide_Size);
    pragma Inline (Set_Slide_Size);
    pragma Inline (Set_Scrollvalue);


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


end FLTK.Widgets.Valuators.Sliders;