libgnatprj4.9-dev 4.9.2-1 / usr / lib / ada / adalib / gnatprj / restrict.ali

V "GNAT Lib v4.9"
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_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U restrict%b		restrict.adb		3581799c 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		e3aa1a0a 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
D a-except.ads		20140129161953 f86a4103
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20120330092659 daf1344a
D aspects.ads		20140225151544 132f69b1
D aspects.adb		20140225151544 fb524d2a
D atree.ads		20140225154805 15f9fb8a
D atree.adb		20140224171334 4c3369fa
D casing.ads		20100909094434 5c2a7161
D casing.adb		20140206102317 cc937043
D csets.ads		20140122165324 e948558f
D debug.ads		20090420131856 3ea59655
D einfo.ads		20140225154805 b22949de
D einfo.adb		20140225151838 fd9a49c7
D elists.ads		20131013163100 4c493074
D err_vars.ads		20130910153044 d6d090e9
D errout.ads		20140225151544 ea1c5934
D erroutc.ads		20140225154945 b3b1b344
D fname.ads		20090409150019 913fd2bc
D fname-uf.ads		20070910124710 8161e886
D gnat.ads		20110801150502 fd2ad2f1
D g-byorma.ads		20140225151544 2b13b02c
D g-hesorg.ads		20110801150502 106922da
D g-htable.ads		20140225151544 4b643b8d
D hostparm.ads		20130411123322 c164ed60
D interfac.ads		20140225151838 69adb1b9
D lib.ads		20140225154805 6d2da80c
D lib.adb		20140122170457 81079209
D lib-list.adb		20090409150019 ef0890c0 lib.list
D lib-sort.adb		20090409150019 857b8e8e lib.sort
D namet.ads		20140129155348 0b5fbeae
D namet.adb		20130412134103 e67181d4
D nlists.ads		20140206101107 783bf08e
D opt.ads		20140225154805 0424f3ab
D output.ads		20140219102553 2d9479ad
D restrict.ads		20140122164720 5293cb95
D restrict.adb		20140225151544 a608fdaf
D rident.ads		20120712104910 770cd2d0
D scans.ads		20140124144712 bebd53fa
D sinfo.ads		20140225150201 4a23565b
D sinfo.adb		20140224155759 ab5b6dfc
D sinput.ads		20140120151301 c46c1677
D sinput.adb		20140120151534 abc14b6d
D snames.ads		20141119215425 383b4c02
D stand.ads		20140224150940 4852f602
D stringt.ads		20140220134420 b6600148
D system.ads		20141119215827 90249111
D s-conca2.ads		20140225151544 02a0d7d0
D s-exctab.ads		20140225151139 54135002
D s-htable.ads		20140225151139 84c2b3ea
D s-imenne.ads		20140225151139 614c06c0
D s-memory.ads		20140225151139 597d6634
D s-os_lib.ads		20140225151139 73b554c6
D s-parame.ads		20140225151139 ab8cb46a
D s-rident.ads		20140225151139 fcbf2143
D s-secsta.ads		20140225151139 86a2856d
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-string.ads		20140225151139 8fe54fb7
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
D table.ads		20090506081141 e3a9ec16
D table.adb		20130104091825 d2a5ae47
D tree_io.ads		20130910150933 92caaa96
D types.ads		20140129155348 09a1b5bd
D uintp.ads		20141119214236 2762e44a
D uintp.adb		20141119214236 addc6df1
D uname.ads		20090420121742 1074afbc
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
D urealp.ads		20130411125352 e500ee51
D widechar.ads		20090409150019 3fd6363b
X 6 aspects.ads
71K9*Aspects 825e12 38|26w6 26r20
75E9*Aspect_Id 197e24 38|88r41 93r48 666r14
76n7*No_Aspect{75E9} 38|686r30
199E12*Aspect_Id_Exclude_No_Aspect{75E9} 38|1354r23
474V13*Get_Aspect_Id{75E9} 38|685s15 1354s54
X 8 atree.ads
44K9*Atree 4023e10 38|27w6 27r20
599V13*Nkind{41|7921E9} 38|225s13 231s13 249s13 835s10 841s13 1138s10 1138s45
. 1429s18 1430s28 1437s18
608V13*Comes_From_Source{boolean} 38|706s18 1424s17 1432s28 1437s50 1466s10
614V13*Sloc{68|212I12} 38|599s42 632s18 643s31 649s19 653s19 1031s67 1240s34
. 1279s37 1285s34 1357s45 1378s37 1397s34 1440s49 1468s49 1501s13
630V13*Present{boolean} 38|212s19
642V13*Nkind_In{boolean} 38|243s13 1141s13 1143s13
1000V13*Original_Node{68|384I9} 38|1415s49 1466s29
X 10 casing.ads
34K9*Casing 89e11 38|28w6 28r20
49n7*All_Upper_Case{47E9} 38|771r19
71U14*Set_Casing 38|771s7 1031s13
80U14*Set_All_Upper_Case 38|1029s13
X 13 debug.ads
36K9*Debug 188e10 38|31w6 31r20
121b4*Debug_Flag_Dot_G{boolean} 38|825r24
X 14 einfo.ads
37K9*Einfo 8585e10 38|29w6 29r20
6283B12*B{boolean}
6285I12*E{68|387I12}
6288I12*N{68|384I9}
6408V13*Has_Aliased_Components{6283E12} 38|232s13 235s25
6511V13*Is_Aliased{6283E12} 38|209s16
6672V13*Renamed_Object{6288I12} 38|212s28 213s44
6737V13*Is_Access_Type{6283E12} 38|234s15
6771V13*Is_Object{6283E12} 38|208s13
6796V13*Designated_Type{6285I12} 38|236s28
6850V13*Root_Type{6285I12} 38|709s39
7594V13*Is_Entity_Name{boolean} 38|203s10
X 18 errout.ads
40K9*Errout 903e11 38|30w6 30r20
466i4*Error_Msg_Uint_1=466:45{69|48I9} 38|1081r10
470i4*Error_Msg_Sloc=470:49{68|212I12} 38|300r7 302r10 333r7 335r10 643r13
. 688r7 690r10 1062r7 1066r10 1067r17 1072r10 1092r13 1121r13 1449r33 1451r10
. 1477r33 1479r10
473i4*Error_Msg_Name_1=473:48{32|155I9} 38|882r13 884r13 896r10 898r10
487i4*Error_Msg_Node_1=487:48{68|384I9} 38|303r10 336r10 644r13 691r10
497b4*Error_Msg_Warn=497:46{boolean} 38|304r10 337r10 692r10
503a4*Error_Msg_String=503:48{string} 38|1035r10
504i4*Error_Msg_Strlen=504:48{natural} 38|1034r10
692U14*Error_Msg 38|647s16 651s16
721U14*Error_Msg_N 38|174s10 305s10 338s10 693s10 845s10 883s13 885s13 897s10
. 899s10 1097s10 1103s10 1128s10
730U14*Error_Msg_F 38|1454s13 1482s13 1483s13
777V13*First_Node{68|384I9} 38|1450s51 1478s51
X 20 fname.ads
38K9*Fname 99e10 38|32w6 32r20 33r6 33r20
65V13*Is_Predefined_File_Name{boolean} 38|424s16
82V13*Is_Internal_File_Name{boolean} 38|1507s17
X 21 fname-uf.ads
40K15*UF 114e13 38|33w12 33r26
56V13*Get_File_Name{32|482I9} 38|399s22
58b7 Subunit{boolean} 38|399r40
X 28 lib.ads
40K9*Lib 923e8 38|34w6 34r20
247i4*Current_Sem_Unit{68|556I9} 38|578r10 738r54 1253r10 1294r10
408V13*Cunit_Entity{68|387I12} 38|738s40
418V13*Is_Compiler_Unit{boolean} 38|173s10
425V13*Unit_File_Name{32|482I9} 38|1507s40
467V13*Get_Source_Unit{68|556I9} 38|173s28 1507s56
536V13*In_Extended_Main_Source_Unit{boolean} 38|290s14 323s14 579s17 631s14
. 680s14 738s10 1254s17 1295s17 1496s10
X 32 namet.ads
38K9*Namet 609e10 37|28w6 28r18
127a4*Name_Buffer{string} 38|410r24 412r24 427r30 438r19 777r20 1025m10 1035r46
133i4*Name_Len{natural} 38|409r16 410r37 410r53 412r37 412r53 419m13 419r25
. 420r38 426r22 777r38 1026m10 1034r30 1035r33 1035r64
155I9*Name_Id<integer> 37|300r11 327r63 38|282r23 356r25 767r11 857r63 859r27
. 860r18
242U14*Get_Name_String 38|404s13 770s7
248V13*Get_Name_String{string} 38|361s20
325V13*Length_Of_Name{68|62I12} 38|358s13
414U14*Add_Str_To_Name_Buffer 38|420s13
482I9*File_Name_Type<155I9> 38|398r29
507I9*Unit_Name_Type<155I9> 37|199r41 38|391r41
X 35 opt.ads
50K9*Opt 2139e8 38|35w6 35r20
115n46*Ada_2005{115E9} 38|369r33
128e4*Ada_Version{115E9} 38|369r18
356b4*CodePeer_Mode{boolean} 38|543r10
387b4*Configurable_Run_Time_Mode{boolean} 38|811r40 824r24
1039b4*No_Run_Time_Mode{boolean} 38|811r15 823r15
1672b4*Warn_On_Obsolescent_Feature{boolean} 38|895r10
2059b4*GNATprove_Mode{boolean} 38|543r27
X 37 restrict.ads
34K9*Restrict 492E9 497l5 497e13 38|42b14 1522l5 1522t13
36r4*Restrictions{56|308R9[39|49]} 38|146r10 147r18 148r18 572m28 572r28
. 591r17 609r18 610r29 611r17 611r42 731m10 741m10 756r19 812r19 814r19 912m10
. 944r28 948r44 966r14 975r14 1081r48 1228m7 1276r10 1277r17 1278m13 1283m10
. 1284m10 1517r18 1518r23 1519r29
45a4*Restrictions_Loc(68|212I12) 38|1062r25 1239r10 1240m10 1279m13 1285m10
53a4*Restriction_Profile_Name(56|365E9[39|49]) 38|1091r10 1117r39 1202m16
. 1245m7 1310m7
59r4*Main_Restrictions{56|308R9[39|49]} 38|581m31 581r31 1257m13 1297r13
. 1298r20 1299m16 1303m13 1304m13
65a4*Restriction_Warnings{56|304A9[39|49]} 38|945r38 966r48 1049r10 1110r13
. 1210m19 1256r17 1302r20
77R9*Unit_Entry 80e14 82r55
78e7*Res_Id{56|85E9[39|49]} 38|429r56
79a7*Filenm{string} 38|427r68
82a4*Unit_Array(77R9) 38|425r25 427r53 429r41
108a4*Implementation_Restriction(boolean)
159R9*ND_Entry 169e14 172r30
160i7*Unit{68|384I9} 38|640r41 1329r55
163b7*Warn{boolean} 38|646r41 1334m41
166e7*Profile{56|365E9[39|49]}
171K12*No_Dependences[65|55] 38|639r16 639r40 640r16 646r16 1325r16 1325r40
. 1329r30 1334r16 1343r7
188V13*Abort_Allowed{boolean} 189r19 38|144b13 154l8 154t21
194U14*Check_Compiler_Unit 194>35 38|171b14 176l8 176t27
194i35 N{68|384I9} 38|171b35 173r45 174r71
199U14*Check_Restricted_Unit 199>37 199>57 38|391b14 444l8 444t29
199i37 U{32|507I9} 38|391b37 396r27 399r37
199i57 N{68|384I9} 38|391b57 393r40 429r64 439r64
204U14*Check_Restriction 205<7 206>7 207>7 208>7 38|458s7 461b14 616l8 616t25
. 1450s10 1478s10
205b7 Msg_Issued{boolean} 38|462b7 534m7 613m10
206e7 R{56|85E9[39|49]} 38|463b7 482r32 483r28 485r16 487r33 488r31 490r31
. 497r16 502r30 506r19 507r28 507r59 511r19 515r31 515r49 518r34 519r36 550r10
. 562r37 591r35 598r13 608r13 609r40 610r49 611r37 611r62 614r27
207i7 N{68|384I9} 38|464b7 551r64 579r47 586r40 599r48 614r30
208i7 V{69|48I9} 38|465b7 554r30 555r36
220U14*Check_Restriction 221>7 222>7 223>7 38|184s7 256s7 265s7 274s7 382s13
. 429s22 439s19 450b14 459l8 459t25 716s16
221e7 R{56|85E9[39|49]} 38|451b7 458r38
222i7 N{68|384I9} 38|452b7 458r41
223i7 V{69|48I9} 38|453b7 458r44
227U14*Check_Restriction_No_Use_Of_Attribute 227>53 38|281b14 308l8 308t45
227i53 N{68|384I9} 38|281b53 282r46 290r44 303r30 306r72
232U14*Check_Restriction_No_Use_Of_Pragma 232>50 38|314b14 341l8 341t42
232i50 N{68|384I9} 38|314b50 315r55 323r44
237U14*Check_Restriction_No_Dependence 237>47 237>60 38|622b14 659l8 659t39
237i47 U{68|384I9} 38|622b47 631r44 632r24 642r24
237i60 Err{68|384I9} 38|622b60 649r25 653r25
242U14*Check_Restriction_No_Specification_Of_Aspect 242>60 38|665b14 697l8
. 697t52
242i60 N{68|384I9} 38|665b60 680r44 684r25
247U14*Check_Elaboration_Code_Allowed 247>46 38|182b14 185l8 185t38
247i46 N{68|384I9} 38|182b46 184r47
253U14*Check_SPARK_Restriction 254>7 255>7 256>7 38|551s10 1408b14 1457l8
. 1457t31
254s7 Msg{string} 38|1409b7 1454r35
255i7 N{68|384I9} 38|1410b7 1415r64 1424r36 1429r25 1437r25 1440r55 1450r63
. 1454r40
256b7 Force{boolean} 38|1411b7 1420r10
262U14*Check_SPARK_Restriction 262>39 262>45 262>60 38|1459b14 1486l8 1486t31
262s39 Msg1{string} 38|1459b39 1482r35
262s45 Msg2{string} 38|1459b45 1464r22 1464r48 1464r54 1483r26
262i60 N{68|384I9} 38|1459b60 1466r44 1468r55 1478r63 1482r41 1483r32
266U14*Check_No_Implicit_Aliasing 266>42 38|191b14 213s16 226s10 244s10 257l8
. 257t34
266i42 Obj{68|384I9} 38|191b42 203r26 204r23 225r20 226r53 231r20 232r52
. 234r46 236r60 243r23 244r50 249r20 256r48
273U14*Check_Implicit_Dynamic_Code_Allowed 273>51 38|263b14 266l8 266t43
273i51 N{68|384I9} 38|263b51 265r52
280U14*Check_No_Implicit_Heap_Alloc 280>44 38|272b14 275l8 275t36
280i44 N{68|384I9} 38|272b44 274r56
284U14*Check_Obsolescent_2005_Entity 284>45 284>60 38|347b14 385l8 385t37
284i45 E{68|387I12} 38|347b45 370r35 371r42 372r49 373r46 375r23 376r23 377r23
. 378r23 379r23 380r23
284i60 N{68|384I9} 38|347b60 382r57
293U14*Check_Wide_Character_Restriction 293>48 293>63 38|703b14 720l8 720t40
293i48 E{68|387I12} 38|703b48 709r50
293i63 N{68|384I9} 38|703b63 706r37 716r55
299V13*Get_Restriction_Id{56|85E9[39|49]} 300>7 38|766b13 784l8 784t26
300i7 N{32|155I9} 38|767b7 770r24
305V13*OK_No_Dependence_Unit_Name{boolean} 305>41 38|833b13 837s12 839s12
. 848l8 848t34
305i41 N{68|384I9} 38|833b41 835r17 837r48 839r55 841r20 845r69
310V13*Is_In_Hidden_Part_In_SPARK{boolean} 310>41 38|790b13 803l8 803t34
. 1440s21 1468s21
310i41 Loc{68|212I12} 38|790b41 795r44 796r21
314V13*No_Exception_Handlers_Set{boolean} 38|809b13 815l8 815t33
323V13*No_Exception_Propagation_Active{boolean} 38|821b13 827l8 827t39
327V13*Process_Restriction_Synonyms{32|155I9} 327>43 38|857b13 903l8 903t36
327i43 N{68|384I9} 38|857b43 859r45 883r71 885r69 897r69 899r67
333V13*Restriction_Active{boolean} 333>33 334r19 38|197s14 826s18 964b13
. 967l8 967t26 1189s57
333e33 R{56|228E12[39|49]} 38|964b33 966r32 966r70
343V13*Restriction_Check_Required{boolean} 343>41 344r19 38|368s10 705s10
. 973b13 976l8 976t34 1439s13 1467s13
343e41 R{56|228E12[39|49]} 38|973b41 975r32
353V13*Restricted_Profile{boolean} 38|929b13 958l8 958t26
359U14*Set_Hidden_Part_In_SPARK 359>40 359>46 38|1166b14 1171l8 1171t32
359i40 Loc1{68|212I12} 38|1166b40 1169r53
359i46 Loc2{68|212I12} 38|1166b46 1170r53
364U14*Set_Profile_Restrictions 365>7 366>7 367>7 38|1177b14 1215l8 1215t32
365e7 P{56|365E9[39|49]} 38|1178b7 1182r52 1183r52 1202r48
366i7 N{68|384I9} 38|1179b7 1195r39 1197r39
367b7 Warn{boolean} 38|1180b7 1209r24 1210r47
375U14*Set_Restriction 376>7 377>7 38|1195s19 1223b14 1260l8 1260t23
376e7 R{56|232E12[39|49]} 38|1224b7 1228r25 1239r28 1240r28 1245r33 1256r39
. 1257r36
377i7 N{68|384I9} 38|1225b7 1240r40 1254r47
382U14*Set_Restriction 383>7 384>7 385>7 38|1197s19 1264b14 1311l8 1311t23
383e7 R{56|250E12[39|49]} 38|1265b7 1276r28 1277r37 1278r33 1279r31 1283r28
. 1284r30 1285r28 1297r36 1298r45 1299r41 1302r42 1303r36 1304r38 1310r33
384i7 N{68|384I9} 38|1266b7 1279r43 1285r40 1295r47
385i7 V{integer} 38|1267b7 1277r13 1278r39 1284r36 1298r16 1299r47 1304r44
389U14*Set_Restriction_No_Dependence 390>7 391>7 392>7 38|1317b14 1344l8
. 1344t37
390i7 Unit{68|384I9} 38|1318b7 1329r24 1343r31
391b7 Warn{boolean} 38|1319b7 1333r20 1343r37
392e7 Profile{56|365E9[39|49]} 38|1320b7 1343r43
399U14*Set_Restriction_No_Specification_Of_Aspect 400>7 401>7 38|1350b14
. 1364l8 1364t50
400i7 N{68|384I9} 38|1351b7 1354r76 1357r51
401b7 Warning{boolean} 38|1352b7 1359r10
408U14*Set_Restriction_No_Use_Of_Attribute 409>7 410>7 38|1370b14 1383l8
. 1383t43
409i7 N{68|384I9} 38|1371b7 1374r64 1378r43
410b7 Warning{boolean} 38|1372b7 1380r10
415U14*Set_Restriction_No_Use_Of_Pragma 416>7 417>7 38|1389b14 1402l8 1402t40
416i7 N{68|384I9} 38|1390b7 1393r58 1397r40
417b7 Warning{boolean} 38|1391b7 1399r10
421V13*Tasking_Allowed{boolean} 422r19 38|1515b13 1520l8 1520t23
453A9*Save_Cunit_Boolean_Restrictions(boolean) 457r13 464r11 492c9 38|76r40
. 727r11 750r13 752r11
456V13*Cunit_Boolean_Restrictions_Save{453A9} 38|749b13 760l8 760t39 1159s44
463U14*Cunit_Boolean_Restrictions_Restore 464>7 38|726b14 743l8 743t42 922s7
464a7 R{453A9} 38|727b7 731r34
472U14*Save_Config_Cunit_Boolean_Restrictions 38|1157b14 1160l8 1160t46
478U14*Restore_Config_Cunit_Boolean_Restrictions 38|920b14 923l8 923t49
484U14*Reset_Cunit_Boolean_Restrictions 38|909b14 914l8 914t40
487U14*Add_To_Config_Boolean_Restrictions 487>50 38|160b14 163l8 163t42
487e50 R{56|85E9[39|49]} 38|160b50 162r42
X 38 restrict.adb
59R9 SPARK_Hide_Entry 62e14 65r30
60i7*Start{68|212I12} 795r35 1169m44
61i7*Stop{68|212I12} 796r49 1170m44
64K12 SPARK_Hides[65|55] 794r16 794r37 795r13 796r27 1168r7 1169r7 1169r26
. 1170r7 1170r26
76a4 Config_Cunit_Boolean_Restrictions{37|453A9} 162m7 739r18 922r43 1159m7
79b4 Restricted_Profile_Result{boolean} 932r17 935m10 950m19 955r20 1230r40
. 1270r40
84b4 Restricted_Profile_Cached{boolean} 931r10 936m10 1230r10 1233m10 1270r10
. 1273m10
88a4 No_Specification_Of_Aspects(68|212I12) 688r25 1357m7
93a4 No_Specification_Of_Aspect_Warning(boolean) 692r28 1360m10
99b4 No_Specification_Of_Aspect_Set{boolean} 672r14 1363m7
103a4 No_Use_Of_Attribute(68|212I12) 300r25 1378m7
106a4 No_Use_Of_Attribute_Warning(boolean) 304r28 1381m10
109b4 No_Use_Of_Attribute_Set{boolean} 296r14 1377m7
112a4 No_Use_Of_Pragma(68|212I12) 333r25 1397m7
115a4 No_Use_Of_Pragma_Warning(boolean) 337r28 1400m10
118b4 No_Use_Of_Pragma_Set{boolean} 329r14 1396m7
125U14 Restriction_Msg 125>31 125>51 614s10 982b14 1130l8 1130t23
125e31 R{56|85E9[39|49]} 982b31 1028r13 1049r32 1058r13 1062r43 1077r10 1079r41
. 1081r68 1086r41 1091r36 1110r35 1117r65
125i51 N{68|384I9} 982b51 1031r73 1097r39 1103r39 1128r39
131V13 Same_Unit{boolean} 131>24 131>28 642s13 1136b13 1145s17 1147s17 1151l8
. 1151t17 1329s13
131i24 U1{68|384I9} 1136b24 1138r17 1139r24 1141r23 1145r36 1147r43
131i28 U2{68|384I9} 1136b28 1138r52 1139r37 1143r23 1145r49 1147r63
135V13 Suppress_Restriction_Message{boolean} 135>43 393s10 586s10 1492b13
. 1509l8 1509t36
135i43 N{68|384I9} 1492b43 1496r40 1501r19 1507r73
192i7 E{68|387I12} 204m10 208r24 209r28 212r44 213r60
282i7 Id{32|155I9} 283r57
283e7 A_Id{45|1452E9} 300r46 304r57
315i7 Id{68|384I9} 316r58 336r30 339r69
316e7 P_Id{45|1711E9} 333r43 337r54
348V16 Chars_Is{boolean} 348>26 348>41 355b16 363l11 363t19 370s18 371s18
. 372s18 375s13 376s13 377s13 378s13 379s13 380s13
348i26 E{68|387I12} 355b26 356r43
348s41 S{string} 355b41 358r37 361r44
356i10 Nam{32|155I9} 358r29 361r37
398i13 Fnam{32|482I9} 404r30 424r41
425i20 J{integer} 427r65 429r53
455b7 Msg_Issued{boolean} 456r28 458m26
467i7 VV{integer} 486r19 490r37 501r16 507r63 515r54 555m10 557m10 562r22
. 566r10
471U17 Update_Restrictions 471=38 478b17 529l11 529t30 572s7 581s10
471r38 Info{56|308R9[39|49]} 478b38 482r17 483m13 487m19 488m19 490m19 502m16
. 507m16 507r47 515m19 515r37 518m22 519m22
623i7 DU{68|384I9} 640m10 642r27 643r37 644r33
639i11 J<integer> 640r38 646r38
666e7 A_Id{6|75E9} 685m7 686r22 688r54 692r64
667i7 Id{68|384I9} 684m7 685r37 691r30 695r13
709i13 T{68|387I12} 711r16 712r16 713r16 714r16
730e11 J{56|243E12[39|49]} 731r28 731r37
752a7 R{37|453A9} 756m10 759r14
755e11 J{56|243E12[39|49]} 756r13 756r37
773e11 J{56|228E12[39|49]} 775r58 778r23
775a13 S{string} 777r16
794i11 J{integer} 795r32 796r46
859i7 Old_Name{32|155I9} 863r12 889r20 896r30
860i7 New_Name{32|155I9} 865m13 868m13 871m13 874m13 877m13 898r30 902r14
911e11 J{56|243E12[39|49]} 912r28
939a13 R{56|304A9[39|49]} 942r22 943r19
940a13 V{56|305A9[39|49]} 948r69
942e17 J{56|85E9[39|49]} 943r22 944r46 945r60 947r33 948r64 948r72
983a7 Msg{string} 1006m10 1015m10 1097r23 1103r23 1128r23
984i7 Len{natural} 1005m10 1005r17 1006r15 1015r15 1015r26 1016m10 1016r17
. 1097r33 1103r33 1105m10 1128r33
986U17 Add_Char 986>27 1003b17 1007l11 1007t19 1040s13 1059s10 1078s10 1093s13
. 1096s10 1102s10 1106s10 1122s13 1127s10
986e27 C{character} 1003b27 1006r23
989U17 Add_Str 989>26 1013b17 1017l11 1017t18 1038s13 1050s10 1069s10 1071s10
. 1080s10 1111s13 1116s10
989s26 S{string} 1013b26 1015r32 1015r45 1016r23
992U17 Id_Case 992>26 992>38 1023b17 1042l11 1042t18 1079s10 1086s10 1117s10
992s26 S{string} 1023b26 1025r28 1025r39 1026r22
992b38 Quotes{boolean} 1023b38 1037r13 1079r45
1182a7 R{56|304A9[39|49]} 1186r16 1187r13
1183a7 V{56|305A9[39|49]} 1197r42
1186e11 J{56|85E9[39|49]} 1187r16 1189r77 1194r19 1195r36 1197r36 1197r45
. 1202r42 1210r41
1189b16 Already_Restricted{boolean} 1209r33
1325i11 J<integer> 1329r52 1334r38
1354e7 A_Id{6|199E12} 1357r36 1360r46
1374e7 A_Id{45|1452E9} 1378r28 1381r39
1393e7 A_Id{45|1711E9} 1397r25 1400r36
1413b7 Msg_Issued{boolean} 1450m29 1453r13
1414i7 Save_Error_Msg_Sloc{68|212I12} 1449m10 1451r28
1415i7 Onode{68|384I9} 1430r35 1431r44 1432r47 1437r69
1460b7 Msg_Issued{boolean} 1478m29 1481r13
1461i7 Save_Error_Msg_Sloc{68|212I12} 1477m10 1479r28
X 39 rident.ads
49K9*Rident[56|75] 37|29w6 29r18 65r27
X 41 sinfo.ads
54K9*Sinfo 38|36w6 36r20 41|12916e10
7960n7*N_Expanded_Name{7921E9} 38|1141r49 1143r49
7965n7*N_Identifier{7921E9} 38|841r25 1138r23 1138r58
8029n7*N_Attribute_Reference{7921E9} 38|1430r44
8060n7*N_Explicit_Dereference{7921E9} 38|249r27
8063n7*N_Indexed_Component{7921E9} 38|231r27
8072n7*N_Range{7921E9} 38|1429r30
8074n7*N_Selected_Component{7921E9} 38|225r27 835r22 1141r27 1143r27
8076n7*N_Type_Conversion{7921E9} 38|243r57
8078n7*N_Unchecked_Type_Conversion{7921E9} 38|243r28
8485E12*N_Subexpr{7921E9} 38|1437r31
8592V13*Attribute_Name{32|155I9} 38|1431s28
8619V13*Chars{32|155I9} 38|282s39 316s51 356s36 685s30 859s38 1139s17 1139s30
. 1354s69 1374s57 1393s51
8838V13*Entity{68|384I9} 38|204s15
8862V13*Etype{68|384I9} 38|232s37 234s31 236s45
8886V13*Expression{68|384I9} 38|244s38
9006V13*Identifier{68|384I9} 38|684s13
9288V13*Pragma_Identifier{68|384I9} 38|315s36
9300V13*Prefix{68|384I9} 38|232s44 234s38 236s52 837s40 1145s28 1145s41
9390V13*Scope{68|384I9} 38|370s28 371s28 371s35 372s28 372s35 372s42 373s18
. 373s25 373s32 373s39
9396V13*Selector_Name{68|384I9} 38|226s38 839s40 1147s28 1147s48
X 43 sinput.ads
69K9*Sinput 38|37w6 37r20 43|940e11
299V13*Identifier_Casing{10|47E9} 38|1031s25
588V13*Get_Source_File_Index{68|567I9} 38|1031s44
635V13*Instantiation_Location{68|212I12} 38|599s18
X 44 sinput.adb
766U17 Traverse[8|587] 9|2231b14
X 45 snames.ads
34K9*Snames 38|38w6 38r20 45|2118e11
698i4*Name_Boolean_Entry_Barriers{32|155I9} 38|864r15
735i4*Name_Max_Entry_Queue_Depth{32|155I9} 38|867r15
736i4*Name_Max_Entry_Queue_Length{32|155I9} 38|868r25
750i4*Name_No_Dynamic_Attachment{32|155I9} 38|871r25
751i4*Name_No_Dynamic_Interrupts{32|155I9} 38|870r15
754i4*Name_No_Requeue{32|155I9} 38|873r15
755i4*Name_No_Requeue_Statements{32|155I9} 38|874r25
758i4*Name_No_Task_Attributes{32|155I9} 38|876r15
759i4*Name_No_Task_Attributes_Package{32|155I9} 38|877r25
784i4*Name_Simple_Barriers{32|155I9} 38|865r25
785i4*Name_SPARK{32|155I9} 38|881r15 882r33
786i4*Name_SPARK_05{32|155I9} 38|884r33 886r20
919i4*Name_Range{32|155I9} 38|1431r53
1452E9*Attribute_Id 38|103r33 106r41 283r23 1374r23 45|1646e36
1711E9*Pragma_Id 38|112r30 115r38 316r23 1393r23 45|1960e22
2061V13*Get_Attribute_Id{1452E9} 38|283s39 1374s39
2081V13*Get_Pragma_Id{1711E9} 38|316s36 1393s36
X 46 stand.ads
38K9*Stand 38|39w6 39r20 46|492e10
245i4*Standard_Standard=245:53{68|384I9} 38|373r54
249i4*Standard_Wide_Character=249:53{68|384I9} 38|711r20
250i4*Standard_Wide_Wide_Character=250:53{68|384I9} 38|713r20
252i4*Standard_Wide_String=252:53{68|384I9} 38|712r20
253i4*Standard_Wide_Wide_String=253:53{68|384I9} 38|714r20
X 48 system.ads
64M9*Address
X 53 s-memory.ads
53V13*Alloc{48|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{48|64M9} 105i<c,__gnat_realloc>22
X 56 s-rident.ads
85E9*Restriction_Id 37|78r16[39|49] 206r20[39|49] 221r11[39|49] 300r27[39|49]
. 487r54[39|49] 38|125r35[39|49] 160r54[39|49] 451r11[39|49] 463r20[39|49]
. 767r27[39|49] 775r36[39|49] 982r35[39|49] 1079r19[39|49] 1086r19[39|49]
91n7*Simple_Barriers{85E9[39|49]} 37|109r7[39|49]
92n7*No_Abort_Statements{85E9[39|49]} 38|146r28[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|550r14[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|812r37[39|49]
111n7*No_Exception_Propagation{85E9[39|49]} 37|120r7[39|49] 38|439r38[39|49]
. 814r37[39|49] 826r38[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|1058r18[39|49]
117n7*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]
118n7*No_Implicit_Conditionals{85E9[39|49]} 37|125r7[39|49]
119n7*No_Implicit_Dynamic_Code{85E9[39|49]} 37|127r7[39|49] 38|265r26[39|49]
120n7*No_Implicit_Heap_Allocations{85E9[39|49]} 38|274r26[39|49]
121n7*No_Implicit_Loops{85E9[39|49]} 37|128r7[39|49]
122n7*No_Initialize_Scalars{85E9[39|49]} 37|129r7[39|49]
125n7*No_Local_Protected_Objects{85E9[39|49]} 37|130r7[39|49]
127n7*No_Protected_Type_Allocators{85E9[39|49]} 37|131r7[39|49]
131n7*No_Relative_Delay{85E9[39|49]} 37|132r7[39|49]
132n7*No_Requeue_Statements{85E9[39|49]} 37|133r7[39|49]
133n7*No_Secondary_Stack{85E9[39|49]} 37|134r7[39|49]
134n7*No_Select_Statements{85E9[39|49]} 37|135r7[39|49]
137n7*No_Standard_Storage_Pools{85E9[39|49]} 37|136r7[39|49]
138n7*No_Stream_Optimizations{85E9[39|49]} 37|137r7[39|49]
139n7*No_Streams{85E9[39|49]} 37|138r7[39|49]
141n7*No_Task_Attributes_Package{85E9[39|49]} 37|98r7[39|49] 139r7[39|49]
143n7*No_Task_Termination{85E9[39|49]} 37|140r7[39|49]
144n7*No_Tasking{85E9[39|49]} 37|141r7[39|49] 38|1517r36[39|49]
147n7*No_Unchecked_Conversion{85E9[39|49]} 37|99r7[39|49] 100r7[39|49]
148n7*No_Unchecked_Deallocation{85E9[39|49]} 37|101r7[39|49] 102r7[39|49]
149n7*Static_Priorities{85E9[39|49]} 37|143r7[39|49]
150n7*Static_Storage_Size{85E9[39|49]} 37|144r7[39|49]
155n7*No_Default_Initialization{85E9[39|49]} 37|111r7[39|49]
169n7*No_Implementation_Attributes{85E9[39|49]} 37|123r7[39|49]
171n7*No_Implementation_Pragmas{85E9[39|49]} 37|124r7[39|49]
174n7*No_Implicit_Aliasing{85E9[39|49]} 37|126r7[39|49] 38|197r34[39|49]
. 256r26[39|49]
175n7*No_Elaboration_Code{85E9[39|49]} 37|115r7[39|49] 38|184r26[39|49] 739r53[39|49]
. 741r28[39|49]
176n7*No_Obsolescent_Features{85E9[39|49]} 38|368r38[39|49] 382r32[39|49]
. 598r17[39|49]
177n7*No_Wide_Characters{85E9[39|49]} 37|142r7[39|49] 38|705r38[39|49] 716r35[39|49]
178n7*SPARK_05{85E9[39|49]} 37|145r7[39|49] 38|1028r17[39|49] 1439r41[39|49]
. 1450r41[39|49] 1467r41[39|49] 1478r41[39|49]
202n7*Max_Tasks{85E9[39|49]} 38|1518r41[39|49] 1519r49[39|49]
209n7*Max_Asynchronous_Select_Nesting{85E9[39|49]} 38|147r36[39|49] 148r38[39|49]
216n7*Not_A_Restriction_Id{85E9[39|49]} 38|783r14[39|49]
228E12*All_Restrictions{85E9[39|49]} 37|45r30[39|49] 53r38[39|49] 108r40[39|49]
. 333r37[39|49] 343r45[39|49] 38|773r16[39|49] 964r37[39|49] 973r45[39|49]
232E12*All_Boolean_Restrictions{85E9[39|49]} 37|376r11[39|49] 38|608r18[39|49]
. 1194r24[39|49] 1224r11[39|49]
243E12*Cunit_Boolean_Restrictions{232E12[39|49]} 37|493r13[39|49] 38|730r16[39|49]
. 755r16[39|49] 911r16[39|49]
250E12*All_Parameter_Restrictions{85E9[39|49]} 37|383r11[39|49] 38|485r21[39|49]
. 497r21[39|49] 947r38[39|49] 1077r15[39|49] 1265r11[39|49]
262E12*Checked_Max_Parameter_Restrictions{255E12[39|49]} 38|506r24[39|49]
269E12*Checked_Add_Parameter_Restrictions{255E12[39|49]} 38|511r24[39|49]
276E12*Checked_Val_Parameter_Restrictions{255E12[39|49]} 38|562r42[39|49]
304A9*Restriction_Flags(boolean)<85E9[39|49]> 37|65r34[39|49] 38|939r17[39|49]
. 1182r11[39|49]
305A9*Restriction_Values(natural)<85E9[39|49]> 38|940r17[39|49] 1183r11[39|49]
306A9*Parameter_Flags(boolean)<85E9[39|49]>
308R9*Restrictions_Info 37|36r19[39|49] 59r24[39|49] 38|471r52[39|49] 478r52[39|49]
309a7*Set{304A9[39|49]} 38|146r23[39|49] 147r31[39|49] 591r30[39|49] 731m23[39|49]
. 741m23[39|49] 756r32[39|49] 812r32[39|49] 814r32[39|49] 912m23[39|49] 944r41[39|49]
. 966r27[39|49] 975r27[39|49] 1228m20[39|49] 1257m31[39|49] 1276r23[39|49]
. 1283m23[39|49] 1297r31[39|49] 1303m31[39|49] 1517r31[39|49] 1518r36[39|49]
315a7*Value{305A9[39|49]} 38|148r31[39|49] 610r42[39|49] 611r55[39|49] 948r57[39|49]
. 1081r61[39|49] 1277r30[39|49] 1278m26[39|49] 1284m23[39|49] 1298r38[39|49]
. 1299m34[39|49] 1304m31[39|49] 1519r42[39|49]
322a7*Violated{304A9[39|49]} 38|482r22[39|49] 483m18[39|49]
327a7*Count{305A9[39|49]} 38|488m24[39|49] 490m24[39|49] 507m21[39|49] 507r52[39|49]
. 515m24[39|49] 515r42[39|49] 518m27[39|49] 611r30[39|49]
335a7*Unknown{306A9[39|49]} 38|487m24[39|49] 502m21[39|49] 519m27[39|49]
. 609r31[39|49]
349r4*No_Restrictions{308R9[39|49]} 37|36r40[39|49] 59r45[39|49]
365E9*Profile_Name 37|53r59[39|49] 166r17[39|49] 365r14[39|49] 392r17[39|49]
. 38|1117r19[39|49] 1178r14[39|49] 1320r17[39|49]
366n7*No_Profile{365E9[39|49]} 37|392r33[39|49] 38|1091r41[39|49] 1245r39[39|49]
. 1310r39[39|49] 1320r33[39|49]
369n7*Restricted{365E9[39|49]} 38|939r58[39|49] 940r58[39|49]
378R9*Profile_Data
379a7*Set{304A9[39|49]} 38|939m70[39|49] 1182m55[39|49]
386a7*Value{305A9[39|49]} 38|940m70[39|49] 1183m55[39|49]
392a4*Profile_Info(378R9[39|49]) 38|939r44[39|49] 940r44[39|49] 1182r38[39|49]
. 1183r38[39|49]
X 65 table.ads
43K9*Table 37|30w6 171r34 38|64r31 65|238e10
47+12 Table_Component_Type 37|172r6 38|65r6
48I12 Table_Index_Type 37|173r6 38|66r6
50*7 Table_Low_Bound{48I12} 37|174r6 38|67r6
51i7 Table_Initial{68|65I12} 37|175r6 38|68r6
52i7 Table_Increment{68|62I12} 37|176r6 38|69r6
53s7 Table_Name{string} 37|177r6 38|70r6
55k12*Table 37|171r40 38|64r37 65|237e13
106A12*Table_Type(38|59R9)<integer>
109A15*Big_Table_Type{106A12[37|171]}<68|59I9>
117P12*Table_Ptr(109A15[37|171])
121p7*Table{117P12[37|171]} 38|640r31[37|171] 646r31[37|171] 795r25[64] 796r39[64]
. 1169r19[64] 1170r19[64] 1329r45[37|171] 1334r31[37|171]
145V16*Last{68|59I9} 38|639s55[37|171] 794s49[64] 1169s38[64] 1170s38[64]
. 1325s55[37|171]
162i7*First{68|59I9} 38|639r31[37|171] 794r28[64] 1325r31[37|171]
174U17*Increment_Last 38|1168s19[64]
182U17*Append 38|1343s22[37|171]
X 68 types.ads
52K9*Types 37|31w6 31r18 68|885e10
59I9*Int<integer> 37|173r30 38|1081r43
62I12*Nat{59I9}
65I12*Pos{59I9}
144I9*Text_Ptr<59I9>
212I12*Source_Ptr{144I9} 37|45r51 310r47 359r53 38|60r15 61r15 88r55 103r50
. 112r44 790r47 1166r53 1414r29 1461r29
219i4*No_Location{212I12} 37|46r35 38|89r47 104r39 113r36 302r28 335r28 599r55
. 690r28 1066r27 1072r28 1092r31 1121r31 1501r25
228i4*Standard_Location{212I12} 38|632r30
237i4*System_Location{212I12} 38|1067r34 1239r34
384I9*Node_Id<integer> 37|160r14 194r39 199r61 207r20 222r11 227r57 232r54
. 237r51 237r66 242r64 247r50 255r15 262r64 266r48 273r55 280r48 284r64 293r67
. 305r45 327r47 366r14 377r11 384r11 390r17 400r17 409r17 416r17 38|125r55
. 131r33 135r47 171r39 182r50 191r48 263r55 272r48 281r57 314r54 315r23 347r64
. 391r61 452r11 464r20 622r51 622r66 623r12 665r64 667r14 703r67 833r45 857r47
. 982r55 1136r33 1179r14 1225r11 1266r11 1318r17 1351r17 1371r17 1390r17
. 1410r15 1415r38 1459r64 1492r47
387I12*Entity_Id{384I9} 37|284r49 293r52 38|192r11 347r49 348r30 355r30 703r52
. 709r26
556I9*Unit_Number_Type<59I9>
561i4*Main_Unit{556I9} 38|578r29 1253r29 1294r29
567I9*Source_File_Index<59I9>
X 69 uintp.ads
42K9*Uintp 37|32w6 32r18 69|537e10
48I9*Uint<68|59I9> 37|208r20 223r11 38|453r11 465r20
78i4*Uint_Minus_1{48I9} 37|208r28 223r19 38|453r19 465r28
168V13*UI_Is_In_Int_Range{boolean} 38|554s10
236V13*UI_From_Int{48I9} 38|1081s30
242V13*UI_To_Int{68|59I9} 38|555s25
X 71 uname.ads
35K9*Uname 38|40w6 40r20 71|176e10
136V13*Is_Spec_Name{boolean} 38|396s13