sem_ch3.adb, [...]: Minor reformatting.
2011-12-02 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, sem_attr.adb, a-comutr.adb, a-cbmutr.adb, a-cbmutr.ads: Minor reformatting. From-SVN: r181922
This commit is contained in:
parent
cbe9d63036
commit
d600ef1636
@ -1,3 +1,8 @@
|
|||||||
|
2011-12-02 Robert Dewar <dewar@adacore.com>
|
||||||
|
|
||||||
|
* sem_ch3.adb, sem_attr.adb, a-comutr.adb, a-cbmutr.adb,
|
||||||
|
a-cbmutr.ads: Minor reformatting.
|
||||||
|
|
||||||
2011-12-02 Hristian Kirtchev <kirtchev@adacore.com>
|
2011-12-02 Hristian Kirtchev <kirtchev@adacore.com>
|
||||||
|
|
||||||
* exp_dbug.adb: Comment reformatting.
|
* exp_dbug.adb: Comment reformatting.
|
||||||
|
@ -2047,6 +2047,7 @@ package body Ada.Containers.Bounded_Multiway_Trees is
|
|||||||
declare
|
declare
|
||||||
Nodes : Tree_Node_Array renames Object.Container.Nodes;
|
Nodes : Tree_Node_Array renames Object.Container.Nodes;
|
||||||
Node : Count_Type;
|
Node : Count_Type;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
Node := Position.Node;
|
Node := Position.Node;
|
||||||
|
|
||||||
|
@ -302,6 +302,9 @@ private
|
|||||||
use Ada.Streams;
|
use Ada.Streams;
|
||||||
|
|
||||||
No_Node : constant Count_Type'Base := -1;
|
No_Node : constant Count_Type'Base := -1;
|
||||||
|
-- Need to document all global declarations such as this ???
|
||||||
|
|
||||||
|
-- Following decls also need much more documentation ???
|
||||||
|
|
||||||
type Children_Type is record
|
type Children_Type is record
|
||||||
First : Count_Type'Base;
|
First : Count_Type'Base;
|
||||||
|
@ -51,6 +51,9 @@ package body Ada.Containers.Multiway_Trees is
|
|||||||
-- Subtree_Iterator --
|
-- Subtree_Iterator --
|
||||||
-----------------------
|
-----------------------
|
||||||
|
|
||||||
|
-- ??? these headers are a bit odd, but for sure they do not substitute
|
||||||
|
-- for documenting things, what *is* a Subtree_Iterator?
|
||||||
|
|
||||||
type Subtree_Iterator is new Root_Iterator with null record;
|
type Subtree_Iterator is new Root_Iterator with null record;
|
||||||
|
|
||||||
overriding function First (Object : Subtree_Iterator) return Cursor;
|
overriding function First (Object : Subtree_Iterator) return Cursor;
|
||||||
|
@ -8633,8 +8633,8 @@ package body Sem_Attr is
|
|||||||
(Ada_Version < Ada_2005
|
(Ada_Version < Ada_2005
|
||||||
or else
|
or else
|
||||||
not Effectively_Has_Constrained_Partial_View
|
not Effectively_Has_Constrained_Partial_View
|
||||||
(Typ => Designated_Type (Base_Type (Typ)),
|
(Typ => Designated_Type (Base_Type (Typ)),
|
||||||
Scop => Current_Scope))
|
Scop => Current_Scope))
|
||||||
then
|
then
|
||||||
null;
|
null;
|
||||||
|
|
||||||
@ -8648,7 +8648,6 @@ package body Sem_Attr is
|
|||||||
then
|
then
|
||||||
declare
|
declare
|
||||||
D : constant Node_Id := Declaration_Node (Entity (P));
|
D : constant Node_Id := Declaration_Node (Entity (P));
|
||||||
|
|
||||||
begin
|
begin
|
||||||
Error_Msg_N ("aliased object has explicit bounds?",
|
Error_Msg_N ("aliased object has explicit bounds?",
|
||||||
D);
|
D);
|
||||||
|
@ -9526,6 +9526,7 @@ package body Sem_Ch3 is
|
|||||||
-- In case of previous errors, other expansion actions that provide
|
-- In case of previous errors, other expansion actions that provide
|
||||||
-- bodies for null procedures with not be invoked, so inhibit message
|
-- bodies for null procedures with not be invoked, so inhibit message
|
||||||
-- in those cases.
|
-- in those cases.
|
||||||
|
|
||||||
-- Note that E_Operator is not in the list that follows, because
|
-- Note that E_Operator is not in the list that follows, because
|
||||||
-- this kind is reserved for predefined operators, that are
|
-- this kind is reserved for predefined operators, that are
|
||||||
-- intrinsic and do not need completion.
|
-- intrinsic and do not need completion.
|
||||||
@ -9583,6 +9584,8 @@ package body Sem_Ch3 is
|
|||||||
May_Need_Implicit_Body (E);
|
May_Need_Implicit_Body (E);
|
||||||
end if;
|
end if;
|
||||||
|
|
||||||
|
-- Comment needed here for Is_Generic_Type test ???
|
||||||
|
|
||||||
elsif Ekind (E) = E_Incomplete_Type
|
elsif Ekind (E) = E_Incomplete_Type
|
||||||
and then No (Underlying_Type (E))
|
and then No (Underlying_Type (E))
|
||||||
and then not Is_Generic_Type (E)
|
and then not Is_Generic_Type (E)
|
||||||
|
Loading…
Reference in New Issue
Block a user