diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-26 12:56:43 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-26 12:56:43 +0000 |
commit | 671d6911af8ba9114babb5b9ff37ec381d8196b9 (patch) | |
tree | 9c39166316aeff1da4ff9ac0bc59f9a5034ff53e /gcc/ada/par.adb | |
parent | 3d341f24b283bbdd3c73ea15b1b07cfcdc9a6e3f (diff) | |
download | gcc-671d6911af8ba9114babb5b9ff37ec381d8196b9.tar.gz |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165955 138bc75d-0d04-0410-961f-82ee72b054a4
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 4f360ca43f2..0532ec2a98c 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 |