V "GNAT Lib v4.4"
A -gnatwa
A -O2
A -W
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
P ZX
R nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn

U system.rident%s	s-rident.ads		3cdab04f NE OL PR PK GE
W system%s		system.ads		system.ali

D system.ads		20110427123955 df55302f
D s-rident.ads		20110427123955 e38f8060
X 1 system.ads
37K9*System 153e11 2|45r9 417r5
X 2 s-rident.ads
45k16*Rident 1|37k9 2|417l12 417e18
55E9*Restriction_Id 164e28 169r29 170r29 171r29 172r29 173r29 175r32 179r40
. 198r6
61n7*Simple_Barriers{55E9} 169r52 176r6 180r6 184r6 405r28
62n7*No_Abort_Statements{55E9} 339r28 381r28
63n7*No_Access_Subprograms{55E9}
64n7*No_Allocators{55E9}
65n7*No_Asynchronous_Control{55E9} 340r28 382r28
66n7*No_Calendar{55E9} 400r28
67n7*No_Delay{55E9}
68n7*No_Direct_Boolean_Operators{55E9}
69n7*No_Dispatch{55E9}
70n7*No_Dispatching_Calls{55E9}
71n7*No_Dynamic_Attachment{55E9} 171r52 341r28 383r28
72n7*No_Dynamic_Priorities{55E9} 342r28 384r28
73n7*No_Enumeration_Maps{55E9}
74n7*No_Entry_Calls_In_Elaboration_Code{55E9}
75n7*No_Entry_Queue{55E9} 343r28 385r28
76n7*No_Exception_Handlers{55E9}
77n7*No_Exception_Propagation{55E9}
78n7*No_Exception_Registration{55E9}
79n7*No_Exceptions{55E9}
80n7*No_Finalization{55E9}
81n7*No_Fixed_Point{55E9}
82n7*No_Floating_Point{55E9}
83n7*No_IO{55E9}
84n7*No_Implicit_Conditionals{55E9}
85n7*No_Implicit_Dynamic_Code{55E9}
86n7*No_Implicit_Heap_Allocations{55E9} 401r28
87n7*No_Implicit_Loops{55E9}
88n7*No_Initialize_Scalars{55E9}
89n7*No_Local_Allocators{55E9}
90n7*No_Local_Timing_Events{55E9}
91n7*No_Local_Protected_Objects{55E9} 344r28 386r28
92n7*No_Nested_Finalization{55E9}
93n7*No_Protected_Type_Allocators{55E9} 345r28 387r28
94n7*No_Protected_Types{55E9}
95n7*No_Recursion{55E9}
96n7*No_Reentrancy{55E9}
97n7*No_Relative_Delay{55E9} 402r28
98n7*No_Requeue_Statements{55E9} 172r52 346r28 388r28
99n7*No_Secondary_Stack{55E9}
100n7*No_Select_Statements{55E9} 403r28
101n7*No_Specific_Termination_Handlers{55E9}
102n7*No_Standard_Storage_Pools{55E9}
103n7*No_Stream_Optimizations{55E9}
104n7*No_Streams{55E9}
105n7*No_Task_Allocators{55E9} 347r28 389r28
106n7*No_Task_Attributes_Package{55E9} 173r52 348r28 390r28
107n7*No_Task_Hierarchy{55E9} 349r28 391r28
108n7*No_Task_Termination{55E9} 404r28
109n7*No_Tasking{55E9}
110n7*No_Terminate_Alternatives{55E9} 350r28 392r28
111n7*No_Unchecked_Access{55E9}
112n7*No_Unchecked_Conversion{55E9}
113n7*No_Unchecked_Deallocation{55E9}
114n7*Static_Priorities{55E9}
115n7*Static_Storage_Size{55E9} 184r25
120n7*No_Default_Initialization{55E9}
124n7*Immediate_Reclamation{55E9} 191r6
125n7*No_Implementation_Attributes{55E9}
126n7*No_Implementation_Pragmas{55E9}
127n7*No_Implementation_Restrictions{55E9}
128n7*No_Elaboration_Code{55E9}
129n7*No_Obsolescent_Features{55E9}
130n7*No_Wide_Characters{55E9} 180r25 191r31
140n7*Max_Protected_Entries{55E9} 199r8 204r8 211r8 225r8 352r28 361r28 394r28
. 412r28
141n7*Max_Select_Alternatives{55E9} 353r28 362r28 395r28 413r28
142n7*Max_Task_Entries{55E9} 211r33 354r28 363r28 396r28 414r28
150n7*Max_Tasks{55E9} 218r8 218r21 225r33
157n7*Max_Asynchronous_Select_Nesting{55E9} 231r8 351r28 360r28 393r28 411r28
158n7*Max_Entry_Queue_Length{55E9} 170r52 204r33 231r43
162n7*Max_Storage_At_Blocking{55E9} 176r25 199r33 238r8 238r35
164n7*Not_A_Restriction_Id{55E9}
169e4*Boolean_Entry_Barriers=169:52{55E9}
170e4*Max_Entry_Queue_Depth=170:52{55E9}
171e4*No_Dynamic_Interrupts=171:52{55E9}
172e4*No_Requeue=172:52{55E9}
173e4*No_Task_Attributes=173:52{55E9}
175E12*All_Restrictions{55E9} 251r38
179E12*All_Boolean_Restrictions{55E9} 183r46 190r42
183E12*Partition_Boolean_Restrictions{179E12}
190E12*Cunit_Boolean_Restrictions{179E12}
197E12*All_Parameter_Restrictions{55E9} 203r6 237r6 252r38 253r38
202E12*Checked_Parameter_Restrictions{197E12} 210r6 217r6 224r6 230r6
209E12*Checked_Max_Parameter_Restrictions{202E12}
216E12*Checked_Add_Parameter_Restrictions{202E12}
223E12*Checked_Val_Parameter_Restrictions{202E12}
229E12*Checked_Zero_Parameter_Restrictions{202E12}
236E12*Unchecked_Parameter_Restrictions{197E12}
251A9*Restriction_Flags(boolean)<55E9> 256r13 269r18 317r13
252A9*Restriction_Values(natural)<55E9> 262r15 274r15 324r15
253A9*Parameter_Flags(boolean)<55E9> 282r17
255R9*Restrictions_Info 294e14 296r31
256a7 Set{251A9} 297r7
262a7 Value{252A9} 298r7
269a7 Violated{251A9} 299r7
274a7 Count{252A9} 300r7
282a7 Unknown{253A9} 301r7
296r4*No_Restrictions{255R9}
308E9*Profile_Name 308e60 313r35
308n26*No_Profile{308E9}
308n38*Ravenscar{308E9} 313r54 376r22
308n49*Restricted{308E9} 313r67 334r22
313E12*Profile_Name_Actual{308E9} 330r26
316R9*Profile_Data 328e14 330r50
317a7 Set{251A9} 338r25 380r25
324a7 Value{252A9} 359r25 410r25
330a4*Profile_Info(316R9)

