diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-06 13:09:41 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-06 13:09:41 +0000 |
| commit | 288afea98393883aa13c0b09a43970fdebe2b69a (patch) | |
| tree | e1de89f0e081fe758e792d871c404851cfb363a3 /gcc/ada/impunit.ads | |
| parent | 9f46922140052a306a688a696e55a47f6ca7adf3 (diff) | |
| download | gcc-288afea98393883aa13c0b09a43970fdebe2b69a.tar.gz | |
2011-09-06 Robert Dewar <dewar@adacore.com>
* impunit.ads, impunit.adb (Is_RM_Defined_Unit): New function.
* s-rident.ads: New restriction No_Implementation_Units
(this restriction is also part of the profile
No_Implementation_Extensions)
* sem_ch10.adb (Analyze_With_Clause): Add check for
No_Implementation_Units restriction.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178594 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/impunit.ads')
| -rw-r--r-- | gcc/ada/impunit.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/impunit.ads b/gcc/ada/impunit.ads index 5cce6435290..31d34a9fe51 100644 --- a/gcc/ada/impunit.ads +++ b/gcc/ada/impunit.ads @@ -72,4 +72,10 @@ package Impunit is -- the known library units, and if so, returns True. If the name does not -- match any known library unit, False is returned. + function Is_RM_Defined_Unit (U : Unit_Number_Type) return Boolean; + -- This function returns True if U represents a unit that is defined in + -- the RM, as defined by the No_Implementation_Units restriction rules. + -- It is used to implement this restriction, so if False is returned, it + -- means that with'ing the unit violates the restriction. + end Impunit; |