libgnatprj6-dev 6.4.0-17ubuntu1 / usr / lib / ada / adalib / gnatprj / restrict.ali

V "GNAT Lib v6"
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_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U restrict%b		restrict.adb		e90eb430 OO PK
W ada.exceptions%s	a-except.adb		a-except.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 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		abf24d32 BN EE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W aspects%s		aspects.adb		aspects.ali
W namet%s		namet.adb		namet.ali
W rident%s		rident.ads		rident.ali
W snames%s		snames.adb		snames.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 ada%s
D a-except.ads		20151016123252 291912d5 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		20151026132611 6bcd4414 aspects%s
D aspects.adb		20151026132611 0cee505a aspects%b
D atree.ads		20151118105339 653f11e2 atree%s
D atree.adb		20151118105339 82eb3bcc atree%b
D casing.ads		20140717063745 5c2a7161 casing%s
D casing.adb		20140717063745 cc937043 casing%b
D csets.ads		20140122165324 e948558f csets%s
D debug.ads		20151112115918 3ea59655 debug%s
D einfo.ads		20151118105339 84c941c8 einfo%s
D einfo.adb		20151118105339 9b8595f8 einfo%b
D elists.ads		20150302112433 8da5cd14 elists%s
D err_vars.ads		20151026115146 1f40eb75 err_vars%s
D errout.ads		20151026115146 1eeb56d8 errout%s
D erroutc.ads		20150527132616 e593d57c erroutc%s
D fname.ads		20140801093848 913fd2bc fname%s
D fname-uf.ads		20070910124710 8161e886 fname.uf%s
D gnat.ads		20140801083227 fd2ad2f1 gnat%s
D g-byorma.ads		20140225151544 2b13b02c gnat.byte_order_mark%s
D g-hesorg.ads		20110801150502 106922da gnat.heap_sort_g%s
D g-htable.ads		20140225151544 4b643b8d gnat.htable%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D lib.ads		20150205112239 00c825ec lib%s
D lib.adb		20150205112239 22293a3a lib%b
D lib-list.adb		20090409150019 ef0890c0 lib.list
D lib-sort.adb		20090409150019 857b8e8e lib.sort
D namet.ads		20151027115429 fa2d8adb namet%s
D namet.adb		20151027115429 d6efdbbb namet%b
D nlists.ads		20140801095704 a6e0a57f nlists%s
D opt.ads		20151123112034 ee330e6c opt%s
D output.ads		20151112132540 05f6116c output%s
D restrict.ads		20151113112827 75ca44a7 restrict%s
D restrict.adb		20151023104627 b20a192a restrict%b
D rident.ads		20151016105654 770cd2d0 rident%s
D scans.ads		20140731100213 8f94e6cc scans%s
D sinfo.ads		20151113131130 90391755 sinfo%s
D sinfo.adb		20151112115259 7c284520 sinfo%b
D sinput.ads		20151112115259 ef954964 sinput%s
D sinput.adb		20140730104112 c117c807 sinput%b
D snames.ads		20180424055706 b65780a1 snames%s
D stand.ads		20151020100444 4852f602 stand%s
D stringt.ads		20140220134420 b6600148 stringt%s
D system.ads		20151123113124 6326c08a system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-htable.ads		20140225151139 84c2b3ea system.htable%s
D s-imenne.ads		20140225151139 614c06c0 system.img_enum_new%s
D s-memory.ads		20140225151139 597d6634 system.memory%s
D s-os_lib.ads		20151118101046 53e9e388 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-rident.ads		20151113130851 001e5076 system.rident%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%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		20151020120548 e3a9ec16 table%s
D table.adb		20141107135941 9716557f table%b
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20151112132540 9edbaea9 types%s
D uintp.ads		20180424052246 f3f1d794 uintp%s
D uintp.adb		20180424052246 a871632c uintp%b
D uname.ads		20140801083227 1074afbc uname%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
D urealp.ads		20130411125352 e500ee51 urealp%s
D widechar.ads		20140801083227 3fd6363b widechar%s
X 6 aspects.ads
71K9*Aspects 927e12 37|28w6 28r19
75E9*Aspect_Id 209e35 37|478r65 38|86r41 91r48 641r14 1592r65
76n7*No_Aspect{75E9} 38|661r30
211E12*Aspect_Id_Exclude_No_Aspect{75E9} 38|1580r23
528V13*Get_Aspect_Id{75E9} 38|660s15 1580s54
X 8 atree.ads
44K9*Atree 4248e10 38|26w6 26r20
614V13*Comes_From_Source{boolean} 38|839s18 1671s17 1679s28 1684s50 1713s10
626V13*Nkind{41|8194E9} 38|236s13 242s13 260s13 775s34 968s10 974s13 989s10
. 1316s10 1316s45 1564s25 1676s18 1677s28 1684s18
629V13*No{boolean} 38|715s10
642V13*Present{boolean} 38|223s19
647V13*Sloc{67|213I12} 38|566s42 607s18 618s31 624s19 628s19 757s40 1185s67
. 1418s34 1457s37 1463s34 1583s45 1611s37 1637s34 1687s49 1715s49 1748s13
657V13*Nkind_In{boolean} 38|254s13 752s22 769s22 995s13 1292s10 1294s10 1298s13
. 1300s13 1319s13 1321s13 1560s10 1566s25
1099V13*Original_Node{67|385I9} 38|1662s49 1713s29
X 9 atree.adb
2419V16 Traverse[8|570]{8|564E12} 2284b13[44|788]
X 10 casing.ads
34K9*Casing 91e11 38|27w6 27r20
49n7*All_Upper_Case{47E9} 38|904r19
71U14*Set_Casing 38|904s7 1185s13
80U14*Set_All_Upper_Case 38|1183s13
X 13 debug.ads
36K9*Debug 188e10 38|30w6 30r20
121b4*Debug_Flag_Dot_G{boolean} 38|958r24
X 14 einfo.ads
37K9*Einfo 9166e10 38|28w6 28r20
6709B12*B{boolean}
6711I12*E{67|388I12}
6714I12*N{67|385I9}
6842V13*Has_Aliased_Components{6709E12} 38|243s13 246s25
6948V13*Is_Aliased{6709E12} 38|220s16
7123V13*Renamed_Object{6714I12} 38|223s28 224s44
7196V13*Is_Access_Type{6709E12} 38|245s15
7232V13*Is_Object{6709E12} 38|219s13
7258V13*Designated_Type{6711I12} 38|247s28
7315V13*Root_Type{6711I12} 38|842s39
8098V13*Is_Entity_Name{boolean} 38|214s10
X 18 errout.ads
40K9*Errout 929e11 38|29w6 29r20
452i4*Error_Msg_Uint_1=452:45{68|48I9} 38|1235r10
456i4*Error_Msg_Sloc=456:49{67|213I12} 38|618r13 663r7 665r10 697r7 699r10
. 757r22 822r7 824r10 1216r7 1220r10 1221r17 1226r10 1246r13 1275r13 1696r33
. 1698r10 1724r33 1726r10
459i4*Error_Msg_Name_1=459:48{32|180I9} 38|1036r13 1038r13 1050r10 1052r10
473i4*Error_Msg_Node_1=473:48{67|385I9} 38|619r13 666r10 700r10 755r22 825r10
483b4*Error_Msg_Warn=483:46{boolean} 38|667r10 701r10 756r22 826r10
489a4*Error_Msg_String=489:48{string} 38|1189r10
490i4*Error_Msg_Strlen=490:48{natural} 38|1188r10
688U14*Error_Msg 38|185s10 622s16 626s16
717U14*Error_Msg_N 38|178s10 668s10 702s10 758s22 827s10 978s10 999s10 1037s13
. 1039s13 1051s10 1053s10 1251s10 1257s10 1282s10
726U14*Error_Msg_F 38|1701s13 1729s13 1730s13
773V13*First_Node{67|385I9} 38|1697s51 1725s51
X 20 fname.ads
38K9*Fname 98e10 38|31w6 31r20 32r6 32r20
65V13*Is_Predefined_File_Name{boolean} 38|387s16
82V13*Is_Internal_File_Name{boolean} 38|1754s17
X 21 fname-uf.ads
40K15*UF 114e13 38|32w12 32r26
56V13*Get_File_Name{32|577I9} 38|362s22
58b7 Subunit{boolean} 38|362r40
X 28 lib.ads
40K9*Lib 931e8 38|33w6 33r20
247i4*Current_Sem_Unit{67|557I9} 38|545r10 731r10 871r54 1431r10 1472r10
422V13*Cunit_Entity{67|388I12} 38|871s40
438V13*Unit_File_Name{32|577I9} 38|1754s40
525V13*Get_Source_Unit{67|557I9} 38|1754s56
566V13*In_Extended_Main_Source_Unit{boolean} 38|546s17 606s14 655s14 687s14
. 732s22 812s14 871s10 1432s17 1473s17 1743s10
X 32 namet.ads
38K9*Namet 713e10 37|29w6 29r19
152a4*Name_Buffer{string} 38|373r24 375r24 390r30 401r19 910r20 1179m10 1189r46
158i4*Name_Len{natural} 38|372r16 373r37 373r53 375r37 375r53 382m13 382r25
. 383r38 389r22 910r38 1180m10 1188r30 1189r33 1189r64
180I9*Name_Id<integer> 37|366r11 398r63 38|319r25 679r23 900r11 1011r63 1013r27
. 1014r18
321U14*Add_Str_To_Name_Buffer 38|383s13
356U14*Get_Name_String 38|367s13 903s7
362V13*Get_Name_String{string} 38|324s20
372V13*Get_Name_Table_Boolean2{boolean} 38|722s10
421V13*Is_Internal_Name{boolean} 38|786s33
454V13*Length_Of_Name{67|62I12} 38|321s13
528U14*Set_Name_Table_Boolean2 38|1569s7
577I9*File_Name_Type<180I9> 38|361r29
602I9*Unit_Name_Type<180I9> 37|251r41 38|354r41
X 35 opt.ads
50K9*Opt 2308e8 38|34w6 34r20
115n46*Ada_2005{115E9} 38|332r33
128e4*Ada_Version{115E9} 38|332r18
362b4*CodePeer_Mode{boolean} 38|508r10
388b4*Compiler_Unit{boolean} 38|177r10 184r10
405b4*Configurable_Run_Time_Mode{boolean} 38|944r40 957r24
1099b4*No_Run_Time_Mode{boolean} 38|944r15 956r15 1767r22
1753b4*Warn_On_Obsolescent_Feature{boolean} 38|1049r10
2153b4*GNATprove_Mode{boolean} 38|509r18
X 37 restrict.ads
36K9*Restrict 583E9 588l5 588e13 38|40b14 1770l5 1770t13
38r4*Restrictions{56|321R9[39|49]} 38|150r10 151r18 152r18 539m28 539r28
. 558r17 576r18 577r29 578r17 578r42 588m10 589m10 864m10 874m10 889r19 945r19
. 947r19 1066m10 1098r28 1102r44 1120r14 1129r14 1235r48 1406m7 1454r10 1455r17
. 1456m13 1461m10 1462m10 1764r18 1765r23 1766r28
47a4*Restrictions_Loc(67|213I12) 38|1216r25 1417r10 1418m10 1457m13 1463m10
55a4*Restriction_Profile_Name(56|378E9[39|49]) 38|1245r10 1271r39 1380m16
. 1423m7 1488m7
61r4*Main_Restrictions{56|321R9[39|49]} 38|548m31 548r31 1435m13 1475r13
. 1476r20 1477m16 1481m13 1482m13
67a4*Restriction_Warnings{56|317A9[39|49]} 38|1099r38 1120r48 1203r10 1264r13
. 1388m19 1434r17 1480r20
79R9*Unit_Entry 82e14 84r55
80e7*Res_Id{56|85E9[39|49]} 38|392r56
81a7*Filenm{string} 38|390r68
84a4*Unit_Array(79R9) 38|388r25 390r53 392r41
110a4*Implementation_Restriction(boolean)
169R9*ND_Entry 179e14 182r30
170i7*Unit{67|385I9} 38|615r41 1507r55
173b7*Warn{boolean} 38|621r41 1512m41
176e7*Profile{56|378E9[39|49]}
181K12*No_Dependences[64|55] 38|614r16 614r40 615r16 621r16 1503r16 1503r40
. 1507r30 1512r16 1521r7
200R9*NE_Entry 212e14 215r30 38|741r22
201i7*Entity{67|385I9} 38|747r28 757r53 1542r61
206b7*Warn{boolean} 38|756r47 1547m43
209e7*Profile{56|378E9[39|49]}
214K12*No_Use_Of_Entity[64|55] 38|739r16 739r42 741r39 1538r16 1538r42 1542r34
. 1547r16 1556r7
235V13*Abort_Allowed{boolean} 236r19 38|148b13 158l8 158t21
241U14*Check_Compiler_Unit 241>35 241>53 38|175b14 180l8 180t27
241a35 Feature{string} 38|175b35 178r23
241i53 N{67|385I9} 38|175b53 178r70
246U14*Check_Compiler_Unit 246>35 246>53 38|182b14 187l8 187t27
246a35 Feature{string} 38|182b35 185r21
246i53 Loc{67|213I12} 38|182b53 185r68
251U14*Check_Restricted_Unit 251>37 251>57 38|354b14 407l8 407t29
251i37 U{32|602I9} 38|354b37 359r27 362r37
251i57 N{67|385I9} 38|354b57 356r40 392r64 402r64
256U14*Check_Restriction 257<7 258>7 259>7 260>7 38|421s7 424b14 591l8 591t25
. 1697s10 1725s10
257b7 Msg_Issued{boolean} 38|425b7 499m7 580m10
258e7 R{56|85E9[39|49]} 38|426b7 445r32 446r28 448r16 450r33 451r31 454r31
. 461r16 466r30 471r19 476r19 480r31 480r49 483r34 484r36 509r42 517r10 529r37
. 558r35 565r13 575r13 576r40 577r49 578r37 578r62 581r27 587r10 588r30 589r33
259i7 N{67|385I9} 38|427b7 518r67 546r47 553r40 566r48 581r30
260i7 V{68|48I9} 38|428b7 521r30 522r36
272U14*Check_Restriction 273>7 274>7 275>7 38|195s7 267s7 276s7 285s7 294s7
. 303s7 345s13 392s22 402s19 413b14 422l8 422t25 849s16
273e7 R{56|85E9[39|49]} 38|414b7 421r38
274i7 N{67|385I9} 38|415b7 421r41
275i7 V{68|48I9} 38|416b7 421r44
279U14*Check_Restriction_No_Dependence 279>47 279>60 38|597b14 634l8 634t39
279i47 U{67|385I9} 38|597b47 606r44 607r24 617r24
279i60 Err{67|385I9} 38|597b60 624r25 628r25
284U14*Check_Restriction_No_Specification_Of_Aspect 284>60 38|640b14 672l8
. 672t52
284i60 N{67|385I9} 38|640b60 655r44 659r25
289U14*Check_Restriction_No_Use_Of_Attribute 289>53 38|678b14 705l8 705t45
289i53 N{67|385I9} 38|678b53 679r46 687r44 700r30 703r74
294U14*Check_Restriction_No_Use_Of_Entity 294>50 38|711b14 797l8 797t42
294i50 N{67|385I9} 38|711b50 715r22 722r50 732r52 746r29 755r42 760r49
299U14*Check_Restriction_No_Use_Of_Pragma 299>50 38|803b14 830l8 830t42
299i50 N{67|385I9} 38|803b50 804r55 812r44
304U14*Check_Elaboration_Code_Allowed 304>46 38|193b14 196l8 196t38
304i46 N{67|385I9} 38|193b46 195r47
310U14*Check_SPARK_05_Restriction 311>7 312>7 313>7 38|518s10 1655b14 1704l8
. 1704t34
311a7 Msg{string} 38|1656b7 1701r35
312i7 N{67|385I9} 38|1657b7 1662r64 1671r36 1676r25 1684r25 1687r55 1697r63
. 1701r40
313b7 Force{boolean} 38|1658b7 1667r10
319U14*Check_SPARK_05_Restriction 319>42 319>48 319>63 38|1706b14 1733l8
. 1733t34
319a42 Msg1{string} 38|1706b42 1729r35
319a48 Msg2{string} 38|1706b48 1711r22 1711r48 1711r54 1730r26
319i63 N{67|385I9} 38|1706b63 1713r44 1715r55 1725r63 1729r41 1730r32
323U14*Check_No_Implicit_Aliasing 323>42 38|202b14 224s16 237s10 255s10 268l8
. 268t34
323i42 Obj{67|385I9} 38|202b42 214r26 215r23 236r20 237r53 242r20 243r52
. 245r46 247r60 254r23 255r50 260r20 267r48
330U14*Check_Implicit_Dynamic_Code_Allowed 330>51 38|274b14 277l8 277t43
330i51 N{67|385I9} 38|274b51 276r52
337U14*Check_No_Implicit_Heap_Alloc 337>44 38|283b14 286l8 286t36
337i44 N{67|385I9} 38|283b44 285r56
341U14*Check_No_Implicit_Task_Alloc 341>44 38|292b14 295l8 295t36
341i44 N{67|385I9} 38|292b44 294r56
345U14*Check_No_Implicit_Protected_Alloc 345>49 38|301b14 304l8 304t41
345i49 N{67|385I9} 38|301b49 303r68
350U14*Check_Obsolescent_2005_Entity 350>45 350>60 38|310b14 348l8 348t37
350i45 E{67|388I12} 38|310b45 333r35 334r42 335r49 336r46 338r23 339r23 340r23
. 341r23 342r23 343r23
350i60 N{67|385I9} 38|310b60 345r57
359U14*Check_Wide_Character_Restriction 359>48 359>63 38|836b14 853l8 853t40
359i48 E{67|388I12} 38|836b48 842r50
359i63 N{67|385I9} 38|836b63 839r37 849r55
365V13*Get_Restriction_Id{56|85E9[39|49]} 366>7 38|899b13 917l8 917t26
366i7 N{32|180I9} 38|900b7 903r24
371V13*OK_No_Dependence_Unit_Name{boolean} 371>41 38|966b13 970s12 972s12
. 981l8 981t34
371i41 N{67|385I9} 38|966b41 968r17 970r48 972r55 974r20 978r69
376V13*OK_No_Use_Of_Entity_Name{boolean} 376>39 38|987b13 991s12 993s12 1002l8
. 1002t32
376i39 N{67|385I9} 38|987b39 989r17 991r46 993r53 995r23 999r74
381V13*Is_In_Hidden_Part_In_SPARK{boolean} 381>41 38|923b13 936l8 936t34
. 1687s21 1715s21
381i41 Loc{67|213I12} 38|923b41 928r44 929r21
385V13*No_Exception_Handlers_Set{boolean} 38|942b13 948l8 948t33
394V13*No_Exception_Propagation_Active{boolean} 38|954b13 960l8 960t39
398V13*Process_Restriction_Synonyms{32|180I9} 398>43 38|1011b13 1057l8 1057t36
398i43 N{67|385I9} 38|1011b43 1013r45 1037r71 1039r69 1051r69 1053r67
403V13*Restriction_Active{boolean} 403>33 404r19 38|208s14 959s18 1118b13
. 1121l8 1121t26 1367s57
403e33 R{56|236E12[39|49]} 38|1118b33 1120r32 1120r70
413V13*Restriction_Check_Required{boolean} 413>41 414r19 38|331s10 838s10
. 1127b13 1130l8 1130t34 1686s13 1714s13
413e41 R{56|236E12[39|49]} 38|1127b41 1129r32
423V13*Restricted_Profile{boolean} 38|1083b13 1112l8 1112t26
429U14*Set_Hidden_Part_In_SPARK 429>40 429>46 38|1344b14 1349l8 1349t32
429i40 Loc1{67|213I12} 38|1344b40 1347r53
429i46 Loc2{67|213I12} 38|1344b46 1348r53
434U14*Set_Profile_Restrictions 435>7 436>7 437>7 38|1355b14 1393l8 1393t32
435e7 P{56|378E9[39|49]} 38|1356b7 1360r52 1361r52 1380r48
436i7 N{67|385I9} 38|1357b7 1373r39 1375r39
437b7 Warn{boolean} 38|1358b7 1387r24 1388r47
445U14*Set_Restriction 446>7 447>7 38|1373s19 1401b14 1438l8 1438t23
446e7 R{56|240E12[39|49]} 38|1402b7 1406r25 1417r28 1418r28 1423r33 1434r39
. 1435r36
447i7 N{67|385I9} 38|1403b7 1418r40 1432r47
452U14*Set_Restriction 453>7 454>7 455>7 38|1375s19 1442b14 1489l8 1489t23
453e7 R{56|258E12[39|49]} 38|1443b7 1454r28 1455r37 1456r33 1457r31 1461r28
. 1462r30 1463r28 1475r36 1476r45 1477r41 1480r42 1481r36 1482r38 1488r33
454i7 N{67|385I9} 38|1444b7 1457r43 1463r40 1473r47
455i7 V{integer} 38|1445b7 1455r13 1456r39 1462r36 1476r16 1477r47 1482r44
459U14*Set_Restriction_No_Dependence 460>7 461>7 462>7 38|1495b14 1522l8
. 1522t37
460i7 Unit{67|385I9} 38|1496b7 1507r24 1521r31
461b7 Warn{boolean} 38|1497b7 1511r20 1521r37
462e7 Profile{56|378E9[39|49]} 38|1498b7 1521r43
469U14*Set_Restriction_No_Specification_Of_Aspect 470>7 471>7 38|1576b14
. 1590l8 1590t50
470i7 N{67|385I9} 38|1577b7 1580r76 1583r51
471b7 Warning{boolean} 38|1578b7 1585r10
478U14*Set_Restriction_No_Specification_Of_Aspect 478>58 38|1592b14 1597l8
. 1597t50
478e58 A_Id{6|75E9} 38|1592b58 1595r36 1596r43
481U14*Set_Restriction_No_Use_Of_Attribute 482>7 483>7 38|1603b14 1616l8
. 1616t43
482i7 N{67|385I9} 38|1604b7 1607r64 1611r43
483b7 Warning{boolean} 38|1605b7 1613r10
488U14*Set_Restriction_No_Use_Of_Attribute 488>51 38|1618b14 1623l8 1623t43
488e51 A_Id{45|1483E9} 38|1618b51 1621r28 1622r36
491U14*Set_Restriction_No_Use_Of_Entity 492>7 493>7 494>7 38|1528b14 1570l8
. 1570t40
492i7 Entity{67|385I9} 38|1529b7 1542r26 1556r33 1560r20 1561r17 1564r32
. 1565r32
493b7 Warn{boolean} 38|1530b7 1546r20 1556r41
494e7 Profile{56|378E9[39|49]} 38|1531b7 1556r47
503U14*Set_Restriction_No_Use_Of_Pragma 504>7 505>7 38|1629b14 1642l8 1642t40
504i7 N{67|385I9} 38|1630b7 1633r58 1637r40
505b7 Warning{boolean} 38|1631b7 1639r10
509U14*Set_Restriction_No_Use_Of_Pragma 509>48 38|1644b14 1649l8 1649t40
509e48 A_Id{45|1739E9} 38|1644b48 1647r25 1648r33
512V13*Tasking_Allowed{boolean} 513r19 38|1762b13 1768l8 1768t23
544A9*Save_Cunit_Boolean_Restrictions(boolean) 548r13 555r11 583c9 38|74r40
. 860r11 883r13 885r11
547V13*Cunit_Boolean_Restrictions_Save{544A9} 38|882b13 893l8 893t39 1337s44
554U14*Cunit_Boolean_Restrictions_Restore 555>7 38|859b14 876l8 876t42 1076s7
555a7 R{544A9} 38|860b7 864r34
563U14*Save_Config_Cunit_Boolean_Restrictions 38|1335b14 1338l8 1338t46
569U14*Restore_Config_Cunit_Boolean_Restrictions 38|1074b14 1077l8 1077t49
575U14*Reset_Cunit_Boolean_Restrictions 38|1063b14 1068l8 1068t40
578U14*Add_To_Config_Boolean_Restrictions 578>50 38|164b14 167l8 167t42
578e50 R{56|85E9[39|49]} 38|164b50 166r42
X 38 restrict.adb
57R9 SPARK_Hide_Entry 60e14 63r30
58i7*Start{67|213I12} 928r35 1347m44
59i7*Stop{67|213I12} 929r49 1348m44
62K12 SPARK_Hides[64|55] 927r16 927r37 928r13 929r27 1346r7 1347r7 1347r26
. 1348r7 1348r26
74a4 Config_Cunit_Boolean_Restrictions{37|544A9} 166m7 872r18 1076r43 1337m7
77b4 Restricted_Profile_Result{boolean} 1086r17 1089m10 1104m19 1109r20 1408r40
. 1448r40
82b4 Restricted_Profile_Cached{boolean} 1085r10 1090m10 1408r10 1411m10 1448r10
. 1451m10
86a4 No_Specification_Of_Aspects(67|213I12) 663r25 1583m7 1595m7
91a4 No_Specification_Of_Aspect_Warning(boolean) 667r28 1586m10 1596m7
97b4 No_Specification_Of_Aspect_Set{boolean} 647r14 1589m7 1594m7
101a4 No_Use_Of_Attribute(67|213I12) 697r25 1611m7 1621m7
104a4 No_Use_Of_Attribute_Warning(boolean) 701r28 1614m10 1622m7
107b4 No_Use_Of_Attribute_Set{boolean} 693r14 1610m7 1620m7
110a4 No_Use_Of_Pragma(67|213I12) 822r25 1637m7 1647m7
115a4 No_Use_Of_Pragma_Warning(boolean) 826r28 1640m10 1648m7
118b4 No_Use_Of_Pragma_Set{boolean} 818r14 1636m7 1646m7
125U14 Restriction_Msg 125>31 125>51 581s10 1136b14 1284l8 1284t23
125e31 R{56|85E9[39|49]} 1136b31 1182r13 1203r32 1212r13 1216r43 1231r10
. 1233r41 1235r68 1240r41 1245r36 1264r35 1271r65
125i51 N{67|385I9} 1136b51 1185r73 1251r39 1257r39 1282r39
131V13 Same_Entity{boolean} 131>26 131>30 1290b13 1308l8 1308t19 1542s13
131i26 E1{67|385I9} 1290b26 1292r20 1296r24 1298r23 1302r36 1304r43
131i30 E2{67|385I9} 1290b30 1294r20 1296r37 1300r23 1302r49 1304r63
135V13 Same_Unit{boolean} 135>24 135>28 617s13 1302s17 1304s17 1314b13 1323s17
. 1325s17 1329l8 1329t17 1507s13
135i24 U1{67|385I9} 1314b24 1316r17 1317r24 1319r23 1323r36 1325r43
135i28 U2{67|385I9} 1314b28 1316r52 1317r37 1321r23 1323r49 1325r63
139V13 Suppress_Restriction_Message{boolean} 139>43 356s10 553s10 1739b13
. 1756l8 1756t36
139i43 N{67|385I9} 1739b43 1743r40 1748r19 1754r73
203i7 E{67|388I12} 215m10 219r24 220r28 223r44 224r60
311V16 Chars_Is{boolean} 311>26 311>41 318b16 326l11 326t19 333s18 334s18
. 335s18 338s13 339s13 340s13 341s13 342s13 343s13
311i26 E{67|388I12} 318b26 319r43
311a41 S{string} 318b41 321r37 324r44
319i10 Nam{32|180I9} 321r29 324r37
361i13 Fnam{32|577I9} 367r30 387r41
388i20 J{integer} 390r65 392r53
418b7 Msg_Issued{boolean} 419r28 421m26
430i7 VV{integer} 449r19 454r37 465r16 480r54 522m10 524m10 529r22 533r10
434U17 Update_Restrictions 434=38 441b17 494l11 494t30 539s7 548s10
434r38 Info{56|321R9[39|49]} 441b38 445r17 446m13 450m19 451m19 454m19 466m16
. 480m19 480r37 483m22 484m22
598i7 DU{67|385I9} 615m10 617r27 618r37 619r33
614i11 J<integer> 615r38 621r38
641e7 A_Id{6|75E9} 660m7 661r22 663r54 667r64
642i7 Id{67|385I9} 659m7 660r37 666r30 670r13
679i7 Id{32|180I9} 680r57
680e7 A_Id{45|1483E9} 697r46 701r57
739i11 J<integer> 741r63
741r13 NE_Ent{37|200R9} 747r21 756r40 757r46
742i13 Ent{67|388I12} 746m13 751r26 753r37 777r61 785m19 785r33 786r58
743i13 Expr{67|385I9} 747m13 752r32 753r51 769r32 775r41 777r44 789m16 789r32
793L18 Continue 764r27 770r24 778r27
804i7 Id{67|385I9} 805r58 825r30 828r71
805e7 P_Id{45|1739E9} 822r43 826r54
842i13 T{67|388I12} 844r16 845r16 846r16 847r16
863e11 J{56|251E12[39|49]} 864r28 864r37
885a7 R{37|544A9} 889m10 892r14
888e11 J{56|251E12[39|49]} 889r13 889r37
906e11 J{56|236E12[39|49]} 908r58 911r23
908a13 S{string} 910r16
927i11 J{integer} 928r32 929r46
1013i7 Old_Name{32|180I9} 1017r12 1043r20 1050r30
1014i7 New_Name{32|180I9} 1019m13 1022m13 1025m13 1028m13 1031m13 1052r30
. 1056r14
1065e11 J{56|251E12[39|49]} 1066r28
1093a13 R{56|317A9[39|49]} 1096r22 1097r19
1094a13 V{56|318A9[39|49]} 1102r69
1096e17 J{56|85E9[39|49]} 1097r22 1098r46 1099r60 1101r33 1102r64 1102r72
1137a7 Msg{string} 1160m10 1169m10 1251r23 1257r23 1282r23
1138i7 Len{natural} 1159m10 1159r17 1160r15 1169r15 1169r26 1170m10 1170r17
. 1251r33 1257r33 1259m10 1282r33
1140U17 Add_Char 1140>27 1157b17 1161l11 1161t19 1194s13 1213s10 1232s10
. 1247s13 1250s10 1256s10 1260s10 1276s13 1281s10
1140e27 C{character} 1157b27 1160r23
1143U17 Add_Str 1143>26 1167b17 1171l11 1171t18 1192s13 1204s10 1223s10 1225s10
. 1234s10 1265s13 1270s10
1143a26 S{string} 1167b26 1169r32 1169r45 1170r23
1146U17 Id_Case 1146>26 1146>38 1177b17 1196l11 1196t18 1233s10 1240s10 1271s10
1146a26 S{string} 1177b26 1179r28 1179r39 1180r22
1146b38 Quotes{boolean} 1177b38 1191r13 1233r45
1360a7 R{56|317A9[39|49]} 1364r16 1365r13
1361a7 V{56|318A9[39|49]} 1375r42
1364e11 J{56|85E9[39|49]} 1365r16 1367r77 1372r19 1373r36 1375r36 1375r45
. 1380r42 1388r41
1367b16 Already_Restricted{boolean} 1387r33
1503i11 J<integer> 1507r52 1512r38
1533i7 Nam{67|385I9} 1561m10 1565m10 1566r35 1569r39
1538i11 J<integer> 1542r58 1547r40
1580e7 A_Id{6|211E12} 1583r36 1586r46
1607e7 A_Id{45|1483E9} 1611r28 1614r39
1633e7 A_Id{45|1739E9} 1637r25 1640r36
1660b7 Msg_Issued{boolean} 1697m29 1700r13
1661i7 Save_Error_Msg_Sloc{67|213I12} 1696m10 1698r28
1662i7 Onode{67|385I9} 1677r35 1678r44 1679r47 1684r69
1707b7 Msg_Issued{boolean} 1725m29 1728r13
1708i7 Save_Error_Msg_Sloc{67|213I12} 1724m10 1726r28
X 39 rident.ads
49K9*Rident[56|75] 37|30w6 30r19 67r27
X 41 sinfo.ads
54K9*Sinfo 38|35w6 35r20 41|13300e10
8233n7*N_Expanded_Name{8194E9} 38|1298r49 1300r49 1319r49 1321r49
8238n7*N_Identifier{8194E9} 38|752r38 769r38 974r25 995r26 1292r24 1294r24
. 1316r23 1316r58 1560r28 1566r40
8239n7*N_Operator_Symbol{8194E9} 38|752r52 769r52 995r40 1292r38 1294r38
. 1560r42 1566r54
8302n7*N_Attribute_Reference{8194E9} 38|1677r44
8333n7*N_Explicit_Dereference{8194E9} 38|260r27
8336n7*N_Indexed_Component{8194E9} 38|242r27
8345n7*N_Range{8194E9} 38|1676r30
8347n7*N_Selected_Component{8194E9} 38|236r27 775r49 968r22 989r22 1298r27
. 1300r27 1319r27 1321r27 1564r42
8349n7*N_Type_Conversion{8194E9} 38|254r57
8351n7*N_Unchecked_Type_Conversion{8194E9} 38|254r28
8759E12*N_Subexpr{8194E9} 38|1684r31
8866V13*Attribute_Name{32|180I9} 38|1678s28
8893V13*Chars{32|180I9} 38|319s36 660s30 679s39 722s35 753s30 753s44 777s22
. 777s54 786s51 805s51 1013s38 1296s17 1296s30 1317s17 1317s30 1569s32 1580s69
. 1607s57 1633s51
9112V13*Entity{67|385I9} 38|215s15 715s14 722s42 746s21
9136V13*Etype{67|385I9} 38|243s37 245s31 247s45
9160V13*Expression{67|385I9} 38|255s38
9282V13*Identifier{67|385I9} 38|659s13
9588V13*Pragma_Identifier{67|385I9} 38|804s36
9600V13*Prefix{67|385I9} 38|243s44 245s38 247s52 789s24 970s40 991s38 1302s28
. 1302s41 1323s28 1323s41
9690V13*Scope{67|385I9} 38|333s28 334s28 334s35 335s28 335s35 335s42 336s18
. 336s25 336s32 336s39 751s19 785s26
9696V13*Selector_Name{67|385I9} 38|237s38 777s29 972s40 993s38 1304s28 1304s48
. 1325s28 1325s48 1565s17
X 43 sinput.ads
69K9*Sinput 38|36w6 36r20 43|947e11
299V13*Identifier_Casing{10|47E9} 38|1185s25
588V13*Get_Source_File_Index{67|568I9} 38|1185s44
635V13*Instantiation_Location{67|213I12} 38|566s18
X 44 sinput.adb
788U17 Traverse[8|596] 9|2418b14
X 45 snames.ads
34K9*Snames 37|31w6 31r19 45|2146e11
714i4*Name_Boolean_Entry_Barriers{32|180I9} 38|1018r15
755i4*Name_Max_Entry_Queue_Depth{32|180I9} 38|1021r15
756i4*Name_Max_Entry_Queue_Length{32|180I9} 38|1022r25
770i4*Name_No_Dynamic_Attachment{32|180I9} 38|1025r25
771i4*Name_No_Dynamic_Interrupts{32|180I9} 38|1024r15
775i4*Name_No_Requeue{32|180I9} 38|1027r15
776i4*Name_No_Requeue_Statements{32|180I9} 38|1028r25
779i4*Name_No_Task_Attributes{32|180I9} 38|1030r15
780i4*Name_No_Task_Attributes_Package{32|180I9} 38|1031r25
805i4*Name_Simple_Barriers{32|180I9} 38|1019r25
806i4*Name_SPARK{32|180I9} 38|1035r15 1036r33
807i4*Name_SPARK_05{32|180I9} 38|1038r33 1040r20
940i4*Name_Range{32|180I9} 38|1678r53
1483E9*Attribute_Id 37|488r58 38|101r33 104r41 680r23 1607r23 1618r58 45|1677e36
1739E9*Pragma_Id 37|509r55 38|110r30 115r38 805r23 1633r23 1644r55 45|1990e22
2091V13*Get_Attribute_Id{1483E9} 38|680s39 1607s39
2111V13*Get_Pragma_Id{1739E9} 38|805s36 1633s36
X 46 stand.ads
38K9*Stand 38|37w6 37r20 46|496e10
250i4*Standard_Standard=250:53{67|385I9} 38|336r54 751r33
254i4*Standard_Wide_Character=254:53{67|385I9} 38|844r20
255i4*Standard_Wide_Wide_Character=255:53{67|385I9} 38|846r20
257i4*Standard_Wide_String=257:53{67|385I9} 38|845r20
258i4*Standard_Wide_Wide_String=258:53{67|385I9} 38|847r20
X 48 system.ads
67M9*Address
X 53 s-memory.ads
53V13*Alloc{48|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{48|67M9} 105i<c,__gnat_realloc>22
X 56 s-rident.ads
85E9*Restriction_Id 37|80r16[39|49] 258r20[39|49] 273r11[39|49] 366r27[39|49]
. 578r54[39|49] 38|125r35[39|49] 164r54[39|49] 414r11[39|49] 426r20[39|49]
. 900r27[39|49] 908r36[39|49] 1136r35[39|49] 1233r19[39|49] 1240r19[39|49]
91n7*Simple_Barriers{85E9[39|49]} 37|111r7[39|49]
92n7*No_Abort_Statements{85E9[39|49]} 38|150r28[39|49]
97n7*No_Asynchronous_Control{85E9[39|49]} 37|85r7[39|49]
98n7*No_Calendar{85E9[39|49]} 37|86r7[39|49] 87r7[39|49] 112r7[39|49]
101n7*No_Delay{85E9[39|49]} 37|88r7[39|49] 89r7[39|49]
102n7*No_Direct_Boolean_Operators{85E9[39|49]} 37|114r7[39|49]
103n7*No_Dispatch{85E9[39|49]} 38|517r14[39|49]
104n7*No_Dispatching_Calls{85E9[39|49]} 37|115r7[39|49]
105n7*No_Dynamic_Attachment{85E9[39|49]} 37|116r7[39|49]
106n7*No_Dynamic_Priorities{85E9[39|49]} 37|90r7[39|49]
107n7*No_Enumeration_Maps{85E9[39|49]} 37|118r7[39|49]
108n7*No_Entry_Calls_In_Elaboration_Code{85E9[39|49]} 37|119r7[39|49]
109n7*No_Entry_Queue{85E9[39|49]} 37|120r7[39|49]
110n7*No_Exception_Handlers{85E9[39|49]} 37|121r7[39|49] 38|945r37[39|49]
111n7*No_Exception_Propagation{85E9[39|49]} 37|122r7[39|49] 38|402r38[39|49]
. 947r37[39|49] 959r38[39|49]
112n7*No_Exception_Registration{85E9[39|49]} 37|123r7[39|49]
114n7*No_Finalization{85E9[39|49]} 37|91r7[39|49] 124r7[39|49] 38|1212r18[39|49]
115n7*No_Fixed_IO{85E9[39|49]} 37|125r7[39|49]
118n7*No_IO{85E9[39|49]} 37|92r7[39|49] 93r7[39|49] 94r7[39|49] 95r7[39|49]
. 96r7[39|49] 97r7[39|49] 98r7[39|49] 99r7[39|49]
119n7*No_Implicit_Conditionals{85E9[39|49]} 37|128r7[39|49]
120n7*No_Implicit_Dynamic_Code{85E9[39|49]} 37|130r7[39|49] 38|276r26[39|49]
121n7*No_Implicit_Heap_Allocations{85E9[39|49]} 38|285r26[39|49]
122n7*No_Implicit_Task_Allocations{85E9[39|49]} 38|294r26[39|49]
123n7*No_Implicit_Protected_Object_Allocations{85E9[39|49]} 38|303r26[39|49]
124n7*No_Implicit_Loops{85E9[39|49]} 37|131r7[39|49]
125n7*No_Initialize_Scalars{85E9[39|49]} 37|132r7[39|49] 38|509r46[39|49]
128n7*No_Local_Protected_Objects{85E9[39|49]} 37|133r7[39|49]
129n7*No_Long_Long_Integers{85E9[39|49]} 37|134r7[39|49]
130n7*No_Multiple_Elaboration{85E9[39|49]} 37|135r7[39|49]
132n7*No_Protected_Type_Allocators{85E9[39|49]} 37|136r7[39|49]
136n7*No_Relative_Delay{85E9[39|49]} 37|137r7[39|49]
137n7*No_Requeue_Statements{85E9[39|49]} 37|138r7[39|49]
138n7*No_Secondary_Stack{85E9[39|49]} 37|139r7[39|49]
139n7*No_Select_Statements{85E9[39|49]} 37|140r7[39|49]
142n7*No_Standard_Storage_Pools{85E9[39|49]} 37|141r7[39|49]
143n7*No_Stream_Optimizations{85E9[39|49]} 37|142r7[39|49]
144n7*No_Streams{85E9[39|49]} 37|143r7[39|49]
146n7*No_Task_Attributes_Package{85E9[39|49]} 37|100r7[39|49] 144r7[39|49]
149n7*No_Task_Termination{85E9[39|49]} 37|145r7[39|49]
150n7*No_Tasking{85E9[39|49]} 37|146r7[39|49] 38|1764r36[39|49]
153n7*No_Unchecked_Conversion{85E9[39|49]} 37|101r7[39|49] 102r7[39|49]
154n7*No_Unchecked_Deallocation{85E9[39|49]} 37|103r7[39|49] 104r7[39|49]
155n7*Static_Priorities{85E9[39|49]} 37|148r7[39|49]
156n7*Static_Storage_Size{85E9[39|49]} 37|149r7[39|49]
161n7*No_Default_Initialization{85E9[39|49]} 37|113r7[39|49]
176n7*No_Implementation_Attributes{85E9[39|49]} 37|126r7[39|49]
178n7*No_Implementation_Pragmas{85E9[39|49]} 37|127r7[39|49]
181n7*No_Implicit_Aliasing{85E9[39|49]} 37|129r7[39|49] 38|208r34[39|49]
. 267r26[39|49]
182n7*No_Elaboration_Code{85E9[39|49]} 37|117r7[39|49] 38|195r26[39|49] 872r53[39|49]
. 874r28[39|49]
183n7*No_Obsolescent_Features{85E9[39|49]} 38|331r38[39|49] 345r32[39|49]
. 565r17[39|49]
184n7*No_Wide_Characters{85E9[39|49]} 37|147r7[39|49] 38|838r38[39|49] 849r35[39|49]
185n7*Pure_Barriers{85E9[39|49]} 37|150r7[39|49]
186n7*SPARK_05{85E9[39|49]} 37|151r7[39|49] 38|1182r17[39|49] 1686r41[39|49]
. 1697r41[39|49] 1714r41[39|49] 1725r41[39|49]
210n7*Max_Tasks{85E9[39|49]} 38|1765r41[39|49] 1766r48[39|49]
217n7*Max_Asynchronous_Select_Nesting{85E9[39|49]} 38|151r36[39|49] 152r38[39|49]
224n7*Not_A_Restriction_Id{85E9[39|49]} 38|916r14[39|49]
236E12*All_Restrictions{85E9[39|49]} 37|47r30[39|49] 55r38[39|49] 110r49[39|49]
. 403r37[39|49] 413r45[39|49] 38|906r16[39|49] 1118r37[39|49] 1127r45[39|49]
240E12*All_Boolean_Restrictions{85E9[39|49]} 37|446r11[39|49] 38|575r18[39|49]
. 1372r24[39|49] 1402r11[39|49]
251E12*Cunit_Boolean_Restrictions{240E12[39|49]} 37|584r13[39|49] 38|863r16[39|49]
. 888r16[39|49] 1065r16[39|49]
258E12*All_Parameter_Restrictions{85E9[39|49]} 37|453r11[39|49] 38|448r21[39|49]
. 461r21[39|49] 1101r38[39|49] 1231r15[39|49] 1443r11[39|49]
275E12*Checked_Max_Parameter_Restrictions{268E12[39|49]} 38|471r24[39|49]
. 587r15[39|49]
282E12*Checked_Add_Parameter_Restrictions{268E12[39|49]} 38|476r24[39|49]
289E12*Checked_Val_Parameter_Restrictions{268E12[39|49]} 38|529r42[39|49]
317A9*Restriction_Flags(boolean)<85E9[39|49]> 37|67r34[39|49] 38|1093r17[39|49]
. 1360r11[39|49]
318A9*Restriction_Values(natural)<85E9[39|49]> 38|1094r17[39|49] 1361r11[39|49]
319A9*Parameter_Flags(boolean)<85E9[39|49]>
321R9*Restrictions_Info 37|38r19[39|49] 61r24[39|49] 38|434r52[39|49] 441r52[39|49]
322a7*Set{317A9[39|49]} 38|150r23[39|49] 151r31[39|49] 558r30[39|49] 864m23[39|49]
. 874m23[39|49] 889r32[39|49] 945r32[39|49] 947r32[39|49] 1066m23[39|49]
. 1098r41[39|49] 1120r27[39|49] 1129r27[39|49] 1406m20[39|49] 1435m31[39|49]
. 1454r23[39|49] 1461m23[39|49] 1475r31[39|49] 1481m31[39|49] 1764r31[39|49]
. 1765r36[39|49]
328a7*Value{318A9[39|49]} 38|152r31[39|49] 577r42[39|49] 578r55[39|49] 1102r57[39|49]
. 1235r61[39|49] 1455r30[39|49] 1456m26[39|49] 1462m23[39|49] 1476r38[39|49]
. 1477m34[39|49] 1482m31[39|49] 1766r41[39|49]
335a7*Violated{317A9[39|49]} 38|445r22[39|49] 446m18[39|49] 589m23[39|49]
340a7*Count{318A9[39|49]} 38|451m24[39|49] 454m24[39|49] 480m24[39|49] 480r42[39|49]
. 483m27[39|49] 578r30[39|49] 588m23[39|49]
348a7*Unknown{319A9[39|49]} 38|450m24[39|49] 466m21[39|49] 484m27[39|49]
. 576r31[39|49]
362r4*No_Restrictions{321R9[39|49]} 37|38r40[39|49] 61r45[39|49]
378E9*Profile_Name 37|55r59[39|49] 176r17[39|49] 209r17[39|49] 435r14[39|49]
. 462r17[39|49] 494r17[39|49] 38|1271r19[39|49] 1356r14[39|49] 1498r17[39|49]
. 1531r17[39|49]
379n7*No_Profile{378E9[39|49]} 37|462r33[39|49] 494r33[39|49] 38|1245r41[39|49]
. 1423r39[39|49] 1488r39[39|49] 1498r33[39|49] 1531r33[39|49]
383n7*Restricted{378E9[39|49]} 38|1093r58[39|49] 1094r58[39|49]
392R9*Profile_Data
393a7*Set{317A9[39|49]} 38|1093m70[39|49] 1360m55[39|49]
400a7*Value{318A9[39|49]} 38|1094m70[39|49] 1361m55[39|49]
406a4*Profile_Info(392R9[39|49]) 38|1093r44[39|49] 1094r44[39|49] 1360r38[39|49]
. 1361r38[39|49]
X 64 table.ads
43K9*Table 37|32w6 181r34 214r36 38|62r31 64|238e10
47+12 Table_Component_Type 37|182r6 215r6 38|63r6
48I12 Table_Index_Type 37|183r6 216r6 38|64r6
50*7 Table_Low_Bound{48I12} 37|184r6 217r6 38|65r6
51i7 Table_Initial{67|65I12} 37|185r6 218r6 38|66r6
52i7 Table_Increment{67|62I12} 37|186r6 219r6 38|67r6
53a7 Table_Name{string} 37|187r6 220r6 38|68r6
55k12*Table 37|181r40 214r42 38|62r37 64|237e13
106A12*Table_Type(37|200R9)<67|59I9>
109A15*Big_Table_Type{106A12[37|181]}<67|59I9>
117P12*Table_Ptr(109A15[37|181])
121p7*Table{117P12[37|181]} 38|615r31[37|181] 621r31[37|181] 741r56[37|214]
. 928r25[62] 929r39[62] 1347r19[62] 1348r19[62] 1507r45[37|181] 1512r31[37|181]
. 1542r51[37|214] 1547r33[37|214]
145V16*Last{67|59I9} 38|614s55[37|181] 739s59[37|214] 927s49[62] 1347s38[62]
. 1348s38[62] 1503s55[37|181] 1538s59[37|214]
162i7*First{67|59I9} 38|614r31[37|181] 739r33[37|214] 927r28[62] 1503r31[37|181]
. 1538r33[37|214]
174U17*Increment_Last 38|1346s19[62]
182U17*Append 38|1521s22[37|181] 1556s24[37|214]
X 67 types.ads
52K9*Types 37|33w6 33r19 67|941e10
59I9*Int<integer> 37|183r30 216r30 38|1235r43
62I12*Nat{59I9}
65I12*Pos{59I9}
145I9*Text_Ptr<59I9>
213I12*Source_Ptr{145I9} 37|47r51 246r59 381r47 429r53 38|58r15 59r15 86r55
. 101r50 110r44 182r59 923r47 1344r53 1661r29 1708r29
220i4*No_Location{213I12} 37|48r35 38|87r47 102r39 111r36 566r55 665r28 699r28
. 824r28 1220r27 1226r28 1246r31 1275r31 1748r25
229i4*Standard_Location{213I12} 38|607r30
238i4*System_Location{213I12} 38|1221r34 1417r34 1595r45 1621r37 1647r34
385I9*Node_Id<integer> 37|170r14 201r16 241r57 251r61 259r20 274r11 279r51
. 279r66 284r64 289r57 294r54 299r54 304r50 312r15 319r67 323r48 330r55 337r48
. 341r48 345r53 350r64 359r67 371r45 376r43 398r47 436r14 447r11 454r11 460r17
. 470r17 482r17 492r17 504r17 38|125r55 131r35 135r33 139r47 175r57 193r50
. 202r48 274r55 283r48 292r48 301r53 310r64 354r61 415r11 427r20 597r51 597r66
. 598r12 640r64 642r14 678r57 711r54 743r22 803r54 804r23 836r67 966r45 987r43
. 1011r47 1136r55 1290r35 1314r33 1357r14 1403r11 1444r11 1496r17 1529r17
. 1533r13 1577r17 1604r17 1630r17 1657r15 1662r38 1706r67 1739r47
388I12*Entity_Id{385I9} 37|350r49 359r52 38|203r11 310r49 311r30 318r30 742r22
. 836r52 842r26
557I9*Unit_Number_Type<59I9>
562i4*Main_Unit{557I9} 38|545r29 731r30 1431r29 1472r29
568I9*Source_File_Index<59I9>
X 68 uintp.ads
42K9*Uintp 37|34w6 34r19 68|542e10
48I9*Uint<67|59I9> 37|260r20 275r11 38|416r11 428r20
78i4*Uint_Minus_1{48I9} 37|260r28 275r19 38|416r19 428r28
168V13*UI_Is_In_Int_Range{boolean} 38|521s10
236V13*UI_From_Int{48I9} 38|1235s30
242V13*UI_To_Int{67|59I9} 38|522s25
X 70 uname.ads
35K9*Uname 38|38w6 38r20 70|176e10
136V13*Is_Spec_Name{boolean} 38|359s13