V "GNAT Lib v5"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gtoggle
A -gnatp
A -gnatg
A -mtune=i486
A -march=i486
P

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_RECURSION
RV NO_DEFAULT_INITIALIZATION
RV NO_ELABORATION_CODE
RV SPARK_05

U sem_ch9%b		sem_ch9.adb		ae36c82a NE OO PK
W aspects%s		aspects.adb		aspects.ali
W atree%s		atree.adb		atree.ali
W checks%s		checks.adb		checks.ali
W debug%s		debug.adb		debug.ali
W einfo%s		einfo.adb		einfo.ali
W elists%s		elists.adb		elists.ali
W errout%s		errout.adb		errout.ali
W exp_ch9%s		exp_ch9.adb		exp_ch9.ali
W freeze%s		freeze.adb		freeze.ali
W layout%s		layout.adb		layout.ali
W lib%s			lib.adb			lib.ali
W lib.xref%s		lib-xref.adb		lib-xref.ali
W namet%s		namet.adb		namet.ali
W nlists%s		nlists.adb		nlists.ali
W nmake%s		nmake.adb		nmake.ali
W opt%s			opt.adb			opt.ali
W restrict%s		restrict.adb		restrict.ali
W rident%s		rident.ads		rident.ali
W rtsfind%s		rtsfind.adb		rtsfind.ali
W sem%s			sem.adb			sem.ali
W sem_aux%s		sem_aux.adb		sem_aux.ali
W sem_ch13%s		sem_ch13.adb		sem_ch13.ali
W sem_ch3%s		sem_ch3.adb		sem_ch3.ali
W sem_ch5%s		sem_ch5.adb		sem_ch5.ali
W sem_ch6%s		sem_ch6.adb		sem_ch6.ali
W sem_ch8%s		sem_ch8.adb		sem_ch8.ali
W sem_eval%s		sem_eval.adb		sem_eval.ali
W sem_res%s		sem_res.adb		sem_res.ali
W sem_type%s		sem_type.adb		sem_type.ali
W sem_util%s		sem_util.adb		sem_util.ali
W sem_warn%s		sem_warn.adb		sem_warn.ali
W sinfo%s		sinfo.adb		sinfo.ali
W snames%s		snames.adb		snames.ali
W stand%s		stand.adb		stand.ali
W style%s		style.adb		style.ali
W targparm%s		targparm.adb		targparm.ali
W tbuild%s		tbuild.adb		tbuild.ali
W uintp%s		uintp.adb		uintp.ali

U sem_ch9%s		sem_ch9.ads		43695acf EE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali
W table%s		table.adb		table.ali  AD
W types%s		types.adb		types.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20140730140058 047121f5 ada.exceptions%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 atree.ads		20150313134724 561167a4 atree%s
D atree.adb		20150313134724 6f4dcfa0 atree%b
D casing.ads		20140717063745 5c2a7161 casing%s
D checks.ads		20150106091049 970c7d3e checks%s
D debug.ads		20090420131856 3ea59655 debug%s
D einfo.ads		20150313134724 eedc4daa einfo%s
D elists.ads		20150302112433 8da5cd14 elists%s
D err_vars.ads		20140801132617 d6d090e9 err_vars%s
D errout.ads		20150220143551 c027450c errout%s
D erroutc.ads		20150220143551 e593d57c erroutc%s
D exp_ch9.ads		20140730104849 33196ea1 exp_ch9%s
D exp_tss.ads		20110803143626 f9401ee4 exp_tss%s
D freeze.ads		20140716144748 815af8e6 freeze%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D layout.ads		20070910124710 44794f66 layout%s
D lib.ads		20150205112239 00c825ec lib%s
D lib-util.ads		20131014125807 98211204 lib.util%s
D lib-xref.ads		20140729132026 85454b66 lib.xref%s
D namet.ads		20150302110329 53fa811d namet%s
D nlists.ads		20140801095704 a6e0a57f nlists%s
D nmake.ads		20150513110531 65cd2119 nmake%s
D opt.ads		20150302110329 e5e8f770 opt%s
D output.ads		20140801093848 2d9479ad output%s
D put_spark_xrefs.ads	20130424141427 44ca6dc0 put_spark_xrefs%s
D restrict.ads		20150107084942 b99f0fe3 restrict%s
D rident.ads		20120712104910 770cd2d0 rident%s
D rtsfind.ads		20140801094828 15246501 rtsfind%s
D sem.ads		20141020142415 e6d4a352 sem%s
D sem_aux.ads		20140731093840 6ae0fb01 sem_aux%s
D sem_ch13.ads		20140804095956 94bb485b sem_ch13%s
D sem_ch3.ads		20140804080136 1f373611 sem_ch3%s
D sem_ch5.ads		20140716144748 089a8042 sem_ch5%s
D sem_ch6.ads		20150302092438 f9e8f346 sem_ch6%s
D sem_ch8.ads		20130708074622 48e97d0a sem_ch8%s
D sem_ch9.ads		20140521123551 c3562c17 sem_ch9%s
D sem_ch9.adb		20150302092438 70d99595 sem_ch9%b
D sem_eval.ads		20150220113817 e0edf4fa sem_eval%s
D sem_res.ads		20150130152538 59d801b3 sem_res%s
D sem_type.ads		20131015103329 4bb8e91f sem_type%s
D sem_util.ads		20150302110329 1b311a5b sem_util%s
D sem_warn.ads		20150205111725 24e105da sem_warn%s
D sinfo.ads		20150324122610 65b0e0c9 sinfo%s
D sinput.ads		20140730103741 ef954964 sinput%s
D snames.ads		20150513110530 0164078b snames%s
D stand.ads		20140801094828 4852f602 stand%s
D style.ads		20140731100213 1672d137 style%s
D styleg.ads		20140731100213 844c3f46 styleg%s
D system.ads		20141030114420 57068cbf system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-imenne.ads		20140225151139 614c06c0 system.img_enum_new%s
D s-memory.ads		20140225151139 597d6634 system.memory%s
D s-os_lib.ads		20150220113817 5853d835 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-rident.ads		20140717070432 57110bac system.rident%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D table.ads		20090506081141 e3a9ec16 table%s
D table.adb		20141107135941 9716557f table%b
D targparm.ads		20150106095149 69576d49 targparm%s
D tbuild.ads		20140730145356 dbb570e2 tbuild%s
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20150130153101 63969ace types%s
D uintp.ads		20141017090750 1f00ed2e 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 6 aspects.ads
71K9*Aspects 879e12 42|26w6 26r20
75E9*Aspect_Id 204e34 42|350r48
78n7*Aspect_Address{75E9} 42|354r40
177n7*Aspect_Export{75E9} 42|355r40
181n7*Aspect_Import{75E9} 42|356r40
509V13*Get_Aspect_Id{75E9} 42|351s41
801V13*Aspect_Specifications{72|433I9} 42|1747s20 2743s20
854U14*Remove_Aspects 42|1751s10 2747s10
X 7 atree.ads
44K9*Atree 4156e10 42|27w6 27r20
302i4*Serious_Errors_Detected{72|62I12} 42|147r26 641r35 646r52 687r34 2148r13
. 3021r13
496V13*Relocate_Node{72|384I9} 42|2605s34 2665s34
560E9*Traverse_Result 560e56 42|262r57 269r57
560n29*Abandon{560E9} 42|342r32 365r38 387r32 402r32 412r32 426r32 439r32
. 449r32 480r38 492r32 518r38 530r32 546r32 605r44 623r41
560n38*OK{560E9} 42|630r26 644r48
560n51*Skip{560E9} 42|339r35 362r41 384r35 399r35 409r35 423r35 436r35 446r35
. 477r41 489r35 515r41 527r35 543r35 602r47 620r44
570v13*Traverse_Func 42|633r48
611V13*Comes_From_Source{boolean} 42|1761s22 2006s18 2266s19 2760s22 2843s24
. 2956s43 2987s18 3104s10
614V13*Error_Posted{boolean} 42|1545s23 1571s23 3320s25
617V13*Has_Aspects{boolean} 42|1621s10 1744s10 1944s13 1994s10 2634s10 2703s10
. 2740s10 2973s10
624V13*Nkind{48|8119E9} 42|152s10 168s19 179s22 181s20 270s48 289s37 538s26
. 577s31 667s19 890s18 931s19 1063s18 1111s13 1119s13 1253s25 1462s10 1478s10
. 1549s19 1575s19 1654s10 1705s16 1716s19 2074s19 2111s20 2120s22 2200s10
. 2295s13 2299s13 2304s16 2317s13 2361s18 2484s13 2488s21 2499s18 2502s16
. 2510s16 2522s19 2531s25 2539s31 2772s13 3105s18 3106s18 3118s16 3158s16
. 3242s19 3258s36 3396s18 3412s16
627V13*No{boolean} 42|215s19 612s34 905s13 1376s16 1504s10 1796s10 2259s17
. 2523s27 2532s33 2803s10 3166s22
632V13*Parent{72|384I9} 42|231s51 574s41 889s18 1104s20 1221s37 1226s48 1250s62
. 1423s60 1442s36 1782s31 1823s51 2770s47 2772s20 2791s31
640V13*Present{boolean} 42|163s19 194s28 312s37 454s33 555s30 568s36 573s28
. 651s22 666s19 707s13 747s10 806s10 831s13 861s19 912s13 927s19 962s13 978s10
. 1132s10 1203s10 1214s13 1342s10 1366s16 1368s19 1412s18 1430s10 1701s13
. 1717s24 1754s10 1759s13 1797s13 1867s16 1898s13 1907s13 1959s49 2040s13
. 2070s16 2107s16 2208s10 2225s25 2253s16 2335s10 2345s20 2369s13 2389s25
. 2390s30 2418s22 2450s10 2480s13 2524s27 2753s10 2758s13 2770s18 2804s13
. 2819s19 2840s16 2875s13 2932s13 2977s10 3045s10 3157s16 3229s16 3296s28
. 3298s42 3360s19 3368s19 3431s10 3447s13
645V13*Sloc{72|212I12} 42|808s44 811s37 1334s13 1643s55 2541s52 2584s39 2599s35
. 2644s39 2659s35 3311s31
655V13*Nkind_In{boolean} 42|133s22 1104s10 3223s10
735V13*Ekind_In{boolean} 42|567s31 1908s13 2188s17 2428s22
881V13*Ekind{12|4467E9} 42|251s33 465s31 564s28 712s32 784s20 785s19 795s10
. 833s22 833s34 862s19 904s10 1216s22 1216s34 1224s16 1380s16 1411s10 1615s10
. 1755s18 1760s18 1776s10 1959s10 2041s13 2217s23 2218s23 2235s24 2261s24
. 2348s20 2360s13 2525s27 2754s18 2759s18 2785s10 2931s10 3431s37
884V13*Convention{50|1658E9} 42|874s34 1220s33
896U14*Set_Analyzed 42|1258s25 1266s25 1267s25
945U14*Set_Ekind 42|1204s10 1206s10 1505s10 1511s10 1658s7 1662s7 1735s7
. 1964s7 2042s13 2621s7 2625s7 2690s7 2694s7 2730s7 2937s13 2942s7
981U14*Mark_Rewrite_Insertion 42|2615s7 2684s7
998U14*Rewrite 42|1263s25 2613s7 2682s7
1040V13*Original_Node{72|384I9} 42|538s33 1254s25 2062s61
X 10 checks.ads
45K9*Checks 966e11 42|28w6 28r20
565U14*Apply_Range_Check 42|909s13
X 11 debug.ads
36K9*Debug 188e10 42|29w6 29r20
113b4*Debug_Flag_9{boolean} 42|140r43
X 12 einfo.ads
37K9*Einfo 8992e10 42|30w6 30r20
4467E9*Entity_Kind 4862e5 42|770r19
4469n7*E_Void{4467E9} 42|2041r25
4480n7*E_Component{4467E9} 42|564r41 2042r27
4484n7*E_Constant{4467E9} 42|567r45
4494n7*E_Variable{4467E9} 42|567r57 2625r26 2694r26 2785r28
4503n7*E_Out_Parameter{4467E9} 42|1380r29 2428r37
4506n7*E_In_Out_Parameter{4467E9} 42|2428r54
4676n7*E_Class_Wide_Type{4467E9} 42|712r57
4717n7*E_Incomplete_Type{4467E9} 42|1959r22 2931r22 3431r55
4724n7*E_Task_Type{4467E9} 42|784r47 795r38 2690r21 2754r36 2759r44 2937r27
. 2942r34
4733n7*E_Protected_Type{4467E9} 42|1755r36 1760r44 1776r29 1964r34 2621r21
4763n7*E_Function{4467E9} 42|1908r26
4773n7*E_Procedure{4467E9} 42|252r35 862r32 1908r38 2348r39
4777n7*E_Entry{4467E9} 42|811r13 1206r25 1505r29 1615r27 2261r41 2525r50
4790n7*E_Entry_Family{4467E9} 42|808r13 904r22 1204r25 1224r29 1411r23 1511r29
. 2360r32
4794n7*E_Block{4467E9} 42|787r21 2188r38
4798n7*E_Entry_Index_Parameter{4467E9} 42|1662r24
4824n7*E_Loop{4467E9} 42|787r46 1658r27 2188r47
4849n7*E_Protected_Body{4467E9} 42|1735r27
4853n7*E_Task_Body{4467E9} 42|2730r27
4914E12*Assignable_Kind{4467E9} 42|465r45
5026E12*Formal_Kind{4467E9} 42|2235r59
5116E12*Protected_Kind{4467E9} 42|2218r44
5159E12*Task_Kind{4467E9} 42|2217r44
6580B12*B{boolean}
6582I12*E{72|387I12}
6585I12*N{72|384I9}
6671V13*Entry_Accepted{6580E12} 42|2842s28
6674V13*Entry_Component{6582I12} 42|1388s38
6677V13*Entry_Index_Type{6582I12} 42|908s41 909s39
6678V13*Entry_Parameters_Type{6582I12} 42|1324s14
6693V13*First_Entity{6582I12} 42|830s12 860s19 961s12 1213s12 1365s16 1367s19
. 1800s48 1862s21 1902s15 1906s12 2039s12 2807s48 2839s17 2880s31 3294s20
. 3446s12
6697V13*First_Private_Entity{6582I12} 42|1796s14 1860s21 2803s14
6702V13*Full_View{6582I12} 42|1959s58 1960s15 2932s22 2933s18 3298s51 3299s26
. 3432s21
6712V13*Has_Completion{6580E12} 42|1296s13 2769s10
6726V13*Has_Discriminants{6580E12} 42|1978s13 1989s34 2960s13 2971s34
6741V13*Has_Interrupt_Handler{6580E12} 42|2030s21 2101s10
6765V13*Has_Pragma_Unreferenced{6580E12} 42|1387s46
6770V13*Has_Private_Declaration{6580E12} 42|3280s14
6771V13*Has_Protected{6580E12} 42|1917s20
6789V13*Has_Task{6580E12} 42|1912s20
6855V13*Is_Interface{6580E12} 42|713s32 3232s20 3402s21
6860V13*Is_Itype{6580E12} 42|1869s24
6865V13*Is_Limited_Interface{6580E12} 42|3253s29 3269s29
6899V13*Is_Tagged_Type{6580E12} 42|3319s13 3345s24 3349s19 3354s19
6914V13*Known_To_Have_Preelab_Init{6580E12} 42|2139s13 3012s13
6917V13*Last_Entity{6582I12} 42|1788s17 1895s15 2794s17 2872s15
6933V13*Never_Set_In_Source{6580E12} 42|1381s45
6965V13*Prival_Link{6582I12} 42|568s45 570s39
6968V13*Protected_Body_Subprogram{6582I12} 42|471s35 1321s14
6973V13*Referenced{6580E12} 42|1385s33
7038V13*Uses_Lock_Free{6580E12} 42|1813s10 2055s10
7057V13*Is_Access_Type{6580E12} 42|418s43 2338s13
7063V13*Is_Class_Wide_Type{6580E12} 42|2346s20
7072V13*Is_Elementary_Type{6580E12} 42|195s32
7073V13*Is_Entry{6580E12} 42|788s25 2186s20 2220s16 2355s14 2841s16
7077V13*Is_Formal{6580E12} 42|963s13
7083V13*Is_Generic_Type{6580E12} 42|586s38 1543s16 1569s16
7088V13*Is_Limited_Record{6580E12} 42|3404s16
7095V13*Is_Private_Type{6580E12} 42|2132s31 3005s18
7096V13*Is_Protected_Type{6580E12} 42|1331s18 1859s13 1875s26 1916s16
7098V13*Is_Record_Type{6580E12} 42|1861s16 1874s19
7099V13*Is_Scalar_Type{6580E12} 42|305s31 306s39 313s41
7103V13*Is_Task_Type{6580E12} 42|710s13 1911s16
7104V13*Is_Type{6580E12} 42|1553s24 1579s24 1868s16 3298s16
7118V13*Designated_Type{6582I12} 42|2339s27
7121V13*First_Formal{6582I12} 42|2259s21 2369s22 2373s19 2387s39 2388s49
. 2417s23
7123V13*Has_Attach_Handler{6580E12} 42|2031s21 2101s44
7124V13*Has_Entries{6580E12} 42|2029s12
7142V13*Is_Protected_Interface{6580E12} 42|3265s22
7148V13*Is_Task_Interface{6580E12} 42|714s32 3249s22
7163V13*Next_Formal{6582I12} 42|2388s36
7168V13*Number_Entries{72|62I12} 42|2027s20
7179V13*Type_High_Bound{6585I12} 42|1533s53 1581s23 3178s35
7180V13*Type_Low_Bound{6585I12} 42|1532s53 1555s23 3175s35
7251U14*Set_Accept_Address 42|815s7 1211s7 1603s7
7285U14*Set_Corresponding_Record_Type 42|2938s13
7288U14*Set_Current_Value 42|966s13
7298U14*Set_Default_Expressions_Processed 42|828s7
7321U14*Set_Enclosing_Scope 42|934s16
7322U14*Set_Entry_Accepted 42|993s7
7325U14*Set_Entry_Component 42|1388s13
7328U14*Set_Entry_Parameters_Type 42|1323s7
7347U14*Set_First_Private_Entity 42|1798s13 1800s13 1899s13 1901s13 2805s13
. 2807s13 2876s13 2879s13
7362U14*Set_Has_Completion 42|1301s10 1783s7 2792s7
7368U14*Set_Has_Controlled_Component 42|2033s10
7374U14*Set_Has_Delayed_Freeze 42|1871s16 1969s7 2947s7
7414U14*Set_Has_Pragma_Unreferenced 42|970s13 1387s13
7420U14*Set_Has_Protected 42|1919s13 1966s7
7438U14*Set_Has_Task 42|1914s13 2944s7
7447U14*Set_Homonym 42|3451s10
7477U14*Set_Is_Constrained 42|1989s7 2971s7
7490U14*Set_Is_First_Subtype 42|1965s7 2943s7
7493U14*Set_Is_Frozen 42|1872s16
7502U14*Set_Is_Immediately_Visible 42|3450s10
7517U14*Set_Is_Known_Valid 42|1436s10
7554U14*Set_Is_Tagged_Type 42|3226s10
7557U14*Set_Is_True_Constant 42|965s13 2430s22
7585U14*Set_Must_Have_Preelab_Init 42|2140s13 3013s13
7588U14*Set_Never_Set_In_Source 42|964s13 1381s16 1382s16 2429s22
7623U14*Set_Protected_Body_Subprogram 42|1320s7
7628U14*Set_Referenced 42|967s13 1385s13 1386s13 2437s19
7629U14*Set_Referenced_As_LHS 42|968s13
7630U14*Set_Referenced_As_Out_Parameter 42|969s13
7672U14*Set_Stored_Constraint 42|1970s7 2948s7
7693U14*Set_Uses_Lock_Free 42|1826s10
7766U14*Init_Size_Align 42|1967s7 2945s7
7777U14*Init_Component_Location 42|2043s13
7819U14*Next_Formal=7820:14 42|2403s22 2404s22 2438s19
7943V13*Is_Entity_Name{boolean} 42|1552s19 1578s19 2234s19
7952V13*Scope_Depth{73|48I9} 42|2232s49
X 13 elists.ads
43K9*Elists 196e11 42|33w6 33r20
95V13*New_Elmt_List{72|458I9} 42|815s38 1211s31 1603s35
X 15 errout.ads
40K9*Errout 932e11 42|31w6 31r20
455i4*Error_Msg_Uint_1=455:45{73|48I9} 42|1564r16 1590r16
459i4*Error_Msg_Sloc=459:49{72|212I12} 42|2008r10 2010r13 2541r34 2989r10
. 2991r13 3311r13
462i4*Error_Msg_Name_1=462:48{25|179I9} 42|358r31 375r25 506r31 2077r19 2084r19
477i4*Error_Msg_Node_2=477:48{72|384I9} 42|2397r25
720U14*Error_Msg_N 42|170s22 338s28 361s34 379s31 381s31 397s28 408s28 421s28
. 434s28 445s28 488s28 510s37 512s37 526s28 541s28 617s37 671s22 719s16 722s16
. 790s13 796s10 844s10 866s19 881s13 894s19 906s13 913s10 1065s10 1067s10
. 1123s13 1176s10 1230s19 1293s10 1297s10 1468s10 1479s10 1565s16 1591s16
. 1745s10 1766s10 2011s13 2015s13 2115s19 2123s19 2189s13 2238s13 2278s13
. 2282s13 2308s13 2318s10 2358s10 2363s10 2371s16 2453s10 2490s19 2492s19
. 2504s16 2542s34 2563s10 2566s10 2572s13 2741s10 2765s10 2901s10 2919s10
. 2957s13 2992s13 2995s13 3109s13 3123s13 3250s22 3254s22 3266s22 3270s22
. 3312s13 3328s16 3335s16 3407s16 3413s13
735U14*Error_Msg_NE 42|199s31 474s34 598s40 2078s19 2085s19 2398s25 2773s13
. 2775s13 2845s16 3233s16 3361s19 3369s19
861U14*Error_Msg_CRT 42|1942s10
X 17 exp_ch9.ads
30K9*Exp_Ch9 376e12 42|32w6 32r20 953r7 1306r7
232U14*Expand_Accept_Declarations 42|953s15
239U14*Expand_Entry_Barrier 42|1306s15
259U14*Expand_N_Protected_Type_Declaration 42|2154s13
273U14*Expand_N_Task_Type_Declaration 42|3027s13
276U14*Expand_Protected_Body_Declarations 42|1786s7
301U14*Install_Private_Data_Declarations 42|1333s10
X 19 freeze.ads
28K9*Freeze 246e11 42|34w6 34r20
215U14*Freeze_Before 42|3240s16
X 21 layout.ads
33K9*Layout 83e11 42|35w6 35r20
40U14*Layout_Type 42|592s34
X 22 lib.ads
40K9*Lib 931e8 42|36r6 36r20
X 23 lib-util.ads
32U14*Write_Info_Char 30|43i19
41V13*Write_Info_Col{positive} 30|40i18
49U14*Write_Info_Initiate 30|46i19
54U14*Write_Info_Nat 30|50i19
83U14*Write_Info_Terminate 30|53i19
X 24 lib-xref.ads
33K13*Xref 757e13 42|36w10 36r24
676U14*Generate_Definition 42|1498s7 2592s7 2652s7 2924s7
690U14*Generate_Reference 42|848s10 1302s10 1771s7 2367s10 2780s7
694b7 Set_Ref{boolean} 42|848r51 1302r51 1771r49 2780r49
743U14*Generate_Reference_To_Formals 42|1619s7
X 25 namet.ads
38K9*Namet 707e10 42|37w6 37r20
179I9*Name_Id<integer> 42|348r48 498r49
X 26 nlists.ads
41K9*Nlists 367e11 42|38w6 38r20
124V13*First{72|393I12} 42|162s21 193s29 218s27 310s39 665s21 706s17 926s21
. 1063s25 1712s25 1747s13 2320s13 2479s14 2529s27 2743s13 2818s23 3156s15
. 3228s19 3399s19
151V13*List_Length{72|62I12} 42|1062s10
156V13*Next{72|393I12} 42|215s23
162U14*Next 42|208s25 220s19 317s34 678s16 728s10 935s16 2550s22 2556s10
. 2821s16 3197s13 3276s13
206V13*Is_Empty_List{boolean} 42|1893s22
211V13*Is_Non_Empty_List{boolean} 42|753s10 1136s10 1483s10 3129s10
216V13*Is_List_Member{boolean} 42|578s39
221V13*List_Containing{72|433I9} 42|216s27 579s39
244U14*Insert_After 42|2614s7 2683s7
345V13*No{boolean} 42|3152s13
352V13*Present{boolean} 42|183s20 743s10 817s10 920s10 1100s10 1337s10 1439s10
. 1458s10 1607s10 1706s24 1892s10 1977s10 2570s10 2814s10 2867s10 2871s10
. 2955s10 3041s10 3098s10 3225s10 3308s13 3344s16 3397s18
X 27 nmake.ads
36K9*Nmake 1536e10 42|39w6 39r20
78V13*Make_Identifier{72|384I9} 42|2611s34 2680s34
119V13*Make_Defining_Identifier{72|384I9} 42|2599s9 2659s9
144V13*Make_Object_Declaration{72|384I9} 42|2609s9 2678s9
145i7 Defining_Identifier{72|384I9} 42|2610r11 2679r11
149i7 Object_Definition{72|384I9} 42|2611r11 2680r11
921V13*Make_Task_Type_Declaration{72|384I9} 42|2663s9
922i7 Defining_Identifier{72|384I9} 42|2664r11
924i7 Interface_List{72|433I9} 42|2666r11
925i7 Task_Definition{72|384I9} 42|2665r11
950V13*Make_Protected_Type_Declaration{72|384I9} 42|2603s9
951i7 Defining_Identifier{72|384I9} 42|2604r10
953i7 Interface_List{72|433I9} 42|2606r10
954i7 Protected_Definition{72|384I9} 42|2605r10
X 28 opt.ads
50K9*Opt 2285e8 42|40w6 40r20 2900r10
115n30*Ada_83{115E9} 42|2956r27
115n46*Ada_2005{115E9} 42|711r36 718r31 1010r25 1057r25 1973r25 2951r25 3066r25
. 3108r27 3395r25
115n56*Ada_2012{115E9} 42|2344r24 2381r31
128e4*Ada_Version{115E9} 42|711r21 718r16 1010r10 1057r10 1973r10 2344r9
. 2381r16 2951r10 2956r13 3066r10 3108r13 3395r10
1074b4*No_Run_Time_Mode{boolean} 42|1941r10 2900r14
1187e4*Partition_Elaboration_Policy{character} 42|2916r10
1468b4*Tasking_Used{boolean} 42|703m7 741m7 774m7 1005m7 1051m7 1097m7 1148m7
. 1166m7 1194m7 1428m7 1455m7 1500m7 1646m7 1734m7 1888m7 1951m7 2178m7 2473m7
. 2593m7 2653m7 2729m7 2864m7 2911m7 3039m7 3060m7 3096m7
2068b4*Expander_Active{boolean} 42|1026r17 1075r17 1330r10 2152r21 3025r21
. 3075r17
X 31 restrict.ads
34K9*Restrict 567e13 42|41w6 41r20
45a4*Restrictions_Loc(72|212I12) 42|2008r28 2989r28
232V13*Abort_Allowed{boolean} 42|2026s11
269U14*Check_Restriction 42|731s7 1007s7 1008s7 1053s7 1098s7 1126s10 1150s7
. 1151s7 1154s7 1168s7 1952s7 2180s7 2475s7 2507s16 2559s7 2906s10 3062s7
. 3192s22 3209s10
307U14*Check_SPARK_05_Restriction 42|704s7 775s7 1006s7 1052s7 1149s7 1167s7
. 1456s7 1889s7 2179s7 2474s7 2865s7 3061s7
391V13*Restriction_Active{boolean} 42|2026s33
401V13*Restriction_Check_Required{boolean} 42|2004s10 2985s10
411V13*Restricted_Profile{boolean} 42|2917s22
X 32 rident.ads
49K9*Rident[61|75] 42|42w6 42r20
X 33 rtsfind.ads
28K9*Rtsfind 3222e12 42|43w6 43r20
544n6*RO_CA_Time{540E9} 42|1120r38 1173r27
587n6*RO_RT_Time{540E9} 42|1121r38 1174r27
1716n6*RE_Protected_Entry_Index{540E9} 42|1531r46
3126V13*Is_RTE{boolean} 42|1120s25 1121s25 1173s14 1174s14
3148V13*RTE{72|387I12} 42|1531s41
X 34 sem.ads
210K9*Sem 715e8 42|44w6 44r20
465i7*Entity{72|387I12} 42|783r44 878r53 880r47 2185r45 2215r48
555K12*Scope_Stack[67|55] 42|782r29 783r22 877r29 878r31 880r25 2184r29 2185r23
. 2214r32 2215r26
577U14*Analyze 42|708s10 751s7 928s16 984s10 1013s10 1028s13 1037s10 1058s10
. 1076s13 1083s10 1129s10 1170s7 1201s7 1277s25 1343s10 1431s10 1472s7 1512s10
. 1647s7 1998s7 2194s7 2482s10 2828s7 3067s10 3076s13 3077s13 3083s10 3084s10
. 3102s7
603U14*Analyze_List 42|744s10 1101s10 1459s10 3042s10 3099s10
X 35 sem_aux.ads
47K9*Sem_Aux 401e12 42|45w6 45r20
146V13*First_Subtype{72|387I12} 42|1117s17 1171s14
167V13*Get_Rep_Item{72|384I9} 42|1697s20 2067s27 2104s27
170b7 Check_Parents{boolean} 42|1698r48
243V13*Has_Rep_Pragma{boolean} 42|2349s20
337V13*Is_Limited_Type{boolean} 42|3309s25
X 36 sem_ch13.ads
30K9*Sem_Ch13 373e13 42|50w6 50r20
40U14*Analyze_Aspect_Specifications 42|1622s10 1945s13 1995s10 2635s10 2704s10
. 2974s10
X 37 sem_ch3.ads
29K9*Sem_Ch3 326e12 42|46w6 46r20
72U14*Analyze_Declarations 42|1338s10 1790s7 1890s7 1896s10 2796s7 2868s10
. 2873s10
110U14*Check_Completion 42|1804s7 2829s7
150V13*Find_Hidden_Interface{72|387I12} 42|3358s25 3366s25
157V13*Find_Type_Of_Subtype_Indic{72|387I12} 42|3230s26
161V13*Find_Type_Name{72|387I12} 42|1954s12 2923s12
195U14*Make_Index 42|1278s25 1513s10 1655s10
257U14*Process_Full_View 42|2155s13 3028s13
301U14*Process_Discriminants 42|1985s13 2967s13
320U14*Set_Completion_Referenced 42|1961s10 2934s13
X 38 sem_ch5.ads
28K9*Sem_Ch5 59e12 42|47w6 47r20
44U14*Analyze_Statements 42|754s10 1027s13 1036s10 1077s13 1084s10 1137s10
. 1484s10 2575s10 3130s10
53U14*Check_Unreachable_Code 42|2181s7
X 39 sem_ch6.ads
27K9*Sem_Ch6 293e12 42|48w6 48r20
30n41*Subtype_Conformant{29E9} 42|2395r41
97U14*Check_Fully_Conformant 42|875s7 1222s13
133U14*Check_Subtype_Conformant 42|2408s16
159V13*Conforming_Types{boolean} 42|2392s29
160i7 T1{72|387I12} 42|2393r32
161i7 T2{72|387I12} 42|2394r32
162e7 Ctype{29E9} 42|2395r32
171U14*Create_Extra_Formals 42|820s10 1611s10
195V13*Fully_Conformant_Discrete_Subtypes{boolean} 42|1225s23
235U14*New_Overloaded_Entity 42|1616s10
243U14*Process_Formals 42|819s10 1442s10 1610s10
259U14*Set_Actual_Subtypes 42|982s10 1310s7
280V13*Type_Conformant{boolean} 42|834s21 864s27 1217s21 2260s27
X 40 sem_ch8.ads
27K9*Sem_Ch8 183e12 42|49w6 49r20
58U14*End_Scope 42|821s10 986s10 1406s7 1414s10 1443s10 1612s10 1807s7 2049s7
. 2853s7 3000s7
134U14*Push_Scope 42|818s10 979s10 1307s7 1441s10 1609s10 1660s7 1780s7 1971s7
. 2789s7 2949s7
X 41 sem_ch9.ads
29K9*Sem_Ch9 91l5 91e12 42|64b14 3455l5 3455t12
30U14*Analyze_Abort_Statement 30>58 42|699b14 733l8 733t31
30i58 N{72|384I9} 42|699b39 704r69 706r31 731r47 732r45
31U14*Analyze_Accept_Alternative 31>58 42|739b14 756l8 756t34
31i58 N{72|384I9} 42|739b42 743r35 744r40 747r30 748r42 751r34 753r41 754r42
32U14*Analyze_Accept_Statement 32>58 42|762b14 994l8 994t32
32i58 N{72|384I9} 42|762b40 763r60 764r67 765r54 766r69 775r70 790r69 796r64
. 808r50 811r43 819r36 844r73 866r61 875r53 881r71 886r25 896r63 906r76 913r73
. 920r33 926r42 953r43 982r31 985r57 991r45 992r36
33U14*Analyze_Asynchronous_Select 33>58 42|1000b14 1039l8 1039t35
33i58 N{72|384I9} 42|1000b43 1006r70 1007r59 1008r48 1011r67 1017r47 1027r61
. 1028r46 1036r58 1037r43
34U14*Analyze_Conditional_Entry_Call 34>58 42|1045b14 1086l8 1086t38
34i58 N{72|384I9} 42|1045b46 1047r72 1052r70 1053r48 1059r47 1062r40 1063r49
. 1066r61 1068r74 1076r46 1077r50 1083r43 1084r47
35U14*Analyze_Delay_Alternative 35>58 42|1092b14 1139l8 1139t33
35i58 N{72|384I9} 42|1092b41 1098r36 1100r35 1101r40 1104r28 1105r47 1111r37
. 1119r37 1129r36 1132r30 1133r42 1136r41 1137r42
36U14*Analyze_Delay_Relative 36>58 42|1145b14 1155l8 1155t30
36i58 N{72|384I9} 42|1145b38 1146r43 1149r69 1150r45 1151r36 1152r45
37U14*Analyze_Delay_Until 37>58 42|1161b14 1178l8 1178t27
37i58 N{72|384I9} 42|1161b35 1162r45 1167r69 1168r36 1169r45
38U14*Analyze_Entry_Body 38>58 42|1184b14 1416l8 1416t26
38i58 N{72|384I9} 42|1184b34 1185r63 1186r56 1187r70 1188r66 1222r44 1293r67
. 1297r47 1306r37 1310r28 1334r19 1334r43 1405r54
39U14*Analyze_Entry_Body_Formal_Part 39>58 42|1422b14 1445l8 1445t38
39i58 N{72|384I9} 42|1422b46 1423r68 1424r66 1425r65 1442r44
40U14*Analyze_Entry_Call_Alternative 40>58 42|1451b14 1486l8 1486t38
40i58 N{72|384I9} 42|1451b46 1452r56 1456r64 1458r35 1459r40 1480r75 1483r41
. 1484r42
41U14*Analyze_Entry_Declaration 41>58 42|1492b14 1624l8 1624t33
41i58 N{72|384I9} 42|1492b41 1493r68 1494r60 1495r65 1513r30 1610r36 1621r23
. 1622r41
42U14*Analyze_Entry_Index_Specification 42>58 42|1640b14 1664l8 1664t41
42i58 N{72|384I9} 42|1640b49 1641r60 1642r68 1643r61 1655r27
43U14*Analyze_Protected_Body 43>58 42|1670b14 1828l8 1828t30
43i58 N{72|384I9} 42|1670b38 1671r60 1744r23 1747r43 1751r26 1781r31 1786r43
. 1790r43 1806r26 1814r50 1824r51
44U14*Analyze_Protected_Definition 44>58 42|1834b14 1929l8 1929t36
44i58 N{72|384I9} 42|1834b44 1889r74 1890r51 1892r41 1893r59 1896r54 1927r26
. 1928r26
45U14*Analyze_Protected_Type_Declaration 45>58 42|1935b14 2158l8 2158t42
. 2632s7
45i58 N{72|384I9} 42|1935b50 1936r59 1942r43 1944r26 1945r44 1952r46 1954r28
. 1974r28 1977r48 1985r36 1994r23 1995r41 1998r38 2013r50 2017r51 2055r47
. 2062r76 2091r50 2154r50 2155r32
46U14*Analyze_Requeue 46>58 42|2164b14 2456l8 2456t23
46i58 N{72|384I9} 42|2164b31 2166r38 2179r71 2180r49 2181r31 2189r77 2278r54
. 2282r61 2308r59 2358r71 2363r73 2366r31 2400r54 2408r69 2454r70
47U14*Analyze_Selective_Accept 47>58 42|2462b14 2577l8 2577t32
47i58 N{72|384I9} 42|2462b40 2463r55 2474r70 2475r48 2504r71 2507r62 2559r51
. 2560r45 2563r72 2567r68 2570r36 2572r75 2575r47
48U14*Analyze_Single_Protected_Declaration 48>58 42|2583b14 2637l8 2637t44
48i58 N{72|384I9} 42|2583b52 2584r45 2585r60 2605r71 2606r50 2613r16 2614r21
. 2632r43 2634r23 2635r41
49U14*Analyze_Single_Task_Declaration 49>58 42|2643b14 2706l8 2706t39
49i58 N{72|384I9} 42|2643b47 2644r45 2645r60 2665r66 2666r50 2682r16 2683r21
. 2701r38 2703r23 2704r41
50U14*Analyze_Task_Body 50>58 42|2712b14 2854l8 2854t25
50i58 N{72|384I9} 42|2712b33 2713r60 2714r53 2715r67 2740r23 2743r43 2747r26
. 2773r60 2775r55 2790r31 2845r57
51U14*Analyze_Task_Definition 51>58 42|2860b14 2886l8 2886t31 2978s10
51i58 N{72|384I9} 42|2860b39 2865r69 2867r41 2868r54 2871r41 2873r54 2884r26
. 2885r26
52U14*Analyze_Task_Type_Declaration 52>58 42|2701s7 2892b14 3031l8 3031t37
52i58 N{72|384I9} 42|2892b45 2893r59 2901r66 2906r41 2920r76 2923r28 2952r28
. 2955r48 2956r62 2957r69 2967r36 2973r23 2974r41 2977r36 2978r52 2993r75
. 2996r76 3027r45 3028r32
53U14*Analyze_Terminate_Alternative 53>58 42|3037b14 3048l8 3048t37
53i58 N{72|384I9} 42|3037b45 3041r35 3042r40 3045r30 3046r42
54U14*Analyze_Timed_Entry_Call 54>58 42|3054b14 3086l8 3086t32
54i58 N{72|384I9} 42|3054b40 3056r72 3061r70 3062r48 3068r47 3076r46 3077r41
. 3083r43 3084r38
55U14*Analyze_Triggering_Alternative 55>58 42|3092b14 3132l8 3132t38
55i58 N{72|384I9} 42|3092b46 3093r59 3098r35 3099r40 3129r41 3130r42
57U14*Install_Declarations 57>36 42|980s10 1309s7 1784s7 1983s13 2793s7 2965s13
. 3442b14 3454l8 3454t28
57i36 Spec{72|387I12} 42|3442b36 3446r26
71R9*Lock_Free_Subprogram 78e14 85r30 42|653r25
72i7*Sub_Body{72|384I9}
76i7*Comp_Id{72|387I12}
84K12*Lock_Free_Subprogram_Table[67|55] 42|652r22
X 42 sem_ch9.adb
70V13 Allows_Lock_Free_Implementation{boolean} 71>7 72>7 124b13 693l8 693t39
. 1814s17 1823s18 1824s18 2091s17
71i7 N{72|384I9} 125b7 133r32 152r17 154r68 229r65 230r71
72b7 Lock_Free_Given{boolean} 126b7 140r14 146r10 169r22 198r31 337r28 360r34
. 377r28 396r28 407r28 420r28 433r28 444r28 473r34 487r28 508r34 525r28 540r28
. 597r40 616r37 640r19 645r32 670r22 686r10
97U14 Check_Max_Entries 97>33 97>46 1927s7 2884s7 3138b14 3211l8 3211t25
97i33 D{72|384I9} 3138b33 3205r36 3206r36 3209r32
97e46 R{61|253E12[32|49]} 3138b46 3192r41 3209r29
103U14 Check_Interfaces 103>32 103>45 1974s10 2952s10 3217b14 3376l8 3376t24
103i32 N{72|384I9} 3217b32 3223r20 3225r35 3228r42 3240r31 3242r26 3258r43
. 3308r38 3320r39 3344r41
103i45 T{72|387I12} 3217b45 3226r30 3280r39 3294r41 3299r47 3313r43 3326r57
. 3332r48 3337r44 3354r35 3355r39 3363r54 3371r52
107U14 Check_Triggering_Statement 108>7 109>7 110<7 1017s10 1059s10 3068s10
. 3382b14 3418l8 3418t34
108i7 Trigger{72|384I9} 3383b7 3396r25 3397r51 3399r50 3412r23 3415r17
109i7 Error_Node{72|384I9} 3384b7 3409r56
110b7 Is_Dispatching{boolean} 3385b7 3390m7 3405m16
116V13 Find_Concurrent_Spec{72|387I12} 116>35 1736s18 2732s18 3424b13 3436l8
. 3436t28
116i35 Body_Id{72|387I12} 3424b35 3425r55
128i7 Errors_Count{72|62I12} 147m10 687r18
154i13 Pdef{72|384I9} 155r68 156r68
155i13 Priv_Decls{72|433I9} 218r34
156i13 Vis_Decls{72|433I9} 162r28 216r52
157i13 Decl{72|384I9} 162m13 163r28 168r26 171r67 179r29 181r42 183r70 188r54
. 215r29 216r44 218m19 220m25 220r25
186i22 Par_Specs{72|433I9} 193r36
190i22 Par{72|384I9} 193m22 194r37 196r63 202r34 202r60 208m31 208r31
228q10 Protected_Body_Case 680l14 680e33
229i13 Decls{72|433I9} 665r28
230i13 Pid{72|387I12} 231r59
231i13 Prot_Typ_Decl{72|384I9} 233r53
232i13 Prot_Def{72|384I9} 235r53
234i13 Priv_Decls{72|433I9} 579r69
236i13 Decl{72|384I9} 665m13 666r28 667r26 668r65 672r62 678m22 678r22
238V22 Satisfies_Lock_Free_Requirements{boolean} 239>16 247b22 660l17 660t49
. 668s31
239i16 Sub_Body{72|384I9} 248b16 251r60 459r59 644r36 653r47
250b16 Is_Procedure{boolean} 333r22
255i16 Comp{72|387I12} 612r38 613m34 615r37 651r31 653r57
258i16 Errors_Count{72|62I12} 641m19 646r37
262V25 Check_Node{7|560E9} 262>37 269b25 631l20 631t30 633r63
262i37 N{72|384I9} 269b37 270r55 338r66 349r60 361r70 372r58 375r52 378r58
. 379r67 381r68 393r62 394r57 398r77 408r62 418r74 422r74 431r62 435r71 445r71
. 454r50 457r67 476r48 488r61 498r75 509r64 510r73 512r73 526r71 538r48 542r68
. 555r47 558r67 601r43 619r40
270e19 Kind{48|8119E9} 336r25 346r28 371r28 392r28 406r28 416r28 417r33 430r28
. 443r28 453r28 486r28 496r28 524r28 536r28 554r22
274V28 Is_Static_Function{boolean} 274>48 283b28 328l23 328t41 394s37
274i48 Attr{72|384I9} 284b22 289r44 291r43 305r54 306r70 308r69 310r59
286i22 Para{72|384I9} 310m31 312r46 313r64 317m40 317r40
348i28 Asp_Name{25|179I9} 351r56 358r51
350e28 Asp_Id{6|75E9} 354r31 355r31 356r31
457i28 Id{72|387I12} 465r38 467r61 470r42 476r51
458i28 Sub_Id{72|387I12} 467r66 471r62
498i28 Prag_Name{25|179I9} 500r57 506r51
499e28 Prag_Id{50|1710E9} 503r31 504r38
558i25 Id{72|387I12} 564r35 565r39 567r41 568r58 570r52
559i25 Comp_Decl{72|384I9} 574m28 577r38 578r55 579r56
560i25 Comp_Id{72|387I12} 565m28 570m28 573r37 574r49 575r48 601r46 613r42
. 615r45
561i25 Comp_Type{72|387I12} 575m28 586r55 592r47 595r63
633V25 Check_All_Nodes[7|570]{7|564E12} 8|2172b13 42|644s19
700i7 T_Name{72|384I9} 706m7 707r22 708r19 710r34 712r46 713r53 714r58 716r22
. 720r51 722r59 728m16 728r16
763i7 Nam{72|387I12} 832r32 847r22 848r41 849r34
764i7 Formals{72|433I9} 817r19 819r27
765i7 Index{72|384I9} 806r19 905r17 908r34 909r32 912r22
766i7 Stats{72|384I9} 978r19 984r19
767i7 Accept_Id{72|387I12} 807m10 810m10 814r27 815r27 818r22 820r32 828r42
. 833r41 834r38 874r23 875r31
768i7 Entry_Nam{72|387I12} 780m7 836m13 843r10 847r27 848r30 849r39 863r47
. 864r48 874r46 875r42 880r13 934r41 953r46 961r26 979r22 980r32 985r66 992r25
. 993r27
769i7 E{72|387I12} 830m7 831r22 832r20 833r29 834r49 836r26 840m23 840r23
. 904r17 908r59 909r57 961m7 962r22 963r24 964r46 965r46 966r46 967r46 968r46
. 969r46 970r46 973m23 973r23
770e7 Kind{12|4467E9} 785m10 787r13 787r38
771i7 Task_Nam{72|387I12} 783m10 784r34 785r26 788r35 795r24 830r33 855r27
. 878r20
782i11 J<integer> 783r41
857i13 E1{72|387I12} 860m13 861r28 862r26 863r34 864r44 869m29 869r29
877i11 J<integer> 878r50 880r44
886i10 P{72|384I9} 889m13 889r26 890r25
922i13 Decl{72|384I9} 926m13 927r28 928r25 931r26 933r43 935m22 935r22
923i13 Id{72|387I12} 933m16 934r37
1001b7 Is_Disp_Select{boolean} 1017m50 1025r10
1002i7 Trigger{72|384I9} 1011m10 1013r19 1017r38
1046i7 Trigger{72|384I9} 1058r19 1059r38
1048b7 Is_Disp_Select{boolean} 1059m50 1074r10
1093i7 Expr{72|384I9} 1105m10 1112r37 1114r37 1117r39 1123r65 1126r45
1094i7 Typ{72|387I12} 1117m10 1120r33 1121r33
1146i7 E{72|384I9} 1153r28 1154r42
1162i7 E{72|384I9} 1170r16 1171r36 1176r62
1163i7 Typ{72|387I12} 1171m7 1173r22 1174r22
1185i7 Id{72|387I12} 1204r21 1206r21 1209r27 1210r27 1211r27 1215r32 1216r41
. 1217r38 1220r29 1221r58 1222r37 1224r23 1302r42 1303r34 1321r10 1324r10
. 1367r33 1394r28 1411r17
1186i7 Decls{72|433I9} 1334r46 1337r19 1338r32 1339r48
1187i7 Stats{72|384I9} 1342r19 1343r19
1188i7 Formals{72|384I9} 1201r16 1203r46 1228r49 1233r52 1246r64 1412r54
1189i7 P_Type{72|387I12} 1213r26 1331r37 1334r35
1190i7 E{72|387I12} 1213m7 1214r22 1215r20 1216r29 1217r42 1219r27 1220r45
. 1222r41 1226r56 1250r70 1289m23 1289r23
1191i7 Entry_Name{72|387I12} 1199m7 1219m13 1221r45 1292r10 1296r29 1301r30
. 1302r30 1303r38 1306r40 1307r19 1309r29 1321r41 1324r37 1334r23 1365r30
. 1401r25 1405r63
1245i22 Index_Spec{72|384I9} 1255r56 1264r57 1278r42 1280r49
1248i22 Def{72|384I9} 1257r36 1258r39 1264r70 1266r50 1267r51 1269r61 1270r51
. 1273r62 1274r52 1277r34 1278r37 1280r69
1361i10 E1{72|387I12} 1365m10 1366r25 1369r33 1380r23 1381r66 1382r41 1385r45
. 1386r29 1387r71 1388r55 1391m26 1391r26
1362i10 E2{72|387I12} 1367m13 1368r28 1369r46 1370m29 1370r29 1376r20 1381r41
. 1385r29 1387r42 1388r34
1390L12 Continue 1377r21
1423i7 Id{72|387I12} 1440r21 1441r22
1424i7 Index{72|384I9} 1430r19 1431r19 1436r51
1425i7 Formals{72|433I9} 1439r19 1442r27
1452i7 Call{72|384I9} 1462r17 1468r72 1472r16 1478r17
1493i7 D_Sdef{72|384I9} 1504r14 1512r19 1513r22 1519r13 1519r28 1543r40 1545r37
. 1549r26 1550r34 1552r35 1553r41 1555r47 1565r71 1569r40 1571r37 1575r26
. 1576r35 1578r35 1579r41 1581r48 1591r72
1494i7 Def_Id{72|387I12} 1498r28 1505r21 1510r22 1511r21 1513r33 1601r27
. 1602r27 1603r27 1608r21 1609r22 1611r32 1615r17 1616r33 1619r38 1622r44
1495i7 Formals{72|433I9} 1607r19 1610r27
1531i13 PEI{72|387I12} 1532r69 1533r70
1532i13 LB{73|48I9} 1562r43 1564r36
1533i13 UB{73|48I9} 1588r43 1590r36
1535i13 LBR{72|384I9} 1550m16 1555m16 1561r41 1562r36
1536i13 UBR{72|384I9} 1576m16 1581m16 1587r41 1588r36
1568L12 Skip_LB 1547r21 1558r21
1594L12 Skip_UB 1573r21 1584r21
1641i7 Iden{72|384I9} 1661r19 1662r18 1663r18
1642i7 Def{72|384I9} 1647r16 1654r17 1655r22 1663r31
1643i7 Loop_Id{72|387I12} 1658r18 1659r18 1660r19
1671i7 Body_Id{72|387I12} 1735r18 1736r40 1766r67 1771r35 1772r31 1782r49
. 1804r25
1672i7 Last_E{72|387I12} 1788m7 1797r22 1798r61
1674i7 Spec_Id{72|387I12} 1698r23 1736m7 1754r19 1755r25 1759r22 1760r32
. 1761r48 1770r17 1772r40 1776r17 1777m10 1777r28 1780r19 1781r34 1782r39
. 1783r27 1784r29 1786r46 1788r30 1796r36 1798r39 1800r39 1800r62 1805r25
. 1813r26 1823r59 1826r30
1680i7 Ref_Id{72|387I12} 1770m7 1771r27 1806r34
1686V16 Lock_Free_Disabled{boolean} 1695b16 1729l11 1729t29 1822s17
1696i10 Ritem{72|384I9} 1701r22 1705r23 1706r63 1712r62 1716r26 1717r45 1719r61
1835i7 E{72|387I12} 1906m7 1907r22 1908r23 1909r29 1911r37 1912r37 1916r42
. 1917r42 1922m23 1922r23
1836i7 L{72|387I12} 1895m10 1898r22 1899r67
1838U17 Undelay_Itypes 1838>33 1855b17 1877s19 1883l11 1883t25 1925s7
1838i33 T{72|387I12} 1855b33 1859r32 1860r43 1861r32 1862r35
1856i10 Comp{72|387I12} 1860m13 1862m13 1867r25 1868r25 1869r34 1871r40 1872r31
. 1874r35 1875r45 1877r35 1881m26 1881r26
1936i7 Def_Id{72|387I12} 1945r47 1995r44 2067r41 2104r41 2132r15 2132r48
. 2139r41 2155r38
1937i7 E{72|387I12} 2039m7 2040r22 2041r20 2042r24 2043r38 2046m23 2046r23
1938i7 T{72|387I12} 1954m7 1959r17 1959r69 1960m10 1960r26 1961r37 1964r31
. 1965r31 1966r31 1967r31 1968r31 1968r34 1969r31 1970r31 1971r19 1974r31
. 1978r32 1983r35 1989r27 1989r53 2005r47 2006r37 2027r36 2029r25 2030r44
. 2031r41 2033r40 2101r33 2101r64 2132r10 2140r41 2155r35
2062i13 Id{72|387I12} 2079r56 2086r56
2066i13 Prio_Item{72|384I9} 2070r25 2074r26 2075r53 2077r58 2079r45 2084r52
. 2086r45
2103i13 Prio_Item{72|384I9} 2107r25 2111r27 2112r56 2113r46 2116r63 2120r29
. 2121r40 2124r63
2165i7 Count{natural} 2267m19 2267r28 2277r13 2281r16
2166i7 Entry_Name{72|384I9} 2194r16 2196r17 2200r17 2201r32 2202m10 2202r39
. 2245r25 2252r28 2286r32 2287r25 2295r20 2299r28 2300r56 2304r31 2305r41
. 2317r20 2320r44 2326r30 2361r25 2367r40
2167i7 Entry_Id{72|387I12} 2246m10 2268m19 2287r37 2300m13 2305m13 2326m10
. 2348r27 2349r36 2355r24 2360r20 2367r30 2369r36 2373r33 2388r63 2408r53
2168i7 I{45|76I9} 2252m40 2270m34 2270r34 2274m30 2274r30
2169b7 Is_Disp_Req{boolean} 2343m7 2356r22 2381r49
2170r7 It{45|65R9} 2252m43 2253r25 2259r35 2260r55 2261r31 2266r38 2268r31
. 2274m33
2171i7 Enclosing{72|387I12} 2183m7 2185m10 2186r30 2188r27 2236r24 2260r44
. 2387r53 2408r42 2417r37
2172i7 Target_Obj{72|384I9} 2201m10 2208r19 2232r34 2234r35 2235r39 2236r52
. 2239r63 2335r19 2336r31 2345r29 2450r19 2451r35
2173i7 Req_Scope{72|387I12} 2215m13 2217r30 2218r30 2220r26 2221r29
2174i7 Outer_Ent{72|387I12} 2213m10 2221m16 2225r34 2232r62
2175i7 Synch_Type{72|387I12} 2336m10 2338r29 2339m13 2339r44 2346r40 2347r45
2184i11 J<integer> 2185r42
2214i14 S<integer> 2215r45
2383i19 Enclosing_Formal{72|387I12} 2387m19 2389r34 2393r48 2400r57 2403m35
. 2403r35
2384i19 Target_Formal{72|387I12} 2388m19 2390r39 2394r48 2397r45 2404m35
. 2404r35
2414i16 Ent{72|387I12} 2417m16 2418r31 2428r32 2429r47 2430r47 2437r35 2438m32
. 2438r32
2463i7 Alts{72|433I9} 2479r21 2529r34
2464i7 Alt{72|384I9} 2479m7 2480r22 2482r19 2484r20 2488r45 2491r70 2493r67
. 2499r42 2502r23 2510r23 2517r61 2523r42 2530r33 2556m16 2556r16
2466b7 Accept_Present{boolean} 2511m13 2565r17
2467b7 Terminate_Present{boolean} 2503r16 2506m16 2562r10 2571r13
2468b7 Delay_Present{boolean} 2485r16 2497m16 2562r32 2571r34
2469b7 Relative_Present{boolean} 2487r19 2498m16
2470i7 Alt_Count{73|48I9} 2481m10 2481r23 2559r54
2516i16 Alt1{72|384I9} 2529m19 2530r25 2531r32 2532r48 2535r73 2550m28 2550r28
2517i16 Stm{72|384I9} 2518r62 2543r73
2518i16 EDN{72|384I9} 2522r26 2524r44 2525r42 2527r34
2519i16 Ent{72|387I12} 2527m19 2540r50
2535i28 Stm1{72|384I9} 2536r74 2541r58
2536i28 EDN1{72|384I9} 2539r38 2540r42
2584i7 Loc{72|212I12} 2603r42 2609r34 2611r51
2585i7 Id{72|384I9} 2589r38 2592r28 2599r41 2600r37 2635r44
2586i7 T{72|387I12} 2598m7 2604r33 2611r64 2620r19 2621r18 2622r18 2622r21
. 2626r26
2587i7 T_Decl{72|384I9} 2602m7 2613r19
2588i7 O_Decl{72|384I9} 2608m7 2614r24 2615r31
2589i7 O_Name{72|387I12} 2610r34 2624r19 2625r18 2626r18
2644i7 Loc{72|212I12} 2663r37 2678r34 2680r51
2645i7 Id{72|384I9} 2649r38 2652r28 2659r41 2660r37 2704r44
2646i7 T{72|387I12} 2658m7 2664r34 2680r63 2689r19 2690r18 2691r18 2691r21
. 2695r26
2647i7 T_Decl{72|384I9} 2662m7 2682r19
2648i7 O_Decl{72|384I9} 2677m7 2683r24 2684r31
2649i7 O_Name{72|387I12} 2679r34 2693r19 2694r18 2695r18
2713i7 Body_Id{72|387I12} 2730r18 2731r18 2732r40 2765r62 2780r35 2781r31
. 2791r49 2829r25 2830r25
2714i7 Decls{72|433I9} 2796r29 2797r45
2715i7 HSS{72|384I9} 2814r39 2818r50 2828r16 2852r26
2716i7 Last_E{72|387I12} 2794m7 2804r22 2805r61
2718i7 Spec_Id{72|387I12} 2732m7 2753r19 2754r25 2758r22 2759r32 2760r48
. 2769r26 2770r55 2772r28 2773r63 2775r58 2779r17 2781r40 2785r17 2786m10
. 2786r28 2789r19 2790r34 2791r39 2792r27 2793r29 2794r30 2803r36 2805r39
. 2807r39 2807r62 2831r25 2839r31
2723i7 Ref_Id{72|387I12} 2779m7 2780r27 2852r36
2816i13 Handlr{72|384I9} 2818m13 2819r28 2820r40 2821m22 2821r22
2836i10 Ent{72|387I12} 2839m10 2840r25 2841r26 2842r44 2843r43 2845r60 2848m26
. 2848r26
2861i7 L{72|387I12} 2872m10 2875r22 2877r44
2893i7 Def_Id{72|387I12} 2974r44 3004r15 3005r35 3012r41 3028r38
2894i7 T{72|387I12} 2923m7 2924r28 2931r17 2932r33 2933m13 2933r29 2934r40
. 2937r24 2938r44 2942r31 2943r31 2944r31 2945r31 2946r31 2946r34 2947r31
. 2948r31 2949r19 2952r31 2960r32 2965r35 2971r27 2971r53 2986r47 2987r37
. 3004r10 3013r41 3028r35
3055i7 Trigger{72|384I9} 3067r19 3068r38
3057b7 Is_Disp_Select{boolean} 3068m50 3074r10
3093i7 Trigger{72|384I9} 3102r16 3104r29 3105r25 3106r25 3110r67 3118r23
. 3119r57 3121r42 3125r38
3139i7 Ecount{73|48I9} 3167m22 3167r32 3182m28 3182r38 3204m7 3208r10 3209r35
3141U17 Count 3141>24 3148b17 3199l11 3199t16 3205s7 3206s7
3141i24 L{72|433I9} 3148b24 3152r17 3156r22
3149i10 D{72|384I9} 3156m10 3157r25 3158r23 3161r56 3192r44 3197m19 3197r19
3160i19 DSD{72|384I9} 3166r26 3171r54 3175r58 3178r59
3173i25 Lo{73|48I9} 3181r34 3182r52
3176i25 Hi{73|48I9} 3181r28 3182r47
3218i7 Iface{72|384I9} 3228m10 3229r25 3230r54 3234r56 3240r41 3251r46 3255r53
. 3267r47 3271r49 3276m19 3276r19
3219i7 Iface_Typ{72|387I12} 3230m13 3232r34 3234r63 3249r41 3253r51 3265r46
. 3269r51
3288i10 Full_T_Ifaces{72|458I9} 3355m42 3358r63 3366r48
3289i10 Iface{72|384I9} 3358m16 3360r28 3363r57 3366m16 3368r28 3371r55
3290i10 Priv_T{72|387I12} 3294m10 3296r37 3298r25 3298r62 3299r37 3302m26
. 3302r26 3309r42 3311r37 3319r29 3325r45 3330r44 3333r57 3345r40 3347r37
. 3349r35 3351r22
3291i10 Priv_T_Ifaces{72|458I9} 3351m30 3358r48 3366r63
3387i7 Param{72|384I9} 3399m10 3401r36 3402r42 3404r42
3425i7 Spec_Id{72|387I12} 3431r19 3431r44 3432m10 3432r32 3435r14
3443i7 E{72|387I12} 3446m7 3447r22 3448r34 3449r30 3450r38 3451r23 3452m23
. 3452r23
3444i7 Prev{72|387I12} 3448m10 3451r26
X 43 sem_eval.ads
40K9*Sem_Eval 42|51w6 51r20 43|563e13
212V13*Is_OK_Static_Expression{boolean} 42|393s37 431s37 1561s16 1587s16
247V13*Is_OK_Static_Subtype{boolean} 42|308s32 3171s25
345V13*Expr_Value{73|48I9} 42|1532s41 1533s41 1562s24 1588s24 3174s32 3177s32
X 44 sem_res.ads
32K9*Sem_Res 42|52w6 52r20 44|143e12
60U14*Resolve 42|716s13
74U14*Resolve_Entry 42|2366s10
80U14*Analyze_And_Resolve 42|748s10 908s13 1133s10 1153s7 3046s10
116U14*Preanalyze_And_Resolve 42|1112s13
122U14*Preanalyze_And_Resolve 42|1114s13
X 45 sem_type.ads
31K9*Sem_Type 42|53w6 53r20 45|279e13
65R9*Interp 42|2170r21 45|69e14
66i7*Nam{72|387I12} 42|2253r28 2259r38 2260r58 2261r34 2266r41 2268r34
76I9*Interp_Index<72|59I9> 42|2168r21
136U14*Get_First_Interp 42|2252s10
144U14*Get_Next_Interp 42|2274s13
150U14*Remove_Interp 42|2270s19
X 46 sem_util.ads
37K9*Sem_Util 42|54w6 54r20 46|2038e13
175U14*Bad_Predicated_Subtype_Use 42|1517s10
322U14*Check_Potentially_Blocking_Operation 42|732s7 991s7 1152s7 1169s7
. 2560s7
338U14*Collect_Interfaces 42|3350s19 3355s19
342b7 Use_Full_View{boolean} 42|3351r45
426V13*Current_Entity{72|387I12} 42|3448s18
431V13*Current_Entity_In_Scope{72|387I12} 42|3425s30
437V13*Current_Scope{72|387I12} 42|808s29 811s22 855s10 860s33 982s34 1189s42
. 1209s31 1310s31 1440s25 1608s29 1659s27 1895s28 1899s39 1901s39 1902s29
. 1906s26 1914s27 1919s32 1925s23 1928s34 2039s26 2731s27 2872s28 2877s16
. 2880s16 2880s45 2885s34
468V13*Denotes_Discriminant{boolean} 42|1269s28 1273s28
560U14*Enter_Name 42|1510s10 1661s7 2620s7 2624s7 2689s7 2693s7
970V13*Has_Interfaces{boolean} 42|3346s35
972b7 Use_Full_View{boolean} 42|3347r45
1061V13*In_Instance{boolean} 42|1544s23 1570s23
1127U14*Inspect_Deferred_Constant_Completion 42|1339s10 2797s7
1191V13*Is_Controlling_Limited_Procedure{boolean} 42|3120s25
1206V13*Is_Concurrent_Interface{boolean} 42|2347s20
1260V13*Is_False{boolean} 42|1709s18 1719s23
1303V13*Is_Library_Level_Entity{boolean} 42|2005s22 2986s22
1373V13*Is_Renamed_Entry{boolean} 42|3119s25
1412V13*Is_Synchronized_Tagged_Type{boolean} 42|3325s16 3326s28 3332s19 3333s28
1446V13*Is_Variable{boolean} 42|2451s22
1562V13*New_Copy_Tree{72|384I9} 42|1249s30
1625V13*New_Internal_Entity{72|387I12} 42|807s23 810s23
1670V13*Object_Access_Level{73|48I9} 42|2232s13
1717U14*Process_End_Label 42|985s10 1405s7 1806s7 1928s7 2852s7 2885s7
1848V13*Scope_Within_Or_Same{boolean} 42|467s32 469s32
1858U14*Set_Convention 42|874s7 1220s13 1602s7 1909s13
1865U14*Set_Current_Entity 42|3449s10
1940V13*Static_Boolean{73|48I9} 42|1710s21 1719s33
1963V13*Support_Atomic_Primitives{boolean} 42|595s36
X 47 sem_warn.ads
34K9*Sem_Warn 42|55w6 55r20 47|264e13
75U14*Check_References 42|992s7 1394s10 1401s7 1805s7 2830s7 2831s7
X 48 sinfo.ads
54K9*Sinfo 42|58w6 58r20 48|13177e10
8119E9*Node_Kind 42|270r35 48|8508e23
8132n7*N_Attribute_Definition_Clause{8119E9} 42|371r35
8163n7*N_Identifier{8119E9} 42|453r35 554r29 2304r46 2522r33 2539r46
8227n7*N_Attribute_Reference{8119E9} 42|289r52 392r35 1462r25
8241n7*N_Function_Call{8119E9} 42|430r35 2317r34
8242n7*N_Procedure_Call_Statement{8119E9} 42|524r35 3118r34 3396r36
8258n7*N_Explicit_Dereference{8119E9} 42|416r35 1478r25 3412r34
8261n7*N_Indexed_Component{8119E9} 42|2295r34 2361r40
8264n7*N_Quantified_Expression{8119E9} 42|536r35 538r54
8266n7*N_Allocator{8119E9} 42|336r32
8270n7*N_Range{8119E9} 42|1255r72 1549r36 1575r36 1654r25
8272n7*N_Selected_Component{8119E9} 42|417r40 2200r31 2299r43
8284n7*N_Component_Declaration{8119E9} 42|577r51
8285n7*N_Entry_Declaration{8119E9} 42|168r34 3158r28
8294n7*N_Protected_Type_Declaration{8119E9} 42|133r35 152r22 3223r23 3242r31
8302n7*N_Procedure_Specification{8119E9} 42|181r51
8311n7*N_Task_Type_Declaration{8119E9} 42|2772r40 3223r53 3258r48
8333n7*N_Subprogram_Body{8119E9} 42|667r34
8337n7*N_Protected_Body{8119E9} 42|134r35
8338n7*N_Task_Body{8119E9} 42|891r21
8342n7*N_Implicit_Label_Declaration{8119E9} 42|931r34
8345n7*N_Subprogram_Declaration{8119E9} 42|179r37
8376n7*N_Asynchronous_Select{8119E9} 42|893r21
8385n7*N_Delay_Relative_Statement{8119E9} 42|1111r43 2488r53 2499r50
8386n7*N_Delay_Until_Statement{8119E9} 42|1119r43
8390n7*N_Entry_Call_Statement{8119E9} 42|3106r37
8392n7*N_Goto_Statement{8119E9} 42|443r35
8393n7*N_Loop_Statement{8119E9} 42|486r35
8399n7*N_Selective_Accept{8119E9} 42|1104r32
8400n7*N_Timed_Entry_Call{8119E9} 42|1104r52
8409n7*N_Accept_Alternative{8119E9} 42|2510r30 2531r40
8410n7*N_Delay_Alternative{8119E9} 42|2484r27
8414n7*N_Terminate_Alternative{8119E9} 42|2502r30
8445n7*N_Aspect_Specification{8119E9} 42|346r35 1716r35 2074r39 2111r40
8448n7*N_Compilation_Unit{8119E9} 42|891r35
8493n7*N_Pragma{8119E9} 42|496r35 1705r32 2120r42
8539E12*N_Delay_Statement{8119E9} 42|406r36 1063r57 3105r41
8719V13*Abortable_Part{72|384I9} 42|1027s45 1036s42
8728V13*Accept_Statement{72|384I9} 42|751s16 2517s43 2535s55
8791V13*Attribute_Name{25|179I9} 42|291s27
8818V13*Chars{25|179I9} 42|349s41 372s51 375s45 832s13 832s25 863s27 863s40
. 1215s13 1215s25 1369s26 1369s39 2077s39 2113s27 2600s30 2611s57 2660s30
. 2680s56
8866V13*Condition{72|384I9} 42|747s19 748s31 1132s19 1133s31 2523s31 2532s37
. 3045s19 3046s31
8908V13*Corresponding_Body{72|384I9} 42|2770s27
8920V13*Corresponding_Spec{72|384I9} 42|230s51 251s40 459s39
8932V13*Declarations{72|433I9} 42|229s51 920s19 926s28 1186s42 1790s29 2714s39
8944V13*Defining_Identifier{72|387I12} 42|196s42 202s39 933s22 1185s42 1280s28
. 1423s39 1436s30 1494s39 1641s39 1671s39 1936s38 2055s26 2062s40 2585s39
. 2645s39 2713s39 2893s38
8950V13*Delay_Alternative{72|384I9} 42|3077s22 3084s19
8953V13*Delay_Statement{72|384I9} 42|1105s30 1111s20 1119s20 1129s19 2488s28
. 2499s25
8971V13*Discrete_Subtype_Definition{72|384I9} 42|1226s19 1227s19 1232s23
. 1250s33 1255s27 1264s28 1493s39 1642s39 3161s27
8977V13*Discriminant_Specifications{72|433I9} 42|1977s19 2955s19
9022V13*Else_Statements{72|433I9} 42|1062s23 1063s32 1077s33 1084s30 2570s19
. 2575s30
9037V13*Entity{72|384I9} 42|454s42 457s59 555s39 558s59 1553s33 1555s39 1579s33
. 1581s40 2235s31 2236s44 2300s25 2305s25 2326s22 2524s36 2525s34 2527s26
. 2540s34 3119s43 3121s28
9043V13*Entry_Body_Formal_Part{72|384I9} 42|1188s42
9046V13*Entry_Call_Alternative{72|384I9} 42|1047s48 1076s22 1083s19 3056s48
. 3076s22 3083s19
9049V13*Entry_Call_Statement{72|384I9} 42|1047s26 1452s34 3056s26
9052V13*Entry_Direct_Name{72|384I9} 42|763s41 2518s43 2536s55
9055V13*Entry_Index{72|384I9} 42|765s41
9058V13*Entry_Index_Specification{72|384I9} 42|1203s19 1228s22 1233s25 1246s37
. 1412s27 1424s39
9061V13*Etype{72|384I9} 42|196s35 305s47 306s55 308s54 313s57 418s59 575s41
. 710s27 712s39 713s46 714s51 784s27 795s17 830s26 1117s32 1171s29 1280s62
. 1519s21 1543s33 1569s33 1663s24 1760s25 1761s41 1777s21 1911s30 1912s30
. 1916s35 1917s35 2196s10 2336s24 2393s41 2394s41 2759s25 2760s41 2786s21
. 3171s47 3175s51 3178s52 3240s34 3402s35 3404s35
9067V13*Exception_Handlers{72|433I9} 42|2814s19 2818s30
9085V13*Expression{72|384I9} 42|1105s18 1146s31 1162s33 1711s23 1717s33 1719s49
9088V13*Expressions{72|433I9} 42|310s46
9118V13*From_Aspect_Specification{boolean} 42|378s31 509s37 2075s26 2112s29
9147V13*Handled_Statement_Sequence{72|384I9} 42|766s41 985s29 1187s42 1405s26
. 2715s39
9204V13*High_Bound{72|384I9} 42|1267s39 1273s50 1274s40 1576s23
9207V13*Identifier{72|384I9} 42|349s48 2077s46 2113s34
9210V13*Interface_List{72|433I9} 42|2606s34 2666s34 3225s19 3228s26 3308s22
. 3344s25
9261V13*Is_Controlling_Actual{boolean} 42|3401s13
9303V13*Is_Overloaded{boolean} 42|2245s10
9378V13*Low_Bound{72|384I9} 42|1266s39 1269s50 1270s40 1550s23
9399V13*Name{72|384I9} 42|2166s32 2358s65 2363s67 2366s25 2408s63 3119s51
. 3121s36
9402V13*Names{72|433I9} 42|706s24
9405V13*Next_Entity{72|384I9} 42|1798s48 1899s54 2805s48 2877s31
9480V13*Parameter_Associations{72|433I9} 42|2320s20 3397s27 3399s26
9483V13*Parameter_Specifications{72|433I9} 42|183s29 187s36 764s41 1425s39
. 1495s39
9495V13*Pragma_Argument_Associations{72|433I9} 42|1706s33 1712s32
9504V13*Pragmas_Before{72|433I9} 42|743s19 744s24 1100s19 1101s24 1458s19
. 1459s24 3041s19 3042s24 3098s19 3099s24
9510V13*Prefix{72|384I9} 42|306s62 308s61 418s66 2201s24 2299s20 2300s48
. 2304s23 2305s33
9525V13*Private_Declarations{72|433I9} 42|155s46 235s31 1892s19 1893s37 1896s32
. 2871s19 2873s32 3206s14
9537V13*Protected_Definition{72|384I9} 42|154s46 233s31 1998s16 2605s49
9600V13*Scope{72|384I9} 42|467s54 470s35 2236s37 3294s34
9603V13*Select_Alternatives{72|433I9} 42|2463s34
9606V13*Selector_Name{72|384I9} 42|2202s24 2300s33
9618V13*Specification{72|384I9} 42|181s27 183s55 188s39
9624V13*Statements{72|433I9} 42|753s29 754s30 1027s33 1036s30 1136s29 1137s30
. 1483s29 1484s30 3129s29 3130s30
9660V13*Task_Definition{72|384I9} 42|2665s49 2977s19 2978s35
9675V13*Triggering_Alternative{72|384I9} 42|1011s43 1028s22 1037s19
9678V13*Triggering_Statement{72|384I9} 42|1011s21 3093s37
9708V13*Visible_Declarations{72|433I9} 42|156s46 1890s29 2867s19 2868s32
. 3205s14
9930U14*Set_Corresponding_Body 42|1221s13 1782s7 2791s7
9942U14*Set_Corresponding_Spec 42|1781s7 2790s7
10059U14*Set_Entity 42|847s10 1270s28 1274s28 2287s13
10080U14*Set_Etype 42|814s7 1210s7 1257s25 1279s25 1601s7 1663s7 1968s7 2622s7
. 2626s7 2691s7 2695s7 2946s7
10323U14*Set_Is_Overloaded 42|2286s13
10386U14*Set_Local_Raise_Not_OK 42|2820s16
10620U14*Set_Scope 42|1209s7 1440s10 1608s10 1659s7 2731s7
10749U14*Next_Entity 42|840s10 869s16 973s10 1289s10 1370s16 1391s13 1881s13
. 1922s10 2046s10 2848s13 3302s13 3452s10
10859V13*Pragma_Name{25|179I9} 42|498s62 2084s39 2121s27
X 50 snames.ads
34K9*Snames 42|56w6 56r20 50|2115e11
505i4*Name_Implemented{25|179I9} 42|2349r46
883i4*Name_Lock_Free{25|179I9} 42|1698r32
913i4*Name_Priority{25|179I9} 42|2067r49 2104r49 2113r60 2121r53
975i4*Name_Max{25|179I9} 42|293r30
976i4*Name_Min{25|179I9} 42|292r30
978i4*Name_Pred{25|179I9} 42|294r30
981i4*Name_Succ{25|179I9} 42|295r30
985i4*Name_Value{25|179I9} 42|296r30
988i4*Name_Wide_Value{25|179I9} 42|297r30
989i4*Name_Wide_Wide_Value{25|179I9} 42|298r30
1454n7*Attribute_Address{1451E9} 42|373r35
1665n7*Convention_Entry{1658E9} 42|1602r35
1666n7*Convention_Protected{1658E9} 42|1909r32
1710E9*Pragma_Id 42|499r49 50|1959e22
1832n7*Pragma_Export{1710E9} 42|503r41
1846n7*Pragma_Import{1710E9} 42|504r48
2060V13*Get_Attribute_Id{1451E9} 42|372s33
2080V13*Get_Pragma_Id{1710E9} 42|500s42
X 51 stand.ads
38K9*Stand 42|57w6 57r20 51|496e10
264i4*Standard_Duration=264:53{72|384I9} 42|1112r43 1153r31
333i4*Standard_Void_Type{72|387I12} 42|814r38 1210r31 1601r35
365i4*Any_Id{72|387I12} 42|780r20 843r22 1199r21 1292r23
369i4*Any_Type{72|387I12} 42|2196r31
386i4*Any_Boolean{72|387I12} 42|748r46 1133r46 3046r46
X 52 style.ads
35K9*Style 42|59w6 849r10 1303r10 1772r7 2781r7 52|222e10
50U14*Check_Identifier 42|849s16 1303s16 1772s13 2781s13
X 54 system.ads
77M9*Address
X 58 s-memory.ads
53V13*Alloc{54|77M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{54|77M9} 105i<c,__gnat_realloc>22
X 61 s-rident.ads
85E9*Restriction_Id
92n7*No_Abort_Statements{85E9[32|49]} 42|731r26[32|49]
101n7*No_Delay{85E9[32|49]} 42|1098r26[32|49] 1151r26[32|49] 1168r26[32|49]
109n7*No_Entry_Queue{85E9[32|49]} 42|2026r53[32|49]
116n7*No_Fixed_Point{85E9[32|49]} 42|1126r29[32|49] 1154r26[32|49]
126n7*No_Local_Protected_Objects{85E9[32|49]} 42|2004r38[32|49] 2008r46[32|49]
131n7*No_Protected_Types{85E9[32|49]} 42|1952r26[32|49]
134n7*No_Relative_Delay{85E9[32|49]} 42|1150r26[32|49]
135n7*No_Requeue_Statements{85E9[32|49]} 42|2180r26[32|49]
137n7*No_Select_Statements{85E9[32|49]} 42|1008r26[32|49] 1053r26[32|49]
. 2475r26[32|49] 3062r26[32|49]
145n7*No_Task_Hierarchy{85E9[32|49]} 42|2985r38[32|49] 2989r46[32|49]
147n7*No_Tasking{85E9[32|49]} 42|2906r29[32|49]
148n7*No_Terminate_Alternatives{85E9[32|49]} 42|2507r35[32|49]
195n7*Max_Protected_Entries{85E9[32|49]} 42|1927r29[32|49]
196n7*Max_Select_Alternatives{85E9[32|49]} 42|2559r26[32|49]
197n7*Max_Task_Entries{85E9[32|49]} 42|2884r29[32|49]
212n7*Max_Asynchronous_Select_Nesting{85E9[32|49]} 42|1007r26[32|49]
253E12*All_Parameter_Restrictions{85E9[32|49]} 42|97r50[32|49] 3138r50[32|49]
X 67 table.ads
43K9*Table 41|26w6 84r46 67|238e10
47+12 Table_Component_Type 41|85r6
48I12 Table_Index_Type 41|86r6
50*7 Table_Low_Bound{48I12} 41|87r6
51i7 Table_Initial{72|65I12} 41|88r6
52i7 Table_Increment{72|62I12} 41|89r6
53a7 Table_Name{string} 41|90r6
55k12*Table 41|84r52 67|237e13
106A12*Table_Type(34|464R9)<72|59I9>
109A15*Big_Table_Type{106A12[34|555]}<72|59I9>
117P12*Table_Ptr(109A15[34|555])
121p7*Table{117P12[34|555]} 42|783r34[34|555] 878r43[34|555] 880r37[34|555]
. 2185r35[34|555] 2215r38[34|555]
145V16*Last{72|59I9} 42|782s41[34|555] 877s41[34|555] 2184s41[34|555] 2214s44[34|555]
182U17*Append 42|652s49[41|84]
X 69 targparm.ads
75K9*Targparm 42|60w6 60r20 69|645e13
206n41*JVM_Target{206E9} 42|2370r28
207e4*VM_Target{206E9} 42|2370r16
X 70 tbuild.ads
34K9*Tbuild 42|61w6 61r20 70|356e11
193V13*Make_Temporary{72|387I12} 42|1643s39
227V13*New_External_Name{25|179I9} 42|2600s11
232V13*New_External_Name{25|179I9} 42|2660s11
234a7 Suffix{string} 42|2660r42
X 72 types.ads
52K9*Types 41|27w6 27r17 72|942e10
59I9*Int<integer>
62I12*Nat{59I9} 41|86r30 42|128r22 258r31
65I12*Pos{59I9}
144I9*Text_Ptr<59I9>
212I12*Source_Ptr{144I9} 42|2584r25 2644r25
219i4*No_Location{212I12} 42|2010r30 2991r30
384I9*Node_Id<integer> 41|30r62 31r62 32r62 33r62 34r62 35r62 36r62 37r62
. 38r62 39r62 40r62 41r62 42r62 43r62 44r62 45r62 46r62 47r62 48r62 49r62
. 50r62 51r62 52r62 53r62 54r62 55r62 72r18 42|71r25 97r37 103r36 108r24
. 109r24 125r25 154r35 157r26 190r28 231r38 232r38 236r29 239r27 248r27 262r41
. 269r41 274r55 284r29 286r29 559r37 699r43 700r16 739r46 762r44 765r28 766r28
. 886r14 922r20 1000r47 1002r24 1045r50 1046r33 1092r45 1093r14 1145r42 1146r20
. 1161r39 1162r22 1184r38 1187r29 1188r29 1245r44 1248r37 1422r50 1424r26
. 1451r50 1452r23 1492r45 1493r26 1535r19 1536r19 1640r53 1641r26 1642r26
. 1670r42 1696r27 1834r48 1935r54 2066r34 2103r34 2164r35 2166r21 2172r21
. 2462r44 2464r14 2516r23 2517r32 2518r32 2535r44 2536r44 2583r56 2585r25
. 2587r16 2588r16 2643r51 2645r25 2647r16 2648r16 2712r37 2715r26 2816r22
. 2860r43 2892r49 3037r49 3054r44 3055r33 3092r50 3093r26 3138r37 3149r14
. 3160r34 3217r36 3218r19 3289r26 3383r24 3384r24 3387r15
387I12*Entity_Id{384I9} 41|57r43 76r17 42|103r49 116r45 116r63 230r38 255r23
. 457r46 458r46 558r46 560r37 561r37 763r28 767r19 768r19 769r19 771r19 857r18
. 923r20 1094r14 1163r13 1185r29 1189r29 1190r20 1191r20 1361r15 1362r15
. 1423r26 1494r26 1531r28 1643r26 1671r26 1672r17 1674r17 1680r16 1835r11
. 1836r11 1838r37 1855r37 1856r17 1936r25 1937r16 1938r16 2062r27 2167r21
. 2171r21 2173r21 2174r21 2175r21 2383r38 2384r38 2414r22 2519r23 2586r16
. 2589r25 2646r16 2649r25 2713r26 2716r17 2718r17 2723r16 2836r16 2861r11
. 2893r25 2894r16 3217r49 3219r19 3290r26 3424r45 3424r63 3425r17 3442r43
. 3443r14 3444r14
393I12*Node_Or_Entity_Id{384I9}
399i4*Empty{384I9} 42|255r36 560r50 966r49 1257r41 1270r57 1274r58 2172r32
. 2183r20 2213r23 2246r22 2938r47
433I9*List_Id<integer> 42|155r35 156r35 186r43 229r38 234r38 764r28 1186r29
. 1425r26 1495r26 2463r23 2714r26 3141r28 3148r28
458I9*Elist_Id<integer> 42|3288r26 3291r26
461i4*No_Elist{458I9} 42|1970r34 2948r34
X 73 uintp.ads
42K9*Uintp 42|62w6 62r20 73|558e10
48I9*Uint<72|59I9> 42|1532r28 1533r28 2470r27 3139r16 3173r39 3176r39
54i4*Uint_0{48I9} 42|2470r38 3204r17
334V14*"+"=334:65{48I9} 42|3182s45
336V14*"+"=336:65{48I9} 42|2481s33 3167s39 3182s55
346V14*"-"=346:65{48I9} 42|3182s50
371V14*">="=371:70{boolean} 42|2232s46 3181s31
375V14*">"=375:70{boolean} 42|1588s41
377V14*">"=377:70{boolean} 42|3208s17
383V14*"<"=383:70{boolean} 42|1562s41