-
+ 5225E9986FC2B427C285FBB867CE8DC881F0015F82506CA31E94686C31090F8913DD83321F9839143128873A2DCDA7DD8E7D19D676A42AF1C0CE979C8195C22Czfp/examples/restrict.adc(0 . 0)(1 . 85)
126 ------------------------------------------------------------------------------
127 ------------------------------------------------------------------------------
128 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
129 -- --
130 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org ) --
131 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
132 -- --
133 -- You do not have, nor can you ever acquire the right to use, copy or --
134 -- distribute this software ; Should you use this software for any purpose, --
135 -- or copy and distribute it to anyone or in any manner, you are breaking --
136 -- the laws of whatever soi-disant jurisdiction, and you promise to --
137 -- continue doing so for the indefinite future. In any case, please --
138 -- always : read and understand any software ; verify any PGP signatures --
139 -- that you use - for any purpose. --
140 -- --
141 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
142 ------------------------------------------------------------------------------
143 ------------------------------------------------------------------------------
144
145 pragma Restrictions(Immediate_Reclamation);
146 pragma Restrictions(Max_Asynchronous_Select_Nesting => 0);
147 pragma Restrictions(Max_Protected_Entries => 0);
148 pragma Restrictions(Max_Select_Alternatives => 0);
149 pragma Restrictions(Max_Task_Entries => 0);
150 pragma Restrictions(Max_Tasks => 0);
151 pragma Restrictions(No_Abort_Statements);
152 pragma Restrictions(No_Access_Parameter_Allocators);
153 pragma Restrictions(No_Allocators);
154 pragma Restrictions(No_Asynchronous_Control);
155 pragma Restrictions(No_Calendar);
156 pragma Restrictions(No_Coextensions);
157 pragma Restrictions(No_Default_Stream_Attributes);
158 pragma Restrictions(No_Delay);
159 pragma Restrictions(No_Dispatch);
160 pragma Restrictions(No_Dispatching_Calls);
161 pragma Restrictions(No_Dynamic_Attachment);
162 pragma Restrictions(No_Dynamic_Priorities);
163 pragma Restrictions(No_Entry_Calls_In_Elaboration_Code);
164 pragma Restrictions(No_Entry_Queue);
165 pragma Restrictions(No_Enumeration_Maps);
166 pragma Restrictions(No_Exception_Propagation);
167 pragma Restrictions(No_Exception_Registration);
168 pragma Restrictions(No_Finalization);
169 pragma Restrictions(No_Fixed_Io);
170 pragma Restrictions(No_Implementation_Aspect_Specifications);
171 pragma Restrictions(No_Implementation_Units);
172 pragma Restrictions(No_Implicit_Aliasing);
173 pragma Restrictions(No_Implicit_Conditionals);
174 pragma Restrictions(No_Implicit_Dynamic_Code);
175 pragma Restrictions(No_Implicit_Heap_Allocations);
176 pragma Restrictions(No_Implicit_Protected_Object_Allocations);
177 pragma Restrictions(No_Implicit_Task_Allocations);
178 pragma Restrictions(No_Initialize_Scalars);
179 pragma Restrictions(No_Local_Protected_Objects);
180 pragma Restrictions(No_Local_Timing_Events);
181 pragma Restrictions(No_Multiple_Elaboration);
182 pragma Restrictions(No_Nested_Finalization);
183 pragma Restrictions(No_Protected_Type_Allocators);
184 pragma Restrictions(No_Protected_Types);
185 pragma Restrictions(No_Relative_Delay);
186 pragma Restrictions(No_Requeue_Statements);
187 pragma Restrictions(No_Secondary_Stack);
188 pragma Restrictions(No_Select_Statements);
189 pragma Restrictions(No_Specific_Termination_Handlers);
190 pragma Restrictions(No_Standard_Allocators_After_Elaboration);
191 pragma Restrictions(No_Stream_Optimizations);
192 pragma Restrictions(No_Streams);
193 pragma Restrictions(No_Task_Allocators);
194 pragma Restrictions(No_Task_At_Interrupt_Priority);
195 pragma Restrictions(No_Task_Attributes_Package);
196 pragma Restrictions(No_Task_Hierarchy);
197 pragma Restrictions(No_Tasking);
198 pragma Restrictions(No_Task_Termination);
199 pragma Restrictions(No_Terminate_Alternatives);
200 pragma Restrictions(No_Unchecked_Access);
201 pragma Restrictions(No_Unchecked_Deallocation);
202 pragma Restrictions(No_Wide_Characters);
203 pragma Restrictions(Pure_Barriers);
204 pragma Restrictions(Simple_Barriers);
205 pragma Restrictions(Static_Priorities);
206 pragma Restrictions(Static_Storage_Size);
207 pragma Validity_Checks(ALL_CHECKS);
208 pragma Discard_Names;
209 pragma Restrictions (No_Enumeration_Maps);
210 pragma Restrictions (No_Exception_Propagation);