libgnatvsn6-dev-armel-cross 6.3.0-18cross1 / usr / lib / gcc-cross / arm-linux-gnueabi / 6 / adalib / gnatvsn / aspects.ali

V "GNAT Lib v6"
A -nostdinc
A -O2
A -fPIC
A -g
A -march=armv4t
A -mfloat-abi=soft
A -mtls-dialect=gnu
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		20170517150739 b65780a1 snames%s
D system.ads		20151123113124 2a1dd890 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		20170517150628 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