/usr/lib/gcc-cross/sparc64-linux-gnu/6/adalib/gnatvsn/aspects.ali is in libgnatvsn6-dev-sparc64-cross 6.4.0-17ubuntu1cross1.
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 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 | V "GNAT Lib v6"
A -nostdinc
A -O2
A -fPIC
A -g
A -mcpu=v9
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 968822ef 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 b96ce0c7 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 20151026132611 6bcd4414 aspects%s
D aspects.adb 20151026132611 0cee505a aspects%b
D atree.ads 20151118105339 653f11e2 atree%s
D einfo.ads 20151118105339 84c941c8 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 20151027115429 fa2d8adb namet%s
D nlists.ads 20140801095704 a6e0a57f nlists%s
D sinfo.ads 20151113131130 90391755 sinfo%s
D snames.ads 20180424123613 b65780a1 snames%s
D system.ads 20161017085601 b2974e9a 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 20151020124036 90376e52 system.htable%b
D s-os_lib.ads 20151118101046 53e9e388 system.os_lib%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-strhas.ads 20151118135358 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 20151020120548 e3a9ec16 table%s
D tree_io.ads 20140718093624 6de0ef2c tree_io%s
D types.ads 20151112132540 9edbaea9 types%s
D uintp.ads 20180424123521 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 927l5 927e12 6|40b14 709l5 709t12
75E9*Aspect_Id 209e35 212r6 212r22 212r52 217r38 231r52 276r44 287r6 297r6
. 297r45 300r6 312r38 403r35 528r51 533r53 639r35 803r48 825r52 868r46 874r12
. 878r45 906r31 906r47 6|46r34 64r39 125r23 208r46 281r12 301r51 306r53 316r45
. 372r18 511r39 511r53 636r31 636r47 706r13
76n7*No_Aspect{75E9} 212r38 313r7 404r7 640r7 6|126r23 512r5 512r44
77n7*Aspect_Abstract_State{75E9} 232r7 314r7 405r7 715r7 6|513r5 513r44
78n7*Aspect_Address{75E9} 315r7 406r7 641r7 6|514r5 514r44
79n7*Aspect_Alignment{75E9} 316r7 407r7 749r7 6|515r5 515r44
80n7*Aspect_Annotate{75E9} 233r7 277r7 317r7 409r7 716r7 6|517r5 517r44
81n7*Aspect_Async_Readers{75E9} 234r7 318r7 410r7 717r7 6|518r5 518r44
82n7*Aspect_Async_Writers{75E9} 235r7 319r7 411r7 718r7 6|519r5 519r44
83n7*Aspect_Attach_Handler{75E9} 320r7 415r7 644r7 6|523r5 523r44
84n7*Aspect_Bit_Order{75E9} 321r7 416r7 752r7 6|524r5 524r44
85n7*Aspect_Component_Size{75E9} 322r7 417r7 753r7 6|525r5 525r44
86n7*Aspect_Constant_After_Elaboration{75E9} 236r7 323r7 418r7 719r7 6|526r5
. 526r44
87n7*Aspect_Constant_Indexing{75E9} 324r7 419r7 645r7 6|49r7 65r7 527r5 527r44
88n7*Aspect_Contract_Cases{75E9} 237r7 325r7 420r7 720r7 6|528r5 528r44
89n7*Aspect_Convention{75E9} 326r7 421r7 721r7 6|529r5 529r44
90n7*Aspect_CPU{75E9} 327r7 422r7 646r7 6|530r5 530r44
91n7*Aspect_Default_Component_Value{75E9} 328r7 423r7 650r7 6|531r5 531r44
92n7*Aspect_Default_Initial_Condition{75E9} 329r7 424r7 722r7 6|532r5 532r44
93n7*Aspect_Default_Iterator{75E9} 330r7 425r7 647r7 6|50r7 66r7 287r17 533r5
. 533r44
94n7*Aspect_Default_Storage_Pool{75E9} 331r7 426r7 648r7 6|534r5 534r44
95n7*Aspect_Default_Value{75E9} 332r7 427r7 649r7 6|535r5 535r44
96n7*Aspect_Depends{75E9} 238r7 333r7 428r7 723r7 826r7 6|536r5 536r44
97n7*Aspect_Dimension{75E9} 239r7 334r7 429r7 724r7 6|537r5 537r44
98n7*Aspect_Dimension_System{75E9} 240r7 335r7 430r7 725r7 6|538r5 538r44
99n7*Aspect_Dispatching_Domain{75E9} 336r7 433r7 652r7 6|541r5 541r44
100n7*Aspect_Dynamic_Predicate{75E9} 337r7 434r7 653r7 6|542r5
101n7*Aspect_Effective_Reads{75E9} 241r7 338r7 435r7 727r7 6|543r5 543r44
102n7*Aspect_Effective_Writes{75E9} 242r7 339r7 436r7 728r7 6|544r5 544r44
103n7*Aspect_Extensions_Visible{75E9} 243r7 340r7 439r7 729r7 6|547r5 547r44
104n7*Aspect_External_Name{75E9} 341r7 440r7 656r7 6|548r5 548r44
105n7*Aspect_External_Tag{75E9} 342r7 441r7 657r7 6|549r5 549r44
106n7*Aspect_Ghost{75E9} 245r7 343r7 443r7 730r7 6|551r5 551r44
107n7*Aspect_Global{75E9} 246r7 344r7 444r7 731r7 827r7 6|552r5 552r44
108n7*Aspect_Implicit_Dereference{75E9} 345r7 445r7 659r7 6|67r7 553r5 553r44
109n7*Aspect_Initial_Condition{75E9} 346r7 451r7 732r7 6|559r5 559r44
110n7*Aspect_Initializes{75E9} 347r7 452r7 733r7 6|560r5 560r44
111n7*Aspect_Input{75E9} 218r7 348r7 453r7 665r7 6|561r5 561r44
112n7*Aspect_Interrupt_Priority{75E9} 349r7 455r7 667r7 6|563r5
113n7*Aspect_Invariant{75E9} 219r7 248r7 350r7 456r7 668r7 6|564r5 564r44
. 618r44
114n7*Aspect_Iterator_Element{75E9} 352r7 457r7 670r7 6|53r7 68r7 566r5 566r44
115n7*Aspect_Iterable{75E9} 351r7 458r7 669r7 6|565r5 565r44
116n7*Aspect_Link_Name{75E9} 353r7 459r7 671r7 6|567r5 567r44
117n7*Aspect_Linker_Section{75E9} 354r7 460r7 672r7 6|568r5 568r44
118n7*Aspect_Machine_Radix{75E9} 355r7 462r7 754r7 6|570r5 570r44
119n7*Aspect_Object_Size{75E9} 250r7 356r7 466r7 755r7 6|575r5 575r44
120n7*Aspect_Obsolescent{75E9} 357r7 467r7 736r7 6|574r5 574r44
121n7*Aspect_Output{75E9} 220r7 358r7 468r7 675r7 6|576r5 576r44
122n7*Aspect_Part_Of{75E9} 359r7 470r7 737r7 828r7 6|578r5 578r44
123n7*Aspect_Post{75E9} 223r7 300r22 360r7 472r7 677r7 6|580r5 580r44 581r44
124n7*Aspect_Postcondition{75E9} 361r7 473r7 678r7 6|581r5
125n7*Aspect_Pre{75E9} 221r7 362r7 474r7 679r7 6|399r35 582r5 582r44 583r44
126n7*Aspect_Precondition{75E9} 300r37 363r7 475r7 680r7 6|400r35 583r5
127n7*Aspect_Predicate{75E9} 222r7 252r7 364r7 476r7 681r7 6|542r44 584r5
. 584r44 608r44
128n7*Aspect_Predicate_Failure{75E9} 365r7 477r7 682r7 6|585r5 585r44
129n7*Aspect_Priority{75E9} 366r7 480r7 685r7 6|563r44 588r5 588r44
130n7*Aspect_Read{75E9} 224r7 367r7 483r7 688r7 6|598r5 598r44
131n7*Aspect_Refined_Depends{75E9} 368r7 484r7 738r7 804r7 6|591r5 591r44
132n7*Aspect_Refined_Global{75E9} 369r7 485r7 739r7 805r7 6|592r5 592r44
133n7*Aspect_Refined_Post{75E9} 370r7 486r7 740r7 806r7 6|593r5 593r44
134n7*Aspect_Refined_State{75E9} 371r7 487r7 741r7 6|594r5 594r44
135n7*Aspect_Relative_Deadline{75E9} 372r7 488r7 689r7 6|599r5 599r44
136n7*Aspect_Scalar_Storage_Order{75E9} 255r7 373r7 492r7 757r7 6|600r5 600r44
137n7*Aspect_Simple_Storage_Pool{75E9} 257r7 374r7 495r7 695r7 6|603r5 603r44
138n7*Aspect_Size{75E9} 375r7 497r7 758r7 6|605r5 605r44
139n7*Aspect_Small{75E9} 376r7 498r7 759r7 6|606r5 606r44
140n7*Aspect_SPARK_Mode{75E9} 377r7 499r7 742r7 807r7 6|607r5 607r44
141n7*Aspect_Static_Predicate{75E9} 378r7 500r7 697r7 6|608r5
142n7*Aspect_Storage_Pool{75E9} 379r7 501r7 698r7 6|609r5 609r44
143n7*Aspect_Storage_Size{75E9} 380r7 502r7 760r7 6|610r5 610r44
144n7*Aspect_Stream_Size{75E9} 381r7 503r7 699r7 6|611r5 611r44
145n7*Aspect_Suppress{75E9} 382r7 504r7 700r7 6|612r5 612r44
146n7*Aspect_Synchronization{75E9} 383r7 508r7 743r7 6|615r5 615r44
147n7*Aspect_Test_Case{75E9} 262r7 278r7 384r7 509r7 744r7 6|616r5 616r44
148n7*Aspect_Type_Invariant{75E9} 226r7 385r7 510r7 704r7 6|54r7 618r5
149n7*Aspect_Unimplemented{75E9} 386r7 512r7 745r7 6|620r5 620r44
150n7*Aspect_Unsuppress{75E9} 387r7 518r7 711r7 6|626r5 626r44
151n7*Aspect_Value_Size{75E9} 268r7 388r7 519r7 761r7 6|628r5 628r44
152n7*Aspect_Variable_Indexing{75E9} 389r7 520r7 712r7 6|56r7 70r7 627r5
. 627r44
153n7*Aspect_Volatile_Function{75E9} 269r7 390r7 524r7 746r7 6|632r5 632r44
154n7*Aspect_Warnings{75E9} 270r7 391r7 525r7 747r7 808r7 6|633r5 633r44
155n7*Aspect_Write{75E9} 225r7 392r7 526r7 713r7 6|634r5 634r44
159n7*Aspect_All_Calls_Remote{75E9} 287r22 408r7 642r7 6|516r5 516r44
160n7*Aspect_Elaborate_Body{75E9} 437r7 654r7 6|545r5 545r44
161n7*Aspect_No_Elaboration_Code_All{75E9} 463r7 734r7 6|571r5 571r44
162n7*Aspect_Preelaborate{75E9} 479r7 684r7 6|586r5 586r44
163n7*Aspect_Pure{75E9} 481r7 686r7 6|589r5 589r44
164n7*Aspect_Remote_Call_Interface{75E9} 490r7 691r7 6|596r5 596r44
165n7*Aspect_Remote_Types{75E9} 491r7 692r7 6|69r7 597r5 597r44
166n7*Aspect_Shared_Passive{75E9} 494r7 694r7 6|602r5 602r44
167n7*Aspect_Universal_Data{75E9} 264r7 287r49 514r7 707r7 6|622r5 622r44
176n7*Aspect_Asynchronous{75E9} 297r22 412r7 643r7 6|520r5 520r44
177n7*Aspect_Atomic{75E9} 413r7 750r7 6|47r7 521r5 521r44 601r44
178n7*Aspect_Atomic_Components{75E9} 414r7 751r7 6|48r7 522r5 522r44
179n7*Aspect_Disable_Controlled{75E9} 431r7 726r7 6|539r5 539r44
180n7*Aspect_Discard_Names{75E9} 432r7 651r7 6|51r7 540r5 540r44
181n7*Aspect_Export{75E9} 438r7 655r7 6|546r5 546r44
182n7*Aspect_Favor_Top_Level{75E9} 244r7 442r7 658r7 6|550r5 550r44
183n7*Aspect_Independent{75E9} 447r7 661r7 6|555r5 555r44
184n7*Aspect_Independent_Components{75E9} 448r7 662r7 6|52r7 556r5 556r44
185n7*Aspect_Import{75E9} 446r7 660r7 6|554r5 554r44
186n7*Aspect_Inline{75E9} 449r7 663r7 6|557r5 557r44 558r44
187n7*Aspect_Inline_Always{75E9} 247r7 450r7 664r7 6|558r5
188n7*Aspect_Interrupt_Handler{75E9} 454r7 666r7 6|562r5 562r44
189n7*Aspect_Lock_Free{75E9} 249r7 461r7 673r7 6|569r5 569r44
190n7*Aspect_No_Return{75E9} 464r7 674r7 6|572r5 572r44
191n7*Aspect_No_Tagged_Streams{75E9} 465r7 735r7 6|573r5 573r44
192n7*Aspect_Pack{75E9} 469r7 756r7 6|577r5 577r44
193n7*Aspect_Persistent_BSS{75E9} 251r7 471r7 676r7 6|579r5 579r44
194n7*Aspect_Preelaborable_Initialization{75E9} 478r7 683r7 6|587r5 587r44
195n7*Aspect_Pure_Function{75E9} 253r7 482r7 687r7 6|590r5 590r44
196n7*Aspect_Remote_Access_Type{75E9} 254r7 489r7 690r7 6|595r5 595r44
197n7*Aspect_Shared{75E9} 256r7 493r7 693r7 6|601r5
198n7*Aspect_Simple_Storage_Pool_Type{75E9} 258r7 496r7 696r7 6|604r5 604r44
199n7*Aspect_Suppress_Debug_Info{75E9} 259r7 505r7 701r7 6|613r5 613r44
200n7*Aspect_Suppress_Initialization{75E9} 260r7 506r7 702r7 6|614r5 614r44
201n7*Aspect_Thread_Local_Storage{75E9} 261r7 507r7 703r7 6|617r5 617r44
202n7*Aspect_Unchecked_Union{75E9} 511r7 705r7 6|55r7 619r5 619r44
203n7*Aspect_Universal_Aliasing{75E9} 263r7 513r7 706r7 6|621r5 621r44
204n7*Aspect_Unmodified{75E9} 265r7 515r7 708r7 6|623r5 623r44
205n7*Aspect_Unreferenced{75E9} 266r7 516r7 709r7 6|624r5 624r44
206n7*Aspect_Unreferenced_Objects{75E9} 267r7 517r7 710r7 6|625r5 625r44
207n7*Aspect_Volatile{75E9} 521r7 762r7 6|57r7 629r5 629r44
208n7*Aspect_Volatile_Components{75E9} 522r7 763r7 6|630r5 630r44
209n7*Aspect_Volatile_Full_Access{75E9} 523r7 764r7 6|58r7 631r5 631r44
211E12*Aspect_Id_Exclude_No_Aspect{75E9}
217a4*Class_Aspect_OK(boolean)
231a4*Implementation_Defined_Aspect(boolean)
276a4*No_Duplicates_Allowed(boolean)
286E12*Library_Unit_Aspects{75E9} 395r7
296E12*Boolean_Aspects{75E9} 394r7
299E12*Pre_Post_Aspects{75E9}
304E9*Aspect_Expression 308e21 312r52
305n7*Expression{304E9} 314r44 315r44 316r44 317r44 320r44 321r44 322r44
. 325r44 327r44 328r44 331r44 332r44 333r44 334r44 335r44 336r44 337r44 341r44
. 342r44 344r44 346r44 347r44 349r44 350r44 351r44 353r44 354r44 355r44 356r44
. 359r44 360r44 361r44 362r44 363r44 364r44 365r44 366r44 368r44 369r44 370r44
. 371r44 372r44 373r44 375r44 376r44 378r44 380r44 381r44 384r44 385r44 388r44
306n7*Name{304E9} 324r44 326r44 330r44 345r44 348r44 352r44 358r44 367r44
. 374r44 379r44 382r44 383r44 387r44 389r44 391r44 392r44
307n7*Optional_Expression{304E9} 313r44 318r44 319r44 323r44 329r44 338r44
. 339r44 340r44 343r44 357r44 386r44 390r44 394r44 395r44
308n7*Optional_Name{304E9} 377r44
312a4*Aspect_Argument(304E9)
403a4*Aspect_Names(12|180I9) 6|707r33
528V13*Get_Aspect_Id{75E9} 528>28 529r19 6|301b13 304l8 304t21
528i28 Name{12|180I9} 6|301b28 303r40
533V13*Get_Aspect_Id{75E9} 533>28 6|169s44 238s21 261s16 306b13 310l8 310t21
. 396s26 416s26
533i28 Aspect{28|385I9} 6|306b28 308r29 309r59
598E9*Delay_Type 611e18 639r49
599n7*Always_Delay{598E9} 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 694r46 695r46 696r46 697r46 698r46 699r46 700r46 701r46
. 702r46 703r46 704r46 705r46 706r46 707r46 708r46 709r46 710r46 711r46 712r46
. 713r46
603n7*Never_Delay{598E9} 715r46 716r46 717r46 718r46 719r46 720r46 721r46
. 722r46 723r46 724r46 725r46 726r46 727r46 728r46 729r46 730r46 731r46 732r46
. 733r46 734r46 735r46 736r46 737r46 738r46 739r46 740r46 741r46 742r46 743r46
. 744r46 745r46 746r46 747r46
611n7*Rep_Aspect{598E9} 749r46 750r46 751r46 752r46 753r46 754r46 755r46
. 756r46 757r46 758r46 759r46 760r46 761r46 762r46 763r46 764r46
639a4*Aspect_Delay(598E9)
803a4*Aspect_On_Body_Or_Stub_OK(boolean) 6|169r17 398r19
825a4*Aspect_On_Anonymous_Object_OK(boolean) 6|418r19
845V13*Aspect_Specifications{28|434I9} 845>36 6|135b13 142l8 142t29 166s18
. 193s38 194s38 259s25 329s41 352s21 379s24 434s28
845i36 N{28|385I9} 6|135b36 137r23 138r55
859V13*Aspects_On_Body_Or_Stub_OK{boolean} 859>41 6|148b13 177l8 177t34
859i41 N{28|385I9} 6|148b41 155r35 156r29 157r42 166r41
863U14*Exchange_Aspects 863>32 863>46 6|183b14 202l8 202t24
863i32 N1{28|385I9} 6|183b32 186r41 191r23 193r61 197r29 198r51
863i46 N2{28|385I9} 6|183b46 187r52 191r49 194r61 196r29 199r51
868V13*Find_Aspect{28|385I9} 868>26 868>42 6|208b13 273l8 273t19 283s34 318s23
868i26 Id{28|388I12} 6|208b26 215r16 219r19
868e42 A{75E9} 6|208b42 220r26 224r67 238r44 261r39
872V13*Find_Value_Of_Aspect{28|385I9} 873>7 874>7 6|279b13 295l8 295t28
873i7 Id{28|388I12} 6|280b7 283r47
874e7 A{75E9} 6|281b7 283r51 287r13
878V13*Has_Aspect{boolean} 878>25 878>41 6|316b13 319l8 319t18
878i25 Id{28|388I12} 6|316b25 318r36
878e41 A{75E9} 6|316b41 318r40
881U14*Move_Aspects 881>28 881>44 6|325b14 333l8 333t20
881i28 From{28|385I9} 6|325b28 328r23 329r64 330r51 331r27
881i44 To{28|385I9} 6|325b44 326r39 329r37
886U14*Move_Or_Merge_Aspects 886>37 886>53 6|339b14 438l8 438t29
886i37 From{28|385I9} 6|339b37 378r23 379r47 393r23 394r56 413r37 434r51
. 435r29
886i53 To{28|385I9} 6|339b53 351r26 352r44 358r40 359r30
897V13*Permits_Aspect_Specifications{boolean} 897>44 6|186s10 187s21 252s14
. 258s10 488b13 491l8 491t37 647s22 662s22
897i44 N{28|385I9} 6|488b44 490r53
902U14*Remove_Aspects 902>30 6|435s13 497b14 503l8 503t22
902i30 N{28|385I9} 6|497b30 499r23 500r51 501r27
906V13*Same_Aspect{boolean} 906>26 906>42 6|636b13 639l8 639t19
906e26 A1{75E9} 6|636b26 638r32
906e42 A2{75E9} 6|636b42 638r56
911U14*Set_Aspect_Specifications 911>41 911>54 6|329s10 358s13 645b14 654l8
. 654t33
911i41 N{28|385I9} 6|645b41 647r53 648r39 651r24 652r22 653r45
911i54 L{28|434I9} 6|645b54 649r22 652r19 653r48
921U14*Tree_Read 6|674b14 684l8 684t17
924U14*Tree_Write 6|690b14 701l8 701t18
X 6 aspects.adb
46a4 Base_Aspect(boolean) 220r13
64a4 Inherited_Aspect(boolean) 224r49
73U14 Set_Aspect_Specifications_No_Check 73>50 73>63 660b14 668l8 668t42
. 682s10
73i50 N{28|385I9} 660b50 662r53 665r24 666r22 667r45
73i63 L{28|434I9} 660b63 663r22 666r19 667r48
87I9 AS_Hash_Range<short_integer> 90r42 93r42 95r14 100r23
90V13 AS_Hash{87I9} 90>22 93b13 96l8 96t15 104r23
90i22 F{28|385I9} 93b22 95r29
98K12 Aspect_Specifications_Hash_Table[19|70] 138r17 198r13 199r13 330r10
. 500r10 653r7 667r7 694r7 699r10
111I9 AI_Hash_Range<short_short_integer> 114r42 117r42 119r14 124r23
114V13 AI_Hash{111I9} 114>22 117b13 120l8 120t15 128r23
114i22 F{12|180I9} 117b22 119r29
122K12 Aspect_Id_Hash_Table[19|70] 303r14 309r14 707r7
149i7 Aspect{28|385I9} 167m7 168r22 169r59 173m16 173r16
150i7 Aspects{28|434I9} 166m7 167r25
193i13 L1{28|434I9} 196r25 199r55
194i13 L2{28|434I9} 197r25 198r55
209i7 Decl{28|385I9} 251m7 252r45 253m10 253r26 258r41 259r48
210i7 Item{28|385I9} 235m7 236r22 237r20 238r36 240r20 243m25 243r25
211i7 Owner{28|388I12} 215m7 221m13 221r33 224r33 225m13 225r33 228r30 228r66
. 229m13 229r33 235r31 251r23
212i7 Spec{28|385I9} 259m10 260r25 261r31 262r23 265m19 265r19
283i7 Spec{28|385I9} 286r19 288r49 290r32
340U17 Relocate_Aspect 340>34 347b17 367l11 367t26 402s19 419s19 425s16
340i34 Asp{28|385I9} 347b34 365r18 366r18
348i10 Asps{28|434I9} 352m13 357m13 358r44 366r23
371i7 Asp{28|385I9} 379m10 380r25 385r31 396r41 402r36 416r41 419r36 425r33
. 428m13
372e7 Asp_Id{5|75E9} 396m16 398r46 399r26 400r26 416m16 418r50
373i7 Next_Asp{28|385I9} 385m13 428r20
444a4 Has_Aspect_Specifications_Flag(boolean) 490r14
511a4 Canonical_Aspect(5|75E9) 638r14 638r38
675i7 Node{28|385I9} 679m30 679r30 682r46
676i7 List{28|434I9} 680m30 680r30 681r20 682r52
691i7 Node{28|385I9} 694m51 694r51 696r31 699m53 699r53
692i7 List{28|434I9} 694m57 697r31 698r20 699m59
706e8 J{5|75E9} 707r47 707r51
X 7 atree.ads
44K9*Atree 6|32w6 32r20 7|4248e10
620V13*Has_Aspects{boolean} 6|137s10 155s22 191s10 191s36 326s26 328s10 351s13
. 378s10 499s10 648s26
626V13*Nkind{14|8194E9} 6|156s22 237s13 308s22 393s16 490s46
629V13*No{boolean} 6|394s24
634V13*Parent{28|385I9} 6|251s15 253s18
642V13*Present{boolean} 6|168s13 228s46 236s13 260s16 286s10 318s14 380s16
657V13*Nkind_In{boolean} 6|412s19
675V13*Nkind_In{boolean} 6|157s32
968U14*Set_Has_Aspects 6|331s10 359s13 501s10 651s7 665s7
1099V13*Original_Node{28|385I9} 6|413s22
X 8 einfo.ads
37K9*Einfo 6|33w6 33r20 8|9166e10
6709B12*B{boolean}
6711I12*E{28|388I12}
6714I12*N{28|385I9}
6834V13*First_Rep_Item{6714I12} 6|235s15
6838V13*Full_View{6711I12} 6|228s55 229s22
7202V13*Is_Class_Wide_Type{6709E12} 6|224s13
7235V13*Is_Private_Type{6709E12} 6|228s13
7244V13*Is_Type{6709E12} 6|219s10
7256V13*Base_Type{6711I12} 6|221s22
7315V13*Root_Type{6711I12} 6|225s22
X 9 gnat.ads
34K9*GNAT 6|38r6 38r33 99r6 123r6 9|37e9
X 10 g-htable.ads
46K14*HTable 6|38w11 38r38 99r11 123r11 10|60e16
55k20*Simple_HTable 6|99r18 123r18
X 12 namet.ads
38K9*Namet 5|67w6 67r19 12|713e10
180I9*Name_Id<integer> 5|403r49 528r35 6|114r26 117r26 127r23 301r35
184i4*No_Name{180I9} 5|404r46
X 13 nlists.ads
41K9*Nlists 6|34w6 34r20 13|367e11
68V13*New_List{28|434I9} 6|357s21
124V13*First{28|394I12} 6|167s18 259s18 379s17
156V13*Next{28|394I12} 6|385s25
162U14*Next 6|173s10 265s13
206V13*Is_Empty_List{boolean} 6|434s13
226U14*Append 6|366s10
300U14*Remove 6|365s10
341U14*Set_Parent 6|196s13 197s13 652s7 666s7
X 14 sinfo.ads
54K9*Sinfo 6|35w6 35r20 14|13300e10
8194E9*Node_Kind 6|444r53 14|8583e23
8359n7*N_Component_Declaration{8194E9} 6|446r7
8360n7*N_Entry_Declaration{8194E9} 6|448r7
8361n7*N_Expression_Function{8194E9} 6|451r7
8362n7*N_Formal_Object_Declaration{8194E9} 6|454r7
8363n7*N_Formal_Type_Declaration{8194E9} 6|456r7
8364n7*N_Full_Type_Declaration{8194E9} 6|457r7
8368n7*N_Object_Declaration{8194E9} 6|462r7
8369n7*N_Protected_Type_Declaration{8194E9} 6|475r7
8370n7*N_Private_Extension_Declaration{8194E9} 6|470r7
8371n7*N_Private_Type_Declaration{8194E9} 6|471r7
8372n7*N_Subtype_Declaration{8194E9} 6|482r7
8386n7*N_Task_Type_Declaration{8194E9} 6|485r7
8390n7*N_Package_Body_Stub{8194E9} 6|465r7
8391n7*N_Protected_Body_Stub{8194E9} 6|474r7
8392n7*N_Subprogram_Body_Stub{8194E9} 6|393r31 479r7
8393n7*N_Task_Body_Stub{8194E9} 6|484r7
8398n7*N_Function_Instantiation{8194E9} 6|458r7
8399n7*N_Procedure_Instantiation{8194E9} 6|472r7
8403n7*N_Package_Instantiation{8194E9} 6|467r7
8407n7*N_Package_Body{8194E9} 6|158r45 464r7
8408n7*N_Subprogram_Body{8194E9} 6|160r45 478r7
8412n7*N_Protected_Body{8194E9} 6|159r45 473r7
8413n7*N_Task_Body{8194E9} 6|161r45 483r7
8418n7*N_Package_Declaration{8194E9} 6|466r7
8419n7*N_Single_Task_Declaration{8194E9} 6|414r44 477r7
8420n7*N_Subprogram_Declaration{8194E9} 6|480r7
8425n7*N_Generic_Package_Declaration{8194E9} 6|459r7
8426n7*N_Generic_Subprogram_Declaration{8194E9} 6|461r7
8435n7*N_Exception_Renaming_Declaration{8194E9} 6|450r7
8436n7*N_Object_Renaming_Declaration{8194E9} 6|463r7
8437n7*N_Package_Renaming_Declaration{8194E9} 6|469r7
8438n7*N_Subprogram_Renaming_Declaration{8194E9} 6|481r7
8493n7*N_Formal_Abstract_Subprogram_Declaration{8194E9} 6|452r7
8494n7*N_Formal_Concrete_Subprogram_Declaration{8194E9} 6|453r7
8517n7*N_Abstract_Subprogram_Declaration{8194E9} 6|445r7
8520n7*N_Aspect_Specification{8194E9} 6|237r28 308r39
8538n7*N_Entry_Body{8194E9} 6|157r45 447r7
8541n7*N_Exception_Declaration{8194E9} 6|449r7
8550n7*N_Formal_Package_Declaration{8194E9} 6|455r7
8565n7*N_Package_Specification{8194E9} 6|468r7
8574n7*N_Single_Protected_Declaration{8194E9} 6|413r44 476r7
8604E12*N_Body_Stub{8194E9} 6|156r35
8638E12*N_Generic_Renaming_Declaration{8194E9} 6|460r7
8854V13*Aspect_Rep_Item{28|385I9} 6|288s32
8893V13*Chars{12|180I9} 6|309s40
8998V13*Corresponding_Spec_Of_Stub{28|385I9} 6|394s28
9160V13*Expression{28|385I9} 6|288s20 290s20
9282V13*Identifier{28|385I9} 6|309s47
10862U14*Next_Rep_Item 6|243s10
X 15 snames.ads
34K9*Snames 5|68w6 68r19 15|2146e11
140i4*Name_Default_Value{12|180I9} 5|427r46
141i4*Name_Default_Component_Value{12|180I9} 5|423r46
142i4*Name_Dimension{12|180I9} 5|429r46
143i4*Name_Dimension_System{12|180I9} 5|430r46
144i4*Name_Disable_Controlled{12|180I9} 5|431r46
145i4*Name_Dynamic_Predicate{12|180I9} 5|434r46
146i4*Name_Static_Predicate{12|180I9} 5|500r46
147i4*Name_Synchronization{12|180I9} 5|508r46
148i4*Name_Unimplemented{12|180I9} 5|512r46
387i4*Name_Annotate{12|180I9} 5|409r46
404i4*Name_Default_Storage_Pool{12|180I9} 5|426r46
406i4*Name_Discard_Names{12|180I9} 5|432r46
427i4*Name_Favor_Top_Level{12|180I9} 5|442r46
437i4*Name_No_Tagged_Streams{12|180I9} 5|465r46
443i4*Name_Persistent_BSS{12|180I9} 5|471r46
461i4*Name_SPARK_Mode{12|180I9} 5|499r46
463i4*Name_Suppress{12|180I9} 5|504r46
467i4*Name_Universal_Data{12|180I9} 5|514r46
468i4*Name_Unsuppress{12|180I9} 5|518r46
472i4*Name_Warnings{12|180I9} 5|525r46
479i4*Name_Abstract_State{12|180I9} 5|405r46
480i4*Name_All_Calls_Remote{12|180I9} 5|408r46
483i4*Name_Async_Readers{12|180I9} 5|410r46
484i4*Name_Async_Writers{12|180I9} 5|411r46
485i4*Name_Asynchronous{12|180I9} 5|412r46
486i4*Name_Atomic{12|180I9} 5|413r46
487i4*Name_Atomic_Components{12|180I9} 5|414r46
488i4*Name_Attach_Handler{12|180I9} 5|415r46
494i4*Name_Constant_After_Elaboration{12|180I9} 5|418r46
495i4*Name_Contract_Cases{12|180I9} 5|420r46
497i4*Name_Convention{12|180I9} 5|421r46
510i4*Name_Default_Initial_Condition{12|180I9} 5|424r46
511i4*Name_Depends{12|180I9} 5|428r46
512i4*Name_Effective_Reads{12|180I9} 5|435r46
513i4*Name_Effective_Writes{12|180I9} 5|436r46
516i4*Name_Elaborate_Body{12|180I9} 5|437r46
517i4*Name_Export{12|180I9} 5|438r46
523i4*Name_Extensions_Visible{12|180I9} 5|439r46
526i4*Name_Ghost{12|180I9} 5|443r46
527i4*Name_Global{12|180I9} 5|444r46
531i4*Name_Import{12|180I9} 5|446r46
536i4*Name_Independent{12|180I9} 5|447r46
537i4*Name_Independent_Components{12|180I9} 5|448r46
538i4*Name_Initial_Condition{12|180I9} 5|451r46
539i4*Name_Initializes{12|180I9} 5|452r46
540i4*Name_Inline{12|180I9} 5|449r46
541i4*Name_Inline_Always{12|180I9} 5|450r46
551i4*Name_Interrupt_Handler{12|180I9} 5|454r46
558i4*Name_Invariant{12|180I9} 5|456r46
565i4*Name_Linker_Section{12|180I9} 5|460r46
580i4*Name_No_Elaboration_Code_All{12|180I9} 5|463r46
582i4*Name_No_Return{12|180I9} 5|464r46
583i4*Name_Obsolescent{12|180I9} 5|467r46
586i4*Name_Pack{12|180I9} 5|469r46
588i4*Name_Part_Of{12|180I9} 5|470r46
590i4*Name_Post{12|180I9} 5|472r46
591i4*Name_Postcondition{12|180I9} 5|473r46
593i4*Name_Pre{12|180I9} 5|474r46
594i4*Name_Precondition{12|180I9} 5|475r46
595i4*Name_Predicate{12|180I9} 5|476r46
596i4*Name_Predicate_Failure{12|180I9} 5|477r46
597i4*Name_Preelaborable_Initialization{12|180I9} 5|478r46
598i4*Name_Preelaborate{12|180I9} 5|479r46
609i4*Name_Pure{12|180I9} 5|481r46
610i4*Name_Pure_Function{12|180I9} 5|482r46
611i4*Name_Refined_Depends{12|180I9} 5|484r46
612i4*Name_Refined_Global{12|180I9} 5|485r46
613i4*Name_Refined_Post{12|180I9} 5|486r46
614i4*Name_Refined_State{12|180I9} 5|487r46
615i4*Name_Relative_Deadline{12|180I9} 5|488r46
616i4*Name_Remote_Access_Type{12|180I9} 5|489r46
617i4*Name_Remote_Call_Interface{12|180I9} 5|490r46
618i4*Name_Remote_Types{12|180I9} 5|491r46
620i4*Name_Shared{12|180I9} 5|493r46
621i4*Name_Shared_Passive{12|180I9} 5|494r46
622i4*Name_Simple_Storage_Pool_Type{12|180I9} 5|496r46
637i4*Name_Suppress_Debug_Info{12|180I9} 5|505r46
638i4*Name_Suppress_Initialization{12|180I9} 5|506r46
640i4*Name_Test_Case{12|180I9} 5|509r46
644i4*Name_Thread_Local_Storage{12|180I9} 5|507r46
647i4*Name_Type_Invariant{12|180I9} 5|510r46
649i4*Name_Unchecked_Union{12|180I9} 5|511r46
651i4*Name_Universal_Aliasing{12|180I9} 5|513r46
652i4*Name_Unmodified{12|180I9} 5|515r46
653i4*Name_Unreferenced{12|180I9} 5|516r46
654i4*Name_Unreferenced_Objects{12|180I9} 5|517r46
656i4*Name_Volatile{12|180I9} 5|521r46
657i4*Name_Volatile_Components{12|180I9} 5|522r46
658i4*Name_Volatile_Full_Access{12|180I9} 5|523r46
659i4*Name_Volatile_Function{12|180I9} 5|524r46
733i4*Name_External_Name{12|180I9} 5|440r46
752i4*Name_Link_Name{12|180I9} 5|459r46
848i4*Name_Address{12|180I9} 5|406r46
851i4*Name_Alignment{12|180I9} 5|407r46
856i4*Name_Bit_Order{12|180I9} 5|416r46
863i4*Name_Component_Size{12|180I9} 5|417r46
865i4*Name_Constant_Indexing{12|180I9} 5|419r46
870i4*Name_Default_Iterator{12|180I9} 5|425r46
884i4*Name_External_Tag{12|180I9} 5|441r46
897i4*Name_Implicit_Dereference{12|180I9} 5|445r46
900i4*Name_Iterator_Element{12|180I9} 5|457r46
901i4*Name_Iterable{12|180I9} 5|458r46
909i4*Name_Lock_Free{12|180I9} 5|461r46
915i4*Name_Machine_Radix{12|180I9} 5|462r46
931i4*Name_Object_Size{12|180I9} 5|466r46
939i4*Name_Priority{12|180I9} 5|480r46
951i4*Name_Scalar_Storage_Order{12|180I9} 5|492r46
955i4*Name_Size{12|180I9} 5|497r46
956i4*Name_Small{12|180I9} 5|498r46
957i4*Name_Storage_Size{12|180I9} 5|502r46
959i4*Name_Stream_Size{12|180I9} 5|503r46
977i4*Name_Value_Size{12|180I9} 5|519r46
978i4*Name_Variable_Indexing{12|180I9} 5|520r46
998i4*Name_Input{12|180I9} 5|453r46
1020i4*Name_Output{12|180I9} 5|468r46
1021i4*Name_Read{12|180I9} 5|483r46
1022i4*Name_Write{12|180I9} 5|526r46
1034i4*Name_Simple_Storage_Pool{12|180I9} 5|495r46
1035i4*Name_Storage_Pool{12|180I9} 5|501r46
1063i4*Name_CPU{12|180I9} 5|422r46
1064i4*Name_Dispatching_Domain{12|180I9} 5|433r46
1065i4*Name_Interrupt_Priority{12|180I9} 5|455r46
X 19 s-htable.ads
56I12 Header_Num 6|100r9 124r9
59+12 Element 6|101r9 125r9
62*7 No_Element{59+12} 6|102r9 126r9
66+12 Key 6|103r9 127r9
67V21 Hash{56I12} 6|104r9 128r9
68V21 Equal{boolean} 6|105r9 129r9
72U17*Set 6|198s46[98] 199s46[98] 653s40[98] 667s40[98] 707s28[122]
79V16*Get{28|434I9} 6|138s50[98] 303s35[122] 309s35[122]
83U17*Remove 6|330s43[98] 500s43[98]
98U17*Get_First 6|694s40[98]
105U17*Get_Next 6|699s43[98]
X 27 tree_io.ads
45K9*Tree_IO 6|36w6 36r20 27|128e12
91U14*Tree_Read_Int 6|679s10 680s10
118U14*Tree_Write_Int 6|696s10 697s10
X 28 types.ads
52K9*Types 5|69w6 69r19 28|941e10
59I9*Int<integer> 6|679r25 680r25 696r26 697r26
385I9*Node_Id<integer> 5|533r37 845r40 859r45 863r37 863r51 868r64 874r30
. 881r35 881r49 886r44 886r58 897r48 902r34 911r45 6|73r54 90r26 93r26 103r23
. 135r40 148r45 149r17 183r37 183r51 208r64 209r15 210r15 212r15 281r30 283r23
. 306r37 325r35 325r49 339r44 339r58 340r40 347r40 371r18 373r18 488r48 497r34
. 645r45 660r54 675r14 691r14
388I12*Entity_Id{385I9} 5|868r31 873r12 878r30 6|208r31 211r15 280r12 316r30
394I12*Node_Or_Entity_Id{385I9}
400i4*Empty{385I9} 6|272r14 294r14 691r25
434I9*List_Id<integer> 5|845r56 911r58 6|73r67 101r23 135r56 150r17 193r27
. 194r27 348r17 645r58 660r67 676r14 692r14
437i4*No_List{434I9} 6|102r23 140r17 649r27 663r27 681r27 698r27
|