diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-26 14:56:43 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-26 14:56:43 +0200 |
commit | 392314047357798f0dffb3e5582f890489a3204f (patch) | |
tree | 9c39166316aeff1da4ff9ac0bc59f9a5034ff53e /gcc/ada/par.adb | |
parent | 329b9f810de49de85e57c8c6a1071a4063276a3a (diff) | |
download | gcc-392314047357798f0dffb3e5582f890489a3204f.zip gcc-392314047357798f0dffb3e5582f890489a3204f.tar.gz gcc-392314047357798f0dffb3e5582f890489a3204f.tar.bz2 |
[multiple changes]
2010-10-26 Robert Dewar <dewar@adacore.com>
* exp_ch3.adb: Fix typo, comment updates.
* namet.adb: Minor comment additions.
* einfo.ads: Minor comment update.
2010-10-26 Javier Miranda <miranda@adacore.com>
* einfo.adb (Set_Dispatch_Table_Wrappers): Complete the assertion.
2010-10-26 Robert Dewar <dewar@adacore.com>
* par.adb, par-ch13.adb (Aspect_Specifications_Present): Add Strict
parameter.
From-SVN: r165955
Diffstat (limited to 'gcc/ada/par.adb')
-rw-r--r-- | gcc/ada/par.adb | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb index 4f360ca..0532ec2 100644 --- a/gcc/ada/par.adb +++ b/gcc/ada/par.adb @@ -848,14 +848,21 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is package Ch13 is function P_Representation_Clause return Node_Id; - function Aspect_Specifications_Present return Boolean; + function Aspect_Specifications_Present + (Strict : Boolean := Ada_Version < Ada_2012) return Boolean; -- This function tests whether the next keyword is WITH followed by -- something that looks reasonably like an aspect specification. If so, -- True is returned. Otherwise False is returned. In either case control -- returns with the token pointer unchanged (i.e. pointing to the WITH -- token in the case where True is returned). This function takes care -- of generating appropriate messages if aspect specifications appear - -- in versions of Ada prior to Ada 2012. + -- in versions of Ada prior to Ada 2012. The parameter strict can be + -- set to True, to be rather strict about considering something to be + -- an aspect speficiation. If Strict is False, then the circuitry is + -- rather more generous in considering something ill-formed to be an + -- attempt at an aspect speciciation. The default is more strict for + -- Ada versions before Ada 2012 (where aspect specifications are not + -- permitted). procedure P_Aspect_Specifications (Decl : Node_Id); -- This subprogram is called with the current token pointing to either a |