+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>
* exp_dbug.adb: Comment reformatting.
declare
Nodes : Tree_Node_Array renames Object.Container.Nodes;
Node : Count_Type;
+
begin
Node := Position.Node;
use Ada.Streams;
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
First : Count_Type'Base;
-- 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;
overriding function First (Object : Subtree_Iterator) return Cursor;
(Ada_Version < Ada_2005
or else
not Effectively_Has_Constrained_Partial_View
- (Typ => Designated_Type (Base_Type (Typ)),
- Scop => Current_Scope))
+ (Typ => Designated_Type (Base_Type (Typ)),
+ Scop => Current_Scope))
then
null;
then
declare
D : constant Node_Id := Declaration_Node (Entity (P));
-
begin
Error_Msg_N ("aliased object has explicit bounds?",
D);
-- In case of previous errors, other expansion actions that provide
-- bodies for null procedures with not be invoked, so inhibit message
-- in those cases.
+
-- Note that E_Operator is not in the list that follows, because
-- this kind is reserved for predefined operators, that are
-- intrinsic and do not need completion.
May_Need_Implicit_Body (E);
end if;
+ -- Comment needed here for Is_Generic_Type test ???
+
elsif Ekind (E) = E_Incomplete_Type
and then No (Underlying_Type (E))
and then not Is_Generic_Type (E)