src/fltk-devices-graphics.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


with

    FLTK.Images;


package FLTK.Devices.Graphics is


    type Graphics_Driver is new Device with private;

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


    function Get_Color
           (This : in Graphics_Driver)
        return Color;


    function Get_Text_Descent
           (This : in Graphics_Driver)
        return Integer;

    function Get_Line_Height
           (This : in Graphics_Driver)
        return Integer;

    function Get_Width
           (This : in Graphics_Driver;
            Char : in Character)
        return Long_Float;

    function Get_Width
           (This : in Graphics_Driver;
            Str  : in String)
        return Long_Float;

    function Get_Font_Kind
           (This : in Graphics_Driver)
        return Font_Kind;

    function Get_Font_Size
           (This : in Graphics_Driver)
        return Font_Size;

    procedure Set_Font
           (This : in Graphics_Driver;
            Face : in Font_Kind;
            Size : in Font_Size);


    procedure Draw_Scaled_Image
           (This       : in Graphics_Driver;
            Img        : in FLTK.Images.Image'Class;
            X, Y, W, H : in Integer);


private


    type Graphics_Driver is new Device with null record;


    pragma Inline (Get_Color);


    pragma Inline (Get_Text_Descent);
    pragma Inline (Get_Line_Height);
    pragma Inline (Get_Width);
    pragma Inline (Get_Font_Kind);
    pragma Inline (Get_Font_Size);
    pragma Inline (Set_Font);


    pragma Inline (Draw_Scaled_Image);


end FLTK.Devices.Graphics;