sem_ch3.adb, [...]: Minor reformatting, rewording, and typo corrections.
authorGary Dismukes <dismukes@adacore.com>
Tue, 24 Nov 2015 09:22:24 +0000 (09:22 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 24 Nov 2015 09:22:24 +0000 (10:22 +0100)
2015-11-24  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb, sem_type.adb, sem_ch7.adb, sem_ch9.adb, checks.adb,
sem_prag.adb, contracts.adb, g-strhas.ads, sem_ch6.adb: Minor
reformatting, rewording, and typo corrections.

From-SVN: r230794

gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/contracts.adb
gcc/ada/g-strhas.ads
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_ch7.adb
gcc/ada/sem_ch9.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_type.adb

index caea65a6a22109ebd9135be0ccb34ebb72545a40..a83124f2cc243b616b645491458d5e2434fc20d3 100644 (file)
@@ -1,3 +1,9 @@
+2015-11-24  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_ch3.adb, sem_type.adb, sem_ch7.adb, sem_ch9.adb, checks.adb,
+       sem_prag.adb, contracts.adb, g-strhas.ads, sem_ch6.adb: Minor
+       reformatting, rewording, and typo corrections.
+
 2015-11-24  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/decl.c (gnat_to_gnu_entity) <Concurrent types>: In
index 05a313ebbd292984e595df9847c2432ece0f3457..908837cd01544ca2425135e07ac24fa6f7dac22a 100644 (file)
@@ -921,7 +921,7 @@ package body Checks is
       --    range of x op y is included in the range of type1
       --    size of type1 is at least twice the result size of op
 
-      --  then we don't do an overflow check in any case, instead we transform
+      --  then we don't do an overflow check in any case. Instead, we transform
       --  the operation so that we end up with:
 
       --    type1 (type1 (x) op type1 (y))
@@ -1262,7 +1262,7 @@ package body Checks is
          --  is replaced with a reference to Rnn.
 
          --  If our parent is a conversion node then there is no point in
-         --  generating a conversion to Result_Type, we will let the parent
+         --  generating a conversion to Result_Type. Instead, we let the parent
          --  handle this. Note that this special case is not just about
          --  optimization. Consider
 
index 8eb5d8ea4f2bc113479ced08d82196fcb1f818ce..ebaecc09512d8923c6d87f4e4bb54e204283edab 100644 (file)
@@ -58,7 +58,7 @@ package body Contracts is
    --  Analyze_Previous_Constracts. Analyze the contracts of all constructs in
    --  the list L. If Freeze_Nod is set, then the analysis stops when the node
    --  is reached. Freeze_Id is the entity of some related context which caused
-   --  freezing upto node Freeze_Nod.
+   --  freezing up to node Freeze_Nod.
 
    procedure Expand_Subprogram_Contract (Body_Id : Entity_Id);
    --  Expand the contracts of a subprogram body and its correspoding spec (if
@@ -1120,7 +1120,7 @@ package body Contracts is
          Par := Parent (Par);
       end loop;
 
-      --  Analyze the contracts of all eligible construct upto the body which
+      --  Analyze the contracts of all eligible construct up to the body which
       --  caused the "freezing".
 
       if Is_List_Member (Body_Decl) then
index 6a7d251e6f4bf5d77081de14955fa708955077a9..c20b678c9faba0e90a9d7362dbebfecfefe4e36d 100644 (file)
@@ -34,7 +34,7 @@
 --  string hash functions in Ada.Containers.
 --
 --  The algorithm used here is not appropriate for applications that require
---  cryptographically strong hashes, or for application which wish to use very
+--  cryptographically strong hashes, or for applications that wish to use very
 --  wide hash values as pseudo unique identifiers. In such cases please refer
 --  to GNAT.SHA1 and GNAT.MD5.
 
index 78fa19f0cbbd8b2bd59fbe0b781e17f2b8a464c1..35d2b9810bf89c3b041274267f823e1f11367d03 100644 (file)
@@ -2507,9 +2507,9 @@ package body Sem_Ch3 is
 
             Check_Unused_Body_States (Defining_Entity (Context));
 
-            --  State refinements are visible upto the end the of the package
-            --  body declarations. Hide the state refinements from visibility
-            --  to restore the original state conditions.
+            --  State refinements are visible up to the end of the package body
+            --  declarations. Hide the state refinements from visibility to
+            --  restore the original state conditions.
 
             Remove_Visible_Refinements (Corresponding_Spec (Context));
          end if;
index f193f5527b1c60812e88736f7f2c25d8ae7515e1..9474ef57af57cc1f2147260e683ee0bc2aa50f50 100644 (file)
@@ -2980,7 +2980,7 @@ package body Sem_Ch6 is
    begin
       --  A [generic] subprogram body "freezes" the contract of the nearest
       --  enclosing package body and all other contracts encountered in the
-      --  same declarative part upto and excluding the subprogram body:
+      --  same declarative part up to and excluding the subprogram body:
 
       --    package body Nearest_Enclosing_Package
       --      with Refined_State => (State => Constit)
index 18cd618a547769e42d0447e4378cdafc7d8e324a..e182771aef4328ea1d87d3d54a5b7d4e715edaba 100644 (file)
@@ -544,7 +544,7 @@ package body Sem_Ch7 is
    begin
       --  A [generic] package body "freezes" the contract of the nearest
       --  enclosing package body and all other contracts encountered in the
-      --  same declarative part upto and excluding the package body:
+      --  same declarative part up to and excluding the package body:
 
       --    package body Nearest_Enclosing_Package
       --      with Refined_State => (State => Constit)
index b67b248952f198e2f70bee0e2f6d9d6df2ba92a0..bbb801824b17b193f0cc54783480c452d9c8a241 100644 (file)
@@ -1194,7 +1194,7 @@ package body Sem_Ch9 is
    begin
       --  An entry body "freezes" the contract of the nearest enclosing package
       --  body and all other contracts encountered in the same declarative part
-      --  upto and excluding the entry body. This ensures that any annotations
+      --  up to and excluding the entry body. This ensures that any annotations
       --  referenced by the contract of an entry or subprogram body declared
       --  within the current protected body are available.
 
@@ -1769,7 +1769,7 @@ package body Sem_Ch9 is
    begin
       --  A protected body "freezes" the contract of the nearest enclosing
       --  package body and all other contracts encountered in the same
-      --  declarative part upto and excluding the protected body. This ensures
+      --  declarative part up to and excluding the protected body. This ensures
       --  that any annotations referenced by the contract of an entry or
       --  subprogram body declared within the current protected body are
       --  available.
@@ -2810,7 +2810,7 @@ package body Sem_Ch9 is
    begin
       --  A task body "freezes" the contract of the nearest enclosing package
       --  body and all other contracts encountered in the same declarative part
-      --  upto and excluding the task body. This ensures that annotations
+      --  up to and excluding the task body. This ensures that annotations
       --  referenced by the contract of an entry or subprogram body declared
       --  within the current protected body are available.
 
index 5ad3a555cedef11de7c5fe7adc00511af67e8540..3c8b6a5fb2aeac619cbb7f15e8b1cf0cf21ccb08 100644 (file)
@@ -358,7 +358,7 @@ package body Sem_Prag is
 
       Others_Seen : Boolean := False;
       --  This flag is set when an "others" choice is encountered. It is used
-      --  to detect multiple illegal occurences of "others".
+      --  to detect multiple illegal occurrences of "others".
 
       procedure Analyze_Contract_Case (CCase : Node_Id);
       --  Verify the legality of a single contract case
@@ -411,7 +411,7 @@ package body Sem_Prag is
                Preanalyze_Assert_Expression (Case_Guard, Standard_Boolean);
 
                --  Emit a clarification message when the case guard contains
-               --  at leat one undefined reference, possibly due to contract
+               --  at least one undefined reference, possibly due to contract
                --  "freezing".
 
                if Errors /= Serious_Errors_Detected
@@ -426,7 +426,7 @@ package body Sem_Prag is
             Preanalyze_Assert_Expression (Conseq, Standard_Boolean);
 
             --  Emit a clarification message when the consequence contains
-            --  at leat one undefined reference, possibly due to contract
+            --  at least one undefined reference, possibly due to contract
             --  "freezing".
 
             if Errors /= Serious_Errors_Detected
@@ -23230,8 +23230,8 @@ package body Sem_Prag is
       Errors := Serious_Errors_Detected;
       Preanalyze_Assert_Expression (Expr, Standard_Boolean);
 
-      --  Emit a clarification message when the expression contains at leat one
-      --  undefined reference, possibly due to contract "freezing".
+      --  Emit a clarification message when the expression contains at least
+      --  one undefined reference, possibly due to contract "freezing".
 
       if Errors /= Serious_Errors_Detected
         and then Present (Freeze_Id)
@@ -26712,7 +26712,7 @@ package body Sem_Prag is
    begin
       Global_Seen := False;
 
-      --  Process all formal parameters of entries, [generic] subprograms and
+      --  Process all formal parameters of entries, [generic] subprograms, and
       --  their bodies.
 
       if Ekind_In (Subp_Id, E_Entry,
@@ -26744,7 +26744,7 @@ package body Sem_Prag is
                Append_New_Elmt (Formal, Subp_Outputs);
 
                --  Out parameters can act as inputs when the related type is
-               --  tagged, unconstrained array, unconstrained record or record
+               --  tagged, unconstrained array, unconstrained record, or record
                --  with unconstrained components.
 
                if Ekind (Formal) = E_Out_Parameter
index f5826c488d92f60d8c2d0831f33304f7e61d7987..f00639e0c480467ecd8d5f9ed5f098d6e1ebfdde 100644 (file)
@@ -137,7 +137,7 @@ package body Sem_Type is
    --  entities. We do not introduce explicit versions of primitive operators
    --  for each type definition. As a result, there is only one entity
    --  corresponding to predefined addition on all numeric types, etc. The
-   --  back-end resolves predefined operators according to their type. The
+   --  back end resolves predefined operators according to their type. The
    --  visibility of primitive operations then reduces to the visibility of the
    --  resulting type: (a + b) is a legal interpretation of some primitive
    --  operator + if the type of the result (which must also be the type of a
@@ -1223,7 +1223,7 @@ package body Sem_Type is
 
       elsif From_Limited_With (T1) then
 
-         --  If the expected type is the non-limited view of a type, the
+         --  If the expected type is the nonlimited view of a type, the
          --  expression may have the limited view. If that one in turn is
          --  incomplete, get full view if available.
 
@@ -2620,7 +2620,7 @@ package body Sem_Type is
 
       if Ekind (Target_Typ) = E_Incomplete_Type then
 
-         --  We must have either a full view or a non-limited view of the type
+         --  We must have either a full view or a nonlimited view of the type
          --  to locate the list of ancestors.
 
          if Present (Full_View (Target_Typ)) then
@@ -2630,7 +2630,7 @@ package body Sem_Type is
             Target_Typ := Non_Limited_View (Target_Typ);
          end if;
 
-         --  Protect the frontend against previously detected errors
+         --  Protect the front end against previously detected errors
 
          if Ekind (Target_Typ) = E_Incomplete_Type then
             return False;