From b727a82b8cd5ef7b0852360f67d122e6cc5da9a4 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 30 Jan 2012 13:16:12 +0100 Subject: [multiple changes] 2012-01-30 Robert Dewar * 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 * 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 * a-convec.adb, a-coinve.adb, a-cobove.adb (Sort, Reverse_Elements): Check for cursor tampering. 2012-01-30 Ed Schonberg * 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 * projects.texi: Add documentation for attribute Interfaces. From-SVN: r183714 --- gcc/ada/projects.texi | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) (limited to 'gcc/ada/projects.texi') 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 -- cgit v1.1