diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-01-30 13:16:12 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-01-30 13:16:12 +0100 |
commit | b727a82b8cd5ef7b0852360f67d122e6cc5da9a4 (patch) | |
tree | 730ae33dd755090612107ccf0b26ffa6e7221022 /gcc/ada/projects.texi | |
parent | e11be5ac78851c754c30299dfccda58a6241d9c3 (diff) | |
download | gcc-b727a82b8cd5ef7b0852360f67d122e6cc5da9a4.zip gcc-b727a82b8cd5ef7b0852360f67d122e6cc5da9a4.tar.gz gcc-b727a82b8cd5ef7b0852360f67d122e6cc5da9a4.tar.bz2 |
[multiple changes]
2012-01-30 Robert Dewar <dewar@adacore.com>
* sem.adb (Analyze): Call Analyze_Mod for N_Op_Mod mode.
* sem_ch3.adb (Modular_Type_Declaration): Warn on mod value of
form 2 * small-literal.
* sem_ch4.adb (Analyze_Mod): New procedure (warn on suspicious
mod value).
* sem_ch4.ads (Analyze_Mod): New procedure.
2012-01-30 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb: sem_ch6.adb (Analyze_Expression_Function): Copy
types and return expression when building spec for implicit
body, to preserve global references that may be present in an
instantiation.
2012-01-30 Matthew Heaney <heaney@adacore.com>
* a-convec.adb, a-coinve.adb, a-cobove.adb (Sort,
Reverse_Elements): Check for cursor tampering.
2012-01-30 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Fully_Initialized_Type): In Ada 2012, a
type with aspect Default_Value or Default_Component_Value is
fully initialized, and use of variables of such types do not
generate warnings.
2012-01-30 Vincent Celier <celier@adacore.com>
* projects.texi: Add documentation for attribute Interfaces.
From-SVN: r183714
Diffstat (limited to 'gcc/ada/projects.texi')
-rw-r--r-- | gcc/ada/projects.texi | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/gcc/ada/projects.texi b/gcc/ada/projects.texi index 78bcf3a..8f9faad 100644 --- a/gcc/ada/projects.texi +++ b/gcc/ada/projects.texi @@ -1757,9 +1757,12 @@ The name of a stand-alone library, specified with attribute The most prominent characteristic of a stand-alone library is that it offers a distinction between interface units and implementation units. Only the former are visible to units outside the library. A stand-alone library project is thus -characterised by a third attribute, @b{Library_Interface}, in addition to the -two attributes that make a project a Library Project (@code{Library_Name} and -@code{Library_Dir}). +characterised by a third attribute, usually @b{Library_Interface}, in addition +to the two attributes that make a project a Library Project +(@code{Library_Name} and @code{Library_Dir}). This third attribute may also be +@b{Interfaces}. @b{Library_Interface} only works when the interface is in Ada +and takes a list of units as parameter. @b{Interfaces} works for any supported +language and takes a list of sources as parameter. @table @asis @item @b{Library_Interface}: @@ -1777,6 +1780,13 @@ two attributes that make a project a Library Project (@code{Library_Name} and @end group @end smallexample +@item @b{Interfaces} + This attribute defnes an explicit subset of the source files of a project. + It may be used as a replacement for attribute @code{Library_Interface}. For + multi-language library projects, it is the only way to make the project a + Stand-Alone Library project and at the same time to reduce the non Ada + interfacing sources. + @item @b{Library_Standalone}: @cindex @code{Library_Standalone} This attribute defines the kind of standalone library to |