diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 12:32:23 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 12:32:23 +0200 |
| commit | 02848684196a014f8a6cd3c55a32a91de989b0d6 (patch) | |
| tree | 678bfa9b53ee6f1c5f222aedc54d34a392ca6c4b /gcc/ada/sem_util.ads | |
| parent | 62c7d441e5016a2392539b3ce059bbec01fbab3a (diff) | |
| download | gcc-02848684196a014f8a6cd3c55a32a91de989b0d6.zip gcc-02848684196a014f8a6cd3c55a32a91de989b0d6.tar.gz gcc-02848684196a014f8a6cd3c55a32a91de989b0d6.tar.bz2 | |
einfo.ads: Minor fixes in comments.
* einfo.ads: Minor fixes in comments.
2017-04-27 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb: disable clones in SPARK_Mode.
2017-04-27 Gary Dismukes <dismukes@adacore.com>
* sem_util.ads, contracts.adb: Minor reformatting.
From-SVN: r247315
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 7463cea..b1dc68a 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -209,10 +209,10 @@ package Sem_Util is -- Determine whether a selected component has a type that depends on -- discriminants, and build actual subtype for it if so. - -- Handling of inherited primitives whose ancestor have class-wide - -- pre/post conditions. + -- Handling of inherited primitives whose ancestors have class-wide + -- pre/postconditions. - -- If a primitive operation of a parent type has a class-wide pre/post + -- If a primitive operation of a parent type has a class-wide pre/post- -- condition that includes calls to other primitives, and that operation -- is inherited by a descendant type that also overrides some of these -- other primitives, the condition that applies to the inherited @@ -227,7 +227,7 @@ package Sem_Util is -- economically we create a subprogram body (a "class-wide clone") to -- which no pre/postconditions apply, and we create bodies for the -- original and the inherited operation that have their respective - -- pre/post conditions and simply call the clone. The following operations + -- pre/postconditions and simply call the clone. The following operations -- take care of constructing declaration and body of the clone, and -- building the calls to it within the appropriate wrappers. @@ -250,7 +250,7 @@ package Sem_Util is -- clone includes the proper conversion in a call the parent operation. procedure Build_Class_Wide_Clone_Decl (Spec_Id : Entity_Id); - -- For a subprogram that has a clas-wide condition that contains calls + -- For a subprogram that has a class-wide condition that contains calls -- to other primitives, build an internal subprogram that is invoked -- through a type-specific wrapper for all inherited subprograms that -- may have a modified condition. |