/usr/lib/gcc-cross/alpha-linux-gnu/5/adalib/gnatprj/restrict.ali is in libgnatprj5-dev-alpha-cross 5.3.1-14ubuntu2cross1.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 | V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
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 20160414104018 0164078b snames%s
D stand.ads 20140801094828 4852f602 stand%s
D stringt.ads 20140220134420 b6600148 stringt%s
D system.ads 20141030114420 67019775 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 20160414103913 f3f1d794 uintp%s
D uintp.adb 20160414103913 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
|