diff options
| author | Javier Miranda <miranda@adacore.com> | 2005-06-16 10:42:20 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-06-16 10:42:20 +0200 |
| commit | e9437007b8d68b91b2d1ac803f8938c54b6c4188 (patch) | |
| tree | 394b0f483b526345d7b13eec1043d26e3b4ee815 /gcc/ada/par.ads | |
| parent | d37209bffbef004f2de1040b938ae0d1eeb493aa (diff) | |
| download | gcc-e9437007b8d68b91b2d1ac803f8938c54b6c4188.zip gcc-e9437007b8d68b91b2d1ac803f8938c54b6c4188.tar.gz gcc-e9437007b8d68b91b2d1ac803f8938c54b6c4188.tar.bz2 | |
lib-load.ads, [...] (Load_Unit): Addition of a new parameter that indicates if...
2005-06-14 Javier Miranda <miranda@adacore.com>
Jose Ruiz <ruiz@adacore.com>
Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* lib-load.ads, lib-load.adb (Load_Unit): Addition of a new parameter
that indicates if we are parsing a compilation unit found in a
limited-with clause.
It is use to avoid the circularity check.
* par.ads, par.adb (Par): Addition of a new parameter to indicate if
we are parsing a compilation unit found in a limited-with clause. This
is use to avoid the circularity check.
* par-load.adb (Load): Indicate Lib.Load_Unit if we are loading the
unit as a consequence of parsing a limited-with clause. This is used
to avoid the circularity check.
* sem_ch10.adb: Suppress Ada 2005 unit warning if -gnatwY used
(Analyze_Context): Limited-with clauses are now allowed
in more compilation units.
(Analyze_Subunit_Context, Check_Parent): Protect the frontend
againts previously reported critical errors in context clauses
(Install_Limited_Withed_Unit): Code cleanup plus static detection
of two further errors: renamed subprograms and renamed packages
are not allowed in limited with clauses.
(Install_Siblings): Do not install private_with_clauses on the package
declaration for a non-private child unit.
(Re_Install_Parents): When a parent of the subunit is reinstalled,
reset visibility of child units properly.
(Install_Withed_Unit): When a child unit appears in a with_clause of its
parent, it is immediately visible.
From-SVN: r101045
Diffstat (limited to 'gcc/ada/par.ads')
| -rw-r--r-- | gcc/ada/par.ads | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ada/par.ads b/gcc/ada/par.ads index 7c5ee08..97ba209 100644 --- a/gcc/ada/par.ads +++ b/gcc/ada/par.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -29,14 +29,18 @@ with Types; use Types; -function Par (Configuration_Pragmas : Boolean) return List_Id; +function Par + (Configuration_Pragmas : Boolean; + From_Limited_With : Boolean := False) return List_Id; -- Top level parsing routine. There are two cases: -- -- If Configuration_Pragmas is False, Par parses a compilation unit in the -- current source file and sets the Cunit, Cunit_Entity and Unit_Name fields -- of the units table entry for Current_Source_Unit. On return the parse tree -- is complete, and decorated with any required implicit label declarations. --- The value returned in this case is always No_List. +-- The value returned in this case is always No_List. If From_Limited_With is +-- True, we are parsing a compilation unit found in a limited-with clause (Ada +-- 2005, AI-50217) -- -- If Configuration_Pragmas is True, Par parses a list of configuration -- pragmas from the current source file, and returns the list of pragmas. |