/usr/lib/ada/adalib/gnatvsn/aspects.ali is in libgnatvsn5-dev 5.5.0-12ubuntu1.
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 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 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 | V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_ALLOCATORS
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_ELABORATION_CODE
RV SPARK_05
U aspects%b aspects.adb 67ff27da OO PK
W atree%s atree.adb atree.ali
W einfo%s einfo.adb einfo.ali
W gnat%s gnat.ads gnat.ali
W gnat.htable%s g-htable.adb g-htable.ali
W nlists%s nlists.adb nlists.ali
W sinfo%s sinfo.adb sinfo.ali
W tree_io%s tree_io.adb tree_io.ali
U aspects%s aspects.ads 49c8e7c1 BN EE OO PK
W namet%s namet.adb namet.ali
W snames%s snames.adb snames.ali
W types%s types.adb types.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads 20150107084147 61013b91 alloc%s
D aspects.ads 20150313132815 78c0fb99 aspects%s
D aspects.adb 20150313132815 4226675a aspects%b
D atree.ads 20150313134724 561167a4 atree%s
D einfo.ads 20150313134724 eedc4daa einfo%s
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
D g-htable.ads 20140225151544 4b643b8d gnat.htable%s
D hostparm.ads 20140801100131 a20ca6cf hostparm%s
D namet.ads 20150302110329 53fa811d namet%s
D nlists.ads 20140801095704 a6e0a57f nlists%s
D sinfo.ads 20150324122610 65b0e0c9 sinfo%s
D snames.ads 20180411211952 0164078b snames%s
D system.ads 20141031112219 1d274481 system%s
D s-conca2.ads 20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-htable.ads 20140225151139 84c2b3ea system.htable%s
D s-htable.adb 20140225151139 90376e52 system.htable%b
D s-os_lib.ads 20150220113817 5853d835 system.os_lib%s
D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s
D s-strhas.ads 20090623093900 269cd894 system.string_hash%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
D table.ads 20090506081141 e3a9ec16 table%s
D tree_io.ads 20140718093624 6de0ef2c tree_io%s
D types.ads 20150130153101 63969ace types%s
D uintp.ads 20180411202703 f3f1d794 uintp%s
D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s
D urealp.ads 20130411125352 e500ee51 urealp%s
X 5 aspects.ads
71K9*Aspects 879l5 879e12 6|40b14 685l5 685t12
75E9*Aspect_Id 204e34 207r6 207r22 207r52 212r38 226r52 269r44 280r6 290r6
. 290r46 293r6 305r38 389r35 509r51 514r53 620r35 779r48 824r46 830r12 834r45
. 858r31 858r47 6|46r34 63r39 124r23 206r46 279r12 299r51 304r53 314r45 371r18
. 492r39 492r53 612r31 612r47 682r13
76n7*No_Aspect{75E9} 207r38 306r7 390r7 621r7 6|125r23 493r5 493r44
77n7*Aspect_Abstract_State{75E9} 227r7 307r7 391r7 695r7 6|494r5 494r44
78n7*Aspect_Address{75E9} 308r7 392r7 622r7 6|495r5 495r44
79n7*Aspect_Alignment{75E9} 309r7 393r7 726r7 6|496r5 496r44
80n7*Aspect_Annotate{75E9} 228r7 270r7 310r7 395r7 696r7 6|498r5 498r44
81n7*Aspect_Attach_Handler{75E9} 311r7 401r7 625r7 6|504r5 504r44
82n7*Aspect_Bit_Order{75E9} 312r7 402r7 729r7 6|505r5 505r44
83n7*Aspect_Component_Size{75E9} 313r7 403r7 730r7 6|506r5 506r44
84n7*Aspect_Constant_Indexing{75E9} 314r7 404r7 626r7 6|49r7 64r7 507r5 507r44
85n7*Aspect_Contract_Cases{75E9} 231r7 315r7 405r7 699r7 6|508r5 508r44
86n7*Aspect_Convention{75E9} 316r7 406r7 700r7 6|509r5 509r44
87n7*Aspect_CPU{75E9} 317r7 407r7 627r7 6|510r5 510r44
88n7*Aspect_Default_Component_Value{75E9} 318r7 408r7 631r7 6|511r5 511r44
89n7*Aspect_Default_Initial_Condition{75E9} 319r7 409r7 701r7 6|512r5 512r44
90n7*Aspect_Default_Iterator{75E9} 320r7 410r7 628r7 6|50r7 65r7 285r17 513r5
. 513r44
91n7*Aspect_Default_Storage_Pool{75E9} 321r7 411r7 629r7 6|514r5 514r44
92n7*Aspect_Default_Value{75E9} 322r7 412r7 630r7 6|515r5 515r44
93n7*Aspect_Depends{75E9} 232r7 323r7 413r7 702r7 6|516r5 516r44
94n7*Aspect_Dimension{75E9} 233r7 324r7 414r7 703r7 6|517r5 517r44
95n7*Aspect_Dimension_System{75E9} 234r7 325r7 415r7 704r7 6|518r5 518r44
96n7*Aspect_Dispatching_Domain{75E9} 326r7 417r7 633r7 6|520r5 520r44
97n7*Aspect_Dynamic_Predicate{75E9} 327r7 418r7 634r7 6|521r5
98n7*Aspect_Extensions_Visible{75E9} 237r7 328r7 423r7 707r7 6|526r5 526r44
99n7*Aspect_External_Name{75E9} 329r7 424r7 637r7 6|527r5 527r44
100n7*Aspect_External_Tag{75E9} 330r7 425r7 638r7 6|528r5 528r44
101n7*Aspect_Ghost{75E9} 239r7 331r7 427r7 708r7 6|530r5 530r44
102n7*Aspect_Global{75E9} 240r7 332r7 428r7 709r7 6|531r5 531r44
103n7*Aspect_Implicit_Dereference{75E9} 333r7 429r7 640r7 6|66r7 532r5 532r44
104n7*Aspect_Initial_Condition{75E9} 334r7 435r7 710r7 6|538r5 538r44
105n7*Aspect_Initializes{75E9} 335r7 436r7 711r7 6|539r5 539r44
106n7*Aspect_Input{75E9} 213r7 336r7 437r7 646r7 6|540r5 540r44
107n7*Aspect_Interrupt_Priority{75E9} 337r7 439r7 648r7 6|542r5
108n7*Aspect_Invariant{75E9} 214r7 242r7 338r7 440r7 649r7 6|543r5 543r44
. 596r44
109n7*Aspect_Iterator_Element{75E9} 340r7 441r7 651r7 6|53r7 67r7 545r5 545r44
110n7*Aspect_Iterable{75E9} 339r7 442r7 650r7 6|544r5 544r44
111n7*Aspect_Link_Name{75E9} 341r7 443r7 652r7 6|546r5 546r44
112n7*Aspect_Linker_Section{75E9} 342r7 444r7 653r7 6|547r5 547r44
113n7*Aspect_Machine_Radix{75E9} 343r7 446r7 731r7 6|549r5 549r44
114n7*Aspect_Object_Size{75E9} 244r7 344r7 450r7 732r7 6|554r5 554r44
115n7*Aspect_Obsolescent{75E9} 345r7 451r7 714r7 6|553r5 553r44
116n7*Aspect_Output{75E9} 215r7 346r7 452r7 656r7 6|555r5 555r44
117n7*Aspect_Part_Of{75E9} 347r7 454r7 715r7 6|557r5 557r44
118n7*Aspect_Post{75E9} 218r7 293r22 348r7 456r7 658r7 6|559r5 559r44 560r44
119n7*Aspect_Postcondition{75E9} 349r7 457r7 659r7 6|560r5
120n7*Aspect_Pre{75E9} 216r7 350r7 458r7 660r7 6|398r35 561r5 561r44 562r44
121n7*Aspect_Precondition{75E9} 293r37 351r7 459r7 661r7 6|399r35 562r5
122n7*Aspect_Predicate{75E9} 217r7 246r7 352r7 460r7 662r7 6|521r44 563r5
. 563r44 586r44
123n7*Aspect_Priority{75E9} 353r7 463r7 665r7 6|542r44 566r5 566r44
124n7*Aspect_Read{75E9} 219r7 354r7 466r7 668r7 6|576r5 576r44
125n7*Aspect_Refined_Depends{75E9} 355r7 467r7 716r7 780r7 6|569r5 569r44
126n7*Aspect_Refined_Global{75E9} 356r7 468r7 717r7 781r7 6|570r5 570r44
127n7*Aspect_Refined_Post{75E9} 357r7 469r7 718r7 782r7 6|571r5 571r44
128n7*Aspect_Refined_State{75E9} 358r7 470r7 719r7 6|572r5 572r44
129n7*Aspect_Relative_Deadline{75E9} 359r7 471r7 669r7 6|577r5 577r44
130n7*Aspect_Scalar_Storage_Order{75E9} 249r7 360r7 475r7 734r7 6|578r5 578r44
131n7*Aspect_Simple_Storage_Pool{75E9} 251r7 361r7 478r7 675r7 6|581r5 581r44
132n7*Aspect_Size{75E9} 362r7 480r7 735r7 6|583r5 583r44
133n7*Aspect_Small{75E9} 363r7 481r7 736r7 6|584r5 584r44
134n7*Aspect_SPARK_Mode{75E9} 364r7 482r7 720r7 783r7 6|585r5 585r44
135n7*Aspect_Static_Predicate{75E9} 365r7 483r7 677r7 6|586r5
136n7*Aspect_Storage_Pool{75E9} 366r7 484r7 678r7 6|587r5 587r44
137n7*Aspect_Storage_Size{75E9} 367r7 485r7 737r7 6|588r5 588r44
138n7*Aspect_Stream_Size{75E9} 368r7 486r7 679r7 6|589r5 589r44
139n7*Aspect_Suppress{75E9} 369r7 487r7 680r7 6|590r5 590r44
140n7*Aspect_Synchronization{75E9} 370r7 491r7 721r7 6|593r5 593r44
141n7*Aspect_Test_Case{75E9} 256r7 271r7 371r7 492r7 722r7 6|594r5 594r44
142n7*Aspect_Type_Invariant{75E9} 221r7 372r7 493r7 684r7 6|54r7 596r5
143n7*Aspect_Unimplemented{75E9} 373r7 495r7 723r7 6|598r5 598r44
144n7*Aspect_Unsuppress{75E9} 374r7 501r7 691r7 6|604r5 604r44
145n7*Aspect_Value_Size{75E9} 262r7 375r7 502r7 738r7 6|606r5 606r44
146n7*Aspect_Variable_Indexing{75E9} 376r7 503r7 692r7 6|56r7 69r7 605r5
. 605r44
147n7*Aspect_Warnings{75E9} 263r7 377r7 506r7 724r7 784r7 6|609r5 609r44
148n7*Aspect_Write{75E9} 220r7 378r7 507r7 693r7 6|610r5 610r44
152n7*Aspect_All_Calls_Remote{75E9} 280r22 394r7 623r7 6|497r5 497r44
153n7*Aspect_Elaborate_Body{75E9} 421r7 635r7 6|524r5 524r44
154n7*Aspect_No_Elaboration_Code_All{75E9} 447r7 712r7 6|550r5 550r44
155n7*Aspect_Preelaborate{75E9} 462r7 664r7 6|564r5 564r44
156n7*Aspect_Pure{75E9} 464r7 666r7 6|567r5 567r44
157n7*Aspect_Remote_Call_Interface{75E9} 473r7 671r7 6|574r5 574r44
158n7*Aspect_Remote_Types{75E9} 474r7 672r7 6|68r7 575r5 575r44
159n7*Aspect_Shared_Passive{75E9} 477r7 674r7 6|580r5 580r44
160n7*Aspect_Universal_Data{75E9} 258r7 280r49 497r7 687r7 6|600r5 600r44
169n7*Aspect_Async_Readers{75E9} 229r7 290r22 396r7 697r7 6|499r5 499r44
170n7*Aspect_Async_Writers{75E9} 230r7 397r7 698r7 6|500r5 500r44
171n7*Aspect_Asynchronous{75E9} 398r7 624r7 6|501r5 501r44
172n7*Aspect_Atomic{75E9} 399r7 727r7 6|47r7 502r5 502r44 579r44
173n7*Aspect_Atomic_Components{75E9} 400r7 728r7 6|48r7 503r5 503r44
174n7*Aspect_Discard_Names{75E9} 416r7 632r7 6|51r7 519r5 519r44
175n7*Aspect_Effective_Reads{75E9} 235r7 419r7 705r7 6|522r5 522r44
176n7*Aspect_Effective_Writes{75E9} 236r7 420r7 706r7 6|523r5 523r44
177n7*Aspect_Export{75E9} 422r7 636r7 6|525r5 525r44
178n7*Aspect_Favor_Top_Level{75E9} 238r7 426r7 639r7 6|529r5 529r44
179n7*Aspect_Independent{75E9} 431r7 642r7 6|534r5 534r44
180n7*Aspect_Independent_Components{75E9} 432r7 643r7 6|52r7 535r5 535r44
181n7*Aspect_Import{75E9} 430r7 641r7 6|533r5 533r44
182n7*Aspect_Inline{75E9} 433r7 644r7 6|536r5 536r44 537r44
183n7*Aspect_Inline_Always{75E9} 241r7 434r7 645r7 6|537r5
184n7*Aspect_Interrupt_Handler{75E9} 438r7 647r7 6|541r5 541r44
185n7*Aspect_Lock_Free{75E9} 243r7 445r7 654r7 6|548r5 548r44
186n7*Aspect_No_Return{75E9} 448r7 655r7 6|551r5 551r44
187n7*Aspect_No_Tagged_Streams{75E9} 449r7 713r7 6|552r5 552r44
188n7*Aspect_Pack{75E9} 453r7 733r7 6|556r5 556r44
189n7*Aspect_Persistent_BSS{75E9} 245r7 455r7 657r7 6|558r5 558r44
190n7*Aspect_Preelaborable_Initialization{75E9} 461r7 663r7 6|565r5 565r44
191n7*Aspect_Pure_Function{75E9} 247r7 465r7 667r7 6|568r5 568r44
192n7*Aspect_Remote_Access_Type{75E9} 248r7 472r7 670r7 6|573r5 573r44
193n7*Aspect_Shared{75E9} 250r7 476r7 673r7 6|579r5
194n7*Aspect_Simple_Storage_Pool_Type{75E9} 252r7 479r7 676r7 6|582r5 582r44
195n7*Aspect_Suppress_Debug_Info{75E9} 253r7 488r7 681r7 6|591r5 591r44
196n7*Aspect_Suppress_Initialization{75E9} 254r7 489r7 682r7 6|592r5 592r44
197n7*Aspect_Thread_Local_Storage{75E9} 255r7 490r7 683r7 6|595r5 595r44
198n7*Aspect_Unchecked_Union{75E9} 494r7 685r7 6|55r7 597r5 597r44
199n7*Aspect_Universal_Aliasing{75E9} 257r7 496r7 686r7 6|599r5 599r44
200n7*Aspect_Unmodified{75E9} 259r7 498r7 688r7 6|601r5 601r44
201n7*Aspect_Unreferenced{75E9} 260r7 499r7 689r7 6|602r5 602r44
202n7*Aspect_Unreferenced_Objects{75E9} 261r7 500r7 690r7 6|603r5 603r44
203n7*Aspect_Volatile{75E9} 504r7 739r7 6|57r7 607r5 607r44
204n7*Aspect_Volatile_Components{75E9} 505r7 740r7 6|608r5 608r44
206E12*Aspect_Id_Exclude_No_Aspect{75E9}
212a4*Class_Aspect_OK(boolean)
226a4*Implementation_Defined_Aspect(boolean)
269a4*No_Duplicates_Allowed(boolean)
279E12*Library_Unit_Aspects{75E9} 381r7
289E12*Boolean_Aspects{75E9} 380r7
292E12*Pre_Post_Aspects{75E9}
297E9*Aspect_Expression 301e21 305r52
298n7*Expression{297E9} 307r43 308r43 309r43 310r43 311r43 312r43 313r43
. 315r43 317r43 318r43 321r43 322r43 323r43 324r43 325r43 326r43 327r43 329r43
. 330r43 332r43 334r43 335r43 337r43 338r43 339r43 341r43 342r43 343r43 344r43
. 347r43 348r43 349r43 350r43 351r43 352r43 353r43 355r43 356r43 357r43 358r43
. 359r43 360r43 362r43 363r43 365r43 367r43 368r43 371r43 372r43 375r43
299n7*Name{297E9} 314r43 316r43 320r43 333r43 336r43 340r43 346r43 354r43
. 361r43 366r43 369r43 370r43 374r43 376r43 377r43 378r43
300n7*Optional_Expression{297E9} 306r43 319r43 328r43 331r43 345r43 373r43
. 380r43 381r43
301n7*Optional_Name{297E9} 364r43
305a4*Aspect_Argument(297E9)
389a4*Aspect_Names(12|179I9) 6|683r33
509V13*Get_Aspect_Id{75E9} 509>28 510r19 6|299b13 302l8 302t21
509i28 Name{12|179I9} 6|299b28 301r40
514V13*Get_Aspect_Id{75E9} 514>28 6|167s44 236s21 259s16 304b13 308l8 308t21
. 395s26
514i28 Aspect{28|384I9} 6|304b28 306r29 307r59
579E9*Delay_Type 592e18 620r49
580n7*Always_Delay{579E9} 621r46 622r46 623r46 624r46 625r46 626r46 627r46
. 628r46 629r46 630r46 631r46 632r46 633r46 634r46 635r46 636r46 637r46 638r46
. 639r46 640r46 641r46 642r46 643r46 644r46 645r46 646r46 647r46 648r46 649r46
. 650r46 651r46 652r46 653r46 654r46 655r46 656r46 657r46 658r46 659r46 660r46
. 661r46 662r46 663r46 664r46 665r46 666r46 667r46 668r46 669r46 670r46 671r46
. 672r46 673r46 674r46 675r46 676r46 677r46 678r46 679r46 680r46 681r46 682r46
. 683r46 684r46 685r46 686r46 687r46 688r46 689r46 690r46 691r46 692r46 693r46
584n7*Never_Delay{579E9} 695r46 696r46 697r46 698r46 699r46 700r46 701r46
. 702r46 703r46 704r46 705r46 706r46 707r46 708r46 709r46 710r46 711r46 712r46
. 713r46 714r46 715r46 716r46 717r46 718r46 719r46 720r46 721r46 722r46 723r46
. 724r46
592n7*Rep_Aspect{579E9} 726r46 727r46 728r46 729r46 730r46 731r46 732r46
. 733r46 734r46 735r46 736r46 737r46 738r46 739r46 740r46
620a4*Aspect_Delay(579E9)
779a4*Aspect_On_Body_Or_Stub_OK(boolean) 6|167r17 397r19
801V13*Aspect_Specifications{28|433I9} 801>36 6|134b13 141l8 141t29 164s18
. 191s38 192s38 257s25 327s41 351s21 378s24 416s28
801i36 N{28|384I9} 6|134b36 136r23 137r55
815V13*Aspects_On_Body_Or_Stub_OK{boolean} 815>41 6|147b13 175l8 175t34
815i41 N{28|384I9} 6|147b41 154r35 155r29 156r42 164r41
819U14*Exchange_Aspects 819>32 819>46 6|181b14 200l8 200t24
819i32 N1{28|384I9} 6|181b32 184r41 189r23 191r61 195r29 196r51
819i46 N2{28|384I9} 6|181b46 185r52 189r49 192r61 194r29 197r51
824V13*Find_Aspect{28|384I9} 824>26 824>42 6|206b13 271l8 271t19 281s34 316s23
824i26 Id{28|387I12} 6|206b26 213r16 217r19
824e42 A{75E9} 6|206b42 218r26 222r67 236r44 259r39
828V13*Find_Value_Of_Aspect{28|384I9} 829>7 830>7 6|277b13 293l8 293t28
829i7 Id{28|387I12} 6|278b7 281r47
830e7 A{75E9} 6|279b7 281r51 285r13
834V13*Has_Aspect{boolean} 834>25 834>41 6|314b13 317l8 317t18
834i25 Id{28|387I12} 6|314b25 316r36
834e41 A{75E9} 6|314b41 316r40
837U14*Move_Aspects 837>28 837>44 6|323b14 331l8 331t20
837i28 From{28|384I9} 6|323b28 326r23 327r64 328r51 329r27
837i44 To{28|384I9} 6|323b44 324r39 327r37
842U14*Move_Or_Merge_Aspects 842>37 842>53 6|337b14 420l8 420t29
842i37 From{28|384I9} 6|337b37 377r23 378r47 392r23 393r56 416r51 417r29
842i53 To{28|384I9} 6|337b53 350r26 351r44 357r40 358r30
849V13*Permits_Aspect_Specifications{boolean} 849>44 6|184s10 185s21 250s14
. 256s10 469b13 472l8 472t37 623s22 638s22
849i44 N{28|384I9} 6|469b44 471r53
854U14*Remove_Aspects 854>30 6|417s13 478b14 484l8 484t22
854i30 N{28|384I9} 6|478b30 480r23 481r51 482r27
858V13*Same_Aspect{boolean} 858>26 858>42 6|612b13 615l8 615t19
858e26 A1{75E9} 6|612b26 614r32
858e42 A2{75E9} 6|612b42 614r56
863U14*Set_Aspect_Specifications 863>41 863>54 6|327s10 357s13 621b14 630l8
. 630t33
863i41 N{28|384I9} 6|621b41 623r53 624r39 627r24 628r22 629r45
863i54 L{28|433I9} 6|621b54 625r22 628r19 629r48
873U14*Tree_Read 6|650b14 660l8 660t17
876U14*Tree_Write 6|666b14 677l8 677t18
X 6 aspects.adb
46a4 Base_Aspect(boolean) 218r13
63a4 Inherited_Aspect(boolean) 222r49
72U14 Set_Aspect_Specifications_No_Check 72>50 72>63 636b14 644l8 644t42
. 658s10
72i50 N{28|384I9} 636b50 638r53 641r24 642r22 643r45
72i63 L{28|433I9} 636b63 639r22 642r19 643r48
86I9 AS_Hash_Range<short_integer> 89r42 92r42 94r14 99r23
89V13 AS_Hash{86I9} 89>22 92b13 95l8 95t15 103r23
89i22 F{28|384I9} 92b22 94r29
97K12 Aspect_Specifications_Hash_Table[19|70] 137r17 196r13 197r13 328r10
. 481r10 629r7 643r7 670r7 675r10
110I9 AI_Hash_Range<short_short_integer> 113r42 116r42 118r14 123r23
113V13 AI_Hash{110I9} 113>22 116b13 119l8 119t15 127r23
113i22 F{12|179I9} 116b22 118r29
121K12 Aspect_Id_Hash_Table[19|70] 301r14 307r14 683r7
148i7 Aspect{28|384I9} 165m7 166r22 167r59 171m16 171r16
149i7 Aspects{28|433I9} 164m7 165r25
191i13 L1{28|433I9} 194r25 197r55
192i13 L2{28|433I9} 195r25 196r55
207i7 Decl{28|384I9} 249m7 250r45 251m10 251r26 256r41 257r48
208i7 Item{28|384I9} 233m7 234r22 235r20 236r36 238r20 241m25 241r25
209i7 Owner{28|387I12} 213m7 219m13 219r33 222r33 223m13 223r33 226r30 226r66
. 227m13 227r33 233r31 249r23
210i7 Spec{28|384I9} 257m10 258r25 259r31 260r23 263m19 263r19
281i7 Spec{28|384I9} 284r19 286r49 288r32
338U17 Relocate_Aspect 338>34 346b17 366l11 366t26 401s19 407s16
338i34 Asp{28|384I9} 346b34 364r18 365r18
347i10 Asps{28|433I9} 351m13 356m13 357r44 365r23
370i7 Asp{28|384I9} 378m10 379r25 384r31 395r41 401r36 407r33 410m13
371e7 Asp_Id{5|75E9} 395m16 397r46 398r26 399r26
372i7 Next_Asp{28|384I9} 384m13 410r20
426a4 Has_Aspect_Specifications_Flag(boolean) 471r14
492a4 Canonical_Aspect(5|75E9) 614r14 614r38
651i7 Node{28|384I9} 655m30 655r30 658r46
652i7 List{28|433I9} 656m30 656r30 657r20 658r52
667i7 Node{28|384I9} 670m51 670r51 672r31 675m53 675r53
668i7 List{28|433I9} 670m57 673r31 674r20 675m59
682e8 J{5|75E9} 683r47 683r51
X 7 atree.ads
44K9*Atree 6|32w6 32r20 7|4156e10
617V13*Has_Aspects{boolean} 6|136s10 154s22 189s10 189s36 324s26 326s10 350s13
. 377s10 480s10 624s26
624V13*Nkind{14|8119E9} 6|155s22 235s13 306s22 392s16 471s46
627V13*No{boolean} 6|393s24
632V13*Parent{28|384I9} 6|249s15 251s18
640V13*Present{boolean} 6|166s13 226s46 234s13 258s16 284s10 316s14 379s16
666V13*Nkind_In{boolean} 6|156s32
909U14*Set_Has_Aspects 6|329s10 358s13 482s10 627s7 641s7
X 8 einfo.ads
37K9*Einfo 6|33w6 33r20 8|8992e10
6580B12*B{boolean}
6582I12*E{28|387I12}
6585I12*N{28|384I9}
6698V13*First_Rep_Item{6585I12} 6|233s15
6702V13*Full_View{6582I12} 6|226s55 227s22
7063V13*Is_Class_Wide_Type{6580E12} 6|222s13
7095V13*Is_Private_Type{6580E12} 6|226s13
7104V13*Is_Type{6580E12} 6|217s10
7116V13*Base_Type{6582I12} 6|219s22
7172V13*Root_Type{6582I12} 6|223s22
X 9 gnat.ads
34K9*GNAT 6|38r6 38r33 98r6 122r6 9|37e9
X 10 g-htable.ads
46K14*HTable 6|38w11 38r38 98r11 122r11 10|60e16
55k20*Simple_HTable 6|98r18 122r18
X 12 namet.ads
38K9*Namet 5|67w6 67r19 12|707e10
179I9*Name_Id<integer> 5|389r49 509r35 6|113r26 116r26 126r23 299r35
183i4*No_Name{179I9} 5|390r46
X 13 nlists.ads
41K9*Nlists 6|34w6 34r20 13|367e11
68V13*New_List{28|433I9} 6|356s21
124V13*First{28|393I12} 6|165s18 257s18 378s17
156V13*Next{28|393I12} 6|384s25
162U14*Next 6|171s10 263s13
206V13*Is_Empty_List{boolean} 6|416s13
226U14*Append 6|365s10
300U14*Remove 6|364s10
341U14*Set_Parent 6|194s13 195s13 628s7 642s7
X 14 sinfo.ads
54K9*Sinfo 6|35w6 35r20 14|13177e10
8119E9*Node_Kind 6|426r53 14|8508e23
8284n7*N_Component_Declaration{8119E9} 6|428r7
8285n7*N_Entry_Declaration{8119E9} 6|429r7
8286n7*N_Expression_Function{8119E9} 6|432r7
8287n7*N_Formal_Object_Declaration{8119E9} 6|435r7
8288n7*N_Formal_Type_Declaration{8119E9} 6|437r7
8289n7*N_Full_Type_Declaration{8119E9} 6|438r7
8293n7*N_Object_Declaration{8119E9} 6|443r7
8294n7*N_Protected_Type_Declaration{8119E9} 6|456r7
8295n7*N_Private_Extension_Declaration{8119E9} 6|451r7
8296n7*N_Private_Type_Declaration{8119E9} 6|452r7
8297n7*N_Subtype_Declaration{8119E9} 6|463r7
8311n7*N_Task_Type_Declaration{8119E9} 6|466r7
8315n7*N_Package_Body_Stub{8119E9} 6|446r7
8316n7*N_Protected_Body_Stub{8119E9} 6|455r7
8317n7*N_Subprogram_Body_Stub{8119E9} 6|392r31 460r7
8318n7*N_Task_Body_Stub{8119E9} 6|465r7
8323n7*N_Function_Instantiation{8119E9} 6|439r7
8324n7*N_Procedure_Instantiation{8119E9} 6|453r7
8328n7*N_Package_Instantiation{8119E9} 6|448r7
8332n7*N_Package_Body{8119E9} 6|156r45 445r7
8333n7*N_Subprogram_Body{8119E9} 6|158r45 459r7
8337n7*N_Protected_Body{8119E9} 6|157r45 454r7
8338n7*N_Task_Body{8119E9} 6|159r45 464r7
8343n7*N_Package_Declaration{8119E9} 6|447r7
8344n7*N_Single_Task_Declaration{8119E9} 6|458r7
8345n7*N_Subprogram_Declaration{8119E9} 6|461r7
8350n7*N_Generic_Package_Declaration{8119E9} 6|440r7
8351n7*N_Generic_Subprogram_Declaration{8119E9} 6|442r7
8360n7*N_Exception_Renaming_Declaration{8119E9} 6|431r7
8361n7*N_Object_Renaming_Declaration{8119E9} 6|444r7
8362n7*N_Package_Renaming_Declaration{8119E9} 6|450r7
8363n7*N_Subprogram_Renaming_Declaration{8119E9} 6|462r7
8418n7*N_Formal_Abstract_Subprogram_Declaration{8119E9} 6|433r7
8419n7*N_Formal_Concrete_Subprogram_Declaration{8119E9} 6|434r7
8442n7*N_Abstract_Subprogram_Declaration{8119E9} 6|427r7
8445n7*N_Aspect_Specification{8119E9} 6|235r28 306r39
8466n7*N_Exception_Declaration{8119E9} 6|430r7
8475n7*N_Formal_Package_Declaration{8119E9} 6|436r7
8490n7*N_Package_Specification{8119E9} 6|449r7
8499n7*N_Single_Protected_Declaration{8119E9} 6|457r7
8529E12*N_Body_Stub{8119E9} 6|155r35
8563E12*N_Generic_Renaming_Declaration{8119E9} 6|441r7
8779V13*Aspect_Rep_Item{28|384I9} 6|286s32
8818V13*Chars{12|179I9} 6|307s40
8923V13*Corresponding_Spec_Of_Stub{28|384I9} 6|393s28
9085V13*Expression{28|384I9} 6|286s20 288s20
9207V13*Identifier{28|384I9} 6|307s47
10751U14*Next_Rep_Item 6|241s10
X 15 snames.ads
34K9*Snames 5|68w6 68r19 15|2115e11
140i4*Name_Default_Value{12|179I9} 5|412r46
141i4*Name_Default_Component_Value{12|179I9} 5|408r46
142i4*Name_Dimension{12|179I9} 5|414r46
143i4*Name_Dimension_System{12|179I9} 5|415r46
144i4*Name_Dynamic_Predicate{12|179I9} 5|418r46
145i4*Name_Static_Predicate{12|179I9} 5|483r46
146i4*Name_Synchronization{12|179I9} 5|491r46
147i4*Name_Unimplemented{12|179I9} 5|495r46
363i4*Name_Annotate{12|179I9} 5|395r46
380i4*Name_Default_Storage_Pool{12|179I9} 5|411r46
382i4*Name_Discard_Names{12|179I9} 5|416r46
403i4*Name_Favor_Top_Level{12|179I9} 5|426r46
412i4*Name_No_Tagged_Streams{12|179I9} 5|449r46
418i4*Name_Persistent_BSS{12|179I9} 5|455r46
436i4*Name_SPARK_Mode{12|179I9} 5|482r46
438i4*Name_Suppress{12|179I9} 5|487r46
442i4*Name_Universal_Data{12|179I9} 5|497r46
443i4*Name_Unsuppress{12|179I9} 5|501r46
447i4*Name_Warnings{12|179I9} 5|506r46
454i4*Name_Abstract_State{12|179I9} 5|391r46
455i4*Name_All_Calls_Remote{12|179I9} 5|394r46
458i4*Name_Async_Readers{12|179I9} 5|396r46
459i4*Name_Async_Writers{12|179I9} 5|397r46
460i4*Name_Asynchronous{12|179I9} 5|398r46
461i4*Name_Atomic{12|179I9} 5|399r46
462i4*Name_Atomic_Components{12|179I9} 5|400r46
463i4*Name_Attach_Handler{12|179I9} 5|401r46
470i4*Name_Contract_Cases{12|179I9} 5|405r46
472i4*Name_Convention{12|179I9} 5|406r46
485i4*Name_Default_Initial_Condition{12|179I9} 5|409r46
486i4*Name_Depends{12|179I9} 5|413r46
487i4*Name_Effective_Reads{12|179I9} 5|419r46
488i4*Name_Effective_Writes{12|179I9} 5|420r46
491i4*Name_Elaborate_Body{12|179I9} 5|421r46
492i4*Name_Export{12|179I9} 5|422r46
498i4*Name_Extensions_Visible{12|179I9} 5|423r46
501i4*Name_Ghost{12|179I9} 5|427r46
502i4*Name_Global{12|179I9} 5|428r46
506i4*Name_Import{12|179I9} 5|430r46
511i4*Name_Independent{12|179I9} 5|431r46
512i4*Name_Independent_Components{12|179I9} 5|432r46
513i4*Name_Initial_Condition{12|179I9} 5|435r46
514i4*Name_Initializes{12|179I9} 5|436r46
515i4*Name_Inline{12|179I9} 5|433r46
516i4*Name_Inline_Always{12|179I9} 5|434r46
526i4*Name_Interrupt_Handler{12|179I9} 5|438r46
533i4*Name_Invariant{12|179I9} 5|440r46
542i4*Name_Linker_Section{12|179I9} 5|444r46
557i4*Name_No_Elaboration_Code_All{12|179I9} 5|447r46
559i4*Name_No_Return{12|179I9} 5|448r46
560i4*Name_Obsolescent{12|179I9} 5|451r46
563i4*Name_Pack{12|179I9} 5|453r46
565i4*Name_Part_Of{12|179I9} 5|454r46
567i4*Name_Post{12|179I9} 5|456r46
568i4*Name_Postcondition{12|179I9} 5|457r46
570i4*Name_Pre{12|179I9} 5|458r46
571i4*Name_Precondition{12|179I9} 5|459r46
572i4*Name_Predicate{12|179I9} 5|460r46
573i4*Name_Preelaborable_Initialization{12|179I9} 5|461r46
574i4*Name_Preelaborate{12|179I9} 5|462r46
585i4*Name_Pure{12|179I9} 5|464r46
586i4*Name_Pure_Function{12|179I9} 5|465r46
587i4*Name_Refined_Depends{12|179I9} 5|467r46
588i4*Name_Refined_Global{12|179I9} 5|468r46
589i4*Name_Refined_Post{12|179I9} 5|469r46
590i4*Name_Refined_State{12|179I9} 5|470r46
591i4*Name_Relative_Deadline{12|179I9} 5|471r46
592i4*Name_Remote_Access_Type{12|179I9} 5|472r46
593i4*Name_Remote_Call_Interface{12|179I9} 5|473r46
594i4*Name_Remote_Types{12|179I9} 5|474r46
596i4*Name_Shared{12|179I9} 5|476r46
597i4*Name_Shared_Passive{12|179I9} 5|477r46
598i4*Name_Simple_Storage_Pool_Type{12|179I9} 5|479r46
613i4*Name_Suppress_Debug_Info{12|179I9} 5|488r46
614i4*Name_Suppress_Initialization{12|179I9} 5|489r46
616i4*Name_Test_Case{12|179I9} 5|492r46
620i4*Name_Thread_Local_Storage{12|179I9} 5|490r46
623i4*Name_Type_Invariant{12|179I9} 5|493r46
625i4*Name_Unchecked_Union{12|179I9} 5|494r46
627i4*Name_Universal_Aliasing{12|179I9} 5|496r46
628i4*Name_Unmodified{12|179I9} 5|498r46
629i4*Name_Unreferenced{12|179I9} 5|499r46
630i4*Name_Unreferenced_Objects{12|179I9} 5|500r46
632i4*Name_Volatile{12|179I9} 5|504r46
633i4*Name_Volatile_Components{12|179I9} 5|505r46
709i4*Name_External_Name{12|179I9} 5|424r46
727i4*Name_Link_Name{12|179I9} 5|443r46
822i4*Name_Address{12|179I9} 5|392r46
825i4*Name_Alignment{12|179I9} 5|393r46
830i4*Name_Bit_Order{12|179I9} 5|402r46
837i4*Name_Component_Size{12|179I9} 5|403r46
839i4*Name_Constant_Indexing{12|179I9} 5|404r46
844i4*Name_Default_Iterator{12|179I9} 5|410r46
858i4*Name_External_Tag{12|179I9} 5|425r46
871i4*Name_Implicit_Dereference{12|179I9} 5|429r46
874i4*Name_Iterator_Element{12|179I9} 5|441r46
875i4*Name_Iterable{12|179I9} 5|442r46
883i4*Name_Lock_Free{12|179I9} 5|445r46
889i4*Name_Machine_Radix{12|179I9} 5|446r46
905i4*Name_Object_Size{12|179I9} 5|450r46
913i4*Name_Priority{12|179I9} 5|463r46
925i4*Name_Scalar_Storage_Order{12|179I9} 5|475r46
929i4*Name_Size{12|179I9} 5|480r46
930i4*Name_Small{12|179I9} 5|481r46
931i4*Name_Storage_Size{12|179I9} 5|485r46
933i4*Name_Stream_Size{12|179I9} 5|486r46
952i4*Name_Value_Size{12|179I9} 5|502r46
953i4*Name_Variable_Indexing{12|179I9} 5|503r46
973i4*Name_Input{12|179I9} 5|437r46
995i4*Name_Output{12|179I9} 5|452r46
996i4*Name_Read{12|179I9} 5|466r46
997i4*Name_Write{12|179I9} 5|507r46
1009i4*Name_Simple_Storage_Pool{12|179I9} 5|478r46
1010i4*Name_Storage_Pool{12|179I9} 5|484r46
1038i4*Name_CPU{12|179I9} 5|407r46
1039i4*Name_Dispatching_Domain{12|179I9} 5|417r46
1040i4*Name_Interrupt_Priority{12|179I9} 5|439r46
X 19 s-htable.ads
56I12 Header_Num 6|99r9 123r9
59+12 Element 6|100r9 124r9
62*7 No_Element{59+12} 6|101r9 125r9
66+12 Key 6|102r9 126r9
67V21 Hash{56I12} 6|103r9 127r9
68V21 Equal{boolean} 6|104r9 128r9
72U17*Set 6|196s46[97] 197s46[97] 629s40[97] 643s40[97] 683s28[121]
79V16*Get{28|433I9} 6|137s50[97] 301s35[121] 307s35[121]
83U17*Remove 6|328s43[97] 481s43[97]
98U17*Get_First 6|670s40[97]
105U17*Get_Next 6|675s43[97]
X 27 tree_io.ads
45K9*Tree_IO 6|36w6 36r20 27|128e12
91U14*Tree_Read_Int 6|655s10 656s10
118U14*Tree_Write_Int 6|672s10 673s10
X 28 types.ads
52K9*Types 5|69w6 69r19 28|942e10
59I9*Int<integer> 6|655r25 656r25 672r26 673r26
384I9*Node_Id<integer> 5|514r37 801r40 815r45 819r37 819r51 824r64 830r30
. 837r35 837r49 842r44 842r58 849r48 854r34 863r45 6|72r54 89r26 92r26 102r23
. 134r40 147r45 148r17 181r37 181r51 206r64 207r15 208r15 210r15 279r30 281r23
. 304r37 323r35 323r49 337r44 337r58 338r40 346r40 370r18 372r18 469r48 478r34
. 621r45 636r54 651r14 667r14
387I12*Entity_Id{384I9} 5|824r31 829r12 834r30 6|206r31 209r15 278r12 314r30
393I12*Node_Or_Entity_Id{384I9}
399i4*Empty{384I9} 6|270r14 292r14 667r25
433I9*List_Id<integer> 5|801r56 863r58 6|72r67 100r23 134r56 149r17 191r27
. 192r27 347r17 621r58 636r67 652r14 668r14
436i4*No_List{433I9} 6|101r23 139r17 625r27 639r27 657r27 674r27
|