blob: 6e9873ffd5d4d0affda33d71132eea1841f702a7 (
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
|
-- Programmed by Jedidiah Barber
-- Released into the public domain
package FLTK.Devices is
type Device is new Wrapper with private;
type Device_Reference (Data : not null access Device'Class) is
limited null record with Implicit_Dereference => Data;
private
type Device is new Wrapper with null record;
end FLTK.Devices;
|
