diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 11:12:40 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 11:12:40 +0100 |
| commit | e96b7045d6d56a31c05bcdf387e38c0d64584ef2 (patch) | |
| tree | 74efbf5686f1ccd60a2ecaee965ac294fe866253 /gcc/ada/contracts.ads | |
| parent | c1fffdf1fb2ebce24620195c4add32eb90daa598 (diff) | |
| download | gcc-e96b7045d6d56a31c05bcdf387e38c0d64584ef2.zip gcc-e96b7045d6d56a31c05bcdf387e38c0d64584ef2.tar.gz gcc-e96b7045d6d56a31c05bcdf387e38c0d64584ef2.tar.bz2 | |
[multiple changes]
2015-10-26 Gary Dismukes <dismukes@adacore.com>
* a-reatim.adb, contracts.adb, contracts.ads: Minor reformatting and
typo corrections.
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Do not
recheck the consistency betwen the freeze point and the end of
declarations for the expression in an aspect specification,
because it was done already in the analysis of the generic.
Furthermore, the delayed analysis of an aspect of the instance
may produce spurious errors when the generic is a child unit
that references entities in the parent (which might not be in
scope at the freeze point of the instance).
2015-10-26 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Call): Issue info message
instead of warning when call cannot be inlined in GNATprove mode.
2015-10-26 Arnaud Charlet <charlet@adacore.com>
* exp_ch6.adb (Build_Procedure_Form): Use _result as the
name of the extra parameter, cleaner than a random temp name.
* gnat1drv.adb (Gnat1drv): Code clean up.
From-SVN: r229314
Diffstat (limited to 'gcc/ada/contracts.ads')
| -rw-r--r-- | gcc/ada/contracts.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/contracts.ads b/gcc/ada/contracts.ads index beeed57..6f911a3 100644 --- a/gcc/ada/contracts.ads +++ b/gcc/ada/contracts.ads @@ -32,7 +32,7 @@ package Contracts is procedure Add_Contract_Item (Prag : Node_Id; Id : Entity_Id); -- Add pragma Prag to the contract of a constant, entry, package [body], - -- subprogram [body] or variable denoted by Id. The following are valid + -- subprogram [body], or variable denoted by Id. The following are valid -- pragmas: -- Abstract_State -- Async_Readers @@ -57,7 +57,7 @@ package Contracts is -- Volatile_Function procedure Analyze_Enclosing_Package_Body_Contract (Body_Decl : Node_Id); - -- Analyze the contract of the nearest package body (if any) which encloses + -- Analyze the contract of the nearest package body (if any) enclosing -- package or subprogram body Body_Decl. procedure Analyze_Object_Contract (Obj_Id : Entity_Id); @@ -79,7 +79,7 @@ package Contracts is -- Refined_State -- -- Freeze_Id is the entity of a [generic] package body or a [generic] - -- subprogram body which "feezes" the contract of Body_Id. + -- subprogram body which "freezes" the contract of Body_Id. procedure Analyze_Package_Contract (Pack_Id : Entity_Id); -- Analyze all delayed aspects chained on the contract of package Pack_Id @@ -129,7 +129,7 @@ package Contracts is -- Test_Case procedure Create_Generic_Contract (Unit : Node_Id); - -- Create a contract node for a generic package, generic subprogram or a + -- Create a contract node for a generic package, generic subprogram, or a -- generic body denoted by Unit by collecting all source contract-related -- pragmas in the contract of the unit. |