2013-07-05 Robert Dewar <dewar@adacore.com>
+ * gnat_rm.texi, sem_prag.adb: Minor comment/text fixes.
+
+2013-07-05 Robert Dewar <dewar@adacore.com>
+
* gnat_rm.texi: Add missing doc for various pragmas.
2013-07-05 Robert Dewar <dewar@adacore.com>
@node Pragma Short_Circuit_And_Or
@unnumberedsec Pragma Short_Circuit_And_Or
@findex Short_Circuit_And_Or
+@noindent
+Syntax:
+
+@smallexample @c ada
+pragma Short_Circuit_And_Or;
+@end smallexample
@noindent
This configuration pragma causes any occurrence of the AND operator applied to
Check_No_Identifiers;
Check_At_Least_N_Arguments (1);
+ -- Check all arguments are names of generic units or instances
+
Arg := Arg1;
while Present (Arg) loop
Exp := Get_Pragma_Arg (Arg);
-- Short_Circuit_And_Or --
--------------------------
+ -- pragma Short_Circuit_And_Or;
+
when Pragma_Short_Circuit_And_Or =>
GNAT_Pragma;
Check_Arg_Count (0);
-- Share_Generic --
-------------------
- -- pragma Share_Generic (NAME {, NAME});
+ -- pragma Share_Generic (GNAME {, GNAME});
+
+ -- GNAME ::= generic_unit_NAME | generic_instance_NAME
when Pragma_Share_Generic =>
GNAT_Pragma;