libgnatprj5-dev-armel-cross 5.3.1-14ubuntu2cross1 / usr / lib / gcc-cross / arm-linux-gnueabi / 5 / adalib / gnatprj / restrict.ali

V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -march=armv5t
A -mfloat-abi=soft
A -mtls-dialect=gnu
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_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U restrict%b		restrict.adb		47928edf OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
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		eea7fd62 BN EE OO PK
W ada.exceptions%s	a-except.adb		a-except.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 ada%s
D a-except.ads		20140730140058 5250cb69 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 aspects.adb		20150313132815 4226675a aspects%b
D atree.ads		20150313134724 561167a4 atree%s
D atree.adb		20150313134724 6f4dcfa0 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		20090420131856 3ea59655 debug%s
D einfo.ads		20150313134724 eedc4daa einfo%s
D einfo.adb		20150313134724 efbc02b9 einfo%b
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 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		20141120112812 6033a23f 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		20150302110329 53fa811d namet%s
D namet.adb		20150302110329 235707b9 namet%b
D nlists.ads		20140801095704 a6e0a57f nlists%s
D opt.ads		20150302110329 e5e8f770 opt%s
D output.ads		20140801093848 2d9479ad output%s
D restrict.ads		20150107084942 b99f0fe3 restrict%s
D restrict.adb		20150107084942 d0c2f3e3 restrict%b
D rident.ads		20120712104910 770cd2d0 rident%s
D scans.ads		20140731100213 8f94e6cc scans%s
D sinfo.ads		20150324122610 65b0e0c9 sinfo%s
D sinfo.adb		20141030113441 f62c7b91 sinfo%b
D sinput.ads		20140730103741 ef954964 sinput%s
D sinput.adb		20140730104112 c117c807 sinput%b
D snames.ads		20160414152332 0164078b snames%s
D stand.ads		20140801094828 4852f602 stand%s
D stringt.ads		20140220134420 b6600148 stringt%s
D system.ads		20141030114420 bb029e6a 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		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-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-stalib.ads		20150220094550 fa0a3617 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		20090506081141 e3a9ec16 table%s
D table.adb		20141107135941 9716557f table%b
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20150130153101 63969ace types%s
D uintp.ads		20160414152200 f3f1d794 uintp%s
D uintp.adb		20160414152200 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 879e12 38|26w6 26r20
75E9*Aspect_Id 204e34 38|88r41 93r48 621r14
76n7*No_Aspect{75E9} 38|641r30
206E12*Aspect_Id_Exclude_No_Aspect{75E9} 38|1560r23
509V13*Get_Aspect_Id{75E9} 38|640s15 1560s54
X 8 atree.ads
44K9*Atree 4156e10 38|27w6 27r20
611V13*Comes_From_Source{boolean} 38|819s18 1630s17 1638s28 1643s50 1672s10
624V13*Nkind{41|8119E9} 38|236s13 242s13 260s13 755s34 948s10 954s13 969s10
. 1296s10 1296s45 1544s25 1635s18 1636s28 1643s18
627V13*No{boolean} 38|695s10
640V13*Present{boolean} 38|223s19
645V13*Sloc{67|212I12} 38|546s42 587s18 598s31 604s19 608s19 737s40 1165s67
. 1398s34 1437s37 1443s34 1563s45 1584s37 1603s34 1646s49 1674s49 1707s13
655V13*Nkind_In{boolean} 38|254s13 732s22 749s22 975s13 1272s10 1274s10 1278s13
. 1280s13 1299s13 1301s13 1540s10 1546s25
1040V13*Original_Node{67|384I9} 38|1621s49 1672s29
X 10 casing.ads
34K9*Casing 91e11 38|28w6 28r20
49n7*All_Upper_Case{47E9} 38|884r19
71U14*Set_Casing 38|884s7 1165s13
80U14*Set_All_Upper_Case 38|1163s13
X 13 debug.ads
36K9*Debug 188e10 38|31w6 31r20
121b4*Debug_Flag_Dot_G{boolean} 38|938r24
X 14 einfo.ads
37K9*Einfo 8992e10 38|29w6 29r20
6580B12*B{boolean}
6582I12*E{67|387I12}
6585I12*N{67|384I9}
6706V13*Has_Aliased_Components{6580E12} 38|243s13 246s25
6813V13*Is_Aliased{6580E12} 38|220s16
6985V13*Renamed_Object{6585I12} 38|223s28 224s44
7057V13*Is_Access_Type{6580E12} 38|245s15
7092V13*Is_Object{6580E12} 38|219s13
7118V13*Designated_Type{6582I12} 38|247s28
7172V13*Root_Type{6582I12} 38|822s39
7943V13*Is_Entity_Name{boolean} 38|214s10
X 18 errout.ads
40K9*Errout 932e11 38|30w6 30r20
455i4*Error_Msg_Uint_1=455:45{68|48I9} 38|1215r10
459i4*Error_Msg_Sloc=459:49{67|212I12} 38|598r13 643r7 645r10 677r7 679r10
. 737r22 802r7 804r10 1196r7 1200r10 1201r17 1206r10 1226r13 1255r13 1655r33
. 1657r10 1683r33 1685r10
462i4*Error_Msg_Name_1=462:48{32|179I9} 38|1016r13 1018r13 1030r10 1032r10
476i4*Error_Msg_Node_1=476:48{67|384I9} 38|599r13 646r10 680r10 735r22 805r10
486b4*Error_Msg_Warn=486:46{boolean} 38|647r10 681r10 736r22 806r10
492a4*Error_Msg_String=492:48{string} 38|1169r10
493i4*Error_Msg_Strlen=493:48{natural} 38|1168r10
691U14*Error_Msg 38|185s10 602s16 606s16
720U14*Error_Msg_N 38|178s10 648s10 682s10 738s22 807s10 958s10 979s10 1017s13
. 1019s13 1031s10 1033s10 1231s10 1237s10 1262s10
729U14*Error_Msg_F 38|1660s13 1688s13 1689s13
776V13*First_Node{67|384I9} 38|1656s51 1684s51
X 20 fname.ads
38K9*Fname 98e10 38|32w6 32r20 33r6 33r20
65V13*Is_Predefined_File_Name{boolean} 38|369s16
82V13*Is_Internal_File_Name{boolean} 38|1713s17
X 21 fname-uf.ads
40K15*UF 114e13 38|33w12 33r26
56V13*Get_File_Name{32|571I9} 38|344s22
58b7 Subunit{boolean} 38|344r40
X 28 lib.ads
40K9*Lib 931e8 38|34w6 34r20
247i4*Current_Sem_Unit{67|556I9} 38|525r10 711r10 851r54 1411r10 1452r10
422V13*Cunit_Entity{67|387I12} 38|851s40
438V13*Unit_File_Name{32|571I9} 38|1713s40
525V13*Get_Source_Unit{67|556I9} 38|1713s56
566V13*In_Extended_Main_Source_Unit{boolean} 38|526s17 586s14 635s14 667s14
. 712s22 792s14 851s10 1412s17 1453s17 1702s10
X 32 namet.ads
38K9*Namet 707e10 37|28w6 28r18
151a4*Name_Buffer{string} 38|355r24 357r24 372r30 383r19 890r20 1159m10 1169r46
157i4*Name_Len{natural} 38|354r16 355r37 355r53 357r37 357r53 364m13 364r25
. 365r38 371r22 890r38 1160m10 1168r30 1169r33 1169r64
179I9*Name_Id<integer> 37|354r11 386r63 38|301r25 659r23 880r11 991r63 993r27
. 994r18
316U14*Get_Name_String 38|349s13 883s7
322V13*Get_Name_String{string} 38|306s20
377V13*Get_Name_Table_Boolean2{boolean} 38|702s10
404V13*Length_Of_Name{67|62I12} 38|303s13
455V13*Is_Internal_Name{boolean} 38|766s33
498U14*Add_Str_To_Name_Buffer 38|365s13
521U14*Set_Name_Table_Boolean2 38|1549s7
571I9*File_Name_Type<179I9> 38|343r29
596I9*Unit_Name_Type<179I9> 37|248r41 38|336r41
X 35 opt.ads
50K9*Opt 2285e8 38|35w6 35r20
115n46*Ada_2005{115E9} 38|314r33
128e4*Ada_Version{115E9} 38|314r18
362b4*CodePeer_Mode{boolean} 38|490r10
388b4*Compiler_Unit{boolean} 38|177r10 184r10
405b4*Configurable_Run_Time_Mode{boolean} 38|924r40 937r24
1074b4*No_Run_Time_Mode{boolean} 38|924r15 936r15 1726r22
1730b4*Warn_On_Obsolescent_Feature{boolean} 38|1029r10
2130b4*GNATprove_Mode{boolean} 38|490r27
X 37 restrict.ads
34K9*Restrict 562E9 567l5 567e13 38|42b14 1729l5 1729t13
36r4*Restrictions{56|311R9[39|49]} 38|150r10 151r18 152r18 519m28 519r28
. 538r17 556r18 557r29 558r17 558r42 568m10 569m10 844m10 854m10 869r19 925r19
. 927r19 1046m10 1078r28 1082r44 1100r14 1109r14 1215r48 1386m7 1434r10 1435r17
. 1436m13 1441m10 1442m10 1723r18 1724r23 1725r28
45a4*Restrictions_Loc(67|212I12) 38|1196r25 1397r10 1398m10 1437m13 1443m10
53a4*Restriction_Profile_Name(56|368E9[39|49]) 38|1225r10 1251r39 1360m16
. 1403m7 1468m7
59r4*Main_Restrictions{56|311R9[39|49]} 38|528m31 528r31 1415m13 1455r13
. 1456r20 1457m16 1461m13 1462m13
65a4*Restriction_Warnings{56|307A9[39|49]} 38|1079r38 1100r48 1183r10 1244r13
. 1368m19 1414r17 1460r20
77R9*Unit_Entry 80e14 82r55
78e7*Res_Id{56|85E9[39|49]} 38|374r56
79a7*Filenm{string} 38|372r68
82a4*Unit_Array(77R9) 38|370r25 372r53 374r41
108a4*Implementation_Restriction(boolean)
166R9*ND_Entry 176e14 179r30
167i7*Unit{67|384I9} 38|595r41 1487r55
170b7*Warn{boolean} 38|601r41 1492m41
173e7*Profile{56|368E9[39|49]}
178K12*No_Dependences[64|55] 38|594r16 594r40 595r16 601r16 1483r16 1483r40
. 1487r30 1492r16 1501r7
197R9*NE_Entry 209e14 212r30 38|721r22
198i7*Entity{67|384I9} 38|727r28 737r53 1522r61
203b7*Warn{boolean} 38|736r47 1527m43
206e7*Profile{56|368E9[39|49]}
211K12*No_Use_Of_Entity[64|55] 38|719r16 719r42 721r39 1518r16 1518r42 1522r34
. 1527r16 1536r7
232V13*Abort_Allowed{boolean} 233r19 38|148b13 158l8 158t21
238U14*Check_Compiler_Unit 238>35 238>53 38|175b14 180l8 180t27
238a35 Feature{string} 38|175b35 178r23
238i53 N{67|384I9} 38|175b53 178r70
243U14*Check_Compiler_Unit 243>35 243>53 38|182b14 187l8 187t27
243a35 Feature{string} 38|182b35 185r21
243i53 Loc{67|212I12} 38|182b53 185r68
248U14*Check_Restricted_Unit 248>37 248>57 38|336b14 389l8 389t29
248i37 U{32|596I9} 38|336b37 341r27 344r37
248i57 N{67|384I9} 38|336b57 338r40 374r64 384r64
253U14*Check_Restriction 254<7 255>7 256>7 257>7 38|403s7 406b14 571l8 571t25
. 1656s10 1684s10
254b7 Msg_Issued{boolean} 38|407b7 481m7 560m10
255e7 R{56|85E9[39|49]} 38|408b7 427r32 428r28 430r16 432r33 433r31 436r31
. 443r16 448r30 453r19 458r19 462r31 462r49 465r34 466r36 497r10 509r37 538r35
. 545r13 555r13 556r40 557r49 558r37 558r62 561r27 567r10 568r30 569r33
256i7 N{67|384I9} 38|409b7 498r67 526r47 533r40 546r48 561r30
257i7 V{68|48I9} 38|410b7 501r30 502r36
269U14*Check_Restriction 270>7 271>7 272>7 38|195s7 267s7 276s7 285s7 327s13
. 374s22 384s19 395b14 404l8 404t25 829s16
270e7 R{56|85E9[39|49]} 38|396b7 403r38
271i7 N{67|384I9} 38|397b7 403r41
272i7 V{68|48I9} 38|398b7 403r44
276U14*Check_Restriction_No_Dependence 276>47 276>60 38|577b14 614l8 614t39
276i47 U{67|384I9} 38|577b47 586r44 587r24 597r24
276i60 Err{67|384I9} 38|577b60 604r25 608r25
281U14*Check_Restriction_No_Specification_Of_Aspect 281>60 38|620b14 652l8
. 652t52
281i60 N{67|384I9} 38|620b60 635r44 639r25
286U14*Check_Restriction_No_Use_Of_Attribute 286>53 38|658b14 685l8 685t45
286i53 N{67|384I9} 38|658b53 659r46 667r44 680r30 683r74
291U14*Check_Restriction_No_Use_Of_Entity 291>50 38|691b14 777l8 777t42
291i50 N{67|384I9} 38|691b50 695r22 702r50 712r52 726r29 735r42 740r49
296U14*Check_Restriction_No_Use_Of_Pragma 296>50 38|783b14 810l8 810t42
296i50 N{67|384I9} 38|783b50 784r55 792r44
301U14*Check_Elaboration_Code_Allowed 301>46 38|193b14 196l8 196t38
301i46 N{67|384I9} 38|193b46 195r47
307U14*Check_SPARK_05_Restriction 308>7 309>7 310>7 38|498s10 1614b14 1663l8
. 1663t34
308a7 Msg{string} 38|1615b7 1660r35
309i7 N{67|384I9} 38|1616b7 1621r64 1630r36 1635r25 1643r25 1646r55 1656r63
. 1660r40
310b7 Force{boolean} 38|1617b7 1626r10
316U14*Check_SPARK_05_Restriction 316>42 316>48 316>63 38|1665b14 1692l8
. 1692t34
316a42 Msg1{string} 38|1665b42 1688r35
316a48 Msg2{string} 38|1665b48 1670r22 1670r48 1670r54 1689r26
316i63 N{67|384I9} 38|1665b63 1672r44 1674r55 1684r63 1688r41 1689r32
320U14*Check_No_Implicit_Aliasing 320>42 38|202b14 224s16 237s10 255s10 268l8
. 268t34
320i42 Obj{67|384I9} 38|202b42 214r26 215r23 236r20 237r53 242r20 243r52
. 245r46 247r60 254r23 255r50 260r20 267r48
327U14*Check_Implicit_Dynamic_Code_Allowed 327>51 38|274b14 277l8 277t43
327i51 N{67|384I9} 38|274b51 276r52
334U14*Check_No_Implicit_Heap_Alloc 334>44 38|283b14 286l8 286t36
334i44 N{67|384I9} 38|283b44 285r56
338U14*Check_Obsolescent_2005_Entity 338>45 338>60 38|292b14 330l8 330t37
338i45 E{67|387I12} 38|292b45 315r35 316r42 317r49 318r46 320r23 321r23 322r23
. 323r23 324r23 325r23
338i60 N{67|384I9} 38|292b60 327r57
347U14*Check_Wide_Character_Restriction 347>48 347>63 38|816b14 833l8 833t40
347i48 E{67|387I12} 38|816b48 822r50
347i63 N{67|384I9} 38|816b63 819r37 829r55
353V13*Get_Restriction_Id{56|85E9[39|49]} 354>7 38|879b13 897l8 897t26
354i7 N{32|179I9} 38|880b7 883r24
359V13*OK_No_Dependence_Unit_Name{boolean} 359>41 38|946b13 950s12 952s12
. 961l8 961t34
359i41 N{67|384I9} 38|946b41 948r17 950r48 952r55 954r20 958r69
364V13*OK_No_Use_Of_Entity_Name{boolean} 364>39 38|967b13 971s12 973s12 982l8
. 982t32
364i39 N{67|384I9} 38|967b39 969r17 971r46 973r53 975r23 979r74
369V13*Is_In_Hidden_Part_In_SPARK{boolean} 369>41 38|903b13 916l8 916t34
. 1646s21 1674s21
369i41 Loc{67|212I12} 38|903b41 908r44 909r21
373V13*No_Exception_Handlers_Set{boolean} 38|922b13 928l8 928t33
382V13*No_Exception_Propagation_Active{boolean} 38|934b13 940l8 940t39
386V13*Process_Restriction_Synonyms{32|179I9} 386>43 38|991b13 1037l8 1037t36
386i43 N{67|384I9} 38|991b43 993r45 1017r71 1019r69 1031r69 1033r67
391V13*Restriction_Active{boolean} 391>33 392r19 38|208s14 939s18 1098b13
. 1101l8 1101t26 1347s57
391e33 R{56|231E12[39|49]} 38|1098b33 1100r32 1100r70
401V13*Restriction_Check_Required{boolean} 401>41 402r19 38|313s10 818s10
. 1107b13 1110l8 1110t34 1645s13 1673s13
401e41 R{56|231E12[39|49]} 38|1107b41 1109r32
411V13*Restricted_Profile{boolean} 38|1063b13 1092l8 1092t26
417U14*Set_Hidden_Part_In_SPARK 417>40 417>46 38|1324b14 1329l8 1329t32
417i40 Loc1{67|212I12} 38|1324b40 1327r53
417i46 Loc2{67|212I12} 38|1324b46 1328r53
422U14*Set_Profile_Restrictions 423>7 424>7 425>7 38|1335b14 1373l8 1373t32
423e7 P{56|368E9[39|49]} 38|1336b7 1340r52 1341r52 1360r48
424i7 N{67|384I9} 38|1337b7 1353r39 1355r39
425b7 Warn{boolean} 38|1338b7 1367r24 1368r47
433U14*Set_Restriction 434>7 435>7 38|1353s19 1381b14 1418l8 1418t23
434e7 R{56|235E12[39|49]} 38|1382b7 1386r25 1397r28 1398r28 1403r33 1414r39
. 1415r36
435i7 N{67|384I9} 38|1383b7 1398r40 1412r47
440U14*Set_Restriction 441>7 442>7 443>7 38|1355s19 1422b14 1469l8 1469t23
441e7 R{56|253E12[39|49]} 38|1423b7 1434r28 1435r37 1436r33 1437r31 1441r28
. 1442r30 1443r28 1455r36 1456r45 1457r41 1460r42 1461r36 1462r38 1468r33
442i7 N{67|384I9} 38|1424b7 1437r43 1443r40 1453r47
443i7 V{integer} 38|1425b7 1435r13 1436r39 1442r36 1456r16 1457r47 1462r44
447U14*Set_Restriction_No_Dependence 448>7 449>7 450>7 38|1475b14 1502l8
. 1502t37
448i7 Unit{67|384I9} 38|1476b7 1487r24 1501r31
449b7 Warn{boolean} 38|1477b7 1491r20 1501r37
450e7 Profile{56|368E9[39|49]} 38|1478b7 1501r43
457U14*Set_Restriction_No_Specification_Of_Aspect 458>7 459>7 38|1556b14
. 1570l8 1570t50
458i7 N{67|384I9} 38|1557b7 1560r76 1563r51
459b7 Warning{boolean} 38|1558b7 1565r10
466U14*Set_Restriction_No_Use_Of_Attribute 467>7 468>7 38|1576b14 1589l8
. 1589t43
467i7 N{67|384I9} 38|1577b7 1580r64 1584r43
468b7 Warning{boolean} 38|1578b7 1586r10
473U14*Set_Restriction_No_Use_Of_Entity 474>7 475>7 476>7 38|1508b14 1550l8
. 1550t40
474i7 Entity{67|384I9} 38|1509b7 1522r26 1536r33 1540r20 1541r17 1544r32
. 1545r32
475b7 Warn{boolean} 38|1510b7 1526r20 1536r41
476e7 Profile{56|368E9[39|49]} 38|1511b7 1536r47
485U14*Set_Restriction_No_Use_Of_Pragma 486>7 487>7 38|1595b14 1608l8 1608t40
486i7 N{67|384I9} 38|1596b7 1599r58 1603r40
487b7 Warning{boolean} 38|1597b7 1605r10
491V13*Tasking_Allowed{boolean} 492r19 38|1721b13 1727l8 1727t23
523A9*Save_Cunit_Boolean_Restrictions(boolean) 527r13 534r11 562c9 38|76r40
. 840r11 863r13 865r11
526V13*Cunit_Boolean_Restrictions_Save{523A9} 38|862b13 873l8 873t39 1317s44
533U14*Cunit_Boolean_Restrictions_Restore 534>7 38|839b14 856l8 856t42 1056s7
534a7 R{523A9} 38|840b7 844r34
542U14*Save_Config_Cunit_Boolean_Restrictions 38|1315b14 1318l8 1318t46
548U14*Restore_Config_Cunit_Boolean_Restrictions 38|1054b14 1057l8 1057t49
554U14*Reset_Cunit_Boolean_Restrictions 38|1043b14 1048l8 1048t40
557U14*Add_To_Config_Boolean_Restrictions 557>50 38|164b14 167l8 167t42
557e50 R{56|85E9[39|49]} 38|164b50 166r42
X 38 restrict.adb
59R9 SPARK_Hide_Entry 62e14 65r30
60i7*Start{67|212I12} 908r35 1327m44
61i7*Stop{67|212I12} 909r49 1328m44
64K12 SPARK_Hides[64|55] 907r16 907r37 908r13 909r27 1326r7 1327r7 1327r26
. 1328r7 1328r26
76a4 Config_Cunit_Boolean_Restrictions{37|523A9} 166m7 852r18 1056r43 1317m7
79b4 Restricted_Profile_Result{boolean} 1066r17 1069m10 1084m19 1089r20 1388r40
. 1428r40
84b4 Restricted_Profile_Cached{boolean} 1065r10 1070m10 1388r10 1391m10 1428r10
. 1431m10
88a4 No_Specification_Of_Aspects(67|212I12) 643r25 1563m7
93a4 No_Specification_Of_Aspect_Warning(boolean) 647r28 1566m10
99b4 No_Specification_Of_Aspect_Set{boolean} 627r14 1569m7
103a4 No_Use_Of_Attribute(67|212I12) 677r25 1584m7
106a4 No_Use_Of_Attribute_Warning(boolean) 681r28 1587m10
109b4 No_Use_Of_Attribute_Set{boolean} 673r14 1583m7
112a4 No_Use_Of_Pragma(67|212I12) 802r25 1603m7
115a4 No_Use_Of_Pragma_Warning(boolean) 806r28 1606m10
118b4 No_Use_Of_Pragma_Set{boolean} 798r14 1602m7
125U14 Restriction_Msg 125>31 125>51 561s10 1116b14 1264l8 1264t23
125e31 R{56|85E9[39|49]} 1116b31 1162r13 1183r32 1192r13 1196r43 1211r10
. 1213r41 1215r68 1220r41 1225r36 1244r35 1251r65
125i51 N{67|384I9} 1116b51 1165r73 1231r39 1237r39 1262r39
131V13 Same_Entity{boolean} 131>26 131>30 1270b13 1288l8 1288t19 1522s13
131i26 E1{67|384I9} 1270b26 1272r20 1276r24 1278r23 1282r36 1284r43
131i30 E2{67|384I9} 1270b30 1274r20 1276r37 1280r23 1282r49 1284r63
135V13 Same_Unit{boolean} 135>24 135>28 597s13 1282s17 1284s17 1294b13 1303s17
. 1305s17 1309l8 1309t17 1487s13
135i24 U1{67|384I9} 1294b24 1296r17 1297r24 1299r23 1303r36 1305r43
135i28 U2{67|384I9} 1294b28 1296r52 1297r37 1301r23 1303r49 1305r63
139V13 Suppress_Restriction_Message{boolean} 139>43 338s10 533s10 1698b13
. 1715l8 1715t36
139i43 N{67|384I9} 1698b43 1702r40 1707r19 1713r73
203i7 E{67|387I12} 215m10 219r24 220r28 223r44 224r60
293V16 Chars_Is{boolean} 293>26 293>41 300b16 308l11 308t19 315s18 316s18
. 317s18 320s13 321s13 322s13 323s13 324s13 325s13
293i26 E{67|387I12} 300b26 301r43
293a41 S{string} 300b41 303r37 306r44
301i10 Nam{32|179I9} 303r29 306r37
343i13 Fnam{32|571I9} 349r30 369r41
370i20 J{integer} 372r65 374r53
400b7 Msg_Issued{boolean} 401r28 403m26
412i7 VV{integer} 431r19 436r37 447r16 462r54 502m10 504m10 509r22 513r10
416U17 Update_Restrictions 416=38 423b17 476l11 476t30 519s7 528s10
416r38 Info{56|311R9[39|49]} 423b38 427r17 428m13 432m19 433m19 436m19 448m16
. 462m19 462r37 465m22 466m22
578i7 DU{67|384I9} 595m10 597r27 598r37 599r33
594i11 J<integer> 595r38 601r38
621e7 A_Id{6|75E9} 640m7 641r22 643r54 647r64
622i7 Id{67|384I9} 639m7 640r37 646r30 650r13
659i7 Id{32|179I9} 660r57
660e7 A_Id{45|1451E9} 677r46 681r57
719i11 J<integer> 721r63
721r13 NE_Ent{37|197R9} 727r21 736r40 737r46
722i13 Ent{67|387I12} 726m13 731r26 733r37 757r61 765m19 765r33 766r58
723i13 Expr{67|384I9} 727m13 732r32 733r51 749r32 755r41 757r44 769m16 769r32
773L18 Continue 744r27 750r24 758r27
784i7 Id{67|384I9} 785r58 805r30 808r71
785e7 P_Id{45|1710E9} 802r43 806r54
822i13 T{67|387I12} 824r16 825r16 826r16 827r16
843e11 J{56|246E12[39|49]} 844r28 844r37
865a7 R{37|523A9} 869m10 872r14
868e11 J{56|246E12[39|49]} 869r13 869r37
886e11 J{56|231E12[39|49]} 888r58 891r23
888a13 S{string} 890r16
907i11 J{integer} 908r32 909r46
993i7 Old_Name{32|179I9} 997r12 1023r20 1030r30
994i7 New_Name{32|179I9} 999m13 1002m13 1005m13 1008m13 1011m13 1032r30 1036r14
1045e11 J{56|246E12[39|49]} 1046r28
1073a13 R{56|307A9[39|49]} 1076r22 1077r19
1074a13 V{56|308A9[39|49]} 1082r69
1076e17 J{56|85E9[39|49]} 1077r22 1078r46 1079r60 1081r33 1082r64 1082r72
1117a7 Msg{string} 1140m10 1149m10 1231r23 1237r23 1262r23
1118i7 Len{natural} 1139m10 1139r17 1140r15 1149r15 1149r26 1150m10 1150r17
. 1231r33 1237r33 1239m10 1262r33
1120U17 Add_Char 1120>27 1137b17 1141l11 1141t19 1174s13 1193s10 1212s10
. 1227s13 1230s10 1236s10 1240s10 1256s13 1261s10
1120e27 C{character} 1137b27 1140r23
1123U17 Add_Str 1123>26 1147b17 1151l11 1151t18 1172s13 1184s10 1203s10 1205s10
. 1214s10 1245s13 1250s10
1123a26 S{string} 1147b26 1149r32 1149r45 1150r23
1126U17 Id_Case 1126>26 1126>38 1157b17 1176l11 1176t18 1213s10 1220s10 1251s10
1126a26 S{string} 1157b26 1159r28 1159r39 1160r22
1126b38 Quotes{boolean} 1157b38 1171r13 1213r45
1340a7 R{56|307A9[39|49]} 1344r16 1345r13
1341a7 V{56|308A9[39|49]} 1355r42
1344e11 J{56|85E9[39|49]} 1345r16 1347r77 1352r19 1353r36 1355r36 1355r45
. 1360r42 1368r41
1347b16 Already_Restricted{boolean} 1367r33
1483i11 J<integer> 1487r52 1492r38
1513i7 Nam{67|384I9} 1541m10 1545m10 1546r35 1549r39
1518i11 J<integer> 1522r58 1527r40
1560e7 A_Id{6|206E12} 1563r36 1566r46
1580e7 A_Id{45|1451E9} 1584r28 1587r39
1599e7 A_Id{45|1710E9} 1603r25 1606r36
1619b7 Msg_Issued{boolean} 1656m29 1659r13
1620i7 Save_Error_Msg_Sloc{67|212I12} 1655m10 1657r28
1621i7 Onode{67|384I9} 1636r35 1637r44 1638r47 1643r69
1666b7 Msg_Issued{boolean} 1684m29 1687r13
1667i7 Save_Error_Msg_Sloc{67|212I12} 1683m10 1685r28
X 39 rident.ads
49K9*Rident[56|75] 37|29w6 29r18 65r27
X 41 sinfo.ads
54K9*Sinfo 38|36w6 36r20 41|13177e10
8158n7*N_Expanded_Name{8119E9} 38|1278r49 1280r49 1299r49 1301r49
8163n7*N_Identifier{8119E9} 38|732r38 749r38 954r25 975r26 1272r24 1274r24
. 1296r23 1296r58 1540r28 1546r40
8164n7*N_Operator_Symbol{8119E9} 38|732r52 749r52 975r40 1272r38 1274r38
. 1540r42 1546r54
8227n7*N_Attribute_Reference{8119E9} 38|1636r44
8258n7*N_Explicit_Dereference{8119E9} 38|260r27
8261n7*N_Indexed_Component{8119E9} 38|242r27
8270n7*N_Range{8119E9} 38|1635r30
8272n7*N_Selected_Component{8119E9} 38|236r27 755r49 948r22 969r22 1278r27
. 1280r27 1299r27 1301r27 1544r42
8274n7*N_Type_Conversion{8119E9} 38|254r57
8276n7*N_Unchecked_Type_Conversion{8119E9} 38|254r28
8684E12*N_Subexpr{8119E9} 38|1643r31
8791V13*Attribute_Name{32|179I9} 38|1637s28
8818V13*Chars{32|179I9} 38|301s36 640s30 659s39 702s35 733s30 733s44 757s22
. 757s54 766s51 785s51 993s38 1276s17 1276s30 1297s17 1297s30 1549s32 1560s69
. 1580s57 1599s51
9037V13*Entity{67|384I9} 38|215s15 695s14 702s42 726s21
9061V13*Etype{67|384I9} 38|243s37 245s31 247s45
9085V13*Expression{67|384I9} 38|255s38
9207V13*Identifier{67|384I9} 38|639s13
9498V13*Pragma_Identifier{67|384I9} 38|784s36
9510V13*Prefix{67|384I9} 38|243s44 245s38 247s52 769s24 950s40 971s38 1282s28
. 1282s41 1303s28 1303s41
9600V13*Scope{67|384I9} 38|315s28 316s28 316s35 317s28 317s35 317s42 318s18
. 318s25 318s32 318s39 731s19 765s26
9606V13*Selector_Name{67|384I9} 38|237s38 757s29 952s40 973s38 1284s28 1284s48
. 1305s28 1305s48 1545s17
X 43 sinput.ads
69K9*Sinput 38|37w6 37r20 43|947e11
299V13*Identifier_Casing{10|47E9} 38|1165s25
588V13*Get_Source_File_Index{67|567I9} 38|1165s44
635V13*Instantiation_Location{67|212I12} 38|546s18
X 44 sinput.adb
788U17 Traverse[8|596] 9|2306b14
X 45 snames.ads
34K9*Snames 38|38w6 38r20 45|2115e11
690i4*Name_Boolean_Entry_Barriers{32|179I9} 38|998r15
730i4*Name_Max_Entry_Queue_Depth{32|179I9} 38|1001r15
731i4*Name_Max_Entry_Queue_Length{32|179I9} 38|1002r25
745i4*Name_No_Dynamic_Attachment{32|179I9} 38|1005r25
746i4*Name_No_Dynamic_Interrupts{32|179I9} 38|1004r15
750i4*Name_No_Requeue{32|179I9} 38|1007r15
751i4*Name_No_Requeue_Statements{32|179I9} 38|1008r25
754i4*Name_No_Task_Attributes{32|179I9} 38|1010r15
755i4*Name_No_Task_Attributes_Package{32|179I9} 38|1011r25
780i4*Name_Simple_Barriers{32|179I9} 38|999r25
781i4*Name_SPARK{32|179I9} 38|1015r15 1016r33
782i4*Name_SPARK_05{32|179I9} 38|1018r33 1020r20
914i4*Name_Range{32|179I9} 38|1637r53
1451E9*Attribute_Id 38|103r33 106r41 660r23 1580r23 45|1646e36
1710E9*Pragma_Id 38|112r30 115r38 785r23 1599r23 45|1959e22
2060V13*Get_Attribute_Id{1451E9} 38|660s39 1580s39
2080V13*Get_Pragma_Id{1710E9} 38|785s36 1599s36
X 46 stand.ads
38K9*Stand 38|39w6 39r20 46|496e10
250i4*Standard_Standard=250:53{67|384I9} 38|318r54 731r33
254i4*Standard_Wide_Character=254:53{67|384I9} 38|824r20
255i4*Standard_Wide_Wide_Character=255:53{67|384I9} 38|826r20
257i4*Standard_Wide_String=257:53{67|384I9} 38|825r20
258i4*Standard_Wide_Wide_String=258:53{67|384I9} 38|827r20
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|78r16[39|49] 255r20[39|49] 270r11[39|49] 354r27[39|49]
. 557r54[39|49] 38|125r35[39|49] 164r54[39|49] 396r11[39|49] 408r20[39|49]
. 880r27[39|49] 888r36[39|49] 1116r35[39|49] 1213r19[39|49] 1220r19[39|49]
91n7*Simple_Barriers{85E9[39|49]} 37|109r7[39|49]
92n7*No_Abort_Statements{85E9[39|49]} 38|150r28[39|49]
97n7*No_Asynchronous_Control{85E9[39|49]} 37|83r7[39|49]
98n7*No_Calendar{85E9[39|49]} 37|84r7[39|49] 85r7[39|49] 110r7[39|49]
101n7*No_Delay{85E9[39|49]} 37|86r7[39|49] 87r7[39|49]
102n7*No_Direct_Boolean_Operators{85E9[39|49]} 37|112r7[39|49]
103n7*No_Dispatch{85E9[39|49]} 38|497r14[39|49]
104n7*No_Dispatching_Calls{85E9[39|49]} 37|113r7[39|49]
105n7*No_Dynamic_Attachment{85E9[39|49]} 37|114r7[39|49]
106n7*No_Dynamic_Priorities{85E9[39|49]} 37|88r7[39|49]
107n7*No_Enumeration_Maps{85E9[39|49]} 37|116r7[39|49]
108n7*No_Entry_Calls_In_Elaboration_Code{85E9[39|49]} 37|117r7[39|49]
109n7*No_Entry_Queue{85E9[39|49]} 37|118r7[39|49]
110n7*No_Exception_Handlers{85E9[39|49]} 37|119r7[39|49] 38|925r37[39|49]
111n7*No_Exception_Propagation{85E9[39|49]} 37|120r7[39|49] 38|384r38[39|49]
. 927r37[39|49] 939r38[39|49]
112n7*No_Exception_Registration{85E9[39|49]} 37|121r7[39|49]
114n7*No_Finalization{85E9[39|49]} 37|89r7[39|49] 122r7[39|49] 38|1192r18[39|49]
115n7*No_Fixed_IO{85E9[39|49]} 37|123r7[39|49]
118n7*No_IO{85E9[39|49]} 37|90r7[39|49] 91r7[39|49] 92r7[39|49] 93r7[39|49]
. 94r7[39|49] 95r7[39|49] 96r7[39|49] 97r7[39|49]
119n7*No_Implicit_Conditionals{85E9[39|49]} 37|126r7[39|49]
120n7*No_Implicit_Dynamic_Code{85E9[39|49]} 37|128r7[39|49] 38|276r26[39|49]
121n7*No_Implicit_Heap_Allocations{85E9[39|49]} 38|285r26[39|49]
122n7*No_Implicit_Loops{85E9[39|49]} 37|129r7[39|49]
123n7*No_Initialize_Scalars{85E9[39|49]} 37|130r7[39|49]
126n7*No_Local_Protected_Objects{85E9[39|49]} 37|131r7[39|49]
127n7*No_Long_Long_Integers{85E9[39|49]} 37|132r7[39|49]
128n7*No_Multiple_Elaboration{85E9[39|49]} 37|133r7[39|49]
130n7*No_Protected_Type_Allocators{85E9[39|49]} 37|134r7[39|49]
134n7*No_Relative_Delay{85E9[39|49]} 37|135r7[39|49]
135n7*No_Requeue_Statements{85E9[39|49]} 37|136r7[39|49]
136n7*No_Secondary_Stack{85E9[39|49]} 37|137r7[39|49]
137n7*No_Select_Statements{85E9[39|49]} 37|138r7[39|49]
140n7*No_Standard_Storage_Pools{85E9[39|49]} 37|139r7[39|49]
141n7*No_Stream_Optimizations{85E9[39|49]} 37|140r7[39|49]
142n7*No_Streams{85E9[39|49]} 37|141r7[39|49]
144n7*No_Task_Attributes_Package{85E9[39|49]} 37|98r7[39|49] 142r7[39|49]
146n7*No_Task_Termination{85E9[39|49]} 37|143r7[39|49]
147n7*No_Tasking{85E9[39|49]} 37|144r7[39|49] 38|1723r36[39|49]
150n7*No_Unchecked_Conversion{85E9[39|49]} 37|99r7[39|49] 100r7[39|49]
151n7*No_Unchecked_Deallocation{85E9[39|49]} 37|101r7[39|49] 102r7[39|49]
152n7*Static_Priorities{85E9[39|49]} 37|146r7[39|49]
153n7*Static_Storage_Size{85E9[39|49]} 37|147r7[39|49]
158n7*No_Default_Initialization{85E9[39|49]} 37|111r7[39|49]
172n7*No_Implementation_Attributes{85E9[39|49]} 37|124r7[39|49]
174n7*No_Implementation_Pragmas{85E9[39|49]} 37|125r7[39|49]
177n7*No_Implicit_Aliasing{85E9[39|49]} 37|127r7[39|49] 38|208r34[39|49]
. 267r26[39|49]
178n7*No_Elaboration_Code{85E9[39|49]} 37|115r7[39|49] 38|195r26[39|49] 852r53[39|49]
. 854r28[39|49]
179n7*No_Obsolescent_Features{85E9[39|49]} 38|313r38[39|49] 327r32[39|49]
. 545r17[39|49]
180n7*No_Wide_Characters{85E9[39|49]} 37|145r7[39|49] 38|818r38[39|49] 829r35[39|49]
181n7*SPARK_05{85E9[39|49]} 37|148r7[39|49] 38|1162r17[39|49] 1645r41[39|49]
. 1656r41[39|49] 1673r41[39|49] 1684r41[39|49]
205n7*Max_Tasks{85E9[39|49]} 38|1724r41[39|49] 1725r48[39|49]
212n7*Max_Asynchronous_Select_Nesting{85E9[39|49]} 38|151r36[39|49] 152r38[39|49]
219n7*Not_A_Restriction_Id{85E9[39|49]} 38|896r14[39|49]
231E12*All_Restrictions{85E9[39|49]} 37|45r30[39|49] 53r38[39|49] 108r40[39|49]
. 391r37[39|49] 401r45[39|49] 38|886r16[39|49] 1098r37[39|49] 1107r45[39|49]
235E12*All_Boolean_Restrictions{85E9[39|49]} 37|434r11[39|49] 38|555r18[39|49]
. 1352r24[39|49] 1382r11[39|49]
246E12*Cunit_Boolean_Restrictions{235E12[39|49]} 37|563r13[39|49] 38|843r16[39|49]
. 868r16[39|49] 1045r16[39|49]
253E12*All_Parameter_Restrictions{85E9[39|49]} 37|441r11[39|49] 38|430r21[39|49]
. 443r21[39|49] 1081r38[39|49] 1211r15[39|49] 1423r11[39|49]
265E12*Checked_Max_Parameter_Restrictions{258E12[39|49]} 38|453r24[39|49]
. 567r15[39|49]
272E12*Checked_Add_Parameter_Restrictions{258E12[39|49]} 38|458r24[39|49]
279E12*Checked_Val_Parameter_Restrictions{258E12[39|49]} 38|509r42[39|49]
307A9*Restriction_Flags(boolean)<85E9[39|49]> 37|65r34[39|49] 38|1073r17[39|49]
. 1340r11[39|49]
308A9*Restriction_Values(natural)<85E9[39|49]> 38|1074r17[39|49] 1341r11[39|49]
309A9*Parameter_Flags(boolean)<85E9[39|49]>
311R9*Restrictions_Info 37|36r19[39|49] 59r24[39|49] 38|416r52[39|49] 423r52[39|49]
312a7*Set{307A9[39|49]} 38|150r23[39|49] 151r31[39|49] 538r30[39|49] 844m23[39|49]
. 854m23[39|49] 869r32[39|49] 925r32[39|49] 927r32[39|49] 1046m23[39|49]
. 1078r41[39|49] 1100r27[39|49] 1109r27[39|49] 1386m20[39|49] 1415m31[39|49]
. 1434r23[39|49] 1441m23[39|49] 1455r31[39|49] 1461m31[39|49] 1723r31[39|49]
. 1724r36[39|49]
318a7*Value{308A9[39|49]} 38|152r31[39|49] 557r42[39|49] 558r55[39|49] 1082r57[39|49]
. 1215r61[39|49] 1435r30[39|49] 1436m26[39|49] 1442m23[39|49] 1456r38[39|49]
. 1457m34[39|49] 1462m31[39|49] 1725r41[39|49]
325a7*Violated{307A9[39|49]} 38|427r22[39|49] 428m18[39|49] 569m23[39|49]
330a7*Count{308A9[39|49]} 38|433m24[39|49] 436m24[39|49] 462m24[39|49] 462r42[39|49]
. 465m27[39|49] 558r30[39|49] 568m23[39|49]
338a7*Unknown{309A9[39|49]} 38|432m24[39|49] 448m21[39|49] 466m27[39|49]
. 556r31[39|49]
352r4*No_Restrictions{311R9[39|49]} 37|36r40[39|49] 59r45[39|49]
368E9*Profile_Name 37|53r59[39|49] 173r17[39|49] 206r17[39|49] 423r14[39|49]
. 450r17[39|49] 476r17[39|49] 38|1251r19[39|49] 1336r14[39|49] 1478r17[39|49]
. 1511r17[39|49]
369n7*No_Profile{368E9[39|49]} 37|450r33[39|49] 476r33[39|49] 38|1225r41[39|49]
. 1403r39[39|49] 1468r39[39|49] 1478r33[39|49] 1511r33[39|49]
372n7*Restricted{368E9[39|49]} 38|1073r58[39|49] 1074r58[39|49]
381R9*Profile_Data
382a7*Set{307A9[39|49]} 38|1073m70[39|49] 1340m55[39|49]
389a7*Value{308A9[39|49]} 38|1074m70[39|49] 1341m55[39|49]
395a4*Profile_Info(381R9[39|49]) 38|1073r44[39|49] 1074r44[39|49] 1340r38[39|49]
. 1341r38[39|49]
X 64 table.ads
43K9*Table 37|30w6 178r34 211r36 38|64r31 64|238e10
47+12 Table_Component_Type 37|179r6 212r6 38|65r6
48I12 Table_Index_Type 37|180r6 213r6 38|66r6
50*7 Table_Low_Bound{48I12} 37|181r6 214r6 38|67r6
51i7 Table_Initial{67|65I12} 37|182r6 215r6 38|68r6
52i7 Table_Increment{67|62I12} 37|183r6 216r6 38|69r6
53a7 Table_Name{string} 37|184r6 217r6 38|70r6
55k12*Table 37|178r40 211r42 38|64r37 64|237e13
106A12*Table_Type(37|166R9)<67|59I9>
109A15*Big_Table_Type{106A12[37|178]}<67|59I9>
117P12*Table_Ptr(109A15[37|178])
121p7*Table{117P12[37|178]} 38|595r31[37|178] 601r31[37|178] 721r56[37|211]
. 908r25[64] 909r39[64] 1327r19[64] 1328r19[64] 1487r45[37|178] 1492r31[37|178]
. 1522r51[37|211] 1527r33[37|211]
145V16*Last{67|59I9} 38|594s55[37|178] 719s59[37|211] 907s49[64] 1327s38[64]
. 1328s38[64] 1483s55[37|178] 1518s59[37|211]
162i7*First{67|59I9} 38|594r31[37|178] 719r33[37|211] 907r28[64] 1483r31[37|178]
. 1518r33[37|211]
174U17*Increment_Last 38|1326s19[64]
182U17*Append 38|1501s22[37|178] 1536s24[37|211]
X 67 types.ads
52K9*Types 37|31w6 31r18 67|942e10
59I9*Int<integer> 37|180r30 213r30 38|1215r43
62I12*Nat{59I9}
65I12*Pos{59I9}
144I9*Text_Ptr<59I9>
212I12*Source_Ptr{144I9} 37|45r51 243r59 369r47 417r53 38|60r15 61r15 88r55
. 103r50 112r44 182r59 903r47 1324r53 1620r29 1667r29
219i4*No_Location{212I12} 37|46r35 38|89r47 104r39 113r36 546r55 645r28 679r28
. 804r28 1200r27 1206r28 1226r31 1255r31 1707r25
228i4*Standard_Location{212I12} 38|587r30
237i4*System_Location{212I12} 38|1201r34 1397r34
384I9*Node_Id<integer> 37|167r14 198r16 238r57 248r61 256r20 271r11 276r51
. 276r66 281r64 286r57 291r54 296r54 301r50 309r15 316r67 320r48 327r55 334r48
. 338r64 347r67 359r45 364r43 386r47 424r14 435r11 442r11 448r17 458r17 467r17
. 474r17 486r17 38|125r55 131r35 135r33 139r47 175r57 193r50 202r48 274r55
. 283r48 292r64 336r61 397r11 409r20 577r51 577r66 578r12 620r64 622r14 658r57
. 691r54 723r22 783r54 784r23 816r67 946r45 967r43 991r47 1116r55 1270r35
. 1294r33 1337r14 1383r11 1424r11 1476r17 1509r17 1513r13 1557r17 1577r17
. 1596r17 1616r15 1621r38 1665r67 1698r47
387I12*Entity_Id{384I9} 37|338r49 347r52 38|203r11 292r49 293r30 300r30 722r22
. 816r52 822r26
556I9*Unit_Number_Type<59I9>
561i4*Main_Unit{556I9} 38|525r29 711r30 1411r29 1452r29
567I9*Source_File_Index<59I9>
X 68 uintp.ads
42K9*Uintp 37|32w6 32r18 68|542e10
48I9*Uint<67|59I9> 37|257r20 272r11 38|398r11 410r20
78i4*Uint_Minus_1{48I9} 37|257r28 272r19 38|398r19 410r28
168V13*UI_Is_In_Int_Range{boolean} 38|501s10
236V13*UI_From_Int{48I9} 38|1215s30
242V13*UI_To_Int{67|59I9} 38|502s25
X 70 uname.ads
35K9*Uname 38|40w6 40r20 70|176e10
136V13*Is_Spec_Name{boolean} 38|341s13