blob: 2d3678f7352dc63cc9b107ecd7347625351afef6 (
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
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
|
with
FLTK.Devices.Graphics;
package FLTK.Devices.Surfaces is
pragma Elaborate_Body (FLTK.Devices.Surfaces);
type Surface_Device is new Device with private;
type Surface_Device_Reference (Data : not null access Surface_Device'Class) is
limited null record with Implicit_Dereference => Data;
package Forge is
function Create
(Graphics : in out FLTK.Devices.Graphics.Graphics_Driver)
return Surface_Device;
end Forge;
function Get_Current
return access Surface_Device'Class;
procedure Set_Current
(This : in out Surface_Device);
private
type Surface_Device is new Device with null record;
overriding procedure Finalize
(This : in out Surface_Device);
Original_Surface : aliased Surface_Device;
Current_Ptr : access Surface_Device'Class := Original_Surface'Access;
pragma Inline (Get_Current);
pragma Inline (Set_Current);
end FLTK.Devices.Surfaces;
|