From 9a6dc470832ec76b46cc74f749265222efbb287a Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Tue, 2 Oct 2012 08:22:53 +0000 Subject: exp_ch7.adb, [...]: Minor reformatting. 2012-10-02 Robert Dewar * exp_ch7.adb, sem_dim.adb, sem_dim.ads, prj-part.adb, checks.adb, freeze.adb, sem_ch4.adb, sem_ch13.adb: Minor reformatting. 2012-10-02 Robert Dewar * sem_prag.adb (Analyze_Pragma, case Overflow_Checks): Fix typo preventing proper processing of Overflow_Checks pragmas for general case. 2012-10-02 Robert Dewar * exp_ch4.adb (Expand_N_Op_Mod): Fix crash in ELIMINATED overflow checks mode when bignum mode is used. 2012-10-02 Robert Dewar * stylesw.ads, gnat_ugn.texi: Document new style rule for NOT IN. * par-ch4.adb (P_Relational_Operator): Add style check for NOT IN. * style.ads, styleg.adb, styleg.ads (Check_Not_In): New procedure. From-SVN: r191962 --- gcc/ada/styleg.adb | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) (limited to 'gcc/ada/styleg.adb') diff --git a/gcc/ada/styleg.adb b/gcc/ada/styleg.adb index 7cb4d82..c674394 100644 --- a/gcc/ada/styleg.adb +++ b/gcc/ada/styleg.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2012, 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- -- @@ -764,6 +764,24 @@ package body Styleg is end if; end Check_Line_Terminator; + ------------------ + -- Check_Not_In -- + ------------------ + + -- In check tokens mode, only one space between NOT and IN + + procedure Check_Not_In is + begin + if Style_Check_Tokens then + if Source (Token_Ptr - 1) /= ' ' + or else Token_Ptr - Prev_Token_Ptr /= 4 + then -- CODEFIX? + Error_Msg + ("(style) single space must separate NOT and IN", Token_Ptr - 1); + end if; + end if; + end Check_Not_In; + -------------------------- -- Check_No_Space_After -- -------------------------- -- cgit v1.1