-- we also generate an extra parameter to hold the Constrained
-- attribute of the actual. No renaming is generated for this flag.
- -- Calling Node_Possible_Modifications in the expander is dubious,
+ -- Calling Note_Possible_Modification in the expander is dubious,
-- because this generates a cross-reference entry, and should be
-- done during semantic processing so it is called in -gnatc mode???
-- --
-- B o d y --
-- --
--- Copyright (C) 2006-2007, AdaCore --
+-- Copyright (C) 2006-2008, AdaCore --
-- --
-- GNAT 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- --
then
Len := 2;
BOM := UTF16_LE;
+
-- UTF-8 (endian-independent)
elsif Str'Length >= 3
and then Str (Str'First + 2) = Character'Val (16#78#)
and then Str (Str'First + 3) = Character'Val (16#6D#)
then
- -- Utf8, ASCII, some part of ISO8859, Shift-JIS, EUC,...
+ -- UTF-8, ASCII, some part of ISO8859, Shift-JIS, EUC,...
Len := 0;
BOM := Unknown;
Objs_End := Linker_Objects.Last;
- -- Let's continue to compute the Link_Bytes, the linker options are
- -- part of command line length.
+ -- Continue to compute the Link_Bytes, the linker options are part of
+ -- command line length.
Store_File_Context;
while Next_Line (Nfirst .. Nlast) /= End_Info loop
Link_Bytes := Link_Bytes + Nlast - Nfirst + 2;
- -- See comment above
Get_Next_Line;
end loop;
-- --
-- B o d y --
-- --
--- Copyright (C) 2003-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 2003-2008, Free Software Foundation, Inc. --
-- --
-- GNAT 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- --
""" not found");
end if;
- -- Initialize the scanner and set its behavior for a processing data
- -- file
+ -- Initialize scanner and set its behavior for processing a data file
Scn.Scanner.Initialize_Scanner (Source_Index_Of_Preproc_Data_File);
Scn.Scanner.Set_End_Of_Line_As_Token (True);
------------------------------------------------------------------------------
-- This package contains definitions of standard unsigned types that
--- correspond in size to the standard signed types declared in Standard.
+-- correspond in size to the standard signed types declared in Standard,
-- and (unlike the types in Interfaces) have corresponding names. It
-- also contains some related definitions for other specialized types
-- used by the compiler in connection with packed array types.
Save_Parent : Node_Id;
begin
- -- Create copy of generic unit,and save for instantiation. If the unit
+ -- Create copy of generic unit, and save for instantiation. If the unit
-- is a child unit, do not copy the specifications for the parent, which
-- are not part of the generic tree.
Create_Instantiation_Source (N, Gen_Unit, False, S_Adjustment);
-- Copy original generic tree, to produce text for instantiation
- -- Inherit overriding indicator from instance node.
Act_Tree :=
Copy_Generic_Node
(Original_Node (Gen_Decl), Empty, Instantiating => True);
+ -- Inherit overriding indicator from instance node
+
Act_Spec := Specification (Act_Tree);
- Set_Must_Override (Act_Spec, Must_Override (N));
+ Set_Must_Override (Act_Spec, Must_Override (N));
Set_Must_Not_Override (Act_Spec, Must_Not_Override (N));
Renaming_List :=
-- Verify that the actual subprograms match. Note that actuals
-- that are attributes are rewritten as subprograms. If the
-- subprogram in the formal package is defaulted, no check is
- -- needed. Note that this can only happen in Ada2005 when the
+ -- needed. Note that this can only happen in Ada 2005 when the
-- formal package can be partially parametrized.
if Nkind (Unit_Declaration_Node (E1)) =
Check_Restriction (No_Fixed_Point, Actual);
end if;
- -- Deal with error of using incomplete type as generic actual
+ -- Deal with error of using incomplete type as generic actual.
+ -- This includes limited views of a type, even if the non-limited
+ -- view may be available.
if Ekind (Act_T) = E_Incomplete_Type
or else (Is_Class_Wide_Type (Act_T)
-- Note: overriding indicator is an Ada 2005 feature
- ------------------------------
- -- 12.3 Generic Actual Part --
- ------------------------------
+ -------------------------------
+ -- 12.3 Generic Actual Part --
+ -------------------------------
-- GENERIC_ACTUAL_PART ::=
-- (GENERIC_ASSOCIATION {, GENERIC_ASSOCIATION})
-- [generic_formal_parameter_SELECTOR_NAME =>]
-- Note: unlike the procedure call case, a generic association node
- -- is generated for every association, even if no formal is present.
- -- In this case the parser will leave the Selector_Name field set
- -- to Empty, to be filled in later by the semantic pass.
+ -- is generated for every association, even if no formal parameter
+ -- selector name is present. In this case the parser will leave the
+ -- Selector_Name field set to Empty, to be filled in later by the
+ -- semantic pass.
-- In Ada 2005, a formal may be associated with a box, if the
-- association is part of the list of actuals for a formal package.
projects / gcc.git / commitdiff