libgnatvsn4.9-dev 4.9.2-1 / usr / lib / ada / adalib / gnatvsn / aspects.ali

V "GNAT Lib v4.9"
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		a41ba101 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		29ea2ea0 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
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20120330092659 daf1344a
D aspects.ads		20140225151544 132f69b1
D aspects.adb		20140225151544 fb524d2a
D atree.ads		20140225154805 15f9fb8a
D einfo.ads		20140225154805 b22949de
D gnat.ads		20110801150502 fd2ad2f1
D g-htable.ads		20140225151544 4b643b8d
D hostparm.ads		20130411123322 c164ed60
D namet.ads		20140129155348 0b5fbeae
D nlists.ads		20140206101107 783bf08e
D sinfo.ads		20140225150201 4a23565b
D snames.ads		20141119215425 383b4c02
D system.ads		20141119215827 90249111
D s-conca2.ads		20140225151544 02a0d7d0
D s-exctab.ads		20140225151139 54135002
D s-htable.ads		20140225151139 84c2b3ea
D s-htable.adb		20140225151139 90376e52
D s-os_lib.ads		20140225151139 73b554c6
D s-stalib.ads		20140225151139 a891183f
D s-strhas.ads		20090623093900 269cd894
D s-string.ads		20140225151139 8fe54fb7
D s-unstyp.ads		20140225151139 510692af
D table.ads		20090506081141 e3a9ec16
D tree_io.ads		20130910150933 92caaa96
D types.ads		20140129155348 09a1b5bd
D uintp.ads		20141119214236 2762e44a
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
D urealp.ads		20130411125352 e500ee51
X 5 aspects.ads
71K9*Aspects 825l5 825e12 6|40b14 674l5 674t12
75E9*Aspect_Id 197e24 200r6 200r22 200r52 205r38 215r52 253r44 263r6 273r6
. 273r46 276r6 288r38 365r35 474r51 479r53 577r35 725r48 770r46 776r12 780r45
. 804r31 804r47 6|46r34 63r39 124r23 206r46 279r12 299r51 304r53 314r45 371r18
. 492r39 492r53 601r31 601r47 671r13
76n7*No_Aspect{75E9} 200r38 289r7 366r7 578r7 6|125r23 493r5 493r44
77n7*Aspect_Abstract_State{75E9} 216r7 290r7 367r7 661r7 6|494r5 494r44
78n7*Aspect_Address{75E9} 291r7 368r7 579r7 6|495r5 495r44
79n7*Aspect_Alignment{75E9} 292r7 369r7 672r7 6|496r5 496r44
80n7*Aspect_Attach_Handler{75E9} 293r7 376r7 584r7 6|503r5 503r44
81n7*Aspect_Bit_Order{75E9} 294r7 377r7 675r7 6|504r5 504r44
82n7*Aspect_Component_Size{75E9} 295r7 378r7 676r7 6|505r5 505r44
83n7*Aspect_Constant_Indexing{75E9} 296r7 379r7 585r7 6|49r7 64r7 506r5 506r44
84n7*Aspect_Contract_Cases{75E9} 219r7 297r7 380r7 586r7 6|507r5 507r44
85n7*Aspect_Convention{75E9} 298r7 381r7 662r7 6|508r5 508r44
86n7*Aspect_CPU{75E9} 299r7 382r7 587r7 6|509r5 509r44
87n7*Aspect_Default_Component_Value{75E9} 300r7 385r7 590r7 6|510r5 510r44
88n7*Aspect_Default_Iterator{75E9} 301r7 383r7 588r7 6|50r7 65r7 285r17 511r5
. 511r44
89n7*Aspect_Default_Value{75E9} 302r7 384r7 589r7 6|512r5 512r44
90n7*Aspect_Depends{75E9} 220r7 303r7 386r7 591r7 6|513r5 513r44
91n7*Aspect_Dimension{75E9} 221r7 304r7 387r7 663r7 6|514r5 514r44
92n7*Aspect_Dimension_System{75E9} 222r7 305r7 388r7 664r7 6|515r5 515r44
93n7*Aspect_Dispatching_Domain{75E9} 306r7 390r7 593r7 6|517r5 517r44
94n7*Aspect_Dynamic_Predicate{75E9} 307r7 391r7 594r7 6|518r5
95n7*Aspect_External_Name{75E9} 308r7 395r7 598r7 6|523r5 523r44
96n7*Aspect_External_Tag{75E9} 309r7 396r7 599r7 6|524r5 524r44
97n7*Aspect_Global{75E9} 226r7 310r7 399r7 602r7 6|526r5 526r44
98n7*Aspect_Implicit_Dereference{75E9} 311r7 400r7 603r7 6|66r7 527r5 527r44
99n7*Aspect_Initial_Condition{75E9} 312r7 406r7 609r7 6|533r5 533r44
100n7*Aspect_Initializes{75E9} 313r7 407r7 610r7 6|534r5 534r44
101n7*Aspect_Input{75E9} 314r7 408r7 611r7 6|535r5 535r44
102n7*Aspect_Interrupt_Priority{75E9} 315r7 410r7 613r7 6|537r5
103n7*Aspect_Invariant{75E9} 206r7 228r7 316r7 411r7 614r7 6|538r5 538r44
. 586r44
104n7*Aspect_Iterator_Element{75E9} 318r7 412r7 616r7 6|53r7 67r7 540r5 540r44
105n7*Aspect_Iterable{75E9} 317r7 413r7 615r7 6|539r5 539r44
106n7*Aspect_Link_Name{75E9} 319r7 414r7 617r7 6|541r5 541r44
107n7*Aspect_Linker_Section{75E9} 320r7 415r7 618r7 6|542r5 542r44
108n7*Aspect_Machine_Radix{75E9} 321r7 417r7 677r7 6|544r5 544r44
109n7*Aspect_Object_Size{75E9} 230r7 322r7 419r7 678r7 6|546r5 546r44
110n7*Aspect_Output{75E9} 323r7 420r7 621r7 6|547r5 547r44
111n7*Aspect_Part_Of{75E9} 324r7 422r7 665r7 6|549r5 549r44
112n7*Aspect_Post{75E9} 209r7 276r22 325r7 424r7 623r7 6|551r5 551r44 552r44
113n7*Aspect_Postcondition{75E9} 326r7 425r7 624r7 6|552r5
114n7*Aspect_Pre{75E9} 207r7 327r7 426r7 625r7 6|398r35 553r5 553r44 554r44
115n7*Aspect_Precondition{75E9} 276r37 328r7 427r7 626r7 6|399r35 554r5
116n7*Aspect_Predicate{75E9} 208r7 232r7 329r7 428r7 627r7 6|518r44 555r5
. 555r44 578r44
117n7*Aspect_Priority{75E9} 330r7 431r7 630r7 6|537r44 558r5 558r44
118n7*Aspect_Read{75E9} 331r7 434r7 633r7 6|568r5 568r44
119n7*Aspect_Refined_Depends{75E9} 332r7 435r7 634r7 726r7 6|561r5 561r44
120n7*Aspect_Refined_Global{75E9} 333r7 436r7 635r7 727r7 6|562r5 562r44
121n7*Aspect_Refined_Post{75E9} 334r7 437r7 666r7 728r7 6|563r5 563r44
122n7*Aspect_Refined_State{75E9} 335r7 438r7 636r7 6|564r5 564r44
123n7*Aspect_Relative_Deadline{75E9} 336r7 439r7 637r7 6|569r5 569r44
124n7*Aspect_Scalar_Storage_Order{75E9} 235r7 337r7 443r7 680r7 6|570r5 570r44
125n7*Aspect_Simple_Storage_Pool{75E9} 237r7 338r7 446r7 643r7 6|573r5 573r44
126n7*Aspect_Size{75E9} 339r7 448r7 681r7 6|575r5 575r44
127n7*Aspect_Small{75E9} 340r7 449r7 682r7 6|576r5 576r44
128n7*Aspect_SPARK_Mode{75E9} 341r7 450r7 667r7 729r7 6|577r5 577r44
129n7*Aspect_Static_Predicate{75E9} 342r7 451r7 645r7 6|578r5
130n7*Aspect_Storage_Pool{75E9} 343r7 452r7 646r7 6|579r5 579r44
131n7*Aspect_Storage_Size{75E9} 344r7 453r7 683r7 6|580r5 580r44
132n7*Aspect_Stream_Size{75E9} 345r7 454r7 647r7 6|581r5 581r44
133n7*Aspect_Suppress{75E9} 346r7 455r7 648r7 6|582r5 582r44
134n7*Aspect_Synchronization{75E9} 347r7 457r7 668r7 6|584r5 584r44
135n7*Aspect_Test_Case{75E9} 240r7 254r7 348r7 458r7 669r7 6|585r5 585r44
136n7*Aspect_Type_Invariant{75E9} 210r7 349r7 459r7 650r7 6|54r7 586r5
137n7*Aspect_Unsuppress{75E9} 350r7 466r7 657r7 6|593r5 593r44
138n7*Aspect_Value_Size{75E9} 246r7 351r7 467r7 684r7 6|595r5 595r44
139n7*Aspect_Variable_Indexing{75E9} 352r7 468r7 658r7 6|56r7 69r7 594r5
. 594r44
140n7*Aspect_Warnings{75E9} 247r7 353r7 471r7 670r7 730r7 6|598r5 598r44
141n7*Aspect_Write{75E9} 354r7 472r7 659r7 6|599r5 599r44
145n7*Aspect_All_Calls_Remote{75E9} 263r22 370r7 580r7 6|497r5 497r44
146n7*Aspect_Elaborate_Body{75E9} 394r7 597r7 6|521r5 521r44
147n7*Aspect_Preelaborate{75E9} 430r7 629r7 6|556r5 556r44
148n7*Aspect_Pure{75E9} 432r7 631r7 6|559r5 559r44
149n7*Aspect_Remote_Call_Interface{75E9} 441r7 639r7 6|566r5 566r44
150n7*Aspect_Remote_Types{75E9} 442r7 640r7 6|68r7 567r5 567r44
151n7*Aspect_Shared_Passive{75E9} 445r7 642r7 6|572r5 572r44
152n7*Aspect_Universal_Data{75E9} 242r7 263r49 462r7 653r7 6|589r5 589r44
161n7*Aspect_Async_Readers{75E9} 217r7 273r22 371r7 581r7 6|498r5 498r44
162n7*Aspect_Async_Writers{75E9} 218r7 372r7 582r7 6|499r5 499r44
163n7*Aspect_Asynchronous{75E9} 373r7 583r7 6|500r5 500r44
164n7*Aspect_Atomic{75E9} 374r7 673r7 6|47r7 501r5 501r44 571r44
165n7*Aspect_Atomic_Components{75E9} 375r7 674r7 6|48r7 502r5 502r44
166n7*Aspect_Discard_Names{75E9} 389r7 592r7 6|51r7 516r5 516r44
167n7*Aspect_Effective_Reads{75E9} 223r7 392r7 595r7 6|519r5 519r44
168n7*Aspect_Effective_Writes{75E9} 224r7 393r7 596r7 6|520r5 520r44
169n7*Aspect_Export{75E9} 397r7 600r7 6|522r5 522r44
170n7*Aspect_Favor_Top_Level{75E9} 225r7 398r7 601r7 6|525r5 525r44
171n7*Aspect_Independent{75E9} 402r7 605r7 6|529r5 529r44
172n7*Aspect_Independent_Components{75E9} 403r7 606r7 6|52r7 530r5 530r44
173n7*Aspect_Import{75E9} 401r7 604r7 6|528r5 528r44
174n7*Aspect_Inline{75E9} 404r7 607r7 6|531r5 531r44 532r44
175n7*Aspect_Inline_Always{75E9} 227r7 405r7 608r7 6|532r5
176n7*Aspect_Interrupt_Handler{75E9} 409r7 612r7 6|536r5 536r44
177n7*Aspect_No_Return{75E9} 418r7 620r7 6|545r5 545r44
178n7*Aspect_Pack{75E9} 421r7 679r7 6|548r5 548r44
179n7*Aspect_Persistent_BSS{75E9} 231r7 423r7 622r7 6|550r5 550r44
180n7*Aspect_Preelaborable_Initialization{75E9} 429r7 628r7 6|557r5 557r44
181n7*Aspect_Pure_Function{75E9} 233r7 433r7 632r7 6|560r5 560r44
182n7*Aspect_Remote_Access_Type{75E9} 234r7 440r7 638r7 6|565r5 565r44
183n7*Aspect_Shared{75E9} 236r7 444r7 641r7 6|571r5
184n7*Aspect_Simple_Storage_Pool_Type{75E9} 238r7 447r7 644r7 6|574r5 574r44
185n7*Aspect_Suppress_Debug_Info{75E9} 239r7 456r7 649r7 6|583r5 583r44
186n7*Aspect_Unchecked_Union{75E9} 460r7 651r7 6|55r7 587r5 587r44
187n7*Aspect_Universal_Aliasing{75E9} 241r7 461r7 652r7 6|588r5 588r44
188n7*Aspect_Unmodified{75E9} 243r7 463r7 654r7 6|590r5 590r44
189n7*Aspect_Unreferenced{75E9} 244r7 464r7 655r7 6|591r5 591r44
190n7*Aspect_Unreferenced_Objects{75E9} 245r7 465r7 656r7 6|592r5 592r44
191n7*Aspect_Volatile{75E9} 469r7 685r7 6|57r7 596r5 596r44
192n7*Aspect_Volatile_Components{75E9} 470r7 686r7 6|597r5 597r44
197n7*Aspect_Lock_Free{75E9} 229r7 416r7 619r7 6|543r5 543r44
199E12*Aspect_Id_Exclude_No_Aspect{75E9}
205a4*Class_Aspect_OK(boolean)
215a4*Implementation_Defined_Aspect(boolean)
253a4*No_Duplicates_Allowed(boolean)
262E12*Library_Unit_Aspects{75E9} 357r7
272E12*Boolean_Aspects{75E9} 356r7
275E12*Pre_Post_Aspects{75E9}
280E9*Aspect_Expression 284e21 288r52
281n7*Expression{280E9} 290r41 291r41 292r41 293r41 294r41 295r41 297r41
. 299r41 300r41 302r41 303r41 304r41 305r41 306r41 307r41 308r41 309r41 310r41
. 312r41 313r41 315r41 316r41 317r41 319r41 320r41 321r41 322r41 324r41 325r41
. 326r41 327r41 328r41 329r41 330r41 332r41 333r41 334r41 335r41 336r41 337r41
. 339r41 340r41 342r41 344r41 345r41 348r41 349r41 351r41
282n7*Name{280E9} 296r41 298r41 301r41 311r41 314r41 318r41 323r41 331r41
. 338r41 343r41 346r41 347r41 350r41 352r41 353r41 354r41
283n7*Optional_Expression{280E9} 289r41 356r41 357r41
284n7*Optional_Name{280E9} 341r41
288a4*Aspect_Argument(280E9)
365a4*Aspect_Names(12|155I9) 6|672r33
474V13*Get_Aspect_Id{75E9} 474>28 475r19 6|299b13 302l8 302t21
474i28 Name{12|155I9} 6|299b28 301r40
479V13*Get_Aspect_Id{75E9} 479>28 6|167s44 236s21 259s16 304b13 308l8 308t21
. 395s26
479i28 Aspect{28|384I9} 6|304b28 306r29 307r59
536E9*Delay_Type 549e18 577r49
537n7*Always_Delay{536E9} 578r46 579r46 580r46 581r46 582r46 583r46 584r46
. 585r46 586r46 587r46 588r46 589r46 590r46 591r46 592r46 593r46 594r46 595r46
. 596r46 597r46 598r46 599r46 600r46 601r46 602r46 603r46 604r46 605r46 606r46
. 607r46 608r46 609r46 610r46 611r46 612r46 613r46 614r46 615r46 616r46 617r46
. 618r46 619r46 620r46 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
541n7*Never_Delay{536E9} 661r46 662r46 663r46 664r46 665r46 666r46 667r46
. 668r46 669r46 670r46
549n7*Rep_Aspect{536E9} 672r46 673r46 674r46 675r46 676r46 677r46 678r46
. 679r46 680r46 681r46 682r46 683r46 684r46 685r46 686r46
577a4*Aspect_Delay(536E9)
725a4*Aspect_On_Body_Or_Stub_OK(boolean) 6|167r17 397r19
747V13*Aspect_Specifications{28|433I9} 747>36 6|134b13 141l8 141t29 164s18
. 191s38 192s38 257s25 327s41 351s21 378s24 416s28
747i36 N{28|384I9} 6|134b36 136r23 137r55
761V13*Aspects_On_Body_Or_Stub_OK{boolean} 761>41 6|147b13 175l8 175t34
761i41 N{28|384I9} 6|147b41 154r35 155r29 156r42 164r41
765U14*Exchange_Aspects 765>32 765>46 6|181b14 200l8 200t24
765i32 N1{28|384I9} 6|181b32 184r41 189r23 191r61 195r29 196r51
765i46 N2{28|384I9} 6|181b46 185r52 189r49 192r61 194r29 197r51
770V13*Find_Aspect{28|384I9} 770>26 770>42 6|206b13 271l8 271t19 281s34 316s23
770i26 Id{28|387I12} 6|206b26 213r16 217r19
770e42 A{75E9} 6|206b42 218r26 222r67 236r44 259r39
774V13*Find_Value_Of_Aspect{28|384I9} 775>7 776>7 6|277b13 293l8 293t28
775i7 Id{28|387I12} 6|278b7 281r47
776e7 A{75E9} 6|279b7 281r51 285r13
780V13*Has_Aspect{boolean} 780>25 780>41 6|314b13 317l8 317t18
780i25 Id{28|387I12} 6|314b25 316r36
780e41 A{75E9} 6|314b41 316r40
783U14*Move_Aspects 783>28 783>44 6|323b14 331l8 331t20
783i28 From{28|384I9} 6|323b28 326r23 327r64 328r51 329r27
783i44 To{28|384I9} 6|323b44 324r39 327r37
788U14*Move_Or_Merge_Aspects 788>37 788>53 6|337b14 420l8 420t29
788i37 From{28|384I9} 6|337b37 377r23 378r47 392r23 393r56 416r51 417r29
788i53 To{28|384I9} 6|337b53 350r26 351r44 357r40 358r30
795V13*Permits_Aspect_Specifications{boolean} 795>44 6|184s10 185s21 250s14
. 256s10 469b13 472l8 472t37 612s22 627s22
795i44 N{28|384I9} 6|469b44 471r53
800U14*Remove_Aspects 800>30 6|417s13 478b14 484l8 484t22
800i30 N{28|384I9} 6|478b30 480r23 481r51 482r27
804V13*Same_Aspect{boolean} 804>26 804>42 6|601b13 604l8 604t19
804e26 A1{75E9} 6|601b26 603r32
804e42 A2{75E9} 6|601b42 603r56
809U14*Set_Aspect_Specifications 809>41 809>54 6|327s10 357s13 610b14 619l8
. 619t33
809i41 N{28|384I9} 6|610b41 612r53 613r39 616r24 617r22 618r45
809i54 L{28|433I9} 6|610b54 614r22 617r19 618r48
819U14*Tree_Read 6|639b14 649l8 649t17
822U14*Tree_Write 6|655b14 666l8 666t18
X 6 aspects.adb
46a4 Base_Aspect(boolean) 218r13
63a4 Inherited_Aspect(boolean) 222r49
72U14 Set_Aspect_Specifications_No_Check 72>50 72>63 625b14 633l8 633t42
. 647s10
72i50 N{28|384I9} 625b50 627r53 630r24 631r22 632r45
72i63 L{28|433I9} 625b63 628r22 631r19 632r48
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 618r7 632r7 659r7 664r10
110I9 AI_Hash_Range<short_short_integer> 113r42 116r42 118r14 123r23
113V13 AI_Hash{110I9} 113>22 116b13 119l8 119t15 127r23
113i22 F{12|155I9} 116b22 118r29
121K12 Aspect_Id_Hash_Table[19|70] 301r14 307r14 672r7
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) 603r14 603r38
640i7 Node{28|384I9} 644m30 644r30 647r46
641i7 List{28|433I9} 645m30 645r30 646r20 647r52
656i7 Node{28|384I9} 659m51 659r51 661r31 664m53 664r53
657i7 List{28|433I9} 659m57 662r31 663r20 664m59
671e8 J{5|75E9} 672r47 672r51
X 7 atree.ads
44K9*Atree 6|32w6 32r20 7|4023e10
599V13*Nkind{14|7921E9} 6|155s22 235s13 306s22 392s16 471s46
605V13*Has_Aspects{boolean} 6|136s10 154s22 189s10 189s36 324s26 326s10 350s13
. 377s10 480s10 613s26
620V13*Parent{28|384I9} 6|249s15 251s18
625V13*No{boolean} 6|393s24
630V13*Present{boolean} 6|166s13 226s46 234s13 258s16 284s10 316s14 379s16
653V13*Nkind_In{boolean} 6|156s32
881U14*Set_Has_Aspects 6|329s10 358s13 482s10 616s7 630s7
X 8 einfo.ads
37K9*Einfo 6|33w6 33r20 8|8585e10
6283B12*B{boolean}
6285I12*E{28|387I12}
6288I12*N{28|384I9}
6400V13*First_Rep_Item{6288I12} 6|233s15
6404V13*Full_View{6285I12} 6|226s55 227s22
6743V13*Is_Class_Wide_Type{6283E12} 6|222s13
6774V13*Is_Private_Type{6283E12} 6|226s13
6782V13*Is_Type{6283E12} 6|217s10
6794V13*Base_Type{6285I12} 6|219s22
6850V13*Root_Type{6285I12} 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 67r18 12|609e10
155I9*Name_Id<integer> 5|365r49 474r35 6|113r26 116r26 126r23 299r35
159i4*No_Name{155I9} 5|366r46
X 13 nlists.ads
41K9*Nlists 6|34w6 34r20 13|368e11
68V13*New_List{28|433I9} 6|356s21
124V13*First{28|393I12} 6|165s18 257s18 378s17
157V13*Next{28|393I12} 6|384s25
163U14*Next 6|171s10 263s13
207V13*Is_Empty_List{boolean} 6|416s13
227U14*Append 6|365s10
301U14*Remove 6|364s10
342U14*Set_Parent 6|194s13 195s13 617s7 631s7
X 14 sinfo.ads
54K9*Sinfo 6|35w6 35r20 14|12916e10
7921E9*Node_Kind 6|426r53 14|8309e23
8086n7*N_Component_Declaration{7921E9} 6|428r7
8087n7*N_Entry_Declaration{7921E9} 6|429r7
8088n7*N_Expression_Function{7921E9} 6|432r7
8089n7*N_Formal_Object_Declaration{7921E9} 6|435r7
8090n7*N_Formal_Type_Declaration{7921E9} 6|437r7
8091n7*N_Full_Type_Declaration{7921E9} 6|438r7
8095n7*N_Object_Declaration{7921E9} 6|443r7
8096n7*N_Protected_Type_Declaration{7921E9} 6|456r7
8097n7*N_Private_Extension_Declaration{7921E9} 6|451r7
8098n7*N_Private_Type_Declaration{7921E9} 6|452r7
8099n7*N_Subtype_Declaration{7921E9} 6|463r7
8113n7*N_Task_Type_Declaration{7921E9} 6|466r7
8117n7*N_Package_Body_Stub{7921E9} 6|446r7
8118n7*N_Protected_Body_Stub{7921E9} 6|455r7
8119n7*N_Subprogram_Body_Stub{7921E9} 6|392r31 460r7
8120n7*N_Task_Body_Stub{7921E9} 6|465r7
8125n7*N_Function_Instantiation{7921E9} 6|439r7
8126n7*N_Procedure_Instantiation{7921E9} 6|453r7
8130n7*N_Package_Instantiation{7921E9} 6|448r7
8134n7*N_Package_Body{7921E9} 6|156r45 445r7
8135n7*N_Subprogram_Body{7921E9} 6|158r45 459r7
8139n7*N_Protected_Body{7921E9} 6|157r45 454r7
8140n7*N_Task_Body{7921E9} 6|159r45 464r7
8145n7*N_Package_Declaration{7921E9} 6|447r7
8146n7*N_Single_Task_Declaration{7921E9} 6|458r7
8147n7*N_Subprogram_Declaration{7921E9} 6|461r7
8152n7*N_Generic_Package_Declaration{7921E9} 6|440r7
8153n7*N_Generic_Subprogram_Declaration{7921E9} 6|442r7
8162n7*N_Exception_Renaming_Declaration{7921E9} 6|431r7
8163n7*N_Object_Renaming_Declaration{7921E9} 6|444r7
8164n7*N_Package_Renaming_Declaration{7921E9} 6|450r7
8165n7*N_Subprogram_Renaming_Declaration{7921E9} 6|462r7
8219n7*N_Formal_Abstract_Subprogram_Declaration{7921E9} 6|433r7
8220n7*N_Formal_Concrete_Subprogram_Declaration{7921E9} 6|434r7
8243n7*N_Abstract_Subprogram_Declaration{7921E9} 6|427r7
8246n7*N_Aspect_Specification{7921E9} 6|235r28 306r39
8267n7*N_Exception_Declaration{7921E9} 6|430r7
8276n7*N_Formal_Package_Declaration{7921E9} 6|436r7
8291n7*N_Package_Specification{7921E9} 6|449r7
8300n7*N_Single_Protected_Declaration{7921E9} 6|457r7
8330E12*N_Body_Stub{7921E9} 6|155r35
8364E12*N_Generic_Renaming_Declaration{7921E9} 6|441r7
8580V13*Aspect_Rep_Item{28|384I9} 6|286s32
8619V13*Chars{12|155I9} 6|307s40
8721V13*Corresponding_Spec_Of_Stub{28|384I9} 6|393s28
8886V13*Expression{28|384I9} 6|286s20 288s20
9006V13*Identifier{28|384I9} 6|307s47
10511U14*Next_Rep_Item 6|241s10
X 15 snames.ads
34K9*Snames 5|68w6 68r18 15|2118e11
140i4*Name_Default_Value{12|155I9} 5|384r46
141i4*Name_Default_Component_Value{12|155I9} 5|385r46
142i4*Name_Dimension{12|155I9} 5|387r46
143i4*Name_Dimension_System{12|155I9} 5|388r46
144i4*Name_Dynamic_Predicate{12|155I9} 5|391r46
145i4*Name_Static_Predicate{12|155I9} 5|451r46
146i4*Name_Synchronization{12|155I9} 5|457r46
385i4*Name_Discard_Names{12|155I9} 5|389r46
406i4*Name_Favor_Top_Level{12|155I9} 5|398r46
422i4*Name_Persistent_BSS{12|155I9} 5|423r46
439i4*Name_SPARK_Mode{12|155I9} 5|450r46
441i4*Name_Suppress{12|155I9} 5|455r46
444i4*Name_Universal_Data{12|155I9} 5|462r46
445i4*Name_Unsuppress{12|155I9} 5|466r46
449i4*Name_Warnings{12|155I9} 5|471r46
456i4*Name_Abstract_State{12|155I9} 5|367r46
457i4*Name_All_Calls_Remote{12|155I9} 5|370r46
466i4*Name_Async_Readers{12|155I9} 5|371r46
467i4*Name_Async_Writers{12|155I9} 5|372r46
468i4*Name_Asynchronous{12|155I9} 5|373r46
469i4*Name_Atomic{12|155I9} 5|374r46
470i4*Name_Atomic_Components{12|155I9} 5|375r46
471i4*Name_Attach_Handler{12|155I9} 5|376r46
478i4*Name_Contract_Cases{12|155I9} 5|380r46
480i4*Name_Convention{12|155I9} 5|381r46
493i4*Name_Depends{12|155I9} 5|386r46
494i4*Name_Effective_Reads{12|155I9} 5|392r46
495i4*Name_Effective_Writes{12|155I9} 5|393r46
498i4*Name_Elaborate_Body{12|155I9} 5|394r46
499i4*Name_Export{12|155I9} 5|397r46
508i4*Name_Global{12|155I9} 5|399r46
512i4*Name_Import{12|155I9} 5|401r46
518i4*Name_Independent{12|155I9} 5|402r46
519i4*Name_Independent_Components{12|155I9} 5|403r46
520i4*Name_Initial_Condition{12|155I9} 5|406r46
521i4*Name_Initializes{12|155I9} 5|407r46
522i4*Name_Inline{12|155I9} 5|404r46
523i4*Name_Inline_Always{12|155I9} 5|405r46
533i4*Name_Interrupt_Handler{12|155I9} 5|409r46
540i4*Name_Invariant{12|155I9} 5|411r46
549i4*Name_Linker_Section{12|155I9} 5|415r46
565i4*Name_No_Return{12|155I9} 5|418r46
569i4*Name_Pack{12|155I9} 5|421r46
571i4*Name_Part_Of{12|155I9} 5|422r46
573i4*Name_Post{12|155I9} 5|424r46
574i4*Name_Postcondition{12|155I9} 5|425r46
576i4*Name_Pre{12|155I9} 5|426r46
577i4*Name_Precondition{12|155I9} 5|427r46
578i4*Name_Predicate{12|155I9} 5|428r46
579i4*Name_Preelaborable_Initialization{12|155I9} 5|429r46
580i4*Name_Preelaborate{12|155I9} 5|430r46
592i4*Name_Pure{12|155I9} 5|432r46
595i4*Name_Pure_Function{12|155I9} 5|433r46
596i4*Name_Refined_Depends{12|155I9} 5|435r46
597i4*Name_Refined_Global{12|155I9} 5|436r46
598i4*Name_Refined_Post{12|155I9} 5|437r46
599i4*Name_Refined_State{12|155I9} 5|438r46
600i4*Name_Relative_Deadline{12|155I9} 5|439r46
601i4*Name_Remote_Access_Type{12|155I9} 5|440r46
602i4*Name_Remote_Call_Interface{12|155I9} 5|441r46
603i4*Name_Remote_Types{12|155I9} 5|442r46
605i4*Name_Shared{12|155I9} 5|444r46
606i4*Name_Shared_Passive{12|155I9} 5|445r46
607i4*Name_Simple_Storage_Pool_Type{12|155I9} 5|447r46
622i4*Name_Suppress_Debug_Info{12|155I9} 5|456r46
625i4*Name_Test_Case{12|155I9} 5|458r46
632i4*Name_Type_Invariant{12|155I9} 5|459r46
634i4*Name_Unchecked_Union{12|155I9} 5|460r46
636i4*Name_Universal_Aliasing{12|155I9} 5|461r46
637i4*Name_Unmodified{12|155I9} 5|463r46
638i4*Name_Unreferenced{12|155I9} 5|464r46
639i4*Name_Unreferenced_Objects{12|155I9} 5|465r46
641i4*Name_Volatile{12|155I9} 5|469r46
642i4*Name_Volatile_Components{12|155I9} 5|470r46
718i4*Name_External_Name{12|155I9} 5|395r46
733i4*Name_Link_Name{12|155I9} 5|414r46
829i4*Name_Address{12|155I9} 5|368r46
832i4*Name_Alignment{12|155I9} 5|369r46
838i4*Name_Bit_Order{12|155I9} 5|377r46
845i4*Name_Component_Size{12|155I9} 5|378r46
847i4*Name_Constant_Indexing{12|155I9} 5|379r46
851i4*Name_Default_Iterator{12|155I9} 5|383r46
864i4*Name_External_Tag{12|155I9} 5|396r46
876i4*Name_Implicit_Dereference{12|155I9} 5|400r46
879i4*Name_Iterator_Element{12|155I9} 5|412r46
880i4*Name_Iterable{12|155I9} 5|413r46
888i4*Name_Lock_Free{12|155I9} 5|416r46
894i4*Name_Machine_Radix{12|155I9} 5|417r46
910i4*Name_Object_Size{12|155I9} 5|419r46
918i4*Name_Priority{12|155I9} 5|431r46
931i4*Name_Scalar_Storage_Order{12|155I9} 5|443r46
935i4*Name_Size{12|155I9} 5|448r46
936i4*Name_Small{12|155I9} 5|449r46
937i4*Name_Storage_Size{12|155I9} 5|453r46
939i4*Name_Stream_Size{12|155I9} 5|454r46
958i4*Name_Value_Size{12|155I9} 5|467r46
959i4*Name_Variable_Indexing{12|155I9} 5|468r46
979i4*Name_Input{12|155I9} 5|408r46
1001i4*Name_Output{12|155I9} 5|420r46
1002i4*Name_Read{12|155I9} 5|434r46
1003i4*Name_Write{12|155I9} 5|472r46
1015i4*Name_Simple_Storage_Pool{12|155I9} 5|446r46
1016i4*Name_Storage_Pool{12|155I9} 5|452r46
1044i4*Name_CPU{12|155I9} 5|382r46
1045i4*Name_Dispatching_Domain{12|155I9} 5|390r46
1046i4*Name_Interrupt_Priority{12|155I9} 5|410r46
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] 618s40[97] 632s40[97] 672s28[121]
79V16*Get{28|433I9} 6|137s50[97] 301s35[121] 307s35[121]
83U17*Remove 6|328s43[97] 481s43[97]
98U17*Get_First 6|659s40[97]
105U17*Get_Next 6|664s43[97]
X 27 tree_io.ads
45K9*Tree_IO 6|36w6 36r20 27|125e12
88U14*Tree_Read_Int 6|644s10 645s10
115U14*Tree_Write_Int 6|661s10 662s10
X 28 types.ads
52K9*Types 5|69w6 69r18 28|885e10
59I9*Int<integer> 6|644r25 645r25 661r26 662r26
384I9*Node_Id<integer> 5|479r37 747r40 761r45 765r37 765r51 770r64 776r30
. 783r35 783r49 788r44 788r58 795r48 800r34 809r45 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
. 610r45 625r54 640r14 656r14
387I12*Entity_Id{384I9} 5|770r31 775r12 780r30 6|206r31 209r15 278r12 314r30
393I12*Node_Or_Entity_Id{384I9}
399i4*Empty{384I9} 6|270r14 292r14 656r25
433I9*List_Id<integer> 5|747r56 809r58 6|72r67 100r23 134r56 149r17 191r27
. 192r27 347r17 610r58 625r67 641r14 657r14
436i4*No_List{433I9} 6|101r23 139r17 614r27 628r27 646r27 663r27