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