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
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
|
------------------------------------------------------------------------------
-- --
-- GNAT COMPILER COMPONENTS --
-- --
-- I N T E R F A C E S . C . E X T E N S I O N S --
-- --
-- S p e c --
-- --
-- Copyright (C) 1992-2019, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- --
------------------------------------------------------------------------------
-- This package contains additional C-related definitions, intended for use
-- with either manually or automatically generated bindings to C libraries.
with System;
package Interfaces.C.Extensions is
pragma Pure;
-- Definitions for C "void" and "void *" types
subtype void is System.Address;
subtype void_ptr is System.Address;
-- Definitions for C incomplete/unknown structs
subtype opaque_structure_def is System.Address;
type opaque_structure_def_ptr is access opaque_structure_def;
for opaque_structure_def_ptr'Storage_Size use 0;
-- Definitions for C++ incomplete/unknown classes
subtype incomplete_class_def is System.Address;
type incomplete_class_def_ptr is access incomplete_class_def;
for incomplete_class_def_ptr'Storage_Size use 0;
-- C bool
type bool is new Boolean;
pragma Convention (C, bool);
-- 64-bit integer types
subtype long_long is Long_Long_Integer;
type unsigned_long_long is mod 2 ** 64;
-- 128-bit integer type available on 64-bit platforms:
-- typedef int signed_128 __attribute__ ((mode (TI)));
type Signed_128 is record
low, high : unsigned_long_long;
end record;
pragma Convention (C_Pass_By_Copy, Signed_128);
for Signed_128'Alignment use unsigned_long_long'Alignment * 2;
-- 128-bit floating-point type available on x86:
-- typedef float float_128 __attribute__ ((mode (TF)));
type Float_128 is record
low, high : unsigned_long_long;
end record;
pragma Convention (C_Pass_By_Copy, Float_128);
for Float_128'Alignment use unsigned_long_long'Alignment * 2;
-- 128-bit complex floating-point type available on x86:
-- typedef _Complex float cfloat_128 __attribute__ ((mode (TC)));
type CFloat_128 is record
re, im : Float_128;
end record;
pragma Convention (C_Pass_By_Copy, CFloat_128);
-- Types for bitfields
type Unsigned_1 is mod 2 ** 1;
for Unsigned_1'Size use 1;
type Unsigned_2 is mod 2 ** 2;
for Unsigned_2'Size use 2;
type Unsigned_3 is mod 2 ** 3;
for Unsigned_3'Size use 3;
type Unsigned_4 is mod 2 ** 4;
for Unsigned_4'Size use 4;
type Unsigned_5 is mod 2 ** 5;
for Unsigned_5'Size use 5;
type Unsigned_6 is mod 2 ** 6;
for Unsigned_6'Size use 6;
type Unsigned_7 is mod 2 ** 7;
for Unsigned_7'Size use 7;
type Unsigned_8 is mod 2 ** 8;
for Unsigned_8'Size use 8;
type Unsigned_9 is mod 2 ** 9;
for Unsigned_9'Size use 9;
type Unsigned_10 is mod 2 ** 10;
for Unsigned_10'Size use 10;
type Unsigned_11 is mod 2 ** 11;
for Unsigned_11'Size use 11;
type Unsigned_12 is mod 2 ** 12;
for Unsigned_12'Size use 12;
type Unsigned_13 is mod 2 ** 13;
for Unsigned_13'Size use 13;
type Unsigned_14 is mod 2 ** 14;
for Unsigned_14'Size use 14;
type Unsigned_15 is mod 2 ** 15;
for Unsigned_15'Size use 15;
type Unsigned_16 is mod 2 ** 16;
for Unsigned_16'Size use 16;
type Unsigned_17 is mod 2 ** 17;
for Unsigned_17'Size use 17;
type Unsigned_18 is mod 2 ** 18;
for Unsigned_18'Size use 18;
type Unsigned_19 is mod 2 ** 19;
for Unsigned_19'Size use 19;
type Unsigned_20 is mod 2 ** 20;
for Unsigned_20'Size use 20;
type Unsigned_21 is mod 2 ** 21;
for Unsigned_21'Size use 21;
type Unsigned_22 is mod 2 ** 22;
for Unsigned_22'Size use 22;
type Unsigned_23 is mod 2 ** 23;
for Unsigned_23'Size use 23;
type Unsigned_24 is mod 2 ** 24;
for Unsigned_24'Size use 24;
type Unsigned_25 is mod 2 ** 25;
for Unsigned_25'Size use 25;
type Unsigned_26 is mod 2 ** 26;
for Unsigned_26'Size use 26;
type Unsigned_27 is mod 2 ** 27;
for Unsigned_27'Size use 27;
type Unsigned_28 is mod 2 ** 28;
for Unsigned_28'Size use 28;
type Unsigned_29 is mod 2 ** 29;
for Unsigned_29'Size use 29;
type Unsigned_30 is mod 2 ** 30;
for Unsigned_30'Size use 30;
type Unsigned_31 is mod 2 ** 31;
for Unsigned_31'Size use 31;
type Unsigned_32 is mod 2 ** 32;
for Unsigned_32'Size use 32;
type Unsigned_33 is mod 2 ** 33;
for Unsigned_33'Size use 33;
type Unsigned_34 is mod 2 ** 34;
for Unsigned_34'Size use 34;
type Unsigned_35 is mod 2 ** 35;
for Unsigned_35'Size use 35;
type Unsigned_36 is mod 2 ** 36;
for Unsigned_36'Size use 36;
type Unsigned_37 is mod 2 ** 37;
for Unsigned_37'Size use 37;
type Unsigned_38 is mod 2 ** 38;
for Unsigned_38'Size use 38;
type Unsigned_39 is mod 2 ** 39;
for Unsigned_39'Size use 39;
type Unsigned_40 is mod 2 ** 40;
for Unsigned_40'Size use 40;
type Unsigned_41 is mod 2 ** 41;
for Unsigned_41'Size use 41;
type Unsigned_42 is mod 2 ** 42;
for Unsigned_42'Size use 42;
type Unsigned_43 is mod 2 ** 43;
for Unsigned_43'Size use 43;
type Unsigned_44 is mod 2 ** 44;
for Unsigned_44'Size use 44;
type Unsigned_45 is mod 2 ** 45;
for Unsigned_45'Size use 45;
type Unsigned_46 is mod 2 ** 46;
for Unsigned_46'Size use 46;
type Unsigned_47 is mod 2 ** 47;
for Unsigned_47'Size use 47;
type Unsigned_48 is mod 2 ** 48;
for Unsigned_48'Size use 48;
type Unsigned_49 is mod 2 ** 49;
for Unsigned_49'Size use 49;
type Unsigned_50 is mod 2 ** 50;
for Unsigned_50'Size use 50;
type Unsigned_51 is mod 2 ** 51;
for Unsigned_51'Size use 51;
type Unsigned_52 is mod 2 ** 52;
for Unsigned_52'Size use 52;
type Unsigned_53 is mod 2 ** 53;
for Unsigned_53'Size use 53;
type Unsigned_54 is mod 2 ** 54;
for Unsigned_54'Size use 54;
type Unsigned_55 is mod 2 ** 55;
for Unsigned_55'Size use 55;
type Unsigned_56 is mod 2 ** 56;
for Unsigned_56'Size use 56;
type Unsigned_57 is mod 2 ** 57;
for Unsigned_57'Size use 57;
type Unsigned_58 is mod 2 ** 58;
for Unsigned_58'Size use 58;
type Unsigned_59 is mod 2 ** 59;
for Unsigned_59'Size use 59;
type Unsigned_60 is mod 2 ** 60;
for Unsigned_60'Size use 60;
type Unsigned_61 is mod 2 ** 61;
for Unsigned_61'Size use 61;
type Unsigned_62 is mod 2 ** 62;
for Unsigned_62'Size use 62;
type Unsigned_63 is mod 2 ** 63;
for Unsigned_63'Size use 63;
type Unsigned_64 is mod 2 ** 64;
for Unsigned_64'Size use 64;
type Signed_2 is range -2 ** 1 .. 2 ** 1 - 1;
for Signed_2'Size use 2;
type Signed_3 is range -2 ** 2 .. 2 ** 2 - 1;
for Signed_3'Size use 3;
type Signed_4 is range -2 ** 3 .. 2 ** 3 - 1;
for Signed_4'Size use 4;
type Signed_5 is range -2 ** 4 .. 2 ** 4 - 1;
for Signed_5'Size use 5;
type Signed_6 is range -2 ** 5 .. 2 ** 5 - 1;
for Signed_6'Size use 6;
type Signed_7 is range -2 ** 6 .. 2 ** 6 - 1;
for Signed_7'Size use 7;
type Signed_8 is range -2 ** 7 .. 2 ** 7 - 1;
for Signed_8'Size use 8;
type Signed_9 is range -2 ** 8 .. 2 ** 8 - 1;
for Signed_9'Size use 9;
type Signed_10 is range -2 ** 9 .. 2 ** 9 - 1;
for Signed_10'Size use 10;
type Signed_11 is range -2 ** 10 .. 2 ** 10 - 1;
for Signed_11'Size use 11;
type Signed_12 is range -2 ** 11 .. 2 ** 11 - 1;
for Signed_12'Size use 12;
type Signed_13 is range -2 ** 12 .. 2 ** 12 - 1;
for Signed_13'Size use 13;
type Signed_14 is range -2 ** 13 .. 2 ** 13 - 1;
for Signed_14'Size use 14;
type Signed_15 is range -2 ** 14 .. 2 ** 14 - 1;
for Signed_15'Size use 15;
type Signed_16 is range -2 ** 15 .. 2 ** 15 - 1;
for Signed_16'Size use 16;
type Signed_17 is range -2 ** 16 .. 2 ** 16 - 1;
for Signed_17'Size use 17;
type Signed_18 is range -2 ** 17 .. 2 ** 17 - 1;
for Signed_18'Size use 18;
type Signed_19 is range -2 ** 18 .. 2 ** 18 - 1;
for Signed_19'Size use 19;
type Signed_20 is range -2 ** 19 .. 2 ** 19 - 1;
for Signed_20'Size use 20;
type Signed_21 is range -2 ** 20 .. 2 ** 20 - 1;
for Signed_21'Size use 21;
type Signed_22 is range -2 ** 21 .. 2 ** 21 - 1;
for Signed_22'Size use 22;
type Signed_23 is range -2 ** 22 .. 2 ** 22 - 1;
for Signed_23'Size use 23;
type Signed_24 is range -2 ** 23 .. 2 ** 23 - 1;
for Signed_24'Size use 24;
type Signed_25 is range -2 ** 24 .. 2 ** 24 - 1;
for Signed_25'Size use 25;
type Signed_26 is range -2 ** 25 .. 2 ** 25 - 1;
for Signed_26'Size use 26;
type Signed_27 is range -2 ** 26 .. 2 ** 26 - 1;
for Signed_27'Size use 27;
type Signed_28 is range -2 ** 27 .. 2 ** 27 - 1;
for Signed_28'Size use 28;
type Signed_29 is range -2 ** 28 .. 2 ** 28 - 1;
for Signed_29'Size use 29;
type Signed_30 is range -2 ** 29 .. 2 ** 29 - 1;
for Signed_30'Size use 30;
type Signed_31 is range -2 ** 30 .. 2 ** 30 - 1;
for Signed_31'Size use 31;
type Signed_32 is range -2 ** 31 .. 2 ** 31 - 1;
for Signed_32'Size use 32;
type Signed_33 is range -2 ** 32 .. 2 ** 32 - 1;
for Signed_33'Size use 33;
type Signed_34 is range -2 ** 33 .. 2 ** 33 - 1;
for Signed_34'Size use 34;
type Signed_35 is range -2 ** 34 .. 2 ** 34 - 1;
for Signed_35'Size use 35;
type Signed_36 is range -2 ** 35 .. 2 ** 35 - 1;
for Signed_36'Size use 36;
type Signed_37 is range -2 ** 36 .. 2 ** 36 - 1;
for Signed_37'Size use 37;
type Signed_38 is range -2 ** 37 .. 2 ** 37 - 1;
for Signed_38'Size use 38;
type Signed_39 is range -2 ** 38 .. 2 ** 38 - 1;
for Signed_39'Size use 39;
type Signed_40 is range -2 ** 39 .. 2 ** 39 - 1;
for Signed_40'Size use 40;
type Signed_41 is range -2 ** 40 .. 2 ** 40 - 1;
for Signed_41'Size use 41;
type Signed_42 is range -2 ** 41 .. 2 ** 41 - 1;
for Signed_42'Size use 42;
type Signed_43 is range -2 ** 42 .. 2 ** 42 - 1;
for Signed_43'Size use 43;
type Signed_44 is range -2 ** 43 .. 2 ** 43 - 1;
for Signed_44'Size use 44;
type Signed_45 is range -2 ** 44 .. 2 ** 44 - 1;
for Signed_45'Size use 45;
type Signed_46 is range -2 ** 45 .. 2 ** 45 - 1;
for Signed_46'Size use 46;
type Signed_47 is range -2 ** 46 .. 2 ** 46 - 1;
for Signed_47'Size use 47;
type Signed_48 is range -2 ** 47 .. 2 ** 47 - 1;
for Signed_48'Size use 48;
type Signed_49 is range -2 ** 48 .. 2 ** 48 - 1;
for Signed_49'Size use 49;
type Signed_50 is range -2 ** 49 .. 2 ** 49 - 1;
for Signed_50'Size use 50;
type Signed_51 is range -2 ** 50 .. 2 ** 50 - 1;
for Signed_51'Size use 51;
type Signed_52 is range -2 ** 51 .. 2 ** 51 - 1;
for Signed_52'Size use 52;
type Signed_53 is range -2 ** 52 .. 2 ** 52 - 1;
for Signed_53'Size use 53;
type Signed_54 is range -2 ** 53 .. 2 ** 53 - 1;
for Signed_54'Size use 54;
type Signed_55 is range -2 ** 54 .. 2 ** 54 - 1;
for Signed_55'Size use 55;
type Signed_56 is range -2 ** 55 .. 2 ** 55 - 1;
for Signed_56'Size use 56;
type Signed_57 is range -2 ** 56 .. 2 ** 56 - 1;
for Signed_57'Size use 57;
type Signed_58 is range -2 ** 57 .. 2 ** 57 - 1;
for Signed_58'Size use 58;
type Signed_59 is range -2 ** 58 .. 2 ** 58 - 1;
for Signed_59'Size use 59;
type Signed_60 is range -2 ** 59 .. 2 ** 59 - 1;
for Signed_60'Size use 60;
type Signed_61 is range -2 ** 60 .. 2 ** 60 - 1;
for Signed_61'Size use 61;
type Signed_62 is range -2 ** 61 .. 2 ** 61 - 1;
for Signed_62'Size use 62;
type Signed_63 is range -2 ** 62 .. 2 ** 62 - 1;
for Signed_63'Size use 63;
type Signed_64 is range -2 ** 63 .. 2 ** 63 - 1;
for Signed_64'Size use 64;
end Interfaces.C.Extensions;
|