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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
-- Programmed by Jedidiah Barber
-- Released into the public domain
with
Interfaces.C;
package body FLTK.Widgets.Buttons.Light.Check is
procedure check_button_set_draw_hook
(W, D : in Storage.Integer_Address);
pragma Import (C, check_button_set_draw_hook, "check_button_set_draw_hook");
pragma Inline (check_button_set_draw_hook);
procedure check_button_set_handle_hook
(W, H : in Storage.Integer_Address);
pragma Import (C, check_button_set_handle_hook, "check_button_set_handle_hook");
pragma Inline (check_button_set_handle_hook);
function new_fl_check_button
(X, Y, W, H : in Interfaces.C.int;
Text : in Interfaces.C.char_array)
return Storage.Integer_Address;
pragma Import (C, new_fl_check_button, "new_fl_check_button");
pragma Inline (new_fl_check_button);
procedure free_fl_check_button
(B : in Storage.Integer_Address);
pragma Import (C, free_fl_check_button, "free_fl_check_button");
pragma Inline (free_fl_check_button);
procedure fl_check_button_draw
(W : in Storage.Integer_Address);
pragma Import (C, fl_check_button_draw, "fl_check_button_draw");
pragma Inline (fl_check_button_draw);
function fl_check_button_handle
(W : in Storage.Integer_Address;
E : in Interfaces.C.int)
return Interfaces.C.int;
pragma Import (C, fl_check_button_handle, "fl_check_button_handle");
pragma Inline (fl_check_button_handle);
procedure Extra_Final
(This : in out Check_Button) is
begin
Extra_Final (Light_Button (This));
end Extra_Final;
procedure Finalize
(This : in out Check_Button) is
begin
Extra_Final (This);
if This.Void_Ptr /= Null_Pointer and This.Needs_Dealloc then
free_fl_check_button (This.Void_Ptr);
This.Void_Ptr := Null_Pointer;
end if;
end Finalize;
procedure Extra_Init
(This : in out Check_Button;
X, Y, W, H : in Integer;
Text : in String) is
begin
Extra_Init (Light_Button (This), X, Y, W, H, Text);
end Extra_Init;
package body Forge is
function Create
(X, Y, W, H : in Integer;
Text : in String := "")
return Check_Button is
begin
return This : Check_Button do
This.Void_Ptr := new_fl_check_button
(Interfaces.C.int (X),
Interfaces.C.int (Y),
Interfaces.C.int (W),
Interfaces.C.int (H),
Interfaces.C.To_C (Text));
Extra_Init (This, X, Y, W, H, Text);
check_button_set_draw_hook
(This.Void_Ptr, Storage.To_Integer (Draw_Hook'Address));
check_button_set_handle_hook
(This.Void_Ptr, Storage.To_Integer (Handle_Hook'Address));
end return;
end Create;
end Forge;
procedure Draw
(This : in out Check_Button) is
begin
fl_check_button_draw (This.Void_Ptr);
end Draw;
function Handle
(This : in out Check_Button;
Event : in Event_Kind)
return Event_Outcome is
begin
return Event_Outcome'Val
(fl_check_button_handle (This.Void_Ptr, Event_Kind'Pos (Event)));
end Handle;
end FLTK.Widgets.Buttons.Light.Check;
|
