1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- S Y S T E M . R E S T R I C T I O N S --
9 -- Copyright (C) 2004 Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
32 ------------------------------------------------------------------------------
34 package body System.Restrictions is
41 function Abort_Allowed return Boolean is
43 return Run_Time_Restrictions.Violated (No_Abort_Statements)
45 Run_Time_Restrictions.Violated (Max_Asynchronous_Select_Nesting);
52 function Tasking_Allowed return Boolean is
54 return Run_Time_Restrictions.Violated (Max_Tasks)
56 Run_Time_Restrictions.Violated (No_Tasking);
59 -- Package elaboration code (acquire restrictions)
62 Acquire_Restrictions : declare
64 subtype Big_String is String (Positive);
65 type Big_String_Ptr is access all Big_String;
67 RString : Big_String_Ptr;
68 pragma Import (C, RString, "__gl_restrictions");
71 -- Pointer to scan string
74 -- Next character from string
76 function Get_Char return Character;
77 -- Get next character from string
79 function Get_Natural return Natural;
80 -- Scan out natural value known to be in range, updating P past it
86 function Get_Char return Character is
89 return RString (P - 1);
96 function Get_Natural return Natural is
100 while RString (P) in '0' .. '9' loop
101 N := N * 10 + (Character'Pos (Get_Char) - Character'Pos ('0'));
107 -- Start of processing for Acquire_Restrictions
110 -- Acquire data corresponding to first R line
112 for R in All_Boolean_Restrictions loop
116 Run_Time_Restrictions.Violated (R) := True;
119 Run_Time_Restrictions.Set (R) := True;
123 -- Acquire data corresponding to second R line
125 for RP in All_Parameter_Restrictions loop
127 -- Acquire restrictions pragma information
129 if Get_Char = 'r' then
130 Run_Time_Restrictions.Set (RP) := True;
131 Run_Time_Restrictions.Value (RP) := Get_Natural;
134 -- Acquire restrictions violations information
136 if Get_Char = 'v' then
137 Run_Time_Restrictions.Violated (RP) := True;
138 Run_Time_Restrictions.Count (RP) := Get_Natural;
140 if RString (P) = '+' then
141 Run_Time_Restrictions.Unknown (RP) := True;
146 end Acquire_Restrictions;
147 end System.Restrictions;