MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U system.rident%s	s-rident.ads		6689eeaf NE OL PR PK GE
W system%s		system.ads		system.ali

D system.ads		20121213103024 90249111
D s-rident.ads		20130131193150 f6ad7fbe
X 1 system.ads
37K9*System 152e11 2|75r9 489r5
X 2 s-rident.ads
75k16*Rident 1|37k9 2|489l12 489e18
85E9*Restriction_Id 210e28 215r29 216r29 217r29 218r29 219r29 221r32 225r40
. 244r6
91n7*Simple_Barriers{85E9} 215r52 222r6 226r6 230r6 477r28
92n7*No_Abort_Statements{85E9} 411r28 453r28
93n7*No_Access_Subprograms{85E9}
94n7*No_Allocators{85E9}
95n7*No_Allocators_After_Elaboration{85E9}
96n7*No_Anonymous_Allocators{85E9}
97n7*No_Asynchronous_Control{85E9} 412r28 454r28
98n7*No_Calendar{85E9} 472r28
99n7*No_Default_Stream_Attributes{85E9}
100n7*No_Delay{85E9}
101n7*No_Direct_Boolean_Operators{85E9}
102n7*No_Dispatch{85E9}
103n7*No_Dispatching_Calls{85E9}
104n7*No_Dynamic_Attachment{85E9} 217r52 413r28 455r28
105n7*No_Dynamic_Priorities{85E9} 414r28 456r28
106n7*No_Enumeration_Maps{85E9}
107n7*No_Entry_Calls_In_Elaboration_Code{85E9}
108n7*No_Entry_Queue{85E9} 415r28 457r28
109n7*No_Exception_Handlers{85E9}
110n7*No_Exception_Propagation{85E9}
111n7*No_Exception_Registration{85E9}
112n7*No_Exceptions{85E9}
113n7*No_Finalization{85E9}
114n7*No_Fixed_Point{85E9}
115n7*No_Floating_Point{85E9}
116n7*No_IO{85E9}
117n7*No_Implicit_Conditionals{85E9}
118n7*No_Implicit_Dynamic_Code{85E9}
119n7*No_Implicit_Heap_Allocations{85E9} 473r28
120n7*No_Implicit_Loops{85E9}
121n7*No_Initialize_Scalars{85E9}
122n7*No_Local_Allocators{85E9}
123n7*No_Local_Timing_Events{85E9}
124n7*No_Local_Protected_Objects{85E9} 416r28 458r28
125n7*No_Nested_Finalization{85E9}
126n7*No_Protected_Type_Allocators{85E9} 417r28 459r28
127n7*No_Protected_Types{85E9}
128n7*No_Recursion{85E9}
129n7*No_Reentrancy{85E9}
130n7*No_Relative_Delay{85E9} 474r28
131n7*No_Requeue_Statements{85E9} 218r52 418r28 460r28
132n7*No_Secondary_Stack{85E9}
133n7*No_Select_Statements{85E9} 475r28
134n7*No_Specific_Termination_Handlers{85E9}
135n7*No_Standard_Storage_Pools{85E9}
136n7*No_Stream_Optimizations{85E9}
137n7*No_Streams{85E9}
138n7*No_Task_Allocators{85E9} 419r28 461r28
139n7*No_Task_Attributes_Package{85E9} 219r52 420r28 462r28
140n7*No_Task_Hierarchy{85E9} 421r28 463r28
141n7*No_Task_Termination{85E9} 476r28
142n7*No_Tasking{85E9}
143n7*No_Terminate_Alternatives{85E9} 422r28 464r28
144n7*No_Unchecked_Access{85E9}
145n7*No_Unchecked_Conversion{85E9}
146n7*No_Unchecked_Deallocation{85E9}
147n7*Static_Priorities{85E9}
148n7*Static_Storage_Size{85E9} 230r25
153n7*No_Default_Initialization{85E9}
165n7*Immediate_Reclamation{85E9} 237r6
166n7*No_Implementation_Aspect_Specifications{85E9} 392r28
167n7*No_Implementation_Attributes{85E9} 393r28
168n7*No_Implementation_Identifiers{85E9} 394r28
169n7*No_Implementation_Pragmas{85E9} 395r28
170n7*No_Implementation_Restrictions{85E9}
171n7*No_Implementation_Units{85E9} 396r28
172n7*No_Implicit_Aliasing{85E9}
173n7*No_Elaboration_Code{85E9}
174n7*No_Obsolescent_Features{85E9}
175n7*No_Wide_Characters{85E9}
176n7*SPARK{85E9} 226r25 237r31
186n7*Max_Protected_Entries{85E9} 245r8 250r8 257r8 271r8 424r28 433r28 466r28
. 484r28
187n7*Max_Select_Alternatives{85E9} 425r28 434r28 467r28 485r28
188n7*Max_Task_Entries{85E9} 257r33 426r28 435r28 468r28 486r28
196n7*Max_Tasks{85E9} 264r8 264r21 271r33
203n7*Max_Asynchronous_Select_Nesting{85E9} 277r8 423r28 432r28 465r28 483r28
204n7*Max_Entry_Queue_Length{85E9} 216r52 250r33 277r43
208n7*Max_Storage_At_Blocking{85E9} 222r25 245r33 284r8 284r35
210n7*Not_A_Restriction_Id{85E9}
215e4*Boolean_Entry_Barriers=215:52{85E9}
216e4*Max_Entry_Queue_Depth=216:52{85E9}
217e4*No_Dynamic_Interrupts=217:52{85E9}
218e4*No_Requeue=218:52{85E9}
219e4*No_Task_Attributes=219:52{85E9}
221E12*All_Restrictions{85E9} 297r38
225E12*All_Boolean_Restrictions{85E9} 229r46 236r42
229E12*Partition_Boolean_Restrictions{225E12}
236E12*Cunit_Boolean_Restrictions{225E12}
243E12*All_Parameter_Restrictions{85E9} 249r6 283r6 298r38 299r38
248E12*Checked_Parameter_Restrictions{243E12} 256r6 263r6 270r6 276r6
255E12*Checked_Max_Parameter_Restrictions{248E12}
262E12*Checked_Add_Parameter_Restrictions{248E12}
269E12*Checked_Val_Parameter_Restrictions{248E12}
275E12*Checked_Zero_Parameter_Restrictions{248E12}
282E12*Unchecked_Parameter_Restrictions{243E12}
297A9*Restriction_Flags(boolean)<85E9> 302r13 315r18 372r13
298A9*Restriction_Values(natural)<85E9> 308r15 320r15 379r15
299A9*Parameter_Flags(boolean)<85E9> 328r17
301R9*Restrictions_Info 340e14 342r31
302a7 Set{297A9} 343m7
308a7 Value{298A9} 344m7
315a7 Violated{297A9} 345m7
320a7 Count{298A9} 346m7
328a7 Unknown{299A9} 347m7
342r4*No_Restrictions{301R9}
358E9*Profile_Name 362e18 367r35
359n7*No_Profile{358E9}
360n7*No_Implementation_Extensions{358E9} 368r12 389r22
361n7*Ravenscar{358E9} 448r22
362n7*Restricted{358E9} 368r44 406r22
367E12*Profile_Name_Actual{358E9} 385r35
371R9*Profile_Data 383e14 385r59
372a7 Set{297A9} 391m25 410m25 452m25
379a7 Value{298A9} 401m25 431m25 482m25
385a4*Profile_Info(371R9)