Skip to content

R
riscv-gcc-1
Commit b2cacbfe by Arnaud Charlet
Options

[multiple changes] 

2010-06-22  Robert Dewar  <dewar@adacore.com>

	* ali-util.ads: Minor comment update.
	* g-socthi-mingw.adb: Minor reformatting.

2010-06-22  Ed Falis  <falis@adacore.com>

	* s-osinte-vxworks.ads: take sigset_t definition from System.VxWorks.Ext
	* s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads: Define sigset_t
	for specific versions of VxWorks.

2010-06-22  Emmanuel Briot  <briot@adacore.com>

	* gnat_rm.texi, gnat_ugn.texi, projects.texi: Remove all project files
	related sections from user's guide and reference manual, since they
	have now been merged together into a separate document (projects.texi).
	This removes a lot of duplication where attributes where described
	in several places.
	The grammar for the project files is now in each of the sections
	(packages,expressions,...) instead of being duplicates in two other
	sections (one in the user's guide that contained the full grammar,
	and various sections in the rm that contained extracts of the same
	grammar).
	Added the full list of all supported attributes, since existing lists
	were incomplete
	Rename "associative array" into "indexed attribute"
	Remove sections that were duplicates ("External References in
	Project Files" and "External Values", and "Project Extensions"
	for instance). The list of valid packages in project files is now in
	a single place.

2010-06-22  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Add_Internal_Interface_Entities): If
	Find_Primitive_Covering_Interface does not find the operation, it may
	be because of a name conflict between the inherited operation and a
	local non-overloadable name. In that case look for the operation among
	the primitive operations of the type. This search must succeed
	regardless of visibility.

From-SVN: r161150
parent d2062f52
Showing with 93 additions and 1151 deletions
gcc/ada/ChangeLog
2010-06-22 Robert Dewar <dewar@adacore.com>
* ali-util.ads: Minor comment update.
* g-socthi-mingw.adb: Minor reformatting.
2010-06-22 Ed Falis <falis@adacore.com>
* s-osinte-vxworks.ads: take sigset_t definition from System.VxWorks.Ext
* s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads: Define sigset_t
for specific versions of VxWorks.
2010-06-22 Emmanuel Briot <briot@adacore.com>
* gnat_rm.texi, gnat_ugn.texi, projects.texi: Remove all project files
related sections from user's guide and reference manual, since they
have now been merged together into a separate document (projects.texi).
This removes a lot of duplication where attributes where described
in several places.
The grammar for the project files is now in each of the sections
(packages,expressions,...) instead of being duplicates in two other
sections (one in the user's guide that contained the full grammar,
and various sections in the rm that contained extracts of the same
grammar).
Added the full list of all supported attributes, since existing lists
were incomplete
Rename "associative array" into "indexed attribute"
Remove sections that were duplicates ("External References in
Project Files" and "External Values", and "Project Extensions"
for instance). The list of valid packages in project files is now in
a single place.
2010-06-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Add_Internal_Interface_Entities): If
Find_Primitive_Covering_Interface does not find the operation, it may
be because of a name conflict between the inherited operation and a
local non-overloadable name. In that case look for the operation among
the primitive operations of the type. This search must succeed
regardless of visibility.
2010-06-22 Pascal Obry <obry@adacore.com>
* g-socthi-mingw.adb: Properly honor MSG_WAITALL in recvmsg.
......
gcc/ada/ali-util.ads
......@@ -32,9 +32,8 @@ package ALI.Util is
-- Source File Table --
-----------------------
-- A source file table entry is built for every source file that is in the
-- source dependency table of any of the ALI files that make up the current
-- program.
-- A table entry is built for every source file that is in the source
-- dependency table of any ALI file that is part of the current program.
No_Source_Id : constant Source_Id := Source_Id'First;
-- Special value indicating no Source table entry
......
gcc/ada/g-socthi-mingw.adb
......@@ -346,15 +346,20 @@ package body GNAT.Sockets.Thin is
-- If all the data that was initially available read, do not
-- attempt to receive more, since this might block, or merge data
-- from successive datagrams for a datagram-oriented
-- socket. We still try to receive more if we need to fill all
-- vectors (MSG_WAITALL flag is set).
-- from successive datagrams for a datagram-oriented socket. We
-- still try to receive more if we need to fill all vectors
-- (MSG_WAITALL flag is set).
exit when Natural (Count) >= Req.Size
and then
(not Fill -- either we are not in fill mode
or else -- or last vector filled
(Interfaces.C.size_t (Iov_Index) = Iovec'Last
-- Either we are not in fill mode
(not Fill
-- Or else last vector filled
or else (Interfaces.C.size_t (Iov_Index) = Iovec'Last
and then Current_Iovec.Length = 0));
end if;
end loop;
......
gcc/ada/gnat_rm.texi
......@@ -81,7 +81,6 @@ AdaCore
* Interfacing to Other Languages::
* Specialized Needs Annexes::
* Implementation of Specific Ada Features::
* Project File Reference::
* Obsolescent Features::
* GNU Free Documentation License::
* Index::
......@@ -463,8 +462,6 @@ Implementation of Specific Ada Features
* The Size of Discriminated Records with Default Discriminants::
* Strict Conformance to the Ada Reference Manual::
Project File Reference
Obsolescent Features
GNU Free Documentation License
......@@ -582,10 +579,6 @@ to GNAT's implementation of machine code insertions, tasking, and several
other features.
@item
@ref{Project File Reference}, presents the syntax and semantics
of project files.
@item
@ref{Obsolescent Features} documents implementation dependent features,
including pragmas and attributes, which are considered obsolescent, since
there are other preferred ways of achieving the same results. These
......@@ -15945,1133 +15938,6 @@ machines that are not fully compliant with this standard, such as Alpha, the
behavior (although at the cost of a significant performance penalty), so
infinite and and NaN values are properly generated.
@node Project File Reference
@chapter Project File Reference
@noindent
This chapter describes the syntax and semantics of project files.
Project files specify the options to be used when building a system.
Project files can specify global settings for all tools,
as well as tool-specific settings.
@xref{Examples of Project Files,,, gnat_ugn, @value{EDITION} User's Guide},
for examples of use.
@menu
* Reserved Words::
* Lexical Elements::
* Declarations::
* Empty declarations::
* Typed string declarations::
* Variables::
* Expressions::
* Attributes::
* Project Attributes::
* Attribute References::
* External Values::
* Case Construction::
* Packages::
* Package Renamings::
* Projects::
* Project Extensions::
* Project File Elaboration::
@end menu
@node Reserved Words
@section Reserved Words
@noindent
All Ada reserved words are reserved in project files, and cannot be used
as variable names or project names. In addition, the following are
also reserved in project files:
@itemize
@item @code{extends}
@item @code{external}
@item @code{project}
@end itemize
@node Lexical Elements
@section Lexical Elements
@noindent
Rules for identifiers are the same as in Ada. Identifiers
are case-insensitive. Strings are case sensitive, except where noted.
Comments have the same form as in Ada.
@noindent
Syntax:
@smallexample
simple_name ::=
identifier
name ::=
simple_name @{. simple_name@}
@end smallexample
@node Declarations
@section Declarations
@noindent
Declarations introduce new entities that denote types, variables, attributes,
and packages. Some declarations can only appear immediately within a project
declaration. Others can appear within a project or within a package.
Syntax:
@smallexample
declarative_item ::=
simple_declarative_item |
typed_string_declaration |
package_declaration
simple_declarative_item ::=
variable_declaration |
typed_variable_declaration |
attribute_declaration |
case_construction |
empty_declaration
@end smallexample
@node Empty declarations
@section Empty declarations
@smallexample
empty_declaration ::=
@b{null} ;
@end smallexample
An empty declaration is allowed anywhere a declaration is allowed.
It has no effect.
@node Typed string declarations
@section Typed string declarations
@noindent
Typed strings are sequences of string literals. Typed strings are the only
named types in project files. They are used in case constructions, where they
provide support for conditional attribute definitions.
Syntax:
@smallexample
typed_string_declaration ::=
@b{type} <typed_string_>_simple_name @b{is}
( string_literal @{, string_literal@} );
@end smallexample
@noindent
A typed string declaration can only appear immediately within a project
declaration.
All the string literals in a typed string declaration must be distinct.
@node Variables
@section Variables
@noindent
Variables denote values, and appear as constituents of expressions.
@smallexample
typed_variable_declaration ::=
<typed_variable_>simple_name : <typed_string_>name := string_expression ;
variable_declaration ::=
<variable_>simple_name := expression;
@end smallexample
@noindent
The elaboration of a variable declaration introduces the variable and
assigns to it the value of the expression. The name of the variable is
available after the assignment symbol.
@noindent
A typed_variable can only be declare once.
@noindent
a non-typed variable can be declared multiple times.
@noindent
Before the completion of its first declaration, the value of variable
is the null string.
@node Expressions
@section Expressions
@noindent
An expression is a formula that defines a computation or retrieval of a value.
In a project file the value of an expression is either a string or a list
of strings. A string value in an expression is either a literal, the current
value of a variable, an external value, an attribute reference, or a
concatenation operation.
Syntax:
@smallexample
expression ::=
term @{& term@}
term ::=
string_literal |
string_list |
<variable_>name |
external_value |
attribute_reference
string_literal ::=
(same as Ada)
string_list ::=
( <string_>expression @{ , <string_>expression @} )
@end smallexample
@subsection Concatenation
@noindent
The following concatenation functions are defined:
@smallexample @c ada
function "&" (X : String; Y : String) return String;
function "&" (X : String_List; Y : String) return String_List;
function "&" (X : String_List; Y : String_List) return String_List;
@end smallexample
@node Attributes
@section Attributes
@noindent
An attribute declaration defines a property of a project or package. This
property can later be queried by means of an attribute reference.
Attribute values are strings or string lists.
Some attributes are associative arrays. These attributes are mappings whose
domain is a set of strings. These attributes are declared one association
at a time, by specifying a point in the domain and the corresponding image
of the attribute. They may also be declared as a full associative array,
getting the same associations as the corresponding attribute in an imported
or extended project.
Attributes that are not associative arrays are called simple attributes.
Syntax:
@smallexample
attribute_declaration ::=
full_associative_array_declaration |
@b{for} attribute_designator @b{use} expression ;
full_associative_array_declaration ::=
@b{for} <associative_array_attribute_>simple_name @b{use}
<project_>simple_name [ . <package_>simple_Name ] ' <attribute_>simple_name ;
attribute_designator ::=
<simple_attribute_>simple_name |
<associative_array_attribute_>simple_name ( string_literal )
@end smallexample
@noindent
Some attributes are project-specific, and can only appear immediately within
a project declaration. Others are package-specific, and can only appear within
the proper package.
The expression in an attribute definition must be a string or a string_list.
The string literal appearing in the attribute_designator of an associative
array attribute is case-insensitive.
@node Project Attributes
@section Project Attributes
@noindent
The following attributes apply to a project. All of them are simple
attributes.
@table @code
@item Object_Dir
Expression must be a path name. The attribute defines the
directory in which the object files created by the build are to be placed. If
not specified, object files are placed in the project directory.
@item Exec_Dir
Expression must be a path name. The attribute defines the
directory in which the executables created by the build are to be placed.
If not specified, executables are placed in the object directory.
@item Source_Dirs
Expression must be a list of path names. The attribute
defines the directories in which the source files for the project are to be
found. If not specified, source files are found in the project directory.
If a string in the list ends with "/**", then the directory that precedes
"/**" and all of its subdirectories (recursively) are included in the list
of source directories.
@item Excluded_Source_Dirs
Expression must be a list of strings. Each entry designates a directory that
is not to be included in the list of source directories of the project.
This is normally used when there are strings ending with "/**" in the value
of attribute Source_Dirs.
@item Source_Files
Expression must be a list of file names. The attribute
defines the individual files, in the project directory, which are to be used
as sources for the project. File names are path_names that contain no directory
information. If the project has no sources the attribute must be declared
explicitly with an empty list.
@item Excluded_Source_Files (Locally_Removed_Files)
Expression must be a list of strings that are legal file names.
Each file name must designate a source that would normally be a source file
in the source directories of the project or, if the project file is an
extending project file, inherited by the current project file. It cannot
designate an immediate source that is not inherited. Each of the source files
in the list are not considered to be sources of the project file: they are not
inherited. Attribute Locally_Removed_Files is obsolescent, attribute
Excluded_Source_Files is preferred.
@item Source_List_File
Expression must a single path name. The attribute
defines a text file that contains a list of source file names to be used
as sources for the project
@item Library_Dir
Expression must be a path name. The attribute defines the
directory in which a library is to be built. The directory must exist, must
be distinct from the project's object directory, and must be writable.
@item Library_Name
Expression must be a string that is a legal file name,
without extension. The attribute defines a string that is used to generate
the name of the library to be built by the project.
@item Library_Kind
Argument must be a string value that must be one of the
following @code{"static"}, @code{"dynamic"} or @code{"relocatable"}. This
string is case-insensitive. If this attribute is not specified, the library is
a static library. Otherwise, the library may be dynamic or relocatable. This
distinction is operating-system dependent.
@item Library_Version
Expression must be a string value whose interpretation
is platform dependent. On UNIX, it is used only for dynamic/relocatable
libraries as the internal name of the library (the @code{"soname"}). If the
library file name (built from the @code{Library_Name}) is different from the
@code{Library_Version}, then the library file will be a symbolic link to the
actual file whose name will be @code{Library_Version}.
@item Library_Interface
Expression must be a string list. Each element of the string list
must designate a unit of the project.
If this attribute is present in a Library Project File, then the project
file is a Stand-alone Library_Project_File.
@item Library_Auto_Init
Expression must be a single string "true" or "false", case-insensitive.
If this attribute is present in a Stand-alone Library Project File,
it indicates if initialization is automatic when the dynamic library
is loaded.
@item Library_Options
Expression must be a string list. Indicates additional switches that
are to be used when building a shared library.
@item Library_GCC
Expression must be a single string. Designates an alternative to "gcc"
for building shared libraries.
@item Library_Src_Dir
Expression must be a path name. The attribute defines the
directory in which the sources of the interfaces of a Stand-alone Library will
be copied. The directory must exist, must be distinct from the project's
object directory and source directories of all projects in the project tree,
and must be writable.
@item Library_ALI_Dir
Expression must be a path name. The attribute defines the
directory in which the ALI files of a Library will
be copied. The directory must exist, must be distinct from the project's
object directory and source directories of all projects in the project tree,
and must be writable.
@item Library_Symbol_File
Expression must be a single string. Its value is the single file name of a
symbol file to be created when building a stand-alone library when the
symbol policy is either "compliant", "controlled" or "restricted",
on platforms that support symbol control, such as VMS. When symbol policy
is "direct", then a file with this name must exist in the object directory.
@item Library_Reference_Symbol_File
Expression must be a single string. Its value is the path name of a
reference symbol file that is read when the symbol policy is either
"compliant" or "controlled", on platforms that support symbol control,
such as VMS, when building a stand-alone library. The path may be an absolute
path or a path relative to the project directory.
@item Library_Symbol_Policy
Expression must be a single string. Its case-insensitive value can only be
"autonomous", "default", "compliant", "controlled", "restricted" or "direct".
This attribute is not taken into account on all platforms. It controls the
policy for exported symbols and, on some platforms (like VMS) that have the
notions of major and minor IDs built in the library files, it controls
the setting of these IDs.
"autonomous" or "default": exported symbols are not controlled.
"compliant": if attribute Library_Reference_Symbol_File is not defined, then
it is equivalent to policy "autonomous". If there are exported symbols in
the reference symbol file that are not in the object files of the interfaces,
the major ID of the library is increased. If there are symbols in the
object files of the interfaces that are not in the reference symbol file,
these symbols are put at the end of the list in the newly created symbol file
and the minor ID is increased.
"controlled": the attribute Library_Reference_Symbol_File must be defined.
The library will fail to build if the exported symbols in the object files of
the interfaces do not match exactly the symbol in the symbol file.
"restricted": The attribute Library_Symbol_File must be defined. The library
will fail to build if there are symbols in the symbol file that are not in
the exported symbols of the object files of the interfaces. Additional symbols
in the object files are not added to the symbol file.
"direct": The attribute Library_Symbol_File must be defined and must designate
an existing file in the object directory. This symbol file is passed directly
to the underlying linker without any symbol processing.
@item Main
Expression must be a list of strings that are legal file names.
These file names designate existing compilation units in the source directory
that are legal main subprograms.
When a project file is elaborated, as part of the execution of a gnatmake
command, one or several executables are built and placed in the Exec_Dir.
If the gnatmake command does not include explicit file names, the executables
that are built correspond to the files specified by this attribute.
@item Externally_Built
Expression must be a single string. Its value must be either "true" of "false",
case-insensitive. The default is "false". When the value of this attribute is
"true", no attempt is made to compile the sources or to build the library,
when the project is a library project.
@item Main_Language
This is a simple attribute. Its value is a string that specifies the
language of the main program.
@item Languages
Expression must be a string list. Each string designates
a programming language that is known to GNAT. The strings are case-insensitive.
@end table
@node Attribute References
@section Attribute References
@noindent
Attribute references are used to retrieve the value of previously defined
attribute for a package or project.
Syntax:
@smallexample
attribute_reference ::=
attribute_prefix ' <simple_attribute_>simple_name [ ( string_literal ) ]
attribute_prefix ::=
@b{project} |
<project_simple_name | package_identifier |
<project_>simple_name . package_identifier
@end smallexample
@noindent
If an attribute has not been specified for a given package or project, its
value is the null string or the empty list.
@node External Values
@section External Values
@noindent
An external value is an expression whose value is obtained from the command
that invoked the processing of the current project file (typically a
gnatmake command).
Syntax:
@smallexample
external_value ::=
@b{external} ( string_literal [, string_literal] )
@end smallexample
@noindent
The first string_literal is the string to be used on the command line or
in the environment to specify the external value. The second string_literal,
if present, is the default to use if there is no specification for this
external value either on the command line or in the environment.
@node Case Construction
@section Case Construction
@noindent
A case construction supports attribute and variable declarations that depend
on the value of a previously declared variable.
Syntax:
@smallexample
case_construction ::=
@b{case} <typed_variable_>name @b{is}
@{case_item@}
@b{end case} ;
case_item ::=
@b{when} discrete_choice_list =>
@{case_construction |
attribute_declaration |
variable_declaration |
empty_declaration@}
discrete_choice_list ::=
string_literal @{| string_literal@} |
@b{others}
@end smallexample
@noindent
Inside a case construction, variable declarations must be for variables that
have already been declared before the case construction.
All choices in a choice list must be distinct. The choice lists of two
distinct alternatives must be disjoint. Unlike Ada, the choice lists of all
alternatives do not need to include all values of the type. An @code{others}
choice must appear last in the list of alternatives.
@node Packages
@section Packages
@noindent
A package provides a grouping of variable declarations and attribute
declarations to be used when invoking various GNAT tools. The name of
the package indicates the tool(s) to which it applies.
Syntax:
@smallexample
package_declaration ::=
package_spec | package_renaming
package_spec ::=
@b{package} package_identifier @b{is}
@{simple_declarative_item@}
@b{end} package_identifier ;
package_identifier ::=
@code{Naming} | @code{Builder} | @code{Compiler} | @code{Binder} |
@code{Linker} | @code{Finder} | @code{Cross_Reference} |
@code{gnatls} | @code{IDE} | @code{Pretty_Printer} | @code{Check}
@end smallexample
@subsection Package Naming
@noindent
The attributes of a @code{Naming} package specifies the naming conventions
that apply to the source files in a project. When invoking other GNAT tools,
they will use the sources in the source directories that satisfy these
naming conventions.
The following attributes apply to a @code{Naming} package:
@table @code
@item Casing
This is a simple attribute whose value is a string. Legal values of this
string are @code{"lowercase"}, @code{"uppercase"} or @code{"mixedcase"}.
These strings are themselves case insensitive.
@noindent
If @code{Casing} is not specified, then the default is @code{"lowercase"}.
@item Dot_Replacement
This is a simple attribute whose string value satisfies the following
requirements:
@itemize @bullet
@item It must not be empty
@item It cannot start or end with an alphanumeric character
@item It cannot be a single underscore
@item It cannot start with an underscore followed by an alphanumeric
@item It cannot contain a dot @code{'.'} if longer than one character
@end itemize
@noindent
If @code{Dot_Replacement} is not specified, then the default is @code{"-"}.
@item Spec_Suffix
This is an associative array attribute, defined on language names,
whose image is a string that must satisfy the following
conditions:
@itemize @bullet
@item It must not be empty
@item It cannot start with an alphanumeric character
@item It cannot start with an underscore followed by an alphanumeric character
@end itemize
@noindent
For Ada, the attribute denotes the suffix used in file names that contain
library unit declarations, that is to say units that are package and
subprogram declarations. If @code{Spec_Suffix ("Ada")} is not
specified, then the default is @code{".ads"}.
For C and C++, the attribute denotes the suffix used in file names that
contain prototypes.
@item Body_Suffix
This is an associative array attribute defined on language names,
whose image is a string that must satisfy the following
conditions:
@itemize @bullet
@item It must not be empty
@item It cannot start with an alphanumeric character
@item It cannot start with an underscore followed by an alphanumeric character
@item It cannot be a suffix of @code{Spec_Suffix}
@end itemize
@noindent
For Ada, the attribute denotes the suffix used in file names that contain
library bodies, that is to say units that are package and subprogram bodies.
If @code{Body_Suffix ("Ada")} is not specified, then the default is
@code{".adb"}.
For C and C++, the attribute denotes the suffix used in file names that contain
source code.
@item Separate_Suffix
This is a simple attribute whose value satisfies the same conditions as
@code{Body_Suffix}.
This attribute is specific to Ada. It denotes the suffix used in file names
that contain separate bodies. If it is not specified, then it defaults to same
value as @code{Body_Suffix ("Ada")}.
@item Spec
This is an associative array attribute, specific to Ada, defined over
compilation unit names. The image is a string that is the name of the file
that contains that library unit. The file name is case sensitive if the
conventions of the host operating system require it.
@item Body
This is an associative array attribute, specific to Ada, defined over
compilation unit names. The image is a string that is the name of the file
that contains the library unit body for the named unit. The file name is case
sensitive if the conventions of the host operating system require it.
@item Specification_Exceptions
This is an associative array attribute defined on language names,
whose value is a list of strings.
This attribute is not significant for Ada.
For C and C++, each string in the list denotes the name of a file that
contains prototypes, but whose suffix is not necessarily the
@code{Spec_Suffix} for the language.
@item Implementation_Exceptions
This is an associative array attribute defined on language names,
whose value is a list of strings.
This attribute is not significant for Ada.
For C and C++, each string in the list denotes the name of a file that
contains source code, but whose suffix is not necessarily the
@code{Body_Suffix} for the language.
@end table
The following attributes of package @code{Naming} are obsolescent. They are
kept as synonyms of other attributes for compatibility with previous versions
of the Project Manager.
@table @code
@item Specification_Suffix
This is a synonym of @code{Spec_Suffix}.
@item Implementation_Suffix
This is a synonym of @code{Body_Suffix}.
@item Specification
This is a synonym of @code{Spec}.
@item Implementation
This is a synonym of @code{Body}.
@end table
@subsection package Compiler
@noindent
The attributes of the @code{Compiler} package specify the compilation options
to be used by the underlying compiler.
@table @code
@item Default_Switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies the compilation options to be used when compiling a component
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies the
compilation options to be used when compiling the named file. If a file
is not specified in the Switches attribute, it is compiled with the
options specified by Default_Switches of its language, if defined.
@item Local_Configuration_Pragmas.
This is a simple attribute, whose
value is a path name that designates a file containing configuration pragmas
to be used for all invocations of the compiler for immediate sources of the
project.
@end table
@subsection package Builder
@noindent
The attributes of package @code{Builder} specify the compilation, binding, and
linking options to be used when building an executable for a project. The
following attributes apply to package @code{Builder}:
@table @code
@item Default_Switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when building a main
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when building the named main file. If a main file
is not specified in the Switches attribute, it is built with the
options specified by Default_Switches of its language, if defined.
@item Global_Configuration_Pragmas
This is a simple attribute, whose
value is a path name that designates a file that contains configuration pragmas
to be used in every build of an executable. If both local and global
configuration pragmas are specified, a compilation makes use of both sets.
@item Executable
This is an associative array attribute. Its domain is
a set of main source file names. Its range is a simple string that specifies
the executable file name to be used when linking the specified main source.
If a main source is not specified in the Executable attribute, the executable
file name is deducted from the main source file name.
This attribute has no effect if its value is the empty string.
@item Executable_Suffix
This is a simple attribute whose value is the suffix to be added to
the executables that don't have an attribute Executable specified.
@end table
@subsection package Gnatls
@noindent
The attributes of package @code{Gnatls} specify the tool options to be used
when invoking the library browser @command{gnatls}.
The following attributes apply to package @code{Gnatls}:
@table @code
@item Switches
This is a single attribute with a string list value. Each nonempty string
in the list is an option when invoking @code{gnatls}.
@end table
@subsection package Binder
@noindent
The attributes of package @code{Binder} specify the options to be used
when invoking the binder in the construction of an executable.
The following attributes apply to package @code{Binder}:
@table @code
@item Default_Switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when binding a main
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when binding the named main file. If a main file
is not specified in the Switches attribute, it is bound with the
options specified by Default_Switches of its language, if defined.
@end table
@subsection package Linker
@noindent
The attributes of package @code{Linker} specify the options to be used when
invoking the linker in the construction of an executable.
The following attributes apply to package @code{Linker}:
@table @code
@item Default_Switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when linking a main
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when linking the named main file. If a main file
is not specified in the Switches attribute, it is linked with the
options specified by Default_Switches of its language, if defined.
@item Linker_Options
This is a string list attribute. Its value specifies additional options that
be given to the linker when linking an executable. This attribute is not
used in the main project, only in projects imported directly or indirectly.
@end table
@subsection package Cross_Reference
@noindent
The attributes of package @code{Cross_Reference} specify the tool options
to be used
when invoking the library tool @command{gnatxref}.
The following attributes apply to package @code{Cross_Reference}:
@table @code
@item Default_Switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when calling @command{gnatxref} on a source
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when calling @command{gnatxref} on the named main source.
If a source is not specified in the Switches attribute, @command{gnatxref} will
be called with the options specified by Default_Switches of its language,
if defined.
@end table
@subsection package Finder
@noindent
The attributes of package @code{Finder} specify the tool options to be used
when invoking the search tool @command{gnatfind}.
The following attributes apply to package @code{Finder}:
@table @code
@item Default_Switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when calling @command{gnatfind} on a source
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when calling @command{gnatfind} on the named main source.
If a source is not specified in the Switches attribute, @command{gnatfind} will
be called with the options specified by Default_Switches of its language,
if defined.
@end table
@subsection package Check
@noindent
The attributes of package @code{Check}
specify the checking rule options to be used
when invoking the checking tool @command{gnatcheck}.
The following attributes apply to package @code{Check}:
@table @code
@item Default_switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when calling @command{gnatcheck} on a source
written in that language. The first string in the range should always be
@code{"-rules"} to specify that all the other options belong to the
@code{-rules} section of the parameters of @command{gnatcheck} call.
@end table
@subsection package Pretty_Printer
@noindent
The attributes of package @code{Pretty_Printer}
specify the tool options to be used
when invoking the formatting tool @command{gnatpp}.
The following attributes apply to package @code{Pretty_Printer}:
@table @code
@item Default_switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when calling @command{gnatpp} on a source
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when calling @command{gnatpp} on the named main source.
If a source is not specified in the Switches attribute, @command{gnatpp} will
be called with the options specified by Default_Switches of its language,
if defined.
@end table
@subsection package gnatstub
@noindent
The attributes of package @code{gnatstub}
specify the tool options to be used
when invoking the tool @command{gnatstub}.
The following attributes apply to package @code{gnatstub}:
@table @code
@item Default_switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when calling @command{gnatstub} on a source
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when calling @command{gnatstub} on the named main source.
If a source is not specified in the Switches attribute, @command{gnatpp} will
be called with the options specified by Default_Switches of its language,
if defined.
@end table
@subsection package Eliminate
@noindent
The attributes of package @code{Eliminate}
specify the tool options to be used
when invoking the tool @command{gnatelim}.
The following attributes apply to package @code{Eliminate}:
@table @code
@item Default_switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when calling @command{gnatelim} on a source
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when calling @command{gnatelim} on the named main source.
If a source is not specified in the Switches attribute, @command{gnatelim} will
be called with the options specified by Default_Switches of its language,
if defined.
@end table
@subsection package Metrics
@noindent
The attributes of package @code{Metrics}
specify the tool options to be used
when invoking the tool @command{gnatmetric}.
The following attributes apply to package @code{Metrics}:
@table @code
@item Default_switches
This is an associative array attribute. Its
domain is a set of language names. Its range is a string list that
specifies options to be used when calling @command{gnatmetric} on a source
written in that language, for which no file-specific switches have been
specified.
@item Switches
This is an associative array attribute. Its domain is
a set of file names. Its range is a string list that specifies
options to be used when calling @command{gnatmetric} on the named main source.
If a source is not specified in the Switches attribute, @command{gnatmetric}
will be called with the options specified by Default_Switches of its language,
if defined.
@end table
@subsection package IDE
@noindent
The attributes of package @code{IDE} specify the options to be used when using
an Integrated Development Environment such as @command{GPS}.
@table @code
@item Remote_Host
This is a simple attribute. Its value is a string that designates the remote
host in a cross-compilation environment, to be used for remote compilation and
debugging. This field should not be specified when running on the local
machine.
@item Program_Host
This is a simple attribute. Its value is a string that specifies the
name of IP address of the embedded target in a cross-compilation environment,
on which the program should execute.
@item Communication_Protocol
This is a simple string attribute. Its value is the name of the protocol
to use to communicate with the target in a cross-compilation environment,
e.g.@: @code{"wtx"} or @code{"vxworks"}.
@item Compiler_Command
This is an associative array attribute, whose domain is a language name. Its
value is string that denotes the command to be used to invoke the compiler.
The value of @code{Compiler_Command ("Ada")} is expected to be compatible with
gnatmake, in particular in the handling of switches.
@item Debugger_Command
This is simple attribute, Its value is a string that specifies the name of
the debugger to be used, such as gdb, powerpc-wrs-vxworks-gdb or gdb-4.
@item Default_Switches
This is an associative array attribute. Its indexes are the name of the
external tools that the GNAT Programming System (GPS) is supporting. Its
value is a list of switches to use when invoking that tool.
@item Gnatlist
This is a simple attribute. Its value is a string that specifies the name
of the @command{gnatls} utility to be used to retrieve information about the
predefined path; e.g., @code{"gnatls"}, @code{"powerpc-wrs-vxworks-gnatls"}.
@item VCS_Kind
This is a simple attribute. Its value is a string used to specify the
Version Control System (VCS) to be used for this project, e.g.@: CVS, RCS
ClearCase or Perforce.
@item VCS_File_Check
This is a simple attribute. Its value is a string that specifies the
command used by the VCS to check the validity of a file, either
when the user explicitly asks for a check, or as a sanity check before
doing the check-in.
@item VCS_Log_Check
This is a simple attribute. Its value is a string that specifies
the command used by the VCS to check the validity of a log file.
@item VCS_Repository_Root
The VCS repository root path. This is used to create tags or branches
of the repository. For subversion the value should be the @code{URL}
as specified to check-out the working copy of the repository.
@item VCS_Patch_Root
The local root directory to use for building patch file. All patch chunks
will be relative to this path. The root project directory is used if
this value is not defined.
@end table
@node Package Renamings
@section Package Renamings
@noindent
A package can be defined by a renaming declaration. The new package renames
a package declared in a different project file, and has the same attributes
as the package it renames.
Syntax:
@smallexample
package_renaming ::==
@b{package} package_identifier @b{renames}
<project_>simple_name.package_identifier ;
@end smallexample
@noindent
The package_identifier of the renamed package must be the same as the
package_identifier. The project whose name is the prefix of the renamed
package must contain a package declaration with this name. This project
must appear in the context_clause of the enclosing project declaration,
or be the parent project of the enclosing child project.
@node Projects
@section Projects
@noindent
A project file specifies a set of rules for constructing a software system.
A project file can be self-contained, or depend on other project files.
Dependencies are expressed through a context clause that names other projects.
Syntax:
@smallexample
project ::=
context_clause project_declaration
project_declaration ::=
simple_project_declaration | project_extension
simple_project_declaration ::=
@b{project} <project_>simple_name @b{is}
@{declarative_item@}
@b{end} <project_>simple_name;
context_clause ::=
@{with_clause@}
with_clause ::=
[@b{limited}] @b{with} path_name @{ , path_name @} ;
path_name ::=
string_literal
@end smallexample
@noindent
A path name denotes a project file. A path name can be absolute or relative.
An absolute path name includes a sequence of directories, in the syntax of
the host operating system, that identifies uniquely the project file in the
file system. A relative path name identifies the project file, relative
to the directory that contains the current project, or relative to a
directory listed in the environment variable ADA_PROJECT_PATH.
Path names are case sensitive if file names in the host operating system
are case sensitive.
The syntax of the environment variable ADA_PROJECT_PATH is a list of
directory names separated by colons (semicolons on Windows).
A given project name can appear only once in a context_clause.
It is illegal for a project imported by a context clause to refer, directly
or indirectly, to the project in which this context clause appears (the
dependency graph cannot contain cycles), except when one of the with_clause
in the cycle is a @code{limited with}.
@node Project Extensions
@section Project Extensions
@noindent
A project extension introduces a new project, which inherits the declarations
of another project.
Syntax:
@smallexample
project_extension ::=
@b{project} <project_>simple_name @b{extends} path_name @b{is}
@{declarative_item@}
@b{end} <project_>simple_name;
@end smallexample
@noindent
The project extension declares a child project. The child project inherits
all the declarations and all the files of the parent project, These inherited
declaration can be overridden in the child project, by means of suitable
declarations.
@node Project File Elaboration
@section Project File Elaboration
@noindent
A project file is processed as part of the invocation of a gnat tool that
uses the project option. Elaboration of the process file consists in the
sequential elaboration of all its declarations. The computed values of
attributes and variables in the project are then used to establish the
environment in which the gnat tool will execute.
@node Obsolescent Features
@chapter Obsolescent Features
......
gcc/ada/gnat_ugn.texi
This source diff could not be displayed because it is too large. You can view the blob instead.
gcc/ada/projects.texi 0 → 100644
This source diff could not be displayed because it is too large. You can view the blob instead.
gcc/ada/s-osinte-vxworks.ads
......@@ -7,7 +7,7 @@
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
-- Copyright (C) 1995-2009, Free Software Foundation, Inc. --
-- Copyright (C) 1995-2010, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
......@@ -155,7 +155,7 @@ package System.OS_Interface is
SIG_DFL : constant := 0;
SIG_IGN : constant := 1;
type sigset_t is private;
subtype sigset_t is System.Vxworks.Ext.sigset_t;
type struct_sigaction is record
sa_handler : System.Address;
......@@ -490,8 +490,6 @@ package System.OS_Interface is
-- For uniprocessor systems return ERROR status.
private
type sigset_t is new unsigned_long_long;
type pid_t is new int;
ERROR_PID : constant pid_t := -1;
......
gcc/ada/s-vxwext-kernel.ads
......@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
-- Copyright (C) 2008-2010, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
......@@ -39,6 +39,8 @@ package System.VxWorks.Ext is
subtype SEM_ID is Long_Integer;
-- typedef struct semaphore *SEM_ID;
type sigset_t is mod 2 ** Interfaces.C.long_long'Size;
type t_id is new Long_Integer;
subtype int is Interfaces.C.int;
......
gcc/ada/s-vxwext-rtp.ads
......@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
-- Copyright (C) 2008-2010, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
......@@ -39,6 +39,8 @@ package System.VxWorks.Ext is
subtype SEM_ID is Long_Integer;
-- typedef struct semaphore *SEM_ID;
type sigset_t is mod 2 ** Interfaces.C.long_long'Size;
type t_id is new Long_Integer;
subtype int is Interfaces.C.int;
......
gcc/ada/s-vxwext.ads
......@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
-- Copyright (C) 2008-2010, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
......@@ -39,7 +39,10 @@ package System.VxWorks.Ext is
subtype SEM_ID is Long_Integer;
-- typedef struct semaphore *SEM_ID;
type sigset_t is mod 2 ** Interfaces.C.long'Size;
type t_id is new Long_Integer;
subtype int is Interfaces.C.int;
type Interrupt_Handler is access procedure (parameter : System.Address);
......
gcc/ada/sem_ch3.adb
......@@ -1551,7 +1551,34 @@ package body Sem_Ch3 is
(Tagged_Type => Tagged_Type,
Iface_Prim => Iface_Prim);
pragma Assert (Present (Prim));
if No (Prim) then
-- In some are cases, a name conflict may have
-- kept the operation completely hidden. Look for
-- it in the list of primitive operations of the
-- type.
declare
El : Elmt_Id :=
First_Elmt (Primitive_Operations (Tagged_Type));
begin
while Present (El) loop
Prim := Node (El);
if Is_Subprogram (Prim)
and then Alias (Prim) = Iface_Prim
then
exit;
end if;
Next_Elmt (El);
end loop;
end;
end if;
if No (Prim) then
-- If the operation was not explicitly overridden, it
-- should have been inherited as an abstract operation.
raise Program_Error;
end if;
Derive_Subprogram
(New_Subp => New_Subp,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment