File: gnat.adc

package info (click to toggle)
libxmlada 18-4
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 7,324 kB
  • sloc: ada: 32,766; makefile: 480; xml: 111; sh: 43; python: 35
file content (17 lines) | stat: -rw-r--r-- 657 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
--  Only set these while in debug mode, since these need to be true partition-wide
pragma Profile (Ravenscar);

--  pragma Restrictions (No_Tasking);
--  pragma Restrictions (No_Asynchronous_Control);
--  pragma Restrictions (Max_Asynchronous_Select_Nesting => 0);
--  pragma Restrictions (No_Abort_Statements);
--  pragma Initialize_Scalars;
--  pragma Restrictions (No_Dynamic_Interrupts);
--  pragma Restrictions (No_Implicit_Dynamic_Code);
--  pragma Restrictions (No_Initialize_Scalars);
--  pragma Restrictions (No_Wide_Characters);
--  pragma Restricted_Run_Time;
--  pragma Restrictions (No_Secondary_Stack);
--  pragma Restrictions (No_Streams);