diff options
| author | Robert Dewar <dewar@adacore.com> | 2009-07-22 10:25:57 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-22 12:25:57 +0200 |
| commit | a36c1c3e43ff4da71ddfb65d123519f58365981b (patch) | |
| tree | eadd181009b4822e6ce92897aef59201db5cab36 /gcc/ada/stylesw.ads | |
| parent | d1ced162c2d0525032df4c98d4d14dbcc7980de7 (diff) | |
| download | gcc-a36c1c3e43ff4da71ddfb65d123519f58365981b.zip gcc-a36c1c3e43ff4da71ddfb65d123519f58365981b.tar.gz gcc-a36c1c3e43ff4da71ddfb65d123519f58365981b.tar.bz2 | |
sem_res.adb (Check_No_Direct_Boolean_Operators): Add check for -gnatyB
2009-07-22 Robert Dewar <dewar@adacore.com>
* sem_res.adb (Check_No_Direct_Boolean_Operators): Add check for -gnatyB
* style.ads, styleg.adb, styleg.ads (Check_Boolean_Operator): New
procedure.
* usage.adb, stylesw.ads, stylesw.adb: Add handling of -gnatyB switch
* gnat_ugn.texi: Add documentation of -gnatyB
* vms_data.ads: Add entry for -gnatyB (STYLE=BOOLEAN_OPERATORS)
From-SVN: r149923
Diffstat (limited to 'gcc/ada/stylesw.ads')
| -rw-r--r-- | gcc/ada/stylesw.ads | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/stylesw.ads b/gcc/ada/stylesw.ads index 37154c0..7447063 100644 --- a/gcc/ada/stylesw.ads +++ b/gcc/ada/stylesw.ads @@ -67,6 +67,15 @@ package Stylesw is -- multiple blank lines are not permitted, and there may not be a blank -- line at the end of the file. + Style_Check_Boolean_And_Or : Boolean := False; + -- This can be set True by using the -gnatyB switch. If it is True, then + -- the use of AND THEN/OR ELSE rather than AND/OR is required except for + -- the following cases: + -- + -- a) Both operands are simple Boolean constants or variables + -- b) Both operands are of a modular type + -- c) Both operands are of an array type + Style_Check_Comments : Boolean := False; -- This can be set True by using the -gnatyc switch. If it is True, then -- comments are style checked as follows: |