/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-geometry.ali is in libgnatcoll1.7-dev 1.7gpl2015-2+b3.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
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 | V "GNAT Lib v6"
A -O2
A -O2
A -gnatA
A -fPIC
A -gnatn
A -gnatws
A -gnat05
A -g
A -fdebug-prefix-map=/build/libgnatcoll-Mx_1GJ/libgnatcoll-1.7gpl2015=.
A -fstack-protector-strong
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U gnatcoll.geometry%b gnatcoll-geometry.adb ddddd79d NE OO PK GE IU
W gnatcoll%s gnatcoll.ads gnatcoll.ali
U gnatcoll.geometry%s gnatcoll-geometry.ads 899d3f0f BN EE NE OO PK GE IU
W ada%s ada.ads ada.ali
W ada.numerics%s a-numeri.ads a-numeri.ali
Z ada.numerics.aux%s a-numaux.adb a-numaux.ali
W ada.numerics.generic_elementary_functions%s
W gnatcoll%s gnatcoll.ads gnatcoll.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-numeri.ads 20080324174807 bb51c45a ada.numerics%s
D a-numaux.ads 20140801094828 243fe0b7 ada.numerics.aux%s
D a-ngelfu.ads 20151016131424 b8fdcb46 ada.numerics.generic_elementary_functions%s
D a-ngelfu.adb 20151020124036 5e96a931 ada.numerics.generic_elementary_functions%b
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D gnatcoll.ads 20150430105145 6a5da479 gnatcoll%s
D gnatcoll-geometry.ads 20150430105146 5b3d5030 gnatcoll.geometry%s
D gnatcoll-geometry.adb 20150430105146 86e087ad gnatcoll.geometry%b
D system.ads 20151123113124 6326c08a system%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
X 1 ada.ads
16K9*Ada 19e8 8|26r6 37r6
X 2 a-numeri.ads
16K13*Numerics 32e17 8|26r10 37r10
X 4 a-ngelfu.ads
39k22*Generic_Elementary_Functions 170e46 8|26w19 37r19
42V13 Sqrt 9|231s14[8|36] 241s59[8|36] 252s14[8|36]
X 7 gnatcoll.ads
24K9*GNATCOLL 26e13 8|34r9 169r5 9|40r14 640r5
X 8 gnatcoll-geometry.ads
29F9 Coordinate 37r49 39r29 39r58 42r14 69r16 89r52 95r54 159r17 165r36 165r54
. 166r46 168r7 168r24 9|44r45 62r20 63r20 85r24 86r24 99r22 129r25 130r25
. 131r25 132r25 142r21 143r21 145r21 146r21 148r15 211r52 220r54 231r20 239r20
. 249r20 250r20 317r11 364r17 391r16 392r16 393r16 415r27 420r27 441r21 443r21
. 445r21 447r21 478r45
34k18*Geometry 7|24k9 8|29z9 158E9 169l14 169e22 9|40b23 640l14 640t22
36K12*Coordinate_Elementary_Functions[4|39] 9|42r8
39F12*Distance_Type 111r43 138r58 139r58 140r58 141r58 147r43 148r43 9|229r43
. 238r55 248r56 259r58 282r58 283r13 283r30 286r17 290r14 316r42 330r43
41R9*Point 43e14 46r31 50r31 54r51 56r40 57r26 68r16 77r31 82r37 86r27 119r52
. 120r52 132r25 133r25 134r25 135r25 138r30 138r42 139r30 140r30 141r30 144r46
. 152r33 153r33 165r25 167r31 9|44r31 48r32 50r32 53r32 61r31 98r49 117r25
. 126r25 140r52 201r27 238r30 248r30 248r42 259r30 282r30 342r37 347r25 361r25
. 390r46 412r16 435r33 459r25 478r31 488r32 534r32 564r32
42*7 X{29F9} 9|63r37 63r44 67r27 85r45 85r55 108m18 119r22 129r20 129r47
. 129r56 130r20 130r47 130r56 142r49 143r49 145r49 146r49 183m10 193m15 193r26
. 193r36 203m15 203r23 203r30 213r22 213r34 222r22 222r58 231r37 231r46 241r31
. 249r42 249r51 332r29 332r42 334r27 334r40 377r17 377r30 377r44 377r57 399r38
. 399r51 399r68 404m15 416r17 416r28 417r37 417r48 421r17 421r28 422r37 422r48
. 440m16 442m16 442r27 445m16 447m16 448r42 480r17 480r23 480r59 480r65 634r17
. 634r28 635r25 635r36
42*10 Y{29F9} 9|62r37 62r44 67r38 86r45 86r55 109m18 119r34 131r20 131r47
. 131r56 132r20 132r47 132r56 142r67 143r67 145r67 146r67 184m10 194m15 194r26
. 194r36 204m15 204r23 204r30 213r46 213r58 222r34 222r46 231r55 231r64 241r47
. 250r42 250r51 333r27 333r40 335r27 335r40 369r22 369r35 374r40 374r53 375r32
. 375r39 378r27 378r40 401r38 401r51 401r68 404m32 416r37 416r48 417r17 417r28
. 421r37 421r48 422r17 422r28 441m16 443m16 446m16 448m16 480r31 480r37 480r45
. 480r51 636r25 636r36 637r25 637r36
46r4*No_Point{41R9} 165c4 166r36 9|105r20 157r17 166r17 178r20 349r19
50r4*Infinity_Points{41R9} 167c4 9|103r20 176r20 349r45
54A9*Polygon(41R9)<integer> 55r26 59r26 135r39 141r42 144r30 148r26 9|282r42
. 316r26 361r39 390r30
55A9*Triangle<54A9>(41R9)<integer> 127r33 134r39 147r26 9|330r26 397r13 459r36
. 602r33
56A9*Segment(41R9)<integer> 73r28 78r28 114r27 119r36 132r39 139r42 152r45
. 9|74r28 83r27 126r36 140r36 191r28 259r42 287r35 291r32 345r41 346r41 412r28
. 436r11 469r35 470r37 471r37
57R9*Vector<41R9> 73r44 86r41 89r37 95r39 111r28 9|191r44 201r41 211r37 220r39
. 229r28
59A9*Rectangle<54A9>(41R9)<integer> 129r33 9|631r33
65R9*Line 77r45 78r44 114r43 120r36 128r28 133r39 140r42 153r45 158c9 160e14
. 9|61r45 74r44 83r43 84r24 98r36 117r36 141r21 144r21 238r42 307r28 345r23
. 346r23 435r45
67R9*Circle 70e14 71r25 82r51 126r33 128r38 166r25 9|298r33 307r38 342r51
68r7 Center{41R9} 9|300r27 300r38 309r26 352m18
69*7 Radius{29F9} 9|300r52 300r64 309r42 353m18
71r4*No_Circle{67R9} 166c4 9|350r17
73V13*To_Vector{57R9} 73>24 9|191b13 195l8 195t17
73a24 S{56A9} 9|191b24 193r20 193r30 194r20 194r30
77V13*To_Line{65R9} 77>22 77>26 9|61b13 68l8 68t15 76s14
77r22 P1{41R9} 9|61b22 62r41 63r34 67r24 67r35
77r26 P2{41R9} 9|61b26 62r34 63r41
78V13*To_Line{65R9} 78>22 9|74b13 77l8 77t15 84s32 128s25 141s29 144s29 274s33
78a22 Seg{56A9} 9|74b22 76r23 76r32
82V13*To_Circle{67R9} 82>24 82>28 82>32 9|342b13 355l8 355t17
82r24 P1{41R9} 9|342b24 345r55 353r46
82r28 P2{41R9} 9|342b28 345r64 346r55
82r32 P3{41R9} 9|342b32 346r64
86V14*"-"{57R9} 86>18 86>22 9|201b14 205l9 205t11 265s20 265s37 269s23 269s40
. 320s39 321s39
86r18 P2{41R9} 9|201b18 203r20 204r20
86r22 P1{41R9} 9|201b22 203r27 204r27
89V13*Dot{29F9} 89>18 89>27 9|211b13 214l8 214t11 265s10 269s13
89r18 Vector1{57R9} 9|211b18 213r14 213r38
89r27 Vector2{57R9} 9|211b27 213r26 213r50
95V13*Cross{29F9} 95>20 95>29 9|220b13 223l8 223t13 320s19
95r20 Vector1{57R9} 9|220b20 222r14 222r38
95r29 Vector2{57R9} 9|220b29 222r26 222r50
111V13*Length{39F12} 111>21 9|229b13 232l8 232t14
111r21 Vect{57R9} 9|229b21 231r32 231r41 231r50 231r59
114V13*Bisector{65R9} 114>23 115r19 9|83b13 92l8 92t16 345s31 346s31
114a23 S{56A9} 9|83b23 84r41 85r39 85r49 86r39 86r49
119V13*Intersection{41R9} 119>27 119>31 9|140b13 185l8 185t20
119a27 S1{56A9} 9|140b27 141r38 145r42 145r60 146r42 146r60 173r21 174r28
119a31 S2{56A9} 9|140b31 142r42 142r60 143r42 143r60 144r38 173r29 174r36
120V13*Intersection{41R9} 120>27 120>31 9|98b13 111l8 111t20 347s34
120r27 L1{65R9} 9|98b27 99r36 99r57 102r13 108r31 108r38 109r24 109r45
120r31 L2{65R9} 9|98b31 99r43 99r50 102r20 108r24 108r45 109r31 109r38
126V13*Intersect{boolean} 126>24 126>28 9|298b13 301l8 301t17
126r24 C1{67R9} 9|298b24 300r24 300r49
126r28 C2{67R9} 9|298b28 300r35 300r61
127V13*Intersect{boolean} 127>24 127>28 9|602b13 625l8 625t17
127a24 T1{55A9} 9|602b24 604r18 604r26 604r34 607r16 607r24 607r32 611r16
. 611r24 611r32 617r16 617r24 617r32 621r16 621r24 621r32
127a28 T2{55A9} 9|602b28 605r21 605r29 605r37 608r16 608r24 608r32 612r16
. 612r24 612r32 615r21 615r29 615r37 618r16 618r24 618r32 622r16 622r24 622r32
128V13*Intersect{boolean} 128>24 128>34 9|307b13 310l8 310t17
128r24 L{65R9} 9|307b24 309r34
128r34 C{67R9} 9|307b34 309r24 309r40
129V13*Intersect{boolean} 129>24 129>28 9|631b13 638l8 638t17
129a24 R1{59A9} 9|631b24 634r10 635r29 636r18 637r29
129a28 R2{59A9} 9|631b28 634r21 635r18 636r29 637r18
132V13*Inside{boolean} 132>21 132>32 9|126b13 133l8 133t14 173s13 174s20
132r21 P{41R9} 9|126b21 128r22 129r18 130r18 131r18 132r18
132a32 S{56A9} 9|126b32 128r34 129r41 129r50 130r41 130r50 131r41 131r50
. 132r41 132r50
133V13*Inside{boolean} 133>21 133>32 9|117b13 120l8 120t14 128s14
133r21 P{41R9} 9|117b21 119r20 119r32
133r32 L{65R9} 9|117b32 119r14 119r26 119r38
134V13*Inside{boolean} 134>21 134>32 9|459b13 472l8 472t14
134r21 P{41R9} 9|459b21 462r20 463r27 464r27 469r25 470r27 471r27
134a32 T{55A9} 9|459b32 462r23 463r30 464r30 469r28 469r44 469r51 470r30
. 470r46 470r53 471r30 471r46 471r53
135V13*Inside{boolean} 135>21 135>32 9|361b13 384l8 384t14
135r21 P{41R9} 9|361b21 369r20 374r38 375r37 377r15
135a32 Poly{54A9} 9|361b32 362r31 368r16 369r26 374r44 375r23 377r21 377r35
. 377r48 378r18 378r31
138V13*Distance{39F12} 138>23 138>37 9|248b13 253l8 253t16 267s17 271s17
. 300s14 353s28 462s10 463s17 464s17
138r23 From{41R9} 9|248b23 249r46 250r46
138r37 To{41R9} 9|248b37 249r39 250r39
139V13*Distance{39F12} 139>23 139>37 9|259b13 276l8 276t16 287s19 291s16
139r23 From{41R9} 9|259b23 265r15 267r27 269r18 271r27 274r27
139a37 To{56A9} 9|259b37 261r10 261r19 265r22 265r30 265r39 267r33 269r25
. 269r33 269r42 271r33 274r42
140V13*Distance{39F12} 140>23 140>37 9|238b13 242l8 242t16 274s17 309s14
140r23 From{41R9} 9|238b23 241r26 241r42
140r37 To{65R9} 9|238b37 239r39 239r46 239r53 239r60 241r19 241r35 241r51
141V13*Distance{39F12} 141>23 141>37 9|282b13 292l8 292t16
141r23 From{41R9} 9|282b23 287r29 291r26
141a37 To{54A9} 9|282b37 285r16 285r28 287r44 287r52 291r41 291r45 291r56
. 291r60
144V13*Centroid{41R9} 144>23 9|390b13 405l8 405t16
144a23 Self{54A9} 9|390b23 395r16 395r34 397r23 397r29 397r42 397r52 399r20
. 399r26 399r42 399r55 401r20 401r26 401r42 401r55
147V13*Area{39F12} 147>19 9|330b13 336l8 336t12 396s19
147a19 Self{55A9} 9|330b19 332r20 332r33 333r18 333r31 334r18 334r31 335r18
. 335r31
148V13*Area{39F12} 148>19 9|316b13 324l8 324t12
148a19 Self{54A9} 9|316b19 319r16 319r34 320r26 320r41 320r47 321r26 321r41
. 321r47
152V13*Same_Side{boolean} 152>24 152>28 152>40 9|411b13 429l8 429t17 451s14
. 469s14 470s16 471s16
152r24 P1{41R9} 9|412b7 416r34 417r34
152r28 P2{41R9} 9|412b11 421r34 422r34
152a40 As{56A9} 9|412b23 416r10 416r21 416r41 417r10 417r21 417r41 421r10
. 421r21 421r41 422r10 422r21 422r41
153V13*Same_Side{boolean} 153>24 153>28 153>40 9|435b13 452l8 452t17
153r24 P1{41R9} 9|435b24 451r25
153r28 P2{41R9} 9|435b28 451r29
153r40 As{65R9} 9|435b40 438r10 440r21 440r28 446r21 446r28 448r22 448r29
. 448r47
159*7 A{29F9} 9|65m15 89m10 90r17 91r32 99r39 99r53 109r27 109r41 119r16
. 142r38 143r38 145r38 146r38 170r19 170r33 184r19 184r33 239r42 239r49 241r22
. 440r31 448r32
159*10 B{29F9} 9|66m15 89r18 90m10 91r18 99r46 99r60 108r27 108r41 119r28
. 142r56 143r56 145r56 146r56 170r26 170r40 183r19 183r33 239r56 239r63 241r38
. 438r13 446r31 448r50
159*13 C{29F9} 9|67m15 91m10 102r16 102r23 108r34 108r48 109r34 109r48 119r40
. 142r74 143r74 145r74 146r74 183r26 183r40 184r26 184r40 241r54 440r24 446r24
. 448r25
X 9 gnatcoll-geometry.adb
44V13 Orient{8|29F9} 44>21 44>24 44>27 45r19 478b13 481l8 481t14 490s10 491s13
. 492s16 493s23 495s19 496s26 502s16 503s19 504s26 513s13 514s16 515s23 517s19
. 518s26 538s10 539s13 540s20 542s20 543s24 546s13 547s16 548s23 549s26 568s10
. 569s13 570s16 576s16 583s13 584s16 604s10 605s13 615s13
44r21 P{8|41R9} 478b21 480r15 480r43
44r24 Q{8|41R9} 478b24 480r29 480r57
44r27 R{8|41R9} 478b27 480r21 480r35 480r49 480r63
47V13 Tri_Intersection{boolean} 48>7 48>11 48>15 48>19 48>23 48>27 563b13
. 595l8 595t24 606s20 610s20 616s20 620s20
48r7 P1{8|41R9} 564b7 568r26 569r29 570r32 573r47 576r32 577r47 579r49 583r29
. 584r32 585r47 587r49 590r46
48r11 Q1{8|41R9} 564b11 573r51 577r51 579r53 585r51 587r53 590r50
48r15 R1{8|41R9} 564b15 573r55 577r55 579r57 585r55 587r57 590r54
48r19 P2{8|41R9} 564b19 568r18 570r28 573r59 576r28 577r63 579r61 584r28
. 585r67 587r69 590r62
48r23 Q2{8|41R9} 564b23 568r22 569r21 573r63 577r67 579r65 583r21 585r59
. 587r61 590r66
48r27 R2{8|41R9} 564b27 569r25 570r24 573r67 576r24 577r59 579r69 583r25
. 584r24 585r63 587r65 590r58
49V13 Intersection_Test_Edge{boolean} 50>7 50>11 50>15 50>19 50>23 50>27
. 51r19 533b13 557l8 557t30 573s23 577s23 585s23
50r7 P1{8|41R9} 534b7 539r21 540r28 543r36 547r24 548r31
50r11 Q1{8|41R9} 534b11 538r26 539r29 540r32 542r28 549r34
50r15 R1{8|41R9} 534b15 542r32 543r32 546r29 547r32 548r35 549r38
50r19 P2{8|41R9} 534b19 538r22 539r25 542r36 543r40 546r25 547r28
50r23 Q2{8|41R9} 534b23 536r28
50r27 R2{8|41R9} 534b27 538r18 540r36 546r21 548r39 549r42
52V13 Intersection_Test_Vertex{boolean} 53>7 53>11 53>15 53>19 53>23 53>27
. 54r19 487b13 527l8 527t32 579s23 587s23 590s20
53r7 P1{8|41R9} 488b7 492r24 493r31 495r27 502r24 515r31
53r11 Q1{8|41R9} 488b11 490r26 491r29 492r32 493r39 496r34 502r32 504r34
. 514r24 517r27
53r15 R1{8|41R9} 488b15 495r35 496r38 503r35 504r38 513r29 514r28 515r39
. 517r31 518r38
53r19 P2{8|41R9} 488b19 490r22 492r28 495r31 496r42 513r25 515r35
53r23 Q2{8|41R9} 488b23 491r25 493r35 502r28 503r31 504r42 517r35 518r42
53r27 R2{8|41R9} 488b27 490r18 491r21 503r27 513r21 514r32 518r34
62*7 A{8|29F9} 65r20 67r20
63*7 B{8|29F9} 66r20 67r31
84r7 L{8|65R9} 89r16 90r15 91r16 91r30
85*7 X_Mid{8|29F9} 91r22
86*7 Y_Mid{8|29F9} 91r36
99*7 Det{8|29F9} 101r10 108r53 109r53
141r7 L1{8|65R9} 142r35 142r53 142r71 143r35 143r53 143r71 170r16 170r37
. 183r23 183r30 184r16 184r37
142*7 R3{8|29F9} 154r11 155r19
143*7 R4{8|29F9} 154r29 155r37
144r7 L2{8|65R9} 145r35 145r53 145r71 146r35 146r53 146r71 170r23 170r30
. 183r16 183r37 184r23 184r30
145*7 R1{8|29F9} 163r11 164r19
146*7 R2{8|29F9} 163r29 164r37
148*7 Denom{8|29F9} 170m7 171r10 183r45 184r45
239*7 S 241r65
249*7 X 252r20 252r24
250*7 Y 252r28 252r32
283*7 Min{8|39F12} 286m10 287r14 291r11
285i11 P{integer} 287r48 287r56
317*7 D 320m10 320r15 323r19
319i11 P{integer} 320r32 321r32
345r7 Bis1{8|65R9} 347r48
346r7 Bis2{8|65R9} 347r54
347r7 Center{8|41R9} 349r10 349r36 352r28 353r38
362i7 J{natural} 374r50 375r29 377r41 378r24
363b7 C{boolean} 380m13 380r22 383r14
364*7 Deltay{8|29F9} 369m10 374r22 375r50 377r62
368i11 S{integer} 369r32 377r27 377r54 378r37
391*7 X 399m10 399r15 404r20
391*10 Y 401m10 401r15 404r37
392*7 Weight 398m10 398r20 404r24 404r41
393*7 Local 396m10 398r29 400r14 402r14
395i11 P{integer} 397r48 397r58 399r48 399r61 401r48 401r61
415*7 Cross1_Z 424r10
420*7 Cross2_Z 425r17 427r17
436a7 S{8|56A9} 440m10 441m10 442m10 442r21 443m10 445m10 446m10 447m10 448m10
. 448r36 451r33
|