diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 08:21:24 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 08:21:24 +0000 |
| commit | ab19a652ec2517b3fb214db681d156bd28d95dde (patch) | |
| tree | 03ee75d01eaae1c7b728fecd0da4e711816de7b4 /gcc/ada/prj.ads | |
| parent | 9dd2d31730efafd44019dce7b74013798bca1e86 (diff) | |
| download | gcc-ab19a652ec2517b3fb214db681d156bd28d95dde.tar.gz | |
2011-08-29 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Check_Precondition_Postcondition): In formal
verification mode, analyze pragma expression for correctness, for
pre/post on library-level subprogram, as it is not expanded later.
2011-08-29 Yannick Moy <moy@adacore.com>
* exp_aggr.adb (Expand_Array_Aggregate): Do not expand array aggregates
in formal verification.
2011-08-29 Thomas Quinot <quinot@adacore.com>
* sem_util.adb: Minor reformatting.
* freeze.adb, sem_ch13.adb: Fix comment: Bit_Order is an attribute,
there's no pragma.
* par_sco.ads, par_sco.adb: Update comments.
2011-08-29 Yannick Moy <moy@adacore.com>
* einfo.adb, einfo.ads: Remove flag Is_Postcondition_Proc and
associated getter/setter.
* sem_ch6.adb: Remove reference to Is_Postcondition_Proc.
2011-08-29 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New Compiler attribute Dependency_Kind and Language_Kind
* prj-conf.adb: Add_Default_GNAT_Naming_Scheme: Add a package Compiler
with declarations for Language_Kind and Dependency_Kind for Ada.
* prj-nmsc.adb (Check_Unit_Name): New name of procedure Check_Ada_Name
(Process_Compiler): Take into account the new attributes Dependency_Kind
and Language_Kind.
(Check_Configuration): Check if language kind is unit based, not if the
language name is Ada.
(Process_Exceptions_Unit_Based): Ditto
(Add_Language): Remove default additions of language and dependency kind
* prj.ads: Minor comment change
* snames.ads-tmpl: New standard names Dependency_Kind and Language_Kind
2011-08-29 Johannes Kanig <kanig@adacore.com>
* debug.adb: Update comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178156 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/prj.ads')
| -rw-r--r-- | gcc/ada/prj.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/prj.ads b/gcc/ada/prj.ads index 710275747ff..b075235deb2 100644 --- a/gcc/ada/prj.ads +++ b/gcc/ada/prj.ads @@ -410,8 +410,8 @@ package Prj is type Language_Config is record Kind : Language_Kind := File_Based; - -- Kind of language. All languages are file based, except Ada which is - -- unit based. + -- Kind of language. Most languages are file based. A few, such as Ada, + -- are unit based. Naming_Data : Lang_Naming_Data; -- The naming data for the languages (prefixes, etc.) |