+2008-09-14 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * a-crbtgk.adb, a-direct.ads, a-tasatt.adb, ali.ads,
+ bindgen.adb, checks.adb, einfo.ads, exp_aggr.adb, exp_ch11.adb,
+ exp_ch3.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
+ exp_dbug.ads, exp_disp.adb, exp_dist.adb, exp_pakd.adb,
+ exp_util.adb, g-alveop.ads, g-comlin.adb, g-comlin.ads,
+ g-diopit.adb, g-socket.ads, gcc-interface/decl.c,
+ gcc-interface/gigi.h, gcc-interface/trans.c,
+ lib-load.adb, lib-xref.ads, make.adb, mlib-prj.adb, nlists.ads,
+ opt.ads, par-ch10.adb, par-ch5.adb, par.adb, s-os_lib.ads,
+ s-oscons-tmplt.c, s-parint.ads, s-regpat.ads, s-shasto.ads,
+ s-stausa.ads, s-taprop-vms.adb, sem.adb, sem_ch10.adb,
+ sem_ch11.adb, sem_ch12.adb, sem_ch13.adb, sem_ch3.adb,
+ sem_ch3.ads, sem_ch4.adb, sem_ch6.adb, sem_ch7.adb, sem_ch8.adb,
+ sem_elim.adb, sem_prag.adb, sem_util.adb, sem_util.ads,
+ sem_warn.adb, sinfo.ads, styleg.adb, vms_data.ads: Fix typos in
+ comments.
+ * gnathtml.pl: Fix typos.
+
2008-09-10 Joel Sherrill <joel.sherrill@oarcorp.com>
* gcc-interface/Makefile.in: Switch RTEMS to s-interr-hwint.adb.
pragma Assert (Tree.Length > 0);
-- A hint can either name the node that immediately follows Key,
- -- or immediately precedes Key. We first test whether Key is is
+ -- or immediately precedes Key. We first test whether Key is
-- less than the hint, and if so we compare Key to the node that
-- precedes the hint. If Key is both less than the hint and
-- greater than the hint's preceding neighbor, then we're done;
procedure End_Search (Search : in out Search_Type);
-- Ends the search represented by Search. After a successful call on
-- End_Search, the object Search will have no entries available. Note
- -- that is is not necessary to call End_Search if the call to Start_Search
+ -- that it is not necessary to call End_Search if the call to Start_Search
-- was unsuccessful and raised an exception (but it is harmless to make
-- the call in this case).
In_Use := In_Use or Two_To_J;
Local.Index := J;
- -- This unchecked conversions can give a warning when the the
+ -- This unchecked conversions can give a warning when the
-- alignment is incorrect, but it will not be used in such a
-- case anyway, so the warning can be safely ignored.
-- Ignore_Lines requests that Scan_ALI ignore any lines that start
-- with any given key character. The default value of X causes all
-- Xref lines to be ignored. The corresponding data in the ALI
- -- tables will not be filled in in this case. It is not possible
+ -- tables will not be filled in this case. It is not possible
-- to ignore U (unit) lines, they are always read.
--
-- Read_Lines requests that Scan_ALI process only lines that start
-- value of 1 signals its presence in the partition.
-- Default_Stack_Size is the default stack size used when creating an Ada
- -- task with no explicit Storize_Size clause.
+ -- task with no explicit Storage_Size clause.
-- Leap_Seconds_Support denotes whether leap seconds have been enabled or
-- disabled. A value of zero indicates that leap seconds are turned "off",
Type_Level :=
Make_Integer_Literal (Loc, Type_Access_Level (Typ));
- -- Raise Program_Error if the accessibility level of the the access
+ -- Raise Program_Error if the accessibility level of the access
-- parameter is deeper than the level of the target access type.
Insert_Action (Insert_Node,
Apply_Discriminant_Check (N, Typ);
end if;
- -- Apply the the 2005 Null_Excluding check. Note that we do not apply
+ -- Apply the 2005 Null_Excluding check. Note that we do not apply
-- this check if the constraint node is illegal, as shown by having
-- an error posted. This additional guard prevents cascaded errors
-- and compiler aborts on illegal programs involving Ada 2005 checks.
-- Checks_May_Be_Suppressed (Flag31)
-- Present in all entities. Set if a pragma Suppress or Unsuppress
-- mentions the entity specifically in the second argument. If this
--- flag is set the the Global_Entity_Suppress and Local_Entity_Suppress
+-- flag is set the Global_Entity_Suppress and Local_Entity_Suppress
-- tables must be consulted to determine if the is actually an active
-- Suppress or Unsuppress pragma that applies to the entity.
-- Constant_Value (synthesized)
-- Applies to variables, constants, named integers, and named reals.
-- Obtains the initialization expression for the entity. Will return
--- Empty for for a deferred constant whose full view is not available
+-- Empty for a deferred constant whose full view is not available
-- or in some other cases of internal entities, which cannot be treated
-- as constants from the point of view of constant folding. Empty is
-- also returned for variables with no initialization expression.
-- Has_Pragma_Pack (Flag121) [implementation base type only]
-- Present in all entities. If set, indicates that a valid pragma Pack
--- was was given for the type. Note that this flag is not inherited by
+-- was given for the type. Note that this flag is not inherited by
-- derived type. See also the Is_Packed flag.
-- Has_Pragma_Pure (Flag203)
-- The limit is applied to the total number of components that the
-- aggregate will have, which is the number of static expressions
-- that will appear in the flattened array. This requires a recursive
- -- computation of the the number of scalar components of the structure.
+ -- computation of the number of scalar components of the structure.
---------------------
-- Component_Count --
begin
-- If we have no Entity, then we are probably in no run time mode
- -- or some weird error has occurred. In either case do do nothing!
+ -- or some weird error has occurred. In either case do nothing!
if Present (Ent) then
declare
-- unconstrained nominal subtype, then it acquired its constraints
-- from the expression in the first place, and not only does this
-- mean that the constraint check is not needed, but an attempt to
- -- perform the constraint check can cause order order of
- -- elaboration problems.
+ -- perform the constraint check can cause order of elaboration
+ -- problems.
if not Is_Constr_Subt_For_U_Nominal (Typ) then
Determine_Range (Right, ROK, Rlo, Rhi);
Determine_Range (Left, LOK, Llo, Lhi);
- -- 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.
-- which denotes the enclosing protected object. If the enclosing
-- operation is an entry, we are immediately within the protected body,
-- and we can retrieve the object from the service entries procedure. A
- -- barrier function has has the same signature as an entry. A barrier
+ -- barrier function has the same signature as an entry. A barrier
-- function is compiled within the protected object, but unlike
-- protected operations its never needs locks, so that its protected
-- body subprogram points to itself.
With_Attach => Make_Identifier (Loc, Name_B)));
-- When the type is also a controlled type by itself,
- -- Initialize it and attach it to the finalization chain
+ -- initialize it and attach it to the finalization chain.
if Is_Controlled (Typ) then
Append_To (Res,
Make_Identifier (Loc, Name_B)));
-- When the type is also a controlled type by itself,
- -- Adjust it it and attach it to the finalization chain
+ -- adjust it and attach it to the finalization chain.
if Is_Controlled (Typ) then
Append_To (Res,
-- objectR
- -- which is a renaming of the _object field of the current object object
+ -- which is a renaming of the _object field of the current object
-- record, passed into protected operations as a parameter.
function Concurrent_Ref (N : Node_Id) return Node_Id is
Alt_Stats := New_List;
end if;
- -- After the call, if any, branch to to trailing statements. We
+ -- After the call, if any, branch to trailing statements. We
-- create a label for each, as well as the corresponding label
-- declaration.
when ' ' =>
return True;
- -- FIFO_Within_Priorities certainly certainly does not permit this
+ -- FIFO_Within_Priorities certainly does not permit this
-- optimization since the Rendezvous is a scheduling action that may
-- require some other task to be run.
--
-- These are the external names generated for Case_1.Typ (note that
-- Pkg1.Typ is associated with the Primary Dispatch Table, because it
- -- is the the parent of this type, and hence no external name is
+ -- is the parent of this type, and hence no external name is
-- generated for it).
-- case_1__typ0P (associated with Pkg2.Typ)
-- case_1__typ1P (associated with Pkg3.Typ)
end if;
-- If the target type is a tagged synchronized type, the dispatch table
- -- info is in the correspondoing record type.
+ -- info is in the corresponding record type.
if Is_Concurrent_Type (Iface_Typ) then
Iface_Typ := Corresponding_Record_Type (Iface_Typ);
-- to the union parameter list.
-- Ordering of declarations is a complete mess in this
- -- area, it is supposed to be types/varibles, then
+ -- area, it is supposed to be types/variables, then
-- subprogram specs, then subprogram bodies ???
---------------------------------------
else
-- We have to convert the right hand side to Etype (Obj).
- -- A special case case arises if what we have now is a Val
+ -- A special case arises if what we have now is a Val
-- attribute reference whose expression type is Etype (Obj).
-- This happens for assignments of fields from the same
-- array. In this case we get the required right hand side
-- If the variable reference does not come from source, we
-- cannot reliably tell whether it appears in the else part.
- -- In particular, if if appears in generated code for a node
+ -- In particular, if it appears in generated code for a node
-- that requires finalization, it may be attached to a list
-- that has not been yet inserted into the code. For now,
-- treat it as unknown.
-- much smaller set of low level primitives with type conversions around.
--
-- In some cases, a direct binding without any intermediate body is
- -- possible or even even mandatory for technical reasons. What we provide
+ -- possible or even mandatory for technical reasons. What we provide
-- here for such cases are renamings of straight imports exposed by
-- Altivec.Low_Level_Interface. See the comments in the private part for
-- additional details.
-- the beginning, else it is appended.
function Can_Have_Parameter (S : String) return Boolean;
- -- True when S can have a parameter
+ -- True if S can have a parameter.
function Require_Parameter (S : String) return Boolean;
- -- True when S requires a parameter
+ -- True if S requires a parameter.
function Actual_Switch (S : String) return String;
-- Remove any possible trailing '!', ':', '?' and '='
-- added if not already present. For example, to add the -g switch into the
-- -cargs section, you need to call (Cmd, "-g", Section => "-cargs")
--
- -- Add_Before allows insertion of the switch at the begining of the command
- -- line.
+ -- Add_Before allows insertion of the switch at the beginning of the
+ -- command line.
procedure Add_Switch
(Cmd : in out Command_Line;
end;
-- Exit if Quit set by call to Action, either at this level
- -- or at at some lower recursive call to Next_Level.
+ -- or at some lower recursive call to Next_Level.
exit Dir_Iterator when Quit;
end loop Dir_Iterator;
-- end PingPong;
package SOSC renames System.OS_Constants;
- -- Renaming used to provide short-hand notations thoughout the sockets
+ -- Renaming used to provide short-hand notations throughout the sockets
-- binding. Note that System.OS_Constants is an internal unit, and the
-- entities declared therein are not meant for direct access by users,
-- including through this renaming.
true, Has_Component_Size_Clause (gnat_entity));
/* If the component type is a RECORD_TYPE that has a self-referential
- size, use the maxium size. */
+ size, use the maximum size. */
if (!gnu_comp_size && TREE_CODE (tem) == RECORD_TYPE
&& CONTAINS_PLACEHOLDER_P (TYPE_SIZE (tem)))
gnu_comp_size = max_size (TYPE_SIZE (tem), true);
Has_Component_Size_Clause (gnat_entity));
/* If the component type is a RECORD_TYPE that has a
- self-referential size, use the maxium size. */
+ self-referential size, use the maximum size. */
if (!gnu_comp_size
&& TREE_CODE (gnu_type) == RECORD_TYPE
&& CONTAINS_PLACEHOLDER_P (TYPE_SIZE (gnu_type)))
desired for the result. Usually the operation is to be performed
in that type. For MODIFY_EXPR and ARRAY_REF, RESULT_TYPE may be 0
in which case the type to be used will be derived from the operands. */
-extern tree build_binary_op (enum tree_code op_code, tree retult_type,
+extern tree build_binary_op (enum tree_code op_code, tree result_type,
tree left_operand, tree right_operand);
/* Similar, but make unary operation. */
/* If the case value is a subtype that raises Constraint_Error at
run-time because of a wrong bound, then gnu_low or gnu_high is
- not transtaleted into an INTEGER_CST. In such a case, we need
+ not translated into an INTEGER_CST. In such a case, we need
to ensure that the when statement is not added in the tree,
otherwise it will crash the gimplifier. */
if ((!gnu_low || TREE_CODE (gnu_low) == INTEGER_CST)
print " command line\n";
print " -ext ext : Choose the generated file names extension (default\n";
print " is htm)\n";
- print "This program attemps to generate an html file from an Ada file\n";
+ print "This program attempts to generate an html file from an Ada file\n";
exit;
}
# return 'generic package' if ($char eq 'K');
return 'block' if ($char eq 'L');
return 'modular integer' if ($char eq 'M');
- return 'enumeration litteral' if ($char eq 'N');
+ return 'enumeration literal' if ($char eq 'N');
return 'ordinary fixed point' if ($char eq 'O');
return 'access' if ($char eq 'P');
return 'label' if ($char eq 'Q');
-- it may very likely be the case that there is also pragma
-- Restriction forbidding its usage. This is typically the
-- case when building a configurable run time, where the
- -- usage of certain run-time units units is restricted by
+ -- usage of certain run-time units is restricted by
-- means of both the corresponding pragma Restriction (such
-- as No_Calendar), and by not including the unit. Hence,
-- we check whether this predefined unit is forbidden, so
-- Node N is an operator node, whose entity has been set. If this entity
-- is a user defined operator (i.e. an operator not defined in package
-- Standard), then a reference to the operator is recorded at node N.
- -- T is the operand type of of the operator. A reference to the operator
+ -- T is the operand type of the operator. A reference to the operator
-- is an implicit reference to the type, and that needs to be recorded
-- to avoid spurious warnings on unused entities, when the operator is
-- a renaming of a predefined operator.
-- directory information.
File_Name : constant String := Base_Name (Main);
- -- The simple file name of the current main main
+ -- The simple file name of the current main
begin
exit when Main = "";
elsif Sfile /= No_File then
- -- If Put_In_Q is False, we add the source as it it were specified
+ -- If Put_In_Q is False, we add the source as if it were specified
-- on the command line, and we set Put_In_Q to True, so that the
-- following sources will be put directly in the queue. This will
-- allow parallel compilation processes if -jx switch is used.
Close (FD);
- -- And invoke gnatbind with this this response file
+ -- And invoke gnatbind with this response file
Spawn (Gnatbind_Path.all, Args, Success);
function Prev (Node : Node_Id) return Node_Id;
pragma Inline (Prev);
- -- This function returns the previous node on a node list list, or Empty
+ -- This function returns the previous node on a node list, or Empty
-- if Node is the first element of the node list. The argument must be
-- a member of a node list. Note: the implementation does maintain back
-- pointers, so this function executes quickly in constant time.
Assume_No_Invalid_Values : Boolean := True;
-- ??? true for now, enable by setting to false later
-- GNAT
- -- Normallly, in accordance with (RM 13.9.1 (9-11)) the front end assumes
+ -- Normally, in accordance with (RM 13.9.1 (9-11)) the front end assumes
-- that values could have invalid representations, unless it can clearly
-- prove that the values are valid. If this switch is set (by -gnatB or by
-- pragma Assume_No_Invalid_Values (Off)), then the compiler assumes values
-- A common error is to omit the body keyword after package. We can
-- often diagnose this early on (before getting loads of errors from
- -- contained subprogram bodies), by knowing that that the file we
+ -- contained subprogram bodies), by knowing that the file we
-- are compiling has a name that requires a body to be found.
Save_Scan_State (Scan_State);
-- scanned out and is in Prev_Token.
procedure Check_If_Column;
- -- An internal procedure used to check that THEN, ELSE ELSE, or ELSIF
+ -- An internal procedure used to check that THEN, ELSE, or ELSIF
-- appear in the right place if column checking is enabled (i.e. if
-- they are the first token on the line, then they must appear in
-- the same column as the opening IF).
pragma Inline (Push_Scope_Stack);
-- Push a new entry onto the scope stack. Scope.Last (the stack pointer)
-- is incremented. The Junk field is preinitialized to False. The caller
- -- is expected to fill in all remaining entries of the new new top stack
+ -- is expected to fill in all remaining entries of the new top stack
-- entry at Scope.Table (Scope.Last).
procedure Pop_Scope_Stack;
Append);
-- If the target file exists, the contents of the source file is
-- appended at the end. Otherwise the source file is just copied. The
- -- time stamps and other file attributes are are preserved if the
+ -- time stamps and other file attributes are preserved if the
-- destination file does not exist.
type Attribute is
/*
----------------------
- -- Ioctl operatings --
+ -- Ioctl operations --
----------------------
*/
Version : String;
RCI : Boolean := True);
-- Use by the main subprogram to check that a remote receiver
- -- unit has has the same version than the caller's one.
+ -- unit has the same version than the caller's one.
function Same_Partition
(Left : not null access RACW_Stub_Type;
Expression : String;
Final_Code_Size : out Program_Size;
Flags : Regexp_Flags := No_Flags);
- -- Compile a regular expression into into internal code
+ -- Compile a regular expression into internal code
-- This procedure is significantly faster than the Compile function since
-- it avoids the extra step of precomputing the required size.
-- set a new value to the shared variable and, according to the used
-- implementation, propagate this value among processes referencing it.
-- A call to this procedure is generated by the expander after each
--- assignement of the shared varible.
+-- assignment of the shared variable.
-- Note: a special circuit allows the use of stream attributes Read and
-- Write for limited types (using the corresponding attribute for the
-- appear as used in the final measure.
-- Strategy: As the user passes the value of the bottom of stack to
- -- the instrumentation to deal with the bottom offset error, and as as
+ -- the instrumentation to deal with the bottom offset error, and as
-- the instrumentation procedure knows where the pattern filling start
-- on the stack, the difference between the two values is the minimum
-- stack usage that the method can measure. If, when the results are
begin
-- Since the initial signal mask of a thread is inherited from the
- -- creator, we need to set our local signal mask mask all signals
+ -- creator, we need to set our local signal mask to mask all signals
-- during the creation operation, to make sure the new thread is
-- not disturbed by signals before it has set its own Task_Id.
Current_Sem_Unit := Get_Cunit_Unit_Number (Comp_Unit);
-- Compile predefined units with GNAT_Mode set to True, to properly
- -- process the categorization stuff. However, do not set set GNAT_Mode
+ -- process the categorization stuff. However, do not set GNAT_Mode
-- to True for the renamings units (Text_IO, IO_Exceptions, Direct_IO,
-- Sequential_IO) as this would prevent pragma Extend_System from being
-- taken into account, for example when Text_IO is renaming DEC.Text_IO.
-- the implicit with's on parent units.
-- Skip use clauses at this stage, since we don't want to do any
- -- installing of potentially use visible entities until we we
+ -- installing of potentially use visible entities until we
-- actually install the complete context (in Install_Context).
-- Otherwise things can get installed in the wrong context.
-- scope for visibility purposes. We create an entity to denote
-- the whole exception part, and use it as the scope of all the
-- choices, which may even have the same name without conflict.
- -- This scope plays no other role in expansion or or code
- -- generation.
+ -- This scope plays no other role in expansion or code generation.
Choice := Choice_Parameter (Handler);
Num_Actuals : Int := 0;
Others_Present : Boolean := False;
- -- In Ada 2005, indicates partial parametrization of of a formal
- -- package. As usual an others association must be last in the list.
+ -- In Ada 2005, indicates partial parametrization of a formal
+ -- package. As usual an other association must be last in the list.
function Matching_Actual
(F : Entity_Id;
Abandon_Instantiation (Actual);
end if;
- -- This case should be caught by the earlier check for for
+ -- This case should be caught by the earlier check for
-- constrainedness, but the check here is added for completeness.
elsif Has_Discriminants (Act_T)
-- 1 .. 4 3 .. 6 1 3
-- 4 .. 7 0 .. 3 4 0
- -- The general rule is that the first bit is is obtained by
+ -- The general rule is that the first bit is obtained by
-- subtracting the old ending bit from machine scalar size - 1.
for C in Start .. Stop loop
-- If the current scope is a protected type, the anonymous access
-- is associated with one of the protected operations, and must
-- be available in the scope that encloses the protected declaration.
- -- Otherwise the type is is in the scope enclosing the subprogram.
+ -- Otherwise the type is in the scope enclosing the subprogram.
if Ekind (Current_Scope) = E_Protected_Type then
Anon_Scope := Scope (Scope (Defining_Entity (Related_Nod)));
-- A bit of a kludge here. These kludges will be removed when Itypes
-- have proper parent pointers to their declarations???
- -- Kludge 1) Link definining_identifier of formals. Required by
+ -- Kludge 1) Link defining_identifier of formals. Required by
-- First_Formal to provide its functionality.
declare
End_Scope;
- -- If the type has discriminants, non-trivial subtypes may be be
+ -- If the type has discriminants, non-trivial subtypes may be
-- declared before the full view of the type. The full views of those
-- subtypes will be built after the full view of the type.
-- Ada 2005 (AI-251): If the parent of the private type declaration
-- is an interface there is no need to check that it is an ancestor
-- of the associated full type declaration. The required tests for
- -- this case case are performed by Build_Derived_Record_Type.
+ -- this case are performed by Build_Derived_Record_Type.
elsif not Is_Interface (Base_Type (Priv_Parent))
and then not Is_Ancestor (Base_Type (Priv_Parent), Full_Parent)
Prim_Elmt := First_Elmt (Priv_List);
-- In the case of a concurrent type completing a private tagged
- -- type, primivies may have been declared in between the two
+ -- type, primitives may have been declared in between the two
-- views. These subprograms need to be wrapped the same way
-- entries and protected procedures are handled because they
-- cannot be directly shared by the two views.
-- attributes of a class wide type are inherited from those of the type T.
-- If T is introduced by a private declaration, the corresponding class
-- wide type is created at the same time, and therefore there is a private
- -- and a full declaration for the class wide type type as well.
+ -- and a full declaration for the class wide type as well.
function OK_For_Limited_Init_In_05 (Exp : Node_Id) return Boolean;
-- Presuming Exp is an expression of an inherently limited type, returns
Check_Fully_Declared (Type_Id, N);
-- Ada 2005 (AI-231): If the designated type is itself an access
- -- type that excludes null, it's default initializastion will
+ -- type that excludes null, its default initialization will
-- be a null object, and we can insert an unconditional raise
-- before the allocator.
-- Note that wrappers already have their corresponding specs and
-- bodies set during their creation, so if the candidate spec is
- -- a wrapper, then we definately need to swap all types to their
+ -- a wrapper, then we definitely need to swap all types to their
-- original concurrent status.
if No (Spec_N)
end if;
-- If this is a derived subprogram then the subtypes of the parent
- -- subprogram's formal parameters will be used to to determine the need
+ -- subprogram's formal parameters will be used to determine the need
-- for extra formals.
if Is_Overloadable (E) and then Present (Alias (E)) then
then
if not Has_Private_Declaration (Etype (Id)) then
- -- We assume that the user did not not intend a deferred
+ -- We assume that the user did not intend a deferred
-- constant declaration, and the expression is just missing.
Error_Msg_N
Check_Frozen_Renaming (N, Rename_Spec);
-- Check explicitly that renamed entity is not intrinsic, because
- -- in in a generic the renamed body is not built. In this case,
+ -- in a generic the renamed body is not built. In this case,
-- the renaming_as_body is a completion.
if Inside_A_Generic then
end if;
-- Operator is visible if prefix of expanded name denotes
- -- scope of type, or else type type is defined in System_Aux
+ -- scope of type, or else type is defined in System_Aux
-- and the prefix denotes System.
return Scope (Btyp) = Scop
end loop;
-- Find last non-space before this colon. If there
- -- is no no space character before this colon, then
+ -- is no space character before this colon, then
-- return False. Otherwise, End_Idx set to point to
-- this non-space character.
return;
end if;
- -- Import pragmas must be be for imported entities
+ -- Import pragmas must be for imported entities
if Prag_Id = Pragma_Import_Function
or else
Process_Interface_Name (Def_Id, Arg3, Arg4);
-- Note that we do not set Is_Public here. That's because we
- -- only want to set if if there is no address clause, and we
+ -- only want to set it if there is no address clause, and we
-- don't know that yet, so we delay that processing till
-- freeze time.
return Object_Access_Level (Expression (Obj));
-- Function results are objects, so we get either the access level of
- -- the function or, in the case of an indirect call, the level of of the
+ -- the function or, in the case of an indirect call, the level of the
-- access-to-subprogram type.
elsif Nkind (Obj) = N_Function_Call then
-- Given an entity for an exception, package, subprogram or generic unit,
-- returns the ultimately renamed entity if this is a renaming. If this is
-- not a renamed entity, returns its argument. It is an error to call this
- -- with any any other kind of entity.
+ -- with any other kind of entity.
function Get_Subprogram_Entity (Nod : Node_Id) return Entity_Id;
-- Nod is either a procedure call statement, or a function call, or
-- Suppress warning if private type, and the procedure
-- has a separate declaration in a different unit. This
-- is the case where the client of a package sees only
- -- the private type, and it it may be quite reasonable
+ -- the private type, and it may be quite reasonable
-- for the logical view to be in out, even if the
-- implementation ends up using access types or some
-- other method to achieve the local effect of a
-- is undefined and should not be read).
-- No_Ctrl_Actions (Flag7-Sem)
- -- Present in N_Assignment_Statement to indicate that no finalize nor nor
+ -- Present in N_Assignment_Statement to indicate that no finalize nor
-- adjust should take place on this assignment even though the rhs is
-- controlled. This is used in init procs and aggregate expansions where
-- the generated assignments are more initialisations than real
-- and N_Extended_Return_Statement nodes. References the entity for the
-- storage pool to be used for the allocate or free call or for the
-- allocation of the returned value from function. Empty indicates that
- -- the global default default pool is to be used. Note that in the case
+ -- the global default pool is to be used. Note that in the case
-- of a return statement, this field is set only if the function returns
-- value of a type whose size is not known at compile time on the
-- secondary stack.
-- Non_Lower_Case_Keyword --
----------------------------
- -- In check casing mode (-gnatyk), reserved keywords must be be spelled
+ -- In check casing mode (-gnatyk), reserved keywords must be spelled
-- in all lower case (excluding keywords range, access, delta and digits
-- used as attribute designators).
-- /ERROR_LIMIT=nnn
--
-- NNN is a decimal integer in the range of 1 to 1000 and limits the
- -- number of diagnostic messages to be generated into Stdoutto that
+ -- number of diagnostic messages to be generated into Stdout to that
-- number. Once that number has been reached, gnatcheck stops
-- to print out diagnoses into Stderr. If NNN is equal to 0, this means
-- that there is no limit on the number of diagnoses in Stdout
--
-- Specifies the syntax element metrics to be computed (if at least one
-- positive syntax element metric, line metric, complexity or coupling
- -- metric is specified then only explicitly specified specified syntax
- -- element metrics are computed and reported)
+ -- metric is specified then only explicitly specified syntax element
+ -- metrics are computed and reported)
--
-- option may be one of the following:
--
-- Specifies the line metrics to be computed (if at least one positive
-- syntax element metric, line metric, complexity or coupling metric is
- -- specified then only explicitly specified specified line metrics are
- -- computed and reported)
+ -- specified then only explicitly specified line metrics are computed
+ -- and reported)
--
-- option may be one of the following:
--
-- Specifies the complexity metrics to be computed (if at least one
-- positive syntax element metric, line metric, complexity or coupling
- -- metric is specified then only explicitly specified specified complexity
- -- metrics are computed and reported)
+ -- metric is specified then only explicitly specified complexity metrics
+ -- are computed and reported)
--
-- option may be one of the following:
--