libgnatprj4.8-dev 4.8.2-8ubuntu3 / usr / lib / ada / adalib / gnatprj / restrict.ali

V "GNAT Lib v4.8"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_RECURSION
RV NO_SECONDARY_STACK
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK

U restrict%b		restrict.adb		2d454c96 OO PK
W aspects%s		aspects.adb		aspects.ali
W atree%s		atree.adb		atree.ali
W casing%s		casing.adb		casing.ali
W debug%s		debug.adb		debug.ali
W einfo%s		einfo.adb		einfo.ali
W errout%s		errout.adb		errout.ali
W fname%s		fname.adb		fname.ali
W fname.uf%s		fname-uf.adb		fname-uf.ali
W interfaces%s		interfac.ads		interfac.ali
W lib%s			lib.adb			lib.ali
W opt%s			opt.adb			opt.ali
W sinfo%s		sinfo.adb		sinfo.ali
W sinput%s		sinput.adb		sinput.ali
W snames%s		snames.adb		snames.ali
W stand%s		stand.adb		stand.ali
W system%s		system.ads		system.ali
W system.img_enum_new%s	s-imenne.adb		s-imenne.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W uname%s		uname.adb		uname.ali

U restrict%s		restrict.ads		83c12fb4 BN EE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W interfaces%s		interfac.ads		interfac.ali
W namet%s		namet.adb		namet.ali
W rident%s		rident.ads		rident.ali
W system%s		system.ads		system.ali
W table%s		table.adb		table.ali  AD
W types%s		types.adb		types.ali
W uintp%s		uintp.adb		uintp.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20120716125141 10fcae55
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20120330092659 daf1344a
D aspects.ads		20130129140721 450982f5
D aspects.adb		20130104091825 dcbd3c2c
D atree.ads		20130129140121 ce7e6162
D atree.adb		20130129140121 725d87a6
D casing.ads		20100909094434 5c2a7161
D casing.adb		20090409150019 9c618c87
D csets.ads		20110902074202 e948558f
D debug.ads		20090420131856 3ea59655
D einfo.ads		20130206111307 867ce801
D einfo.adb		20130206111307 62c4a9d0
D err_vars.ads		20130102095653 f7a5388f
D errout.ads		20130129142140 0da655a1
D erroutc.ads		20130102094607 87c2fed5
D fname.ads		20090409150019 913fd2bc
D fname-uf.ads		20070910124710 8161e886
D gnat.ads		20110801150502 fd2ad2f1
D g-byorma.ads		20120410054430 a1c90496
D g-hesorg.ads		20110801150502 106922da
D g-htable.ads		20111123132251 3d86a91a
D hostparm.ads		20120315091549 c164ed60
D interfac.ads		20110906094621 129923ea
D lib.ads		20120709103642 bc8f62fb
D lib.adb		20120614104959 4f36d183
D lib-list.adb		20090409150019 ef0890c0 lib.list
D lib-sort.adb		20090409150019 857b8e8e lib.sort
D namet.ads		20121001081109 ef58bb56
D namet.adb		20101026125643 cbdb009e
D nlists.ads		20100909093511 986e68a0
D opt.ads		20130206104433 983485a0
D output.ads		20100622132632 de75f4b4
D restrict.ads		20121205102959 7c619833
D restrict.adb		20130102095653 e6509e0d
D rident.ads		20120712104910 770cd2d0
D scans.ads		20121205105909 1d9f7ff6
D sinfo.ads		20130129140721 3dfcb66c
D sinfo.adb		20130129140721 361d7b7b
D sinput.ads		20121001092146 78ce5f33
D sinput.adb		20121001092146 183ddf51
D snames.ads		20140416143834 a6a6e2b4
D stand.ads		20120425151725 782094d3
D stringt.ads		20120612115932 7fd19d8c
D system.ads		20140416144310 90249111
D s-exctab.ads		20090417131547 66e51330
D s-htable.ads		20110902071448 83a84e0e
D s-imenne.ads		20130104124955 8707cbf0
D s-memory.ads		20090417131547 ca8bbc15
D s-os_lib.ads		20120709131452 cf6cfdbf
D s-parame.ads		20110830140625 b6e20cc0
D s-rident.ads		20130129143108 f6ad7fbe
D s-secsta.ads		20110830140625 eea35a36
D s-stalib.ads		20130104124955 f78bcf95
D s-stoele.ads		20090417130712 facd7d98
D s-stoele.adb		20100617152355 afc5dc80
D s-string.ads		20130104124955 46b01415
D s-traent.ads		20090417130712 5221ee41
D s-unstyp.ads		20090409150019 6ae15c76
D s-wchcon.ads		20090417130712 bfeb2e3d
D table.ads		20090506081141 e3a9ec16
D table.adb		20130104091825 d2a5ae47
D tree_io.ads		20130102100426 30335df9
D types.ads		20130104092849 a33fd65d
D uintp.ads		20121106101120 2762e44a
D uintp.adb		20121205105026 addc6df1
D uname.ads		20090420121742 1074afbc
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
D urealp.ads		20121205110635 e500ee51
D widechar.ads		20090409150019 3fd6363b
X 6 aspects.ads
71K9*Aspects 548e12 37|26w6 26r20
75E9*Aspect_Id 189e24 37|56r41 61r48 603r14
76n7*No_Aspect{75E9} 37|623r30
191E12*Aspect_Id_Exclude_No_Aspect{75E9} 37|1262r23
480V13*Get_Aspect_Id{75E9} 37|622s15 1262s54
X 8 atree.ads
44K9*Atree 3867e10 37|27w6 27r20
580V13*Nkind{40|7522E9} 37|238s13 244s13 262s13 1042s10 1043s17 1045s13 1048s14
. 1049s22 1051s12 1052s20
589V13*Comes_From_Source{boolean} 37|149s24 177s10 643s18
595V13*Sloc{66|206I12} 37|152s49 180s49 540s42 580s31 586s19 590s19 935s67
. 1148s34 1187s37 1193s34 1265s45 1287s13
611V13*Present{boolean} 37|225s19
623V13*Nkind_In{boolean} 37|256s13
939V13*Original_Node{66|378I9} 37|149s43 177s29
X 10 casing.ads
34K9*Casing 89e11 37|28w6 28r20
49n7*All_Upper_Case{47E9} 37|708r19
71U14*Set_Casing 37|708s7 935s13
80U14*Set_All_Upper_Case 37|933s13
X 13 debug.ads
36K9*Debug 188e10 37|31w6 31r20
121b4*Debug_Flag_Dot_G{boolean} 37|762r24
X 14 einfo.ads
37K9*Einfo 8263e10 37|29w6 29r20
6074B12*B{boolean}
6076I12*E{66|381I12}
6079I12*N{66|378I9}
6196V13*Has_Aliased_Components{6074E12} 37|245s13 248s25
6292V13*Is_Aliased{6074E12} 37|222s16
6445V13*Renamed_Object{6079I12} 37|225s28 226s44
6505V13*Is_Access_Type{6074E12} 37|247s15
6540V13*Is_Object{6074E12} 37|221s13
6565V13*Designated_Type{6076I12} 37|249s28
6617V13*Root_Type{6076I12} 37|646s39
7314V13*Is_Entity_Name{boolean} 37|216s10
X 17 errout.ads
40K9*Errout 845e11 37|30w6 30r20
430i4*Error_Msg_Uint_1=430:45{67|48I9} 37|985r10
434i4*Error_Msg_Sloc=434:49{66|206I12} 37|161r33 163r10 189r33 191r10 580r13
. 625r7 627r10 966r7 970r10 971r17 976r10 996r13 1025r13
437i4*Error_Msg_Name_1=437:48{31|149I9} 37|800r10 802r10
451i4*Error_Msg_Node_1=451:48{66|378I9} 37|581r13 628r10
461b4*Error_Msg_Warn=461:46{boolean} 37|629r10
467a4*Error_Msg_String=467:48{string} 37|939r10
468i4*Error_Msg_Strlen=468:48{natural} 37|938r10
656U14*Error_Msg 37|584s16 588s16
685U14*Error_Msg_N 37|124s10 630s10 801s10 803s10 1001s10 1007s10 1032s10
694U14*Error_Msg_F 37|166s13 194s13 195s13
739V13*First_Node{66|378I9} 37|162s48 190s48
X 19 fname.ads
38K9*Fname 99e10 37|32w6 32r20 33r6 33r20
65V13*Is_Predefined_File_Name{boolean} 37|367s16
82V13*Is_Internal_File_Name{boolean} 37|1293s17
X 20 fname-uf.ads
40K15*UF 114e13 37|33w12 33r26
56V13*Get_File_Name{31|417I9} 37|342s22
58b7 Subunit{boolean} 37|342r40
X 27 lib.ads
40K9*Lib 877e8 37|34w6 34r20
247i4*Current_Sem_Unit{66|550I9} 37|519r10 675r54 1161r10 1202r10
408V13*Cunit_Entity{66|381I12} 37|675s40
418V13*Is_Compiler_Unit{boolean} 37|123s10
425V13*Unit_File_Name{31|417I9} 37|1293s40
467V13*Get_Source_Unit{66|550I9} 37|123s28 1293s56
528V13*In_Extended_Main_Source_Unit{boolean} 37|520s17 570s14 617s14 675s10
. 1162s17 1203s17 1282s10
X 31 namet.ads
38K9*Namet 544e10 36|28w6 28r18
127a4*Name_Buffer{string} 37|353r24 355r24 370r30 381r19 714r20 929m10 939r46
133i4*Name_Len{natural} 37|352r16 353r37 353r53 355r37 355r53 362m13 362r25
. 363r38 369r22 714r38 930m10 938r30 939r33 939r64
149I9*Name_Id<integer> 36|318r11 340r63 37|299r25 704r11 773r63 775r27 776r18
177U14*Get_Name_String 37|347s13 707s7
183V13*Get_Name_String{string} 37|304s20
260V13*Length_Of_Name{66|62I12} 37|301s13
349U14*Add_Str_To_Name_Buffer 37|363s13
417I9*File_Name_Type<149I9> 37|341r29
442I9*Unit_Name_Type<149I9> 36|227r41 37|334r41
X 34 opt.ads
50K9*Opt 2045e8 37|35w6 35r20
115n46*Ada_2005{115E9} 37|312r33
131e4*Ada_Version{115E9} 37|312r18
346b4*CodePeer_Mode{boolean} 37|484r10
377b4*Configurable_Run_Time_Mode{boolean} 37|748r40 761r24
1000b4*No_Run_Time_Mode{boolean} 37|748r15 760r15
1595b4*Warn_On_Obsolescent_Feature{boolean} 37|799r10
1970b4*Alfa_Mode{boolean} 37|484r27
X 36 restrict.ads
34K9*Restrict 495l5 495e13 37|42b14 1308l5 1308t13
36r4*Restrictions{54|301R9[38|49]} 37|96r10 97r18 98r18 513m28 513r28 532r17
. 550r18 551r29 552r17 552r42 668m10 678m10 693r19 749r19 751r19 816m10 848r28
. 852r44 870r14 879r14 985r48 1136m7 1184r10 1185r17 1186m13 1191m10 1192m10
. 1303r18 1304r23 1305r29
45a4*Restrictions_Loc(66|206I12) 37|966r25 1147r10 1148m10 1187m13 1193m10
53a4*Restriction_Profile_Name(54|358E9[38|49]) 37|995r10 1021r39 1110m16
. 1153m7 1218m7
59r4*Main_Restrictions{54|301R9[38|49]} 37|522m31 522r31 1165m13 1205r13
. 1206r20 1207m16 1211m13 1212m13
65a4*Restriction_Warnings{54|297A9[38|49]} 37|849r38 870r48 953r10 1014r13
. 1118m19 1164r17 1210r20
77R9*Unit_Entry 80e14 82r55
78e7*Res_Id{54|85E9[38|49]} 37|372r56
79a7*Filenm{string} 37|370r68
82a4*Unit_Array(77R9) 37|368r25 370r53 372r41
108a4*Implementation_Restriction(boolean)
159R9*ND_Entry 169e14 172r30
160i7*Unit{66|378I9} 37|577r41 1237r55
163b7*Warn{boolean} 37|583r41 1242m41
166e7*Profile{54|358E9[38|49]}
171K12*No_Dependences[63|55] 37|576r16 576r40 577r16 583r16 1233r16 1233r40
. 1237r30 1242r16 1251r7
194R9*SPARK_Hide_Entry 197e14 200r30
195i7*Start{66|206I12} 37|732r35 1077m44
196i7*Stop{66|206I12} 37|733r49 1078m44
199K12*SPARK_Hides[63|55] 37|731r16 731r37 732r13 733r27 1076r7 1077r7 1077r26
. 1078r7 1078r26
216V13*Abort_Allowed{boolean} 217r19 37|94b13 104l8 104t21
222U14*Check_Compiler_Unit 222>35 37|121b14 126l8 126t27
222i35 N{66|378I9} 37|121b35 123r45 124r67
227U14*Check_Restricted_Unit 227>37 227>57 37|334b14 387l8 387t29
227i37 U{31|442I9} 37|334b37 339r27 342r37
227i57 N{66|378I9} 37|334b57 336r40 372r64 382r64
232U14*Check_Restriction 233<7 234>7 235>7 236>7 37|162s10 190s10 401s7 404b14
. 557l8 557t25
233b7 Msg_Issued{boolean} 37|405b7 477m7 554m10
234e7 R{54|85E9[38|49]} 37|406b7 425r32 426r28 428r16 430r33 431r31 433r31
. 440r16 445r30 449r19 450r28 450r59 454r19 458r31 458r49 461r34 462r36 491r10
. 503r37 532r35 539r13 549r13 550r40 551r49 552r37 552r62 555r27
235i7 N{66|378I9} 37|407b7 492r64 520r47 527r40 540r48 555r30
236i7 V{67|48I9} 37|408b7 495r30 496r36
248U14*Check_Restriction 249>7 250>7 251>7 37|134s7 269s7 278s7 287s7 325s13
. 372s22 382s19 393b14 402l8 402t25 653s16
249e7 R{54|85E9[38|49]} 37|394b7 401r38
250i7 N{66|378I9} 37|395b7 401r41
251i7 V{67|48I9} 37|396b7 401r44
255U14*Check_Restriction_No_Dependence 255>47 255>60 37|563b14 596l8 596t39
255i47 U{66|378I9} 37|563b47 570r44 579r24
255i60 Err{66|378I9} 37|563b60 586r25 590r25
260U14*Check_Restriction_No_Specification_Of_Aspect 260>60 37|602b14 634l8
. 634t52
260i60 N{66|378I9} 37|602b60 617r44 621r25
265U14*Check_Elaboration_Code_Allowed 265>46 37|132b14 135l8 135t38
265i46 N{66|378I9} 37|132b46 134r47
271U14*Check_SPARK_Restriction 272>7 273>7 274>7 37|141b14 169l8 169t31 492s10
272s7 Msg{string} 37|142b7 166r35
273i7 N{66|378I9} 37|143b7 149r58 152r55 162r60 166r40
274b7 Force{boolean} 37|144b7 149r10
280U14*Check_SPARK_Restriction 280>39 280>45 280>60 37|171b14 198l8 198t31
280s39 Msg1{string} 37|171b39 194r35
280s45 Msg2{string} 37|171b45 175r22 175r48 175r54 195r26
280i60 N{66|378I9} 37|171b60 177r44 180r55 190r60 194r41 195r32
284U14*Check_No_Implicit_Aliasing 284>42 37|204b14 226s16 239s10 257s10 270l8
. 270t34
284i42 Obj{66|378I9} 37|204b42 216r26 217r23 238r20 239r53 244r20 245r52
. 247r46 249r60 256r23 257r50 262r20 269r48
291U14*Check_Implicit_Dynamic_Code_Allowed 291>51 37|276b14 279l8 279t43
291i51 N{66|378I9} 37|276b51 278r52
298U14*Check_No_Implicit_Heap_Alloc 298>44 37|285b14 288l8 288t36
298i44 N{66|378I9} 37|285b44 287r56
302U14*Check_Obsolescent_2005_Entity 302>45 302>60 37|294b14 328l8 328t37
302i45 E{66|381I12} 37|294b45 313r35 314r42 315r49 316r46 318r23 319r23 320r23
. 321r23 322r23 323r23
302i60 N{66|378I9} 37|294b60 325r57
311U14*Check_Wide_Character_Restriction 311>48 311>63 37|640b14 657l8 657t40
311i48 E{66|381I12} 37|640b48 646r50
311i63 N{66|378I9} 37|640b63 643r37 653r55
317V13*Get_Restriction_Id{54|85E9[38|49]} 318>7 37|703b13 721l8 721t26
318i7 N{31|149I9} 37|704b7 707r24
323V13*Is_In_Hidden_Part_In_SPARK{boolean} 323>41 37|152s21 180s21 727b13
. 740l8 740t34
323i41 Loc{66|206I12} 37|727b41 732r44 733r21
327V13*No_Exception_Handlers_Set{boolean} 37|746b13 752l8 752t33
336V13*No_Exception_Propagation_Active{boolean} 37|758b13 764l8 764t39
340V13*Process_Restriction_Synonyms{31|149I9} 340>43 37|773b13 807l8 807t36
340i43 N{66|378I9} 37|773b43 775r45 801r69 803r67
346V13*Restriction_Active{boolean} 346>33 347r19 37|210s14 763s18 868b13
. 871l8 871t26 1097s57
346e33 R{54|221E12[38|49]} 37|868b33 870r32 870r70
356V13*Restriction_Check_Required{boolean} 356>41 357r19 37|151s13 179s13
. 311s10 642s10 877b13 880l8 880t34
356e41 R{54|221E12[38|49]} 37|877b41 879r32
366V13*Restricted_Profile{boolean} 37|833b13 862l8 862t26
372U14*Set_Hidden_Part_In_SPARK 372>40 372>46 37|1074b14 1079l8 1079t32
372i40 Loc1{66|206I12} 37|1074b40 1077r53
372i46 Loc2{66|206I12} 37|1074b46 1078r53
375U14*Set_Profile_Restrictions 376>7 377>7 378>7 37|1085b14 1123l8 1123t32
376e7 P{54|358E9[38|49]} 37|1086b7 1090r52 1091r52 1110r48
377i7 N{66|378I9} 37|1087b7 1103r39 1105r39
378b7 Warn{boolean} 37|1088b7 1117r24 1118r47
386U14*Set_Restriction 387>7 388>7 37|1103s19 1131b14 1168l8 1168t23
387e7 R{54|225E12[38|49]} 37|1132b7 1136r25 1147r28 1148r28 1153r33 1164r39
. 1165r36
388i7 N{66|378I9} 37|1133b7 1148r40 1162r47
393U14*Set_Restriction 394>7 395>7 396>7 37|1105s19 1172b14 1219l8 1219t23
394e7 R{54|243E12[38|49]} 37|1173b7 1184r28 1185r37 1186r33 1187r31 1191r28
. 1192r30 1193r28 1205r36 1206r45 1207r41 1210r42 1211r36 1212r38 1218r33
395i7 N{66|378I9} 37|1174b7 1187r43 1193r40 1203r47
396i7 V{integer} 37|1175b7 1185r13 1186r39 1192r36 1206r16 1207r47 1212r44
400U14*Set_Restriction_No_Dependence 401>7 402>7 403>7 37|1225b14 1252l8
. 1252t37
401i7 Unit{66|378I9} 37|1226b7 1237r24 1251r31
402b7 Warn{boolean} 37|1227b7 1241r20 1251r37
403e7 Profile{54|358E9[38|49]} 37|1228b7 1251r43
410U14*Set_Restriction_No_Specification_Of_Aspect 411>7 412>7 37|1258b14
. 1272l8 1272t50
411i7 N{66|378I9} 37|1259b7 1262r76 1265r51
412b7 Warning{boolean} 37|1260b7 1267r10
419V13*Tasking_Allowed{boolean} 420r19 37|1301b13 1306l8 1306t23
451A9*Save_Cunit_Boolean_Restrictions(boolean) 455r13 462r11 490c9 37|44r40
. 664r11 687r13 689r11
454V13*Cunit_Boolean_Restrictions_Save{451A9} 37|686b13 697l8 697t39 1067s44
461U14*Cunit_Boolean_Restrictions_Restore 462>7 37|663b14 680l8 680t42 826s7
462a7 R{451A9} 37|664b7 668r34
470U14*Save_Config_Cunit_Boolean_Restrictions 37|1065b14 1068l8 1068t46
476U14*Restore_Config_Cunit_Boolean_Restrictions 37|824b14 827l8 827t49
482U14*Reset_Cunit_Boolean_Restrictions 37|813b14 818l8 818t40
485U14*Add_To_Config_Boolean_Restrictions 485>50 37|110b14 113l8 113t42
485e50 R{54|85E9[38|49]} 37|110b50 112r42
X 37 restrict.adb
44a4 Config_Cunit_Boolean_Restrictions{36|451A9} 112m7 676r18 826r43 1067m7
47b4 Restricted_Profile_Result{boolean} 836r17 839m10 854m19 859r20 1138r40
. 1178r40
52b4 Restricted_Profile_Cached{boolean} 835r10 840m10 1138r10 1141m10 1178r10
. 1181m10
56a4 No_Specification_Of_Aspects(66|206I12) 625r25 1265m7
61a4 No_Specification_Of_Aspect_Warning(boolean) 629r28 1268m10
67b4 No_Specification_Of_Aspect_Set{boolean} 609r14 1271m7
75U14 Restriction_Msg 75>31 75>51 555s10 886b14 1034l8 1034t23
75e31 R{54|85E9[38|49]} 886b31 932r13 953r32 962r13 966r43 981r10 983r41
. 985r68 990r41 995r36 1014r35 1021r65
75i51 N{66|378I9} 886b51 935r73 1001r39 1007r39 1032r39
81V13 Same_Unit{boolean} 81>24 81>28 579s13 1040b13 1054s17 1055s21 1059l8
. 1059t17 1237s13
81i24 U1{66|378I9} 1040b24 1042r17 1043r59 1048r21 1049r29 1054r36 1055r47
81i28 U2{66|378I9} 1040b28 1043r24 1043r72 1045r20 1051r19 1052r27 1054r49
. 1055r67
85V13 Suppress_Restriction_Message{boolean} 85>43 336s10 527s10 1278b13 1295l8
. 1295t36
85i43 N{66|378I9} 1278b43 1282r40 1287r19 1293r73
146b7 Msg_Issued{boolean} 162m29 165r13
147i7 Save_Error_Msg_Sloc{66|206I12} 161m10 163r28
172b7 Msg_Issued{boolean} 190m29 193r13
173i7 Save_Error_Msg_Sloc{66|206I12} 189m10 191r28
205i7 E{66|381I12} 217m10 221r24 222r28 225r44 226r60
295V16 Chars_Is{boolean} 295>26 295>41 298b16 306l11 306t19 313s18 314s18
. 315s18 318s13 319s13 320s13 321s13 322s13 323s13
295i26 E{66|381I12} 298b26 299r43
295s41 S{string} 298b41 301r37 304r44
299i10 Nam{31|149I9} 301r29 304r37
341i13 Fnam{31|417I9} 347r30 367r41
368i20 J{integer} 370r65 372r53
398b7 Msg_Issued{boolean} 399r28 401m26
410i7 VV{integer} 429r19 433r37 444r16 450r63 458r54 496m10 498m10 503r22
. 507r10
414U17 Update_Restrictions 414=38 421b17 472l11 472t30 513s7 522s10
414r38 Info{54|301R9[38|49]} 421b38 425r17 426m13 430m19 431m19 433m19 445m16
. 450m16 450r47 458m19 458r37 461m22 462m22
564i7 DU{66|378I9} 577m10 579r27 580r37 581r33
576i11 J<integer> 577r38 583r38
603e7 A_Id{6|75E9} 622m7 623r22 625r54 629r64
604i7 Id{66|378I9} 621m7 622r37 628r30 632r13
646i13 T{66|381I12} 648r16 649r16 650r16 651r16
667e11 J{54|236E12[38|49]} 668r28 668r37
689a7 R{36|451A9} 693m10 696r14
692e11 J{54|236E12[38|49]} 693r13 693r37
710e11 J{54|221E12[38|49]} 712r58 715r23
712a13 S{string} 714r16
731i11 J{integer} 732r32 733r46
775i7 Old_Name{31|149I9} 779r12 796r20 800r30
776i7 New_Name{31|149I9} 781m13 784m13 787m13 790m13 793m13 802r30 806r14
815e11 J{54|236E12[38|49]} 816r28
843a13 R{54|297A9[38|49]} 846r22 847r19
844a13 V{54|298A9[38|49]} 852r69
846e17 J{54|85E9[38|49]} 847r22 848r46 849r60 851r33 852r64 852r72
887a7 Msg{string} 910m10 919m10 1001r23 1007r23 1032r23
888i7 Len{natural} 909m10 909r17 910r15 919r15 919r26 920m10 920r17 1001r33
. 1007r33 1009m10 1032r33
890U17 Add_Char 890>27 907b17 911l11 911t19 944s13 963s10 982s10 997s13 1000s10
. 1006s10 1010s10 1026s13 1031s10
890e27 C{character} 907b27 910r23
893U17 Add_Str 893>26 917b17 921l11 921t18 942s13 954s10 973s10 975s10 984s10
. 1015s13 1020s10
893s26 S{string} 917b26 919r32 919r45 920r23
896U17 Id_Case 896>26 896>38 927b17 946l11 946t18 983s10 990s10 1021s10
896s26 S{string} 927b26 929r28 929r39 930r22
896b38 Quotes{boolean} 927b38 941r13 983r45
1090a7 R{54|297A9[38|49]} 1094r16 1095r13
1091a7 V{54|298A9[38|49]} 1105r42
1094e11 J{54|85E9[38|49]} 1095r16 1097r77 1102r19 1103r36 1105r36 1105r45
. 1110r42 1118r41
1097b16 Already_Restricted{boolean} 1117r33
1233i11 J<integer> 1237r52 1242r38
1262e7 A_Id{6|191E12} 1265r36 1268r46
X 38 rident.ads
49K9*Rident[54|75] 36|29w6 29r18 65r27
X 40 sinfo.ads
54K9*Sinfo 37|36w6 36r20 40|12447e10
7561n7*N_Expanded_Name{7522E9} 37|1049r35 1052r33
7566n7*N_Identifier{7522E9} 37|1042r23 1043r30 1045r26
7655n7*N_Explicit_Dereference{7522E9} 37|262r27
7658n7*N_Indexed_Component{7522E9} 37|244r27
7670n7*N_Selected_Component{7522E9} 37|238r27 1048r27 1051r25
7674n7*N_Type_Conversion{7522E9} 37|256r57
7676n7*N_Unchecked_Type_Conversion{7522E9} 37|256r28
8212V13*Chars{31|149I9} 37|299s36 622s30 775s38 1043s52 1043s65 1262s69
8419V13*Entity{66|378I9} 37|217s15
8443V13*Etype{66|378I9} 37|245s37 247s31 249s45
8467V13*Expression{66|378I9} 37|257s38
8581V13*Identifier{66|378I9} 37|621s13
8866V13*Prefix{66|378I9} 37|245s44 247s38 249s52 1054s28 1054s41
8956V13*Scope{66|378I9} 37|313s28 314s28 314s35 315s28 315s35 315s42 316s18
. 316s25 316s32 316s39
8962V13*Selector_Name{66|378I9} 37|239s38 1055s32 1055s52
X 42 sinput.ads
69K9*Sinput 37|37w6 37r20 42|953e11
299V13*Identifier_Casing{10|47E9} 37|935s25
607V13*Get_Source_File_Index{66|561I9} 37|935s44
653V13*Instantiation_Location{66|206I12} 37|540s18
X 43 sinput.adb
796U17 Traverse[8|568] 9|2101b14
X 44 snames.ads
34K9*Snames 37|38w6 38r20 44|2051e11
672i4*Name_Boolean_Entry_Barriers{31|149I9} 37|780r15
711i4*Name_Max_Entry_Queue_Depth{31|149I9} 37|783r15
712i4*Name_Max_Entry_Queue_Length{31|149I9} 37|784r25
724i4*Name_No_Dynamic_Attachment{31|149I9} 37|787r25
725i4*Name_No_Dynamic_Interrupts{31|149I9} 37|786r15
727i4*Name_No_Requeue{31|149I9} 37|789r15
728i4*Name_No_Requeue_Statements{31|149I9} 37|790r25
730i4*Name_No_Task_Attributes{31|149I9} 37|792r15
731i4*Name_No_Task_Attributes_Package{31|149I9} 37|793r25
751i4*Name_Simple_Barriers{31|149I9} 37|781r25
X 45 stand.ads
38K9*Stand 37|39w6 39r20 45|471e10
245i4*Standard_Standard=245:53{66|378I9} 37|316r54
249i4*Standard_Wide_Character=249:53{66|378I9} 37|648r20
250i4*Standard_Wide_Wide_Character=250:53{66|378I9} 37|650r20
252i4*Standard_Wide_String=252:53{66|378I9} 37|649r20
253i4*Standard_Wide_Wide_String=253:53{66|378I9} 37|651r20
X 47 system.ads
64M9*Address
X 51 s-memory.ads
53V13*Alloc{47|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{47|64M9} 105i<c,__gnat_realloc>22
X 54 s-rident.ads
85E9*Restriction_Id 36|78r16[38|49] 234r20[38|49] 249r11[38|49] 318r27[38|49]
. 485r54[38|49] 37|75r35[38|49] 110r54[38|49] 394r11[38|49] 406r20[38|49]
. 704r27[38|49] 712r36[38|49] 886r35[38|49] 983r19[38|49] 990r19[38|49]
91n7*Simple_Barriers{85E9[38|49]} 36|109r7[38|49]
92n7*No_Abort_Statements{85E9[38|49]} 37|96r28[38|49]
97n7*No_Asynchronous_Control{85E9[38|49]} 36|83r7[38|49]
98n7*No_Calendar{85E9[38|49]} 36|84r7[38|49] 85r7[38|49] 110r7[38|49]
100n7*No_Delay{85E9[38|49]} 36|86r7[38|49] 87r7[38|49]
101n7*No_Direct_Boolean_Operators{85E9[38|49]} 36|112r7[38|49]
102n7*No_Dispatch{85E9[38|49]} 37|491r14[38|49]
103n7*No_Dispatching_Calls{85E9[38|49]} 36|113r7[38|49]
104n7*No_Dynamic_Attachment{85E9[38|49]} 36|114r7[38|49]
105n7*No_Dynamic_Priorities{85E9[38|49]} 36|88r7[38|49]
106n7*No_Enumeration_Maps{85E9[38|49]} 36|116r7[38|49]
107n7*No_Entry_Calls_In_Elaboration_Code{85E9[38|49]} 36|117r7[38|49]
108n7*No_Entry_Queue{85E9[38|49]} 36|118r7[38|49]
109n7*No_Exception_Handlers{85E9[38|49]} 36|119r7[38|49] 37|749r37[38|49]
110n7*No_Exception_Propagation{85E9[38|49]} 36|120r7[38|49] 37|382r38[38|49]
. 751r37[38|49] 763r38[38|49]
111n7*No_Exception_Registration{85E9[38|49]} 36|121r7[38|49]
113n7*No_Finalization{85E9[38|49]} 36|89r7[38|49] 122r7[38|49] 37|962r18[38|49]
116n7*No_IO{85E9[38|49]} 36|90r7[38|49] 91r7[38|49] 92r7[38|49] 93r7[38|49]
. 94r7[38|49] 95r7[38|49] 96r7[38|49] 97r7[38|49]
117n7*No_Implicit_Conditionals{85E9[38|49]} 36|125r7[38|49]
118n7*No_Implicit_Dynamic_Code{85E9[38|49]} 36|127r7[38|49] 37|278r26[38|49]
119n7*No_Implicit_Heap_Allocations{85E9[38|49]} 37|287r26[38|49]
120n7*No_Implicit_Loops{85E9[38|49]} 36|128r7[38|49]
121n7*No_Initialize_Scalars{85E9[38|49]} 36|129r7[38|49]
124n7*No_Local_Protected_Objects{85E9[38|49]} 36|130r7[38|49]
126n7*No_Protected_Type_Allocators{85E9[38|49]} 36|131r7[38|49]
130n7*No_Relative_Delay{85E9[38|49]} 36|132r7[38|49]
131n7*No_Requeue_Statements{85E9[38|49]} 36|133r7[38|49]
132n7*No_Secondary_Stack{85E9[38|49]} 36|134r7[38|49]
133n7*No_Select_Statements{85E9[38|49]} 36|135r7[38|49]
135n7*No_Standard_Storage_Pools{85E9[38|49]} 36|136r7[38|49]
136n7*No_Stream_Optimizations{85E9[38|49]} 36|137r7[38|49]
137n7*No_Streams{85E9[38|49]} 36|138r7[38|49]
139n7*No_Task_Attributes_Package{85E9[38|49]} 36|98r7[38|49] 139r7[38|49]
141n7*No_Task_Termination{85E9[38|49]} 36|140r7[38|49]
142n7*No_Tasking{85E9[38|49]} 36|141r7[38|49] 37|1303r36[38|49]
145n7*No_Unchecked_Conversion{85E9[38|49]} 36|99r7[38|49] 100r7[38|49]
146n7*No_Unchecked_Deallocation{85E9[38|49]} 36|101r7[38|49] 102r7[38|49]
147n7*Static_Priorities{85E9[38|49]} 36|143r7[38|49]
148n7*Static_Storage_Size{85E9[38|49]} 36|144r7[38|49]
153n7*No_Default_Initialization{85E9[38|49]} 36|111r7[38|49]
167n7*No_Implementation_Attributes{85E9[38|49]} 36|123r7[38|49]
169n7*No_Implementation_Pragmas{85E9[38|49]} 36|124r7[38|49]
172n7*No_Implicit_Aliasing{85E9[38|49]} 36|126r7[38|49] 37|210r34[38|49]
. 269r26[38|49]
173n7*No_Elaboration_Code{85E9[38|49]} 36|115r7[38|49] 37|134r26[38|49] 676r53[38|49]
. 678r28[38|49]
174n7*No_Obsolescent_Features{85E9[38|49]} 37|311r38[38|49] 325r32[38|49]
. 539r17[38|49]
175n7*No_Wide_Characters{85E9[38|49]} 36|142r7[38|49] 37|642r38[38|49] 653r35[38|49]
176n7*SPARK{85E9[38|49]} 36|145r7[38|49] 37|151r41[38|49] 162r41[38|49] 179r41[38|49]
. 190r41[38|49] 932r17[38|49]
196n7*Max_Tasks{85E9[38|49]} 37|1304r41[38|49] 1305r49[38|49]
203n7*Max_Asynchronous_Select_Nesting{85E9[38|49]} 37|97r36[38|49] 98r38[38|49]
210n7*Not_A_Restriction_Id{85E9[38|49]} 37|720r14[38|49]
221E12*All_Restrictions{85E9[38|49]} 36|45r30[38|49] 53r38[38|49] 108r40[38|49]
. 346r37[38|49] 356r45[38|49] 37|710r16[38|49] 868r37[38|49] 877r45[38|49]
225E12*All_Boolean_Restrictions{85E9[38|49]} 36|387r11[38|49] 37|549r18[38|49]
. 1102r24[38|49] 1132r11[38|49]
236E12*Cunit_Boolean_Restrictions{225E12[38|49]} 36|491r13[38|49] 37|667r16[38|49]
. 692r16[38|49] 815r16[38|49]
243E12*All_Parameter_Restrictions{85E9[38|49]} 36|394r11[38|49] 37|428r21[38|49]
. 440r21[38|49] 851r38[38|49] 981r15[38|49] 1173r11[38|49]
255E12*Checked_Max_Parameter_Restrictions{248E12[38|49]} 37|449r24[38|49]
262E12*Checked_Add_Parameter_Restrictions{248E12[38|49]} 37|454r24[38|49]
269E12*Checked_Val_Parameter_Restrictions{248E12[38|49]} 37|503r42[38|49]
297A9*Restriction_Flags(boolean)<85E9[38|49]> 36|65r34[38|49] 37|843r17[38|49]
. 1090r11[38|49]
298A9*Restriction_Values(natural)<85E9[38|49]> 37|844r17[38|49] 1091r11[38|49]
299A9*Parameter_Flags(boolean)<85E9[38|49]>
301R9*Restrictions_Info 36|36r19[38|49] 59r24[38|49] 37|414r52[38|49] 421r52[38|49]
302a7*Set{297A9[38|49]} 37|96r23[38|49] 97r31[38|49] 532r30[38|49] 668m23[38|49]
. 678m23[38|49] 693r32[38|49] 749r32[38|49] 751r32[38|49] 816m23[38|49] 848r41[38|49]
. 870r27[38|49] 879r27[38|49] 1136m20[38|49] 1165m31[38|49] 1184r23[38|49]
. 1191m23[38|49] 1205r31[38|49] 1211m31[38|49] 1303r31[38|49] 1304r36[38|49]
308a7*Value{298A9[38|49]} 37|98r31[38|49] 551r42[38|49] 552r55[38|49] 852r57[38|49]
. 985r61[38|49] 1185r30[38|49] 1186m26[38|49] 1192m23[38|49] 1206r38[38|49]
. 1207m34[38|49] 1212m31[38|49] 1305r42[38|49]
315a7*Violated{297A9[38|49]} 37|425r22[38|49] 426m18[38|49]
320a7*Count{298A9[38|49]} 37|431m24[38|49] 433m24[38|49] 450m21[38|49] 450r52[38|49]
. 458m24[38|49] 458r42[38|49] 461m27[38|49] 552r30[38|49]
328a7*Unknown{299A9[38|49]} 37|430m24[38|49] 445m21[38|49] 462m27[38|49]
. 550r31[38|49]
342r4*No_Restrictions{301R9[38|49]} 36|36r40[38|49] 59r45[38|49]
358E9*Profile_Name 36|53r59[38|49] 166r17[38|49] 376r14[38|49] 403r17[38|49]
. 37|1021r19[38|49] 1086r14[38|49] 1228r17[38|49]
359n7*No_Profile{358E9[38|49]} 36|403r33[38|49] 37|995r41[38|49] 1153r39[38|49]
. 1218r39[38|49] 1228r33[38|49]
362n7*Restricted{358E9[38|49]} 37|843r58[38|49] 844r58[38|49]
371R9*Profile_Data
372a7*Set{297A9[38|49]} 37|843m70[38|49] 1090m55[38|49]
379a7*Value{298A9[38|49]} 37|844m70[38|49] 1091m55[38|49]
385a4*Profile_Info(371R9[38|49]) 37|843r44[38|49] 844r44[38|49] 1090r38[38|49]
. 1091r38[38|49]
X 63 table.ads
43K9*Table 36|30w6 171r34 199r31 63|238e10
47+12 Table_Component_Type 36|172r6 200r6
48I12 Table_Index_Type 36|173r6 201r6
50*7 Table_Low_Bound{48I12} 36|174r6 202r6
51i7 Table_Initial{66|65I12} 36|175r6 203r6
52i7 Table_Increment{66|62I12} 36|176r6 204r6
53s7 Table_Name{string} 36|177r6 205r6
55k12*Table 36|171r40 199r37 63|237e13
106A12*Table_Type(36|159R9)<66|59I9>
109A15*Big_Table_Type{106A12[36|171]}<66|59I9>
117P12*Table_Ptr(109A15[36|171])
121p7*Table{117P12[36|171]} 37|577r31[36|171] 583r31[36|171] 732r25[36|199]
. 733r39[36|199] 1077m19[36|199] 1077r19[36|199] 1078m19[36|199] 1078r19[36|199]
. 1237r45[36|171] 1242m31[36|171] 1242r31[36|171]
145V16*Last{66|59I9} 37|576s55[36|171] 731s49[36|199] 1077s38[36|199] 1078s38[36|199]
. 1233s55[36|171]
162i7*First{66|59I9} 37|576r31[36|171] 731r28[36|199] 1233r31[36|171]
174U17*Increment_Last 37|1076s19[36|199]
182U17*Append 37|1251s22[36|171]
X 66 types.ads
52K9*Types 36|31w6 31r18 66|877e10
59I9*Int<integer> 36|173r30 37|985r43
62I12*Nat{59I9}
65I12*Pos{59I9}
144I9*Text_Ptr<59I9>
206I12*Source_Ptr{144I9} 36|45r51 195r15 196r15 323r47 372r53 37|56r55 147r29
. 173r29 727r47 1074r53
213i4*No_Location{206I12} 36|46r35 37|57r47 540r55 627r28 970r27 976r28 996r31
. 1025r31 1287r25
231i4*System_Location{206I12} 37|971r34 1147r34
378I9*Node_Id<integer> 36|160r14 222r39 227r61 235r20 250r11 255r51 255r66
. 260r64 265r50 273r15 280r64 284r48 291r55 298r48 302r64 311r67 340r47 377r14
. 388r11 395r11 401r17 411r17 37|75r55 81r33 85r47 121r39 132r50 143r15 171r64
. 204r48 276r55 285r48 294r64 334r61 395r11 407r20 563r51 563r66 564r12 602r64
. 604r14 640r67 773r47 886r55 1040r33 1087r14 1133r11 1174r11 1226r17 1259r17
. 1278r47
381I12*Entity_Id{378I9} 36|302r49 311r52 37|205r11 294r49 295r30 298r30 640r52
. 646r26
550I9*Unit_Number_Type<59I9>
555i4*Main_Unit{550I9} 37|519r29 1161r29 1202r29
561I9*Source_File_Index<59I9>
X 67 uintp.ads
42K9*Uintp 36|32w6 32r18 67|537e10
48I9*Uint 36|236r20 251r11 37|396r11 408r20
78i4*Uint_Minus_1{48I9} 36|236r28 251r19 37|396r19 408r28
168V13*UI_Is_In_Int_Range{boolean} 37|495s10
236V13*UI_From_Int{48I9} 37|985s30
242V13*UI_To_Int{66|59I9} 37|496s25
X 69 uname.ads
35K9*Uname 37|40w6 40r20 69|176e10
136V13*Is_Spec_Name{boolean} 37|339s13