+2014-02-20 Sergey Rybin <rybin@adacore.com frybin>
+
+ * gnat_ugn.texi, vms_data.ads (gnatelim): Add description of
+ project-specific options.
+
+2014-02-20 Ed Schonberg <schonberg@adacore.com>
+
+ * a-cbdlli.adb (Insert): When capacity exceeded, raise Capacity_Error,
+ not Constraint_Error.
+ * a-cbmutr.adb (Append_Child, Insert_Child, Prepend_Child): Ditto.
+ * sem_ch5.adb: Code clean up.
+
2014-02-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Usage_Error): Remove local
@cindex @option{--help} @command{gnatelim}
Display usage, then exit disregarding all other options.
+@item -P @var{file}
+@cindex @option{-P} @command{gnatelim}
+Indicates the name of the project file that describes the set of sources
+to be processed.
+
+@item -X@var{name}=@var{value}
+@cindex @option{-X} @command{gnatelim}
+Indicates that external variable @var{name} in the argument project
+has the @var{value} value. Has no effect if no project is specified as
+tool argument.
+
@item ^-files^/FILES^=@var{filename}
@cindex @option{^-files^/FILES^} (@code{gnatelim})
Take the argument source files from the specified file. This file should be an
Duplicate all the output sent to @file{stderr} into a log file. The log file
is named @file{gnatelim.log} and is located in the current directory.
+@ignore
@item ^-log^/LOGFILE^=@var{filename}
@cindex @option{^-log^/LOGFILE^} (@command{gnatelim})
Duplicate all the output sent to @file{stderr} into a specified log file.
+@end ignore
@cindex @option{^--no-elim-dispatch^/NO_DISPATCH^} (@command{gnatelim})
@item ^--no-elim-dispatch^/NO_DISPATCH^
Display usage, then exit disregarding all other options.
@item -P @var{file}
-@cindex @option{-P @var{file}} @command{gnatmetric}
+@cindex @option{-P} @command{gnatmetric}
Indicates the name of the project file that describes the set of sources
to be processed. The exact set of argument sources depends on other options
specified, see below.
has no effect.
@item -U @var{main_unit}
-@cindex @option{-U @var{main_unit}} @command{gnatmetric}
If a project file is specified and no argument source is explicitly
specified (either directly or by means of @option{-files} option), process
the closure of units rooted at @var{main_unit}. Otherwise this option
has no effect.
@item -X@var{name}=@var{value}
-@cindex @option{-X@var{name}=@var{value}} @command{gnatmetric}
+@cindex @option{-X} @command{gnatmetric}
Indicates that external variable @var{name} in the argument project
has the @var{value} value. Has no effect if no project is specified as
tool argument.
Quiet mode.
@end table
+@ignore
@noindent
If a project file is specified and no argument source is explicitly
specified (either directly or by means of @option{-files} option), and no
@option{-U} is specified, then the set of processed sources is
all the immediate units of the argument project.
+@end ignore
@ignore
@cindex @option{--help} @command{gnatstub}
Display usage, then exit disregarding all other options.
+@item -P @var{file}
+@cindex @option{-P} @command{gnatstub}
+Indicates the name of the project file that describes the set of sources
+to be processed.
+
+@item -X@var{name}=@var{value}
+@cindex @option{-X} @command{gnatstub}
+Indicates that external variable @var{name} in the argument project
+has the @var{value} value. Has no effect if no project is specified as
+tool argument.
+
@item ^-f^/FULL^
@cindex @option{^-f^/FULL^} (@command{gnatstub})
If the destination directory already contains a file with the name of the
-- A loop parameter cannot be volatile. This check is peformed only when
-- SPARK_Mode is on as it is not a standard Ada legality check.
+ -- Not clear whether this applies to element iterators, where the
+ -- cursor is not an explicit entity ???
- if SPARK_Mode = On and then Is_SPARK_Volatile_Object (Ent) then
+ if SPARK_Mode = On
+ and then not Of_Present (N)
+ and then Is_SPARK_Volatile_Object (Ent)
+ then
Error_Msg_N
("loop parameter cannot be volatile (SPARK RM 7.1.3(6))", Ent);
end if;