+2008-06-03 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * Makefile.in (common_tools): Fix typos in $(exeext) extension.
+ * gnat_ugn.texi (Style Checking)
+ (Adding the Results of Compiler Checks to gnatcheck Output)
+ (Example of Binder Output File): Fix typos.
+ * ali.ads, einfo.ads, exp_ch4.adb, exp_ch6.adb,
+ exp_dbug.ads, exp_dist.adb, exp_smem.adb, g-socket.ads,
+ s-osinte-rtems.ads, s-shasto.ads, s-stausa.adb,
+ s-stausa.ads, sem_cat.adb, sem_ch12.adb, sem_ch3.adb,
+ sem_ch4.adb, sem_ch6.adb, sem_ch8.adb, sem_util.ads,
+ sinfo.ads, utils.c: Fix typos in comments.
+ * sem_ch6.adb, vms_data.ads: Fix typos in strings.
+
2008-05-29 Thomas Quinot <quinot@adacore.com>
* sem_eval.adb: Minor reformatting
--GNATBIND="$(GNATBIND)" --GCC="$(CC) $(ALL_ADAFLAGS)" \
gnatchop gnatcmd gnatkr gnatls gnatprep gnatxref gnatfind gnatname \
gnatclean -bargs $(ADA_INCLUDES) $(GNATBIND_FLAGS)
- $(GNATLINK) -v gnatcmd -o ../../gnat$(exext) \
+ $(GNATLINK) -v gnatcmd -o ../../gnat$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
- $(GNATLINK) -v gnatchop -o ../../gnatchop$(exext) \
+ $(GNATLINK) -v gnatchop -o ../../gnatchop$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
- $(GNATLINK) -v gnatkr -o ../../gnatkr$(exext) \
+ $(GNATLINK) -v gnatkr -o ../../gnatkr$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
- $(GNATLINK) -v gnatls -o ../../gnatls$(exext) \
+ $(GNATLINK) -v gnatls -o ../../gnatls$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
- $(GNATLINK) -v gnatprep -o ../../gnatprep$(exext) \
+ $(GNATLINK) -v gnatprep -o ../../gnatprep$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
- $(GNATLINK) -v gnatxref -o ../../gnatxref$(exext) \
+ $(GNATLINK) -v gnatxref -o ../../gnatxref$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
- $(GNATLINK) -v gnatfind -o ../../gnatfind$(exext) \
+ $(GNATLINK) -v gnatfind -o ../../gnatfind$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
- $(GNATLINK) -v gnatname -o ../../gnatname$(exext) \
+ $(GNATLINK) -v gnatname -o ../../gnatname$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
- $(GNATLINK) -v gnatclean -o ../../gnatclean$(exext) \
+ $(GNATLINK) -v gnatclean -o ../../gnatclean$(exeext) \
--GCC="$(GCC_LINK)" $(TOOLS_LIBS)
../../gnatsym$(exeext):
Float_Format_Specified : Character := ' ';
-- Set to blank by Initialize_ALI. Set to appropriate float format
- -- character (V or I, see Opt.Float_Format) if an an ali file that
+ -- character (V or I, see Opt.Float_Format) if an ali file that
-- is read contains an F line setting the floating point format.
Initialize_Scalars_Used : Boolean := False;
-- Is_Remote_Call_Interface (Flag62)
-- Present in all entities. Set in E_Package and E_Generic_Package
--- entities to which a pragma Remote_Call_Interace is applied, and
+-- entities to which a pragma Remote_Call_Interface is applied, and
-- also on entities declared in the visible part of such a package.
-- Is_Remote_Types (Flag61)
begin
-- If the index type is an enumeration type, the computation can be
-- done in standard integer. Otherwise, choose a large enough integer
- -- type to accomodate the index type computation.
+ -- type to accommodate the index type computation.
if Is_Enumeration_Type (Ind_Typ)
or else Root_Type (Ind_Typ) = Standard_Integer
-- the mod value is always 0, and we can just ignore the left operand
-- completely in this case.
- -- The operand type may be private (e.g. in the expansion of an an
+ -- The operand type may be private (e.g. in the expansion of an
-- intrinsic operation) so we must use the underlying type to get the
-- bounds, and convert the literals explicitly.
Make_Defining_Identifier (Loc, New_Internal_Name ('C'));
Set_Is_Internal (Temp);
- -- For the unconstrained case. the generated temporary has the
+ -- For the unconstrained case, the generated temporary has the
-- same constrained declaration as the result variable.
-- It may eventually be possible to remove that temporary and
-- use the result variable directly.
-- If the return value of a foreign compiled function is
-- VAX Float then expand the return (adjusts the location
- -- of the return value on Alpha/VMS, noop everywere else).
+ -- of the return value on Alpha/VMS, noop everywhere else).
-- Comes_From_Source intercepts recursive expansion.
if Vax_Float (Etype (N))
-- the protected/non-locking version of the operation.
-- Operations generated for protected entries follow the same encoding.
- -- Each entry results in two suprograms: a procedure that holds the
+ -- Each entry results in two subprograms: a procedure that holds the
-- entry body, and a function that holds the evaluation of the barrier.
-- The names of these subprograms include the prefix '_E' or '_B' res-
-- pectively. The names also include a numeric suffix to render them
Set_Etype (Stubbed_Result, Stub_Type_Access);
-- If the Address is Null_Address, then return a null object, unless
- -- RACW_Type is null-excluding, in which case inconditionally raise
+ -- RACW_Type is null-excluding, in which case unconditionally raise
-- CONSTRAINT_ERROR instead.
declare
-- with Ent.
Instantiation : Node_Id;
- -- Package instanciation node for SVP_Instance
+ -- Package instantiation node for SVP_Instance
-- Start of processing for Make_Shared_Var_Procs
Build_Full_Name (Ent, Vnm);
-- We turn off Shared_Passive during construction and analysis of
- -- the generic package instantition, to avoid improper attempts to
+ -- the generic package instantiation, to avoid improper attempts to
-- process the variable references within these instantiation.
Set_Is_Shared_Passive (Ent, False);
Status : out Selector_Status);
-- Accept a new connection on Server using Accept_Socket, waiting no longer
-- than the given timeout duration. Status is set to indicate whether the
- -- operation completed successully, timed out, or was aborted. If Selector
+ -- operation completed successfully, timed out, or was aborted. If Selector
-- is not null, the designated selector is used to wait for the socket to
-- become available, else a private selector object is created by this
-- procedure and destroyed before it returns.
Status : out Selector_Status);
-- Connect Socket to the given Server address using Connect_Socket, waiting
-- no longer than the given timeout duration. Status is set to indicate
- -- whether the operation completed successully, timed out, or was aborted.
+ -- whether the operation completed successfully, timed out, or was aborted.
-- If Selector is not null, the designated selector is used to wait for the
-- socket to become available, else a private selector object is created
-- by this procedure and destroyed before it returns.
-- it is used in the visible part of GNAT.Sockets.Thin_Common. This is
-- really an inversion of abstraction. The private part of GNAT.Sockets
-- needs to have visibility on this type, but since Thin_Common is a child
- -- of Sokcets, the type can't be declared there. The correct fix would
+ -- of Sockets, the type can't be declared there. The correct fix would
-- be to move the thin sockets binding outside of GNAT.Sockets altogether,
-- e.g. by renaming it to GNAT.Sockets_Thin.
digit following @option{-} in the parameter string of the @option{-gnaty}
option will be threated as canceling indentation check. The same is true
for @option{M} parameter. @option{y} and @option{N} parameters are not
-alloved after @option{-}.
+allowed after @option{-}.
@item +
This causes any subsequent options in the string to enable the corresponding
's' parameter, that corresponds to the GNAT @option{-gnatws} option, disables
all the specific warnings, but not suppresses the warning mode,
and 'e' parameter, corresponding to @option{-gnatwe} that means
-"therat warnings as errors", does not have any effect.
+"treat warnings as errors", does not have any effect.
@end table
-- a-except.ads/adb for full details of how zero cost
-- exception handling works. This procedure, the call to
-- it, and the two following tables are all omitted if the
- -- build is in longjmp/setjump exception mode.
+ -- build is in longjmp/setjmp exception mode.
@findex SDP_Table_Build
@findex Zero Cost Exceptions
-- Call SDP_Table_Build to build the top level procedure
-- table for zero cost exception handling (omitted in
- -- longjmp/setjump mode).
+ -- longjmp/setjmp mode).
SDP_Table_Build (ST'Address, 23, EA'Address, 23);
SA_SIGINFO : constant := 16#02#;
SA_ONSTACK : constant := 16#00#;
- -- SA_ONSTACK is not defined on RTEMS, but it is refered to in the POSIX
+ -- SA_ONSTACK is not defined on RTEMS, but it is referred to in the POSIX
-- implementation of System.Interrupt_Management. Therefore we define a
-- dummy value of zero here so that setting this flag is a nop.
-- The approach is as follows:
--- For each shared variable, var, an instanciation of the below generic
+-- For each shared variable, var, an instantiation of the below generic
-- package is created which provides Read and Write supporting procedures.
-- The routine Shared_Var_ROpen in package System.Shared_Storage
-- the shared storage.
procedure Write;
- -- Shared passive variable assignement routine. Each assignment to
+ -- Shared passive variable assignment routine. Each assignment to
-- the shared variable, V, is followed by a call to the corresponding
-- Write procedure, which writes the new value to the shared storage.
Current_Stack_Level : aliased Integer;
begin
- -- Reajust the pattern size. When we arrive in this function, there is
+ -- Readjust the pattern size. When we arrive in this function, there is
-- already a given amount of stack used, that we won't analyze.
Analyzer.Stack_Used_When_Filling :=
-- Max_Pattern_Size is the size of the pattern zone, might be smaller than
-- the full stack size in order to take into account e.g. the secondary
-- stack and a guard against overflow. The actual size taken will be
- -- reajusted with data already used at the time the stack is actually
+ -- readjusted with data already used at the time the stack is actually
-- filled.
Is_Enabled : Boolean := False;
elsif Ekind (Param_Type) = E_Anonymous_Access_Type
or else Ekind (Param_Type) = E_Anonymous_Access_Subprogram_Type
then
- -- From RM E.2.2(14), no anonumous access parameter other than
+ -- From RM E.2.2(14), no anonymous access parameter other than
-- controlling ones may be used (because an anonymous access
-- type never supports external streaming).
Inst : Node_Id) return Boolean;
-- True if the instantiation Inst and the given freeze_node F_Node appear
-- within the same declarative part, ignoring subunits, but with no inter-
- -- vening suprograms or concurrent units. If true, the freeze node
+ -- vening subprograms or concurrent units. If true, the freeze node
-- of the instance can be placed after the freeze node of the parent,
-- which it itself an instance.
and then Is_Tagged_Type (Tagged_Type)
and then Has_Interfaces (Tagged_Type));
- -- Step 1: Transfer to the full-view primitives asociated with the
+ -- Step 1: Transfer to the full-view primitives associated with the
-- partial-view that cover interface primitives. Conceptually this
-- work should be done later by Process_Full_View; done here to
-- simplify its implementation at later stages. It can be safely
end if;
-- If the call has been transformed into a slice, it is of the form
- -- F (Subtype) where F is paramterless. The node has ben rewritten in
+ -- F (Subtype) where F is parameterless. The node has been rewritten in
-- Try_Indexed_Call and there is nothing else to do.
if Is_Indexed
Plist : List_Id;
function Is_Inline_Pragma (N : Node_Id) return Boolean;
- -- True when N is a pragma Inline or Inline_Awlays that applies
+ -- True when N is a pragma Inline or Inline_Always that applies
-- to this subprogram.
-----------------------
if not Is_Overriding_Operation (Op) then
Error_Msg_N ("\\primitive % defined #", Typ);
else
- Error_Msg_N ("\\overridding operation % with " &
+ Error_Msg_N ("\\overriding operation % with " &
"convention % defined #", Typ);
end if;
then
-- Input stream functions are abstract if the object type is
-- abstract. Similarly, all default stream functions for an
- -- interface type are abstract. However, these suprograms may
+ -- interface type are abstract. However, these subprograms may
-- receive explicit declarations in representation clauses, making
-- the attribute subprograms usable as defaults in subsequent
-- type extensions.
Only_One_Visible := False;
All_Overloadable := All_Overloadable and Is_Overloadable (E2);
- -- Ada 2005 (AI-262): Protect against a form of Beujolais effect
+ -- Ada 2005 (AI-262): Protect against a form of Beaujolais effect
-- that can occur in private_with clauses. Example:
-- with A;
-- Returns True if the names of both entities correspond with matching
-- primitives. This routine includes support for the case in which one
-- or both entities correspond with entities built by Derive_Subprogram
- -- with a special name to avoid being overriden (ie. return true in case
- -- of entities with names "nameP" and "name" or viceversa).
+ -- with a special name to avoid being overridden (i.e. return true in case
+ -- of entities with names "nameP" and "name" or vice versa).
function Private_Component (Type_Id : Entity_Id) return Entity_Id;
-- Returns some private component (if any) of the given Type_Id.
-- to Ada 2005 (AI-287).
----------------------------------
- -- 4.3.1 Cmmponent Choice List --
+ -- 4.3.1 Component Choice List --
----------------------------------
-- COMPONENT_CHOICE_LIST ::=
static tree fake_attribute_handler (tree *, tree, tree, int, bool *);
/* Table of machine-independent internal attributes for Ada. We support
- this minimal set ot attributes to accomodate the needs of builtins. */
+ this minimal set of attributes to accommodate the needs of builtins. */
const struct attribute_spec gnat_internal_attribute_table[] =
{
/* { name, min_len, max_len, decl_req, type_req, fn_type_req, handler } */
--
-- Output the execution time
- S_Sync_Details : aliased constant S := "/DETAILs=" &
+ S_Sync_Details : aliased constant S := "/DETAILS=" &
"MEDIUM " &
"-om " &
"SHORT " &
projects / gcc.git / commitdiff