elsif Is_Scalar_Type (Target_Type) then
declare
- Conv_OK : constant Boolean := Conversion_OK (N);
+ Conv_OK : constant Boolean := Conversion_OK (N);
-- If the Conversion_OK flag on the type conversion is set and no
-- floating-point type is involved in the type conversion then
-- fixed-point values must be read as integral values.
Convert_To_Positional (N);
- -- if the result is no longer an aggregate (e.g. it may be a string
+ -- If the result is no longer an aggregate (e.g. it may be a string
-- literal, or a temporary which has the needed value), then we are
-- done, since there is no longer a nested aggregate.
Convert_To_Assignments (N, Typ);
-- In all other cases, build a proper aggregate to be handled by
- -- the back-end
+ -- the back-end.
else
Build_Back_End_Aggregate;
----------------------------------
procedure Expand_N_Attribute_Reference (N : Node_Id) is
- Loc : constant Source_Ptr := Sloc (N);
- Pref : constant Node_Id := Prefix (N);
- Exprs : constant List_Id := Expressions (N);
+ Loc : constant Source_Ptr := Sloc (N);
+ Pref : constant Node_Id := Prefix (N);
+ Exprs : constant List_Id := Expressions (N);
function Get_Integer_Type (Typ : Entity_Id) return Entity_Id;
-- Return a small integer type appropriate for the enumeration type
Analyze (N);
end Rewrite_Attribute_Proc_Call;
- Typ : constant Entity_Id := Etype (N);
- Btyp : constant Entity_Id := Base_Type (Typ);
- Ptyp : constant Entity_Id := Etype (Pref);
- Id : constant Attribute_Id := Get_Attribute_Id (Attribute_Name (N));
+ Typ : constant Entity_Id := Etype (N);
+ Btyp : constant Entity_Id := Base_Type (Typ);
+ Ptyp : constant Entity_Id := Etype (Pref);
+ Id : constant Attribute_Id := Get_Attribute_Id (Attribute_Name (N));
-- Start of processing for Expand_N_Attribute_Reference
| N_Function_Call
| N_Procedure_Call_Statement);
- -- Check that this is not the call in the body of the wrapper.
+ -- Check that this is not the call in the body of the wrapper
if Must_Rewrite_Indirect_Call
and then (not Is_Overloadable (Current_Scope)
or else not Is_Access_Subprogram_Wrapper (Current_Scope))
then
declare
- Loc : constant Source_Ptr := Sloc (N);
- Wrapper : constant Entity_Id :=
+ Loc : constant Source_Ptr := Sloc (N);
+ Wrapper : constant Entity_Id :=
Access_Subprogram_Wrapper (Etype (Name (N)));
Ptr : constant Node_Id := Prefix (Name (N));
Ptr_Type : constant Entity_Id := Etype (Ptr);
Typ : constant Entity_Id := Etype (N);
New_N : Node_Id;
- Parms : List_Id := Parameter_Associations (N);
+ Parms : List_Id := Parameter_Associations (N);
Ptr_Act : Node_Id;
begin
if Nkind (N) = N_Procedure_Call_Statement then
New_N := Make_Procedure_Call_Statement (Loc,
- Name => New_Occurrence_Of (Wrapper, Loc),
+ Name => New_Occurrence_Of (Wrapper, Loc),
Parameter_Associations => Parms);
else
New_N := Make_Function_Call (Loc,
if Has_Invariants (Curr_Typ)
and then Present (Invariant_Procedure (Curr_Typ))
then
- -- Verify the invariate of the current type. Generate:
+ -- Verify the invariant of the current type. Generate:
-- <Curr_Typ>Invariant (Curr_Typ (Arg));
end;
end if;
- -- if this is a call to a predicate function, try to constant
- -- fold it.
+ -- If this is a call to a predicate function, try to constant fold it
if Nkind (Call_Node) = N_Function_Call
and then Is_Entity_Name (Name (Call_Node))
end if;
-- Ada 2005 (AI-251): If some formal is a class-wide interface, expand
- -- it to point to the correct secondary virtual table
+ -- it to point to the correct secondary virtual table.
if Nkind (Call_Node) in N_Subprogram_Call
and then CW_Interface_Formals_Present
-- A call to a null procedure is replaced by a null statement, but we
-- are not allowed to ignore possible side effects of the call, so we
-- make sure that actuals are evaluated.
- -- We also suppress this optimization for GNATCoverage.
+ -- We also suppress this optimization for GNATcoverage.
elsif Is_Null_Procedure (Subp)
and then not Opt.Suppress_Control_Flow_Optimizations
-- If Rep_Clauses are to be ignored, remove address clause from
-- list attached to entity, because it may be illegal for gigi,
- -- for example by breaking order of elaboration..
+ -- for example by breaking order of elaboration.
if Ignore_Rep_Clauses then
declare
-- Copy the expression so that it is resolved
-- independently for each component, This is needed
- -- for accessibility checks on compoents of anonymous
+ -- for accessibility checks on components of anonymous
-- access types, even in compile_only mode.
if not Inside_A_Generic then
end if;
-- Verify the consistency of types when the current component is
- -- part of a miltiple component update.
+ -- part of a multiple component update.
-- Comp_1 | ... | Comp_N => <value>
--------------------
procedure Eval_Attribute (N : Node_Id) is
- Loc : constant Source_Ptr := Sloc (N);
+ Loc : constant Source_Ptr := Sloc (N);
C_Type : constant Entity_Id := Etype (N);
-- The type imposed by the context
end if;
end;
- -- within a generic unit, prevent a double analysis of the body
+ -- Within a generic unit, prevent a double analysis of the body
-- which will not be marked analyzed yet. This will happen when
-- the freeze node is created during the preanalysis of an
-- expression function.
-- is the pragma or representation clause itself, used for placing error
-- messages if the item is too late.
--
- -- Fonly is a flag that causes only the freezing rule (para 9) to be
+ -- FOnly is a flag that causes only the freezing rule (para 9) to be
-- applied, and the tests of para 10 are skipped. This is appropriate for
-- both subtype related attributes (Alignment and Size) and for stream
-- attributes, which, although certainly not subtype related attributes,
-- If the expression is a completion, Prev is the entity whose
-- declaration is completed. Def_Id is needed to analyze the spec.
- -- Start of processing for Analyze_Expression_Function
-
begin
-- This is one of the occasions on which we transform the tree during
-- semantic analysis. If this is a completion, transform the expression
-- Eval_Op_Not --
-----------------
- -- The not operation is a static functions, so the result is potentially
+ -- The not operation is a static function, so the result is potentially
-- static if the operand is potentially static (RM 4.9(7), 4.9(20)).
procedure Eval_Op_Not (N : Node_Id) is
function Is_True (U : Uint) return Boolean is
begin
- return (U /= 0);
+ return U /= 0;
end Is_True;
--------------------------------------