V "GNAT Lib v2019"
A -O3
A -gnat12
P ZX

RN
RV NO_FLOATING_POINT
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U sdl_rect_h%s		sdl_rect_h.ads		7bed5156 NE OO PK
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali
W sdl_stdinc_h%s	sdl_stdinc_h.ads	sdl_stdinc_h.ali

D ada.ads		20190518041255 76789da1 ada%s
D a-unccon.ads		20190518041255 0e9b276f ada.unchecked_conversion%s
D interfac.ads		20190518041254 5ab55268 interfaces%s
D i-c.ads		20190518041254 5421119b interfaces.c%s
D i-cstrin.ads		20190518041255 341d0ddf interfaces.c.strings%s
D sdl_rect_h.ads	20191219123333 25b85477 sdl_rect_h%s
D sdl_stdinc_h.ads	20191219123333 0a7414ba sdl_stdinc_h%s
D stddef_h.ads		20191219123333 6ed08f99 stddef_h%s
D system.ads		20190518041255 4635ec04 system%s
D s-exctab.ads		20190518041255 54135002 system.exception_table%s
D s-parame.ads		20190518041256 48ec542b system.parameters%s
D s-stalib.ads		20190518041256 09bd3940 system.standard_library%s
D x86_64_linux_gnu_bits_stdint_intn_h.ads  20191219123333 723af19a x86_64_linux_gnu_bits_stdint_intn_h%s
D x86_64_linux_gnu_bits_stdint_uintn_h.ads  20191219123333 336f86d2 x86_64_linux_gnu_bits_stdint_uintn_h%s
D x86_64_linux_gnu_bits_types_h.ads  20191219123333 3b4dc9d7 x86_64_linux_gnu_bits_types_h%s
G a e
G c Z s s [sdl_pointinrect sdl_rect_h 94 13 none]
G c Z s s [sdl_rectempty sdl_rect_h 103 13 none]
G c Z s s [sdl_rectequals sdl_rect_h 112 13 none]
G c Z s s [sdl_hasintersection sdl_rect_h 123 13 none]
G c Z s s [sdl_intersectrect sdl_rect_h 134 13 none]
G c Z s s [sdl_unionrect sdl_rect_h 146 14 none]
G c Z s s [sdl_enclosepoints sdl_rect_h 160 13 none]
G c Z s s [sdl_intersectrectandline sdl_rect_h 175 13 none]
G c Z s s [sdl_pointIP sdl_rect_h 40 9 none]
G c Z s s [sdl_fpointIP sdl_rect_h 53 9 none]
G c Z s s [sdl_rectIP sdl_rect_h 70 9 none]
G c Z s s [sdl_frectIP sdl_rect_h 82 9 none]
X 3 interfac.ads
38K9*Interfaces 184e15 6|4r6 4r24
X 4 i-c.ads
18K20*C 230e17 6|4w17 4r35
35I9*int<integer> 6|41r19 42r19 71r19 72r19 73r19 74r19 162r15 177r19 178r19
. 179r19 180r19
X 6 sdl_rect_h.ads
7K9*SDL_rect_h 187l5 187e15
40R9*SDL_Point 44e4 94r50 161r32
41i7*x{4|35I9}
42i7*y{4|35I9}
53R9*SDL_FPoint 57e4
54f7*x{float}
55f7*y{float}
70R9*SDL_Rect 76e4 94r81 103r48 112r49 112r79 123r54 123r84 135r27 136r27
. 137r23 147r27 148r27 149r23 163r30 164r23 176r30
71i7*x{4|35I9}
72i7*y{4|35I9}
73i7*w{4|35I9}
74i7*h{4|35I9}
82R9*SDL_FRect 88e4
83f7*x{float}
84f7*y{float}
85f7*w{float}
86f7*h{float}
94V13*SDL_PointInRect{7|127E9} 94^30 94^61
94p30 p(40R9)
94p61 r(70R9)
103V13*SDL_RectEmpty{7|127E9} 103^28
103p28 r(70R9)
112V13*SDL_RectEquals{7|127E9} 112^29 112^59
112p29 a(70R9)
112p59 b(70R9)
123V13*SDL_HasIntersection{7|127E9} 123^34 123^64
123p34 A(70R9)
123p64 B(70R9)
134V13*SDL_IntersectRect{7|127E9} 135^7 136^7 137^7
135p7 A(70R9)
136p7 B(70R9)
137p7 result(70R9)
146U14*SDL_UnionRect 147^7 148^7 149^7
147p7 A(70R9)
148p7 B(70R9)
149p7 result(70R9)
160V13*SDL_EnclosePoints{7|127E9} 161^7 162>7 163^7 164^7
161p7 points(40R9)
162i7 count{4|35I9}
163p7 clip(70R9)
164p7 result(70R9)
175V13*SDL_IntersectRectAndLine{7|127E9} 176^7 177^7 178^7 179^7 180^7
176p7 rect(70R9)
177p7 X1(4|35I9)
178p7 Y1(4|35I9)
179p7 X2(4|35I9)
180p7 Y2(4|35I9)
X 7 sdl_stdinc_h.ads
11K9*SDL_stdinc_h 6|5w6 94r98 103r65 112r96 123r101 137r40 164r40 180r31
. 7|873e17
127E9*SDL_bool 6|94r111 103r78 112r109 123r114 137r53 164r53 180r44 7|130e4

