-
Notifications
You must be signed in to change notification settings - Fork 5
/
gnat.adc.in
47 lines (45 loc) · 4.22 KB
/
gnat.adc.in
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
-- gnat.adc template file
pragma Discard_Names; -- zfp sfp
pragma Task_Dispatching_Policy (FIFO_Within_Priorities); -- zfp sfp rvn jrv
pragma Locking_Policy (Ceiling_Locking); -- zfp sfp rvn jrv
pragma Detect_Blocking; -- zfp sfp rvn jrv
pragma Restrictions (No_Abort_Statements); -- zfp sfp rvn jrv
pragma Restrictions (No_Calendar); -- zfp sfp
pragma Restrictions (No_Direct_Boolean_Operators); -- zfp sfp
pragma Restrictions (No_Dynamic_Attachment); -- zfp sfp rvn jrv
pragma Restrictions (No_Dynamic_CPU_Assignment); -- zfp sfp rvn jrv
pragma Restrictions (No_Dynamic_Priorities); -- zfp sfp rvn jrv
pragma Restrictions (No_Elaboration_Code); --
pragma Restrictions (No_Exceptions); --
pragma Restrictions (No_Exception_Propagation); -- zfp
pragma Restrictions (No_Implicit_Aliasing); --
pragma Restrictions (No_Implicit_Conditionals); --
pragma Restrictions (No_Implicit_Dynamic_Code); -- zfp sfp
pragma Restrictions (No_Implicit_Heap_Allocations); -- zfp sfp rvn
pragma Restrictions (No_Implicit_Loops); --
pragma Restrictions (No_Local_Protected_Objects); -- zfp sfp rvn jrv
pragma Restrictions (No_Local_Timing_Events); -- zfp sfp rvn jrv
pragma Restrictions (No_Obsolescent_Features); -- zfp sfp
pragma Restrictions (No_Protected_Type_Allocators); -- zfp sfp rvn jrv
pragma Restrictions (No_Recursion); -- zfp sfp
pragma Restrictions (No_Relative_Delay); -- zfp sfp rvn
pragma Restrictions (No_Requeue_Statements); -- zfp sfp rvn jrv
pragma Restrictions (No_Secondary_Stack); -- zfp
pragma Restrictions (No_Select_Statements); -- zfp sfp rvn jrv
pragma Restrictions (No_Specific_Termination_Handlers); -- zfp sfp rvn jrv
pragma Restrictions (No_Task_Allocators); -- zfp sfp rvn jrv
pragma Restrictions (No_Task_Hierarchy); -- zfp sfp rvn jrv
pragma Restrictions (No_Task_Termination); -- zfp sfp rvn jrv
pragma Restrictions (No_Wide_Characters); -- zfp sfp
pragma Restrictions (Pure_Barriers); -- zfp sfp jrv
pragma Restrictions (Simple_Barriers); -- zfp sfp rvn
pragma Restrictions (Max_Entry_Queue_Length => 1); -- zfp sfp rvn
pragma Restrictions (Max_Protected_Entries => 1); -- zfp sfp rvn
pragma Restrictions (Max_Task_Entries => 0); -- zfp sfp rvn jrv
pragma Restrictions (No_Dependence => Ada.Asynchronous_Task_Control); -- zfp sfp rvn jrv
pragma Restrictions (No_Dependence => Ada.Calendar); -- zfp sfp rvn
pragma Restrictions (No_Dependence => Ada.Execution_Time.Group_Budget); -- zfp sfp rvn jrv
pragma Restrictions (No_Dependence => Ada.Execution_Time.Timers); -- zfp sfp rvn jrv
pragma Restrictions (No_Dependence => Ada.Task_Attributes); -- zfp sfp rvn jrv
pragma Restrictions (No_Dependence => System.Multiprocessors.Dispatching_Domains); -- zfp sfp rvn jrv
pragma Restrictions (No_Finalization); -- zfp sfp