libgnatvsn5-dev 5.3.1-14ubuntu2 / usr / lib / ada / adalib / gnatvsn / aspects.ali

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		20160413114258 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		20160413105229 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