aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/casing.ads
diff options
context:
space:
mode:
authorRobert Dewar <dewar@adacore.com>2014-07-17 06:37:45 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2014-07-17 08:37:45 +0200
commite80f0cb0b4c0313379c872ef4a8777313c809799 (patch)
tree108280e98ba067a9d39a1fc8f26ead3efb7a2711 /gcc/ada/casing.ads
parent2bd67690e9dcdfcddb32cffb13043a1ca95ff756 (diff)
downloadgcc-e80f0cb0b4c0313379c872ef4a8777313c809799.zip
gcc-e80f0cb0b4c0313379c872ef4a8777313c809799.tar.gz
gcc-e80f0cb0b4c0313379c872ef4a8777313c809799.tar.bz2
sem_ch3.adb, [...]: Remove the word kludge from ada sources.
2014-07-17 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, a-ztexio.ads, exp_imgv.adb, casing.adb, casing.ads, einfo.ads, checks.adb, sem_ch12.adb, a-textio.ads, freeze.adb, repinfo.adb, exp_ch6.adb, sem_ch4.adb, a-witeio.ads, sem_ch8.adb, sem_warn.adb, exp_aggr.adb, exp_dist.adb, par-tchk.adb, s-fatgen.adb, treepr.adb, lib-xref.adb: Remove the word kludge from ada sources. From-SVN: r212726
Diffstat (limited to 'gcc/ada/casing.ads')
-rw-r--r--gcc/ada/casing.ads6
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/casing.ads b/gcc/ada/casing.ads
index 8d169fb..dec27ee 100644
--- a/gcc/ada/casing.ads
+++ b/gcc/ada/casing.ads
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2010, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
@@ -84,6 +84,8 @@ package Casing is
-- equivalent to Set_Casing (All_Upper_Case).
function Determine_Casing (Ident : Text_Buffer) return Casing_Type;
- -- Determines the casing of the identifier/keyword string Ident
+ -- Determines the casing of the identifier/keyword string Ident. A special
+ -- test is made for SPARK_Mode which is considered to be mixed case, since
+ -- this gives a better general behavior.
end Casing;