1------------------------------------------------------------------------------ 2-- -- 3-- GNAT COMPILER COMPONENTS -- 4-- -- 5-- S Y S T E M . R E S T R I C T I O N S -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 2004-2011, Free Software Foundation, Inc. -- 10-- -- 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 3, 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. -- 17-- -- 18-- As a special exception under Section 7 of GPL version 3, you are granted -- 19-- additional permissions described in the GCC Runtime Library Exception, -- 20-- version 3.1, as published by the Free Software Foundation. -- 21-- -- 22-- You should have received a copy of the GNU General Public License and -- 23-- a copy of the GCC Runtime Library Exception along with this program; -- 24-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- 25-- <http://www.gnu.org/licenses/>. -- 26-- -- 27-- GNAT was originally developed by the GNAT team at New York University. -- 28-- Extensive contributions were provided by Ada Core Technologies Inc. -- 29-- -- 30------------------------------------------------------------------------------ 31 32-- This package provides a run-time interface for checking the set of 33-- restrictions that applies to the current partition. The information 34-- comes both from explicit restriction pragmas present, and also from 35-- compile time checking. 36 37-- The package simply contains an instantiation of System.Rident, but 38-- with names discarded, so that we do not have image tables for the 39-- large restriction enumeration types at run time. 40 41pragma Compiler_Unit; 42 43with System.Rident; 44 45package System.Restrictions is 46 pragma Preelaborate; 47 48 pragma Discard_Names; 49 package Rident is new System.Rident; 50 51 Run_Time_Restrictions : Rident.Restrictions_Info; 52 -- Restrictions as set by the user, or detected by the binder. See details 53 -- in package System.Rident for what restrictions are included in the list 54 -- and the format of the information. 55 -- 56 -- Note that a restriction which is both Set and Violated at run-time means 57 -- that the violation was detected as part of the Ada run-time and not 58 -- as part of user code. 59 60 ------------------ 61 -- Subprograms -- 62 ----------------- 63 64 function Abort_Allowed return Boolean; 65 pragma Inline (Abort_Allowed); 66 -- Tests to see if abort is allowed by the current restrictions settings. 67 -- For abort to be allowed, either No_Abort_Statements must be False, 68 -- or Max_Asynchronous_Select_Nesting must be non-zero. 69 70 function Tasking_Allowed return Boolean; 71 pragma Inline (Tasking_Allowed); 72 -- Tests to see if tasking operations are allowed by the current 73 -- restrictions settings. For tasking to be allowed, No_Tasking 74 -- must be False, and Max_Tasks must not be set to zero. 75 76end System.Restrictions; 77