-
+ A3B48187655D47D9A8F3565763D01301A2A834250EEA49F9EDB6623659BBD0A13A9D9FB6F96F13A63C7CDEF2F5663C17E8CAC5E78E942E9F0AF9A22D5C887D74
zfp/restrict.adc
(0 . 0)(1 . 79)
1020 ------------------------------------------------------------------------------
1021 ------------------------------------------------------------------------------
1022 -- You do not have, nor can you ever acquire the right to use, copy or      --
1023 -- distribute this software ; Should you use this software for any purpose, --
1024 -- or copy and distribute it to anyone or in any manner, you are breaking   --
1025 -- the laws of whatever soi-disant jurisdiction, and you promise to         --
1026 -- continue doing so for the indefinite future. In any case, please         --
1027 -- always : read and understand any software ; verify any PGP signatures    --
1028 -- that you use - for any purpose.                                          --
1029 --                                                                          --
1030 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm .     --
1031 ------------------------------------------------------------------------------
1032 ------------------------------------------------------------------------------
1033 
1034 pragma Restrictions(Immediate_Reclamation);
1035 pragma Restrictions(Max_Asynchronous_Select_Nesting => 0);
1036 pragma Restrictions(Max_Protected_Entries => 0);
1037 pragma Restrictions(Max_Select_Alternatives => 0);
1038 pragma Restrictions(Max_Task_Entries => 0);
1039 pragma Restrictions(Max_Tasks => 0);
1040 pragma Restrictions(No_Abort_Statements);
1041 pragma Restrictions(No_Access_Parameter_Allocators);
1042 pragma Restrictions(No_Allocators);
1043 pragma Restrictions(No_Asynchronous_Control);
1044 pragma Restrictions(No_Calendar);
1045 pragma Restrictions(No_Coextensions);
1046 pragma Restrictions(No_Default_Stream_Attributes);
1047 pragma Restrictions(No_Delay);
1048 pragma Restrictions(No_Dispatch);
1049 pragma Restrictions(No_Dispatching_Calls);
1050 pragma Restrictions(No_Dynamic_Attachment);
1051 pragma Restrictions(No_Dynamic_Priorities);
1052 pragma Restrictions(No_Entry_Calls_In_Elaboration_Code);
1053 pragma Restrictions(No_Entry_Queue);
1054 pragma Restrictions(No_Enumeration_Maps);
1055 pragma Restrictions(No_Exception_Propagation);
1056 pragma Restrictions(No_Exception_Registration);
1057 pragma Restrictions(No_Finalization);
1058 pragma Restrictions(No_Fixed_Io);
1059 pragma Restrictions(No_Implementation_Aspect_Specifications);
1060 pragma Restrictions(No_Implementation_Units);
1061 pragma Restrictions(No_Implicit_Conditionals);
1062 pragma Restrictions(No_Implicit_Dynamic_Code);
1063 pragma Restrictions(No_Implicit_Heap_Allocations);
1064 pragma Restrictions(No_Implicit_Protected_Object_Allocations);
1065 pragma Restrictions(No_Implicit_Task_Allocations);
1066 pragma Restrictions(No_Initialize_Scalars);
1067 pragma Restrictions(No_Local_Protected_Objects);
1068 pragma Restrictions(No_Local_Timing_Events);
1069 pragma Restrictions(No_Multiple_Elaboration);
1070 pragma Restrictions(No_Nested_Finalization);
1071 pragma Restrictions(No_Protected_Type_Allocators);
1072 pragma Restrictions(No_Protected_Types);
1073 pragma Restrictions(No_Relative_Delay);
1074 pragma Restrictions(No_Requeue_Statements);
1075 pragma Restrictions(No_Secondary_Stack);
1076 pragma Restrictions(No_Select_Statements);
1077 pragma Restrictions(No_Specific_Termination_Handlers);
1078 pragma Restrictions(No_Standard_Allocators_After_Elaboration);
1079 pragma Restrictions(No_Stream_Optimizations);
1080 pragma Restrictions(No_Streams);
1081 pragma Restrictions(No_Task_Allocators);
1082 pragma Restrictions(No_Task_At_Interrupt_Priority);
1083 pragma Restrictions(No_Task_Attributes_Package);
1084 pragma Restrictions(No_Task_Hierarchy);
1085 pragma Restrictions(No_Tasking);
1086 pragma Restrictions(No_Task_Termination);
1087 pragma Restrictions(No_Terminate_Alternatives);
1088 pragma Restrictions(No_Unchecked_Access);
1089 pragma Restrictions(No_Unchecked_Deallocation);
1090 pragma Restrictions(No_Wide_Characters);
1091 pragma Restrictions(Pure_Barriers);
1092 pragma Restrictions(Simple_Barriers);
1093 pragma Restrictions(Static_Priorities);
1094 pragma Restrictions(Static_Storage_Size);
1095 pragma Validity_Checks(ALL_CHECKS);
1096 pragma Restrictions (No_Enumeration_Maps);
1097 --pragma Restrictions(No_Implicit_Aliasing);
1098 --pragma Restrictions (No_Exceptions);