+2012-08-06 Vincent Pucci <pucci@adacore.com>
+
+ * s-atopri.adb: Minor reformatting.
+
+2012-08-06 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat-style.texi: Clarify that all subprograms should be
+ documented. Minor rewording.
+
2012-08-06 Robert Dewar <dewar@adacore.com>
* aspects.ads: Define Aspect_Id_Exclude_No_Aspect.
one context, where comments explain their purpose.
@item
-When starting a default expression on the line that follows the declaration
-line, use 2 characters for indentation.
+When starting an initialization or default expression on the line that follows
+the declaration line, use 2 characters for indentation.
@smallexample @c adanocomment
Entity1 : Integer :=
@end smallexample
@item
-If a default expression needs to be continued on subsequent lines, the
-continuations should be indented from the start of the expression.
+If an initialization or default expression needs to be continued on subsequent
+lines, the continuations should be indented from the start of the expression.
@smallexample @c adanocomment
- Entity1 : Integer := Long_Function_Name
- (parameters for call);
+ Entity1 : Integer := Long_Function_Name
+ (parameters for call);
@end smallexample
@end itemize
of declarations that are related.
@item
-Every subprogram body must have a preceding @syntax{subprogram_declaration}.
+Every subprogram body must have a preceding @syntax{subprogram_declaration},
+which includes proper client documentation so that you do not need to
+read the subprogram body in order to understand what the subprogram does and
+how to call it. All subprograms should be documented, without exceptions.
@item
@cindex Blank lines (in subprogram bodies)
end if;
end Lock_Free_Read_8;
- ----------------------
+ -----------------------
-- Lock_Free_Read_16 --
- ----------------------
+ -----------------------
function Lock_Free_Read_16 (Ptr : Address) return uint16 is
begin
end if;
end Lock_Free_Read_16;
- ----------------------
+ -----------------------
-- Lock_Free_Read_32 --
- ----------------------
+ -----------------------
function Lock_Free_Read_32 (Ptr : Address) return uint32 is
begin
end if;
end Lock_Free_Read_32;
- ----------------------
+ -----------------------
-- Lock_Free_Read_64 --
- ----------------------
+ -----------------------
function Lock_Free_Read_64 (Ptr : Address) return uint64 is
begin