URL https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk

Subversion Repositories openrisc_me

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc1/] [gcc/] [ada/] [stylesw.adb] - Blame information for rev 338

Details | Compare with Previous | View Log


------------------------------------------------------------------------------
--                                                                          --
--                         GNAT COMPILER COMPONENTS                         --
--                                                                          --
--                              S T Y L E S W                               --
--                                                                          --
--                                 B o d y                                  --
--                                                                          --
--          Copyright (C) 1992-2009, 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- --
-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
-- for  more details.  You should have  received  a copy of the GNU General --
-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
-- http://www.gnu.org/licenses for a complete copy of the license.          --
--                                                                          --
-- GNAT was originally developed  by the GNAT team at  New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc.      --
--                                                                          --
------------------------------------------------------------------------------
 
with Hostparm; use Hostparm;
with Opt;      use Opt;
 
package body Stylesw is
 
   --  The following constant defines the default style options for -gnaty
 
   Default_Style : constant String :=
                     "3" &  -- indentation level is 3
                     "a" &  -- check attribute casing
                     "A" &  -- check array attribute indexes
                     "b" &  -- check no blanks at end of lines
                     "c" &  -- check comment formats
                     "e" &  -- check end/exit labels present
                     "f" &  -- check no form/feeds vertical tabs in source
                     "h" &  -- check no horizontal tabs in source
                     "i" &  -- check if-then layout
                     "k" &  -- check casing rules for keywords
                     "l" &  -- check reference manual layout
                     "m" &  -- check line length <= 79 characters
                     "n" &  -- check casing of package Standard idents
                     "p" &  -- check pragma casing
                     "r" &  -- check casing for identifier references
                     "s" &  -- check separate subprogram specs present
                     "t";   -- check token separation rules
 
   --  The following constant defines the GNAT style options, showing them
   --  as additions to the standard default style check options.
 
   GNAT_Style    : constant String := Default_Style &
                     "d" &  -- check no DOS line terminators
                     "I" &  -- check mode IN
                     "S" &  -- check separate lines after THEN or ELSE
                     "u" &  -- check no unnecessary blank lines
                     "x";   -- check extra parentheses around conditionals
 
   -------------------------------
   -- Reset_Style_Check_Options --
   -------------------------------
 
   procedure Reset_Style_Check_Options is
   begin
      Style_Check_Indentation           := 0;
      Style_Check_Array_Attribute_Index := False;
      Style_Check_Attribute_Casing      := False;
      Style_Check_Blanks_At_End         := False;
      Style_Check_Blank_Lines           := False;
      Style_Check_Boolean_And_Or        := False;
      Style_Check_Comments              := False;
      Style_Check_DOS_Line_Terminator   := False;
      Style_Check_End_Labels            := False;
      Style_Check_Form_Feeds            := False;
      Style_Check_Horizontal_Tabs       := False;
      Style_Check_If_Then_Layout        := False;
      Style_Check_Keyword_Casing        := False;
      Style_Check_Layout                := False;
      Style_Check_Max_Line_Length       := False;
      Style_Check_Max_Nesting_Level     := False;
      Style_Check_Missing_Overriding    := False;
      Style_Check_Mode_In               := False;
      Style_Check_Order_Subprograms     := False;
      Style_Check_Pragma_Casing         := False;
      Style_Check_References            := False;
      Style_Check_Separate_Stmt_Lines   := False;
      Style_Check_Specs                 := False;
      Style_Check_Standard              := False;
      Style_Check_Tokens                := False;
      Style_Check_Xtra_Parens           := False;
   end Reset_Style_Check_Options;
 
   ---------------------
   -- RM_Column_Check --
   ---------------------
 
   function RM_Column_Check return Boolean is
   begin
      return Style_Check and Style_Check_Layout;
   end RM_Column_Check;
 
   ------------------------------
   -- Save_Style_Check_Options --
   ------------------------------
 
   procedure Save_Style_Check_Options (Options : out Style_Check_Options) is
      P : Natural := 0;
 
      procedure Add (C : Character; S : Boolean);
      --  Add given character C to string if switch S is true
 
      procedure Add_Nat (N : Nat);
      --  Add given natural number to string
 
      ---------
      -- Add --
      ---------
 
      procedure Add (C : Character; S : Boolean) is
      begin
         if S then
            P := P + 1;
            Options (P) := C;
         end if;
      end Add;
 
      -------------
      -- Add_Nat --
      -------------
 
      procedure Add_Nat (N : Nat) is
      begin
         if N > 9 then
            Add_Nat (N / 10);
         end if;
 
         P := P + 1;
         Options (P) := Character'Val (Character'Pos ('0') + N mod 10);
      end Add_Nat;
 
   --  Start of processing for Save_Style_Check_Options
 
   begin
      for K in Options'Range loop
         Options (K) := ' ';
      end loop;
 
      Add (Character'Val (Style_Check_Indentation + Character'Pos ('0')),
           Style_Check_Indentation /= 0);
 
      Add ('a', Style_Check_Attribute_Casing);
      Add ('A', Style_Check_Array_Attribute_Index);
      Add ('b', Style_Check_Blanks_At_End);
      Add ('B', Style_Check_Boolean_And_Or);
      Add ('c', Style_Check_Comments);
      Add ('d', Style_Check_DOS_Line_Terminator);
      Add ('e', Style_Check_End_Labels);
      Add ('f', Style_Check_Form_Feeds);
      Add ('h', Style_Check_Horizontal_Tabs);
      Add ('i', Style_Check_If_Then_Layout);
      Add ('I', Style_Check_Mode_In);
      Add ('k', Style_Check_Keyword_Casing);
      Add ('l', Style_Check_Layout);
      Add ('n', Style_Check_Standard);
      Add ('o', Style_Check_Order_Subprograms);
      Add ('O', Style_Check_Missing_Overriding);
      Add ('p', Style_Check_Pragma_Casing);
      Add ('r', Style_Check_References);
      Add ('s', Style_Check_Specs);
      Add ('S', Style_Check_Separate_Stmt_Lines);
      Add ('t', Style_Check_Tokens);
      Add ('u', Style_Check_Blank_Lines);
      Add ('x', Style_Check_Xtra_Parens);
 
      if Style_Check_Max_Line_Length then
         P := P + 1;
         Options (P) := 'M';
         Add_Nat (Style_Max_Line_Length);
      end if;
 
      if Style_Check_Max_Nesting_Level then
         P := P + 1;
         Options (P) := 'L';
         Add_Nat (Style_Max_Nesting_Level);
      end if;
 
      pragma Assert (P <= Options'Last);
 
      while P < Options'Last loop
         P := P + 1;
         Options (P) := ' ';
      end loop;
   end Save_Style_Check_Options;
 
   -------------------------------------
   -- Set_Default_Style_Check_Options --
   -------------------------------------
 
   procedure Set_Default_Style_Check_Options is
   begin
      Reset_Style_Check_Options;
      Set_Style_Check_Options (Default_Style);
   end Set_Default_Style_Check_Options;
 
   ----------------------------------
   -- Set_GNAT_Style_Check_Options --
   ----------------------------------
 
   procedure Set_GNAT_Style_Check_Options is
   begin
      Reset_Style_Check_Options;
      Set_Style_Check_Options (GNAT_Style);
   end Set_GNAT_Style_Check_Options;
 
   -----------------------------
   -- Set_Style_Check_Options --
   -----------------------------
 
   --  Version used when no error checking is required
 
   procedure Set_Style_Check_Options (Options : String) is
      OK : Boolean;
      EC : Natural;
      pragma Warnings (Off, EC);
   begin
      Set_Style_Check_Options (Options, OK, EC);
      pragma Assert (OK);
   end Set_Style_Check_Options;
 
   --  Normal version with error checking
 
   procedure Set_Style_Check_Options
     (Options  : String;
      OK       : out Boolean;
      Err_Col  : out Natural)
   is
      C : Character;
 
      On : Boolean := True;
      --  Set to False if minus encountered
      --  Set to True if plus encountered
 
      Last_Option : Character := ' ';
      --  Set to last character encountered
 
      procedure Add_Img (N : Natural);
      --  Concatenates image of N at end of Style_Msg_Buf
 
      procedure Bad_Style_Switch (Msg : String);
      --  Called if bad style switch found. Msg is set in Style_Msg_Buf and
      --  Style_Msg_Len. OK is set False.
 
      -------------
      -- Add_Img --
      -------------
 
      procedure Add_Img (N : Natural) is
      begin
         if N >= 10 then
            Add_Img (N / 10);
         end if;
 
         Style_Msg_Len := Style_Msg_Len + 1;
         Style_Msg_Buf (Style_Msg_Len) :=
           Character'Val (N mod 10 + Character'Pos ('0'));
      end Add_Img;
 
      ----------------------
      -- Bad_Style_Switch --
      ----------------------
 
      procedure Bad_Style_Switch (Msg : String) is
      begin
         OK := False;
         Style_Msg_Len := Msg'Length;
         Style_Msg_Buf (1 .. Style_Msg_Len) := Msg;
      end Bad_Style_Switch;
 
   --  Start of processing for Set_Style_Check_Options
 
   begin
      Err_Col := Options'First;
      while Err_Col <= Options'Last loop
         C := Options (Err_Col);
         Last_Option := C;
         Err_Col := Err_Col + 1;
 
         --  Turning switches on
 
         if On then
            case C is
 
            when '+' =>
               null;
 
            when '-' =>
               On := False;
 
            when '0' .. '9' =>
               Style_Check_Indentation :=
                 Character'Pos (C) - Character'Pos ('0');
 
            when 'a' =>
               Style_Check_Attribute_Casing      := True;
 
            when 'A' =>
               Style_Check_Array_Attribute_Index := True;
 
            when 'b' =>
               Style_Check_Blanks_At_End         := True;
 
            when 'B' =>
               Style_Check_Boolean_And_Or        := True;
 
            when 'c' =>
               Style_Check_Comments              := True;
 
            when 'd' =>
               Style_Check_DOS_Line_Terminator   := True;
 
            when 'e' =>
               Style_Check_End_Labels            := True;
 
            when 'f' =>
               Style_Check_Form_Feeds            := True;
 
            when 'g' =>
               Set_GNAT_Style_Check_Options;
 
            when 'h' =>
               Style_Check_Horizontal_Tabs       := True;
 
            when 'i' =>
               Style_Check_If_Then_Layout        := True;
 
            when 'I' =>
               Style_Check_Mode_In               := True;
 
            when 'k' =>
               Style_Check_Keyword_Casing        := True;
 
            when 'l' =>
               Style_Check_Layout                := True;
 
            when 'L' =>
               Style_Max_Nesting_Level := 0;
 
               if Err_Col > Options'Last
                 or else Options (Err_Col) not in '0' .. '9'
               then
                  Bad_Style_Switch ("invalid nesting level");
                  return;
               end if;
 
               loop
                  Style_Max_Nesting_Level :=
                    Style_Max_Nesting_Level * 10 +
                      Character'Pos (Options (Err_Col)) - Character'Pos ('0');
 
                  if Style_Max_Nesting_Level > 999 then
                     Bad_Style_Switch
                       ("max nesting level (999) exceeded in style check");
                     return;
                  end if;
 
                  Err_Col := Err_Col + 1;
                  exit when Err_Col > Options'Last
                    or else Options (Err_Col) not in '0' .. '9';
               end loop;
 
               Style_Check_Max_Nesting_Level := Style_Max_Nesting_Level /= 0;
 
            when 'm' =>
               Style_Check_Max_Line_Length       := True;
               Style_Max_Line_Length             := 79;
 
            when 'M' =>
               Style_Max_Line_Length             := 0;
 
               if Err_Col > Options'Last
                 or else Options (Err_Col) not in '0' .. '9'
               then
                  Bad_Style_Switch
                    ("invalid line length in style check");
                  return;
               end if;
 
               loop
                  Style_Max_Line_Length :=
                    Style_Max_Line_Length * 10 +
                      Character'Pos (Options (Err_Col)) - Character'Pos ('0');
 
                  if Style_Max_Line_Length > Int (Max_Line_Length) then
                     OK := False;
                     Style_Msg_Buf (1 .. 27) := "max line length allowed is ";
                     Style_Msg_Len := 27;
                     Add_Img (Natural (Max_Line_Length));
                     return;
                  end if;
 
                  Err_Col := Err_Col + 1;
                  exit when Err_Col > Options'Last
                    or else Options (Err_Col) not in '0' .. '9';
               end loop;
 
               Style_Check_Max_Line_Length       := Style_Max_Line_Length /= 0;
 
            when 'n' =>
               Style_Check_Standard              := True;
 
            when 'N' =>
               Reset_Style_Check_Options;
 
            when 'o' =>
               Style_Check_Order_Subprograms     := True;
 
            when 'O' =>
               Style_Check_Missing_Overriding    := True;
 
            when 'p' =>
               Style_Check_Pragma_Casing         := True;
 
            when 'r' =>
               Style_Check_References            := True;
 
            when 's' =>
               Style_Check_Specs                 := True;
 
            when 'S' =>
               Style_Check_Separate_Stmt_Lines   := True;
 
            when 't' =>
               Style_Check_Tokens                := True;
 
            when 'u' =>
               Style_Check_Blank_Lines           := True;
 
            when 'x' =>
               Style_Check_Xtra_Parens           := True;
 
            when 'y' =>
               Set_Default_Style_Check_Options;
 
            when ' ' =>
               null;
 
            when others =>
               Err_Col := Err_Col - 1;
               Bad_Style_Switch ("invalid style switch: " & C);
               return;
            end case;
 
         --  Turning switches off
 
         else
            case C is
 
            when '+' =>
               On := True;
 
            when '-' =>
               null;
 
            when '0' .. '9' =>
               Style_Check_Indentation := 0;
 
            when 'a' =>
               Style_Check_Attribute_Casing      := False;
 
            when 'A' =>
               Style_Check_Array_Attribute_Index := False;
 
            when 'b' =>
               Style_Check_Blanks_At_End         := False;
 
            when 'B' =>
               Style_Check_Boolean_And_Or        := False;
 
            when 'c' =>
               Style_Check_Comments              := False;
 
            when 'd' =>
               Style_Check_DOS_Line_Terminator   := False;
 
            when 'e' =>
               Style_Check_End_Labels            := False;
 
            when 'f' =>
               Style_Check_Form_Feeds            := False;
 
            when 'g' =>
               Reset_Style_Check_Options;
 
            when 'h' =>
               Style_Check_Horizontal_Tabs       := False;
 
            when 'i' =>
               Style_Check_If_Then_Layout        := False;
 
            when 'I' =>
               Style_Check_Mode_In               := False;
 
            when 'k' =>
               Style_Check_Keyword_Casing        := False;
 
            when 'l' =>
               Style_Check_Layout                := False;
 
            when 'L' =>
               Style_Max_Nesting_Level := 0;
 
            when 'm' =>
               Style_Check_Max_Line_Length       := False;
 
            when 'M' =>
               Style_Max_Line_Length             := 0;
               Style_Check_Max_Line_Length       := False;
 
            when 'n' =>
               Style_Check_Standard              := False;
 
            when 'o' =>
               Style_Check_Order_Subprograms     := False;
 
            when 'p' =>
               Style_Check_Pragma_Casing         := False;
 
            when 'r' =>
               Style_Check_References            := False;
 
            when 's' =>
               Style_Check_Specs                 := False;
 
            when 'S' =>
               Style_Check_Separate_Stmt_Lines   := False;
 
            when 't' =>
               Style_Check_Tokens                := False;
 
            when 'u' =>
               Style_Check_Blank_Lines           := False;
 
            when 'x' =>
               Style_Check_Xtra_Parens           := False;
 
            when ' ' =>
               null;
 
            when others =>
               Err_Col := Err_Col - 1;
               Bad_Style_Switch ("invalid style switch: " & C);
               return;
            end case;
         end if;
      end loop;
 
      --  Turn on style checking if other than N at end of string
 
      Style_Check := (Last_Option /= 'N');
      OK := True;
   end Set_Style_Check_Options;
end Stylesw;

Browse

Tools

Subversion Repositories openrisc_me

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc1/] [gcc/] [ada/] [stylesw.adb] - Blame information for rev 338

Line No.	Rev	Author	Line
1	281	jeremybenn	`------------------------------------------------------------------------------`
2			`-- --`
3			`-- GNAT COMPILER COMPONENTS --`
4			`-- --`
5			`-- S T Y L E S W --`
6			`-- --`
7			`-- B o d y --`
8			`-- --`
9			`-- Copyright (C) 1992-2009, Free Software Foundation, Inc. --`
10			`-- --`
11			`-- GNAT is free software; you can redistribute it and/or modify it under --`
12			`-- terms of the GNU General Public License as published by the Free Soft- --`
13			`-- ware Foundation; either version 3, or (at your option) any later ver- --`
14			`-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --`
15			`-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --`
16			`-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --`
17			`-- for more details. You should have received a copy of the GNU General --`
18			`-- Public License distributed with GNAT; see file COPYING3. If not, go to --`
19			`-- http://www.gnu.org/licenses for a complete copy of the license. --`
20			`-- --`
21			`-- GNAT was originally developed by the GNAT team at New York University. --`
22			`-- Extensive contributions were provided by Ada Core Technologies Inc. --`
23			`-- --`
24			`------------------------------------------------------------------------------`
25
26			`with Hostparm; use Hostparm;`
27			`with Opt; use Opt;`
28
29			`package body Stylesw is`
30
31			`-- The following constant defines the default style options for -gnaty`
32
33			`Default_Style : constant String :=`
34			`"3" & -- indentation level is 3`
35			`"a" & -- check attribute casing`
36			`"A" & -- check array attribute indexes`
37			`"b" & -- check no blanks at end of lines`
38			`"c" & -- check comment formats`
39			`"e" & -- check end/exit labels present`
40			`"f" & -- check no form/feeds vertical tabs in source`
41			`"h" & -- check no horizontal tabs in source`
42			`"i" & -- check if-then layout`
43			`"k" & -- check casing rules for keywords`
44			`"l" & -- check reference manual layout`
45			`"m" & -- check line length <= 79 characters`
46			`"n" & -- check casing of package Standard idents`
47			`"p" & -- check pragma casing`
48			`"r" & -- check casing for identifier references`
49			`"s" & -- check separate subprogram specs present`
50			`"t"; -- check token separation rules`
51
52			`-- The following constant defines the GNAT style options, showing them`
53			`-- as additions to the standard default style check options.`
54
55			`GNAT_Style : constant String := Default_Style &`
56			`"d" & -- check no DOS line terminators`
57			`"I" & -- check mode IN`
58			`"S" & -- check separate lines after THEN or ELSE`
59			`"u" & -- check no unnecessary blank lines`
60			`"x"; -- check extra parentheses around conditionals`
61
62			`-------------------------------`
63			`-- Reset_Style_Check_Options --`
64			`-------------------------------`
65
66			`procedure Reset_Style_Check_Options is`
67			`begin`
68			`Style_Check_Indentation := 0;`
69			`Style_Check_Array_Attribute_Index := False;`
70			`Style_Check_Attribute_Casing := False;`
71			`Style_Check_Blanks_At_End := False;`
72			`Style_Check_Blank_Lines := False;`
73			`Style_Check_Boolean_And_Or := False;`
74			`Style_Check_Comments := False;`
75			`Style_Check_DOS_Line_Terminator := False;`
76			`Style_Check_End_Labels := False;`
77			`Style_Check_Form_Feeds := False;`
78			`Style_Check_Horizontal_Tabs := False;`
79			`Style_Check_If_Then_Layout := False;`
80			`Style_Check_Keyword_Casing := False;`
81			`Style_Check_Layout := False;`
82			`Style_Check_Max_Line_Length := False;`
83			`Style_Check_Max_Nesting_Level := False;`
84			`Style_Check_Missing_Overriding := False;`
85			`Style_Check_Mode_In := False;`
86			`Style_Check_Order_Subprograms := False;`
87			`Style_Check_Pragma_Casing := False;`
88			`Style_Check_References := False;`
89			`Style_Check_Separate_Stmt_Lines := False;`
90			`Style_Check_Specs := False;`
91			`Style_Check_Standard := False;`
92			`Style_Check_Tokens := False;`
93			`Style_Check_Xtra_Parens := False;`
94			`end Reset_Style_Check_Options;`
95
96			`---------------------`
97			`-- RM_Column_Check --`
98			`---------------------`
99
100			`function RM_Column_Check return Boolean is`
101			`begin`
102			`return Style_Check and Style_Check_Layout;`
103			`end RM_Column_Check;`
104
105			`------------------------------`
106			`-- Save_Style_Check_Options --`
107			`------------------------------`
108
109			`procedure Save_Style_Check_Options (Options : out Style_Check_Options) is`
110			`P : Natural := 0;`
111
112			`procedure Add (C : Character; S : Boolean);`
113			`-- Add given character C to string if switch S is true`
114
115			`procedure Add_Nat (N : Nat);`
116			`-- Add given natural number to string`
117
118			`---------`
119			`-- Add --`
120			`---------`
121
122			`procedure Add (C : Character; S : Boolean) is`
123			`begin`
124			`if S then`
125			`P := P + 1;`
126			`Options (P) := C;`
127			`end if;`
128			`end Add;`
129
130			`-------------`
131			`-- Add_Nat --`
132			`-------------`
133
134			`procedure Add_Nat (N : Nat) is`
135			`begin`
136			`if N > 9 then`
137			`Add_Nat (N / 10);`
138			`end if;`
139
140			`P := P + 1;`
141			`Options (P) := Character'Val (Character'Pos ('0') + N mod 10);`
142			`end Add_Nat;`
143
144			`-- Start of processing for Save_Style_Check_Options`
145
146			`begin`
147			`for K in Options'Range loop`
148			`Options (K) := ' ';`
149			`end loop;`
150
151			`Add (Character'Val (Style_Check_Indentation + Character'Pos ('0')),`
152			`Style_Check_Indentation /= 0);`
153
154			`Add ('a', Style_Check_Attribute_Casing);`
155			`Add ('A', Style_Check_Array_Attribute_Index);`
156			`Add ('b', Style_Check_Blanks_At_End);`
157			`Add ('B', Style_Check_Boolean_And_Or);`
158			`Add ('c', Style_Check_Comments);`
159			`Add ('d', Style_Check_DOS_Line_Terminator);`
160			`Add ('e', Style_Check_End_Labels);`
161			`Add ('f', Style_Check_Form_Feeds);`
162			`Add ('h', Style_Check_Horizontal_Tabs);`
163			`Add ('i', Style_Check_If_Then_Layout);`
164			`Add ('I', Style_Check_Mode_In);`
165			`Add ('k', Style_Check_Keyword_Casing);`
166			`Add ('l', Style_Check_Layout);`
167			`Add ('n', Style_Check_Standard);`
168			`Add ('o', Style_Check_Order_Subprograms);`
169			`Add ('O', Style_Check_Missing_Overriding);`
170			`Add ('p', Style_Check_Pragma_Casing);`
171			`Add ('r', Style_Check_References);`
172			`Add ('s', Style_Check_Specs);`
173			`Add ('S', Style_Check_Separate_Stmt_Lines);`
174			`Add ('t', Style_Check_Tokens);`
175			`Add ('u', Style_Check_Blank_Lines);`
176			`Add ('x', Style_Check_Xtra_Parens);`
177
178			`if Style_Check_Max_Line_Length then`
179			`P := P + 1;`
180			`Options (P) := 'M';`
181			`Add_Nat (Style_Max_Line_Length);`
182			`end if;`
183
184			`if Style_Check_Max_Nesting_Level then`
185			`P := P + 1;`
186			`Options (P) := 'L';`
187			`Add_Nat (Style_Max_Nesting_Level);`
188			`end if;`
189
190			`pragma Assert (P <= Options'Last);`
191
192			`while P < Options'Last loop`
193			`P := P + 1;`
194			`Options (P) := ' ';`
195			`end loop;`
196			`end Save_Style_Check_Options;`
197
198			`-------------------------------------`
199			`-- Set_Default_Style_Check_Options --`
200			`-------------------------------------`
201
202			`procedure Set_Default_Style_Check_Options is`
203			`begin`
204			`Reset_Style_Check_Options;`
205			`Set_Style_Check_Options (Default_Style);`
206			`end Set_Default_Style_Check_Options;`
207
208			`----------------------------------`
209			`-- Set_GNAT_Style_Check_Options --`
210			`----------------------------------`
211
212			`procedure Set_GNAT_Style_Check_Options is`
213			`begin`
214			`Reset_Style_Check_Options;`
215			`Set_Style_Check_Options (GNAT_Style);`
216			`end Set_GNAT_Style_Check_Options;`
217
218			`-----------------------------`
219			`-- Set_Style_Check_Options --`
220			`-----------------------------`
221
222			`-- Version used when no error checking is required`
223
224			`procedure Set_Style_Check_Options (Options : String) is`
225			`OK : Boolean;`
226			`EC : Natural;`
227			`pragma Warnings (Off, EC);`
228			`begin`
229			`Set_Style_Check_Options (Options, OK, EC);`
230			`pragma Assert (OK);`
231			`end Set_Style_Check_Options;`
232
233			`-- Normal version with error checking`
234
235			`procedure Set_Style_Check_Options`
236			`(Options : String;`
237			`OK : out Boolean;`
238			`Err_Col : out Natural)`
239			`is`
240			`C : Character;`
241
242			`On : Boolean := True;`
243			`-- Set to False if minus encountered`
244			`-- Set to True if plus encountered`
245
246			`Last_Option : Character := ' ';`
247			`-- Set to last character encountered`
248
249			`procedure Add_Img (N : Natural);`
250			`-- Concatenates image of N at end of Style_Msg_Buf`
251
252			`procedure Bad_Style_Switch (Msg : String);`
253			`-- Called if bad style switch found. Msg is set in Style_Msg_Buf and`
254			`-- Style_Msg_Len. OK is set False.`
255
256			`-------------`
257			`-- Add_Img --`
258			`-------------`
259
260			`procedure Add_Img (N : Natural) is`
261			`begin`
262			`if N >= 10 then`
263			`Add_Img (N / 10);`
264			`end if;`
265
266			`Style_Msg_Len := Style_Msg_Len + 1;`
267			`Style_Msg_Buf (Style_Msg_Len) :=`
268			`Character'Val (N mod 10 + Character'Pos ('0'));`
269			`end Add_Img;`
270
271			`----------------------`
272			`-- Bad_Style_Switch --`
273			`----------------------`
274
275			`procedure Bad_Style_Switch (Msg : String) is`
276			`begin`
277			`OK := False;`
278			`Style_Msg_Len := Msg'Length;`
279			`Style_Msg_Buf (1 .. Style_Msg_Len) := Msg;`
280			`end Bad_Style_Switch;`
281
282			`-- Start of processing for Set_Style_Check_Options`
283
284			`begin`
285			`Err_Col := Options'First;`
286			`while Err_Col <= Options'Last loop`
287			`C := Options (Err_Col);`
288			`Last_Option := C;`
289			`Err_Col := Err_Col + 1;`
290
291			`-- Turning switches on`
292
293			`if On then`
294			`case C is`
295
296			`when '+' =>`
297			`null;`
298
299			`when '-' =>`
300			`On := False;`
301
302			`when '0' .. '9' =>`
303			`Style_Check_Indentation :=`
304			`Character'Pos (C) - Character'Pos ('0');`
305
306			`when 'a' =>`
307			`Style_Check_Attribute_Casing := True;`
308
309			`when 'A' =>`
310			`Style_Check_Array_Attribute_Index := True;`
311
312			`when 'b' =>`
313			`Style_Check_Blanks_At_End := True;`
314
315			`when 'B' =>`
316			`Style_Check_Boolean_And_Or := True;`
317
318			`when 'c' =>`
319			`Style_Check_Comments := True;`
320
321			`when 'd' =>`
322			`Style_Check_DOS_Line_Terminator := True;`
323
324			`when 'e' =>`
325			`Style_Check_End_Labels := True;`
326
327			`when 'f' =>`
328			`Style_Check_Form_Feeds := True;`
329
330			`when 'g' =>`
331			`Set_GNAT_Style_Check_Options;`
332
333			`when 'h' =>`
334			`Style_Check_Horizontal_Tabs := True;`
335
336			`when 'i' =>`
337			`Style_Check_If_Then_Layout := True;`
338
339			`when 'I' =>`
340			`Style_Check_Mode_In := True;`
341
342			`when 'k' =>`
343			`Style_Check_Keyword_Casing := True;`
344
345			`when 'l' =>`
346			`Style_Check_Layout := True;`
347
348			`when 'L' =>`
349			`Style_Max_Nesting_Level := 0;`
350
351			`if Err_Col > Options'Last`
352			`or else Options (Err_Col) not in '0' .. '9'`
353			`then`
354			`Bad_Style_Switch ("invalid nesting level");`
355			`return;`
356			`end if;`
357
358			`loop`
359			`Style_Max_Nesting_Level :=`
360			`Style_Max_Nesting_Level * 10 +`
361			`Character'Pos (Options (Err_Col)) - Character'Pos ('0');`
362
363			`if Style_Max_Nesting_Level > 999 then`
364			`Bad_Style_Switch`
365			`("max nesting level (999) exceeded in style check");`
366			`return;`
367			`end if;`
368
369			`Err_Col := Err_Col + 1;`
370			`exit when Err_Col > Options'Last`
371			`or else Options (Err_Col) not in '0' .. '9';`
372			`end loop;`
373
374			`Style_Check_Max_Nesting_Level := Style_Max_Nesting_Level /= 0;`
375
376			`when 'm' =>`
377			`Style_Check_Max_Line_Length := True;`
378			`Style_Max_Line_Length := 79;`
379
380			`when 'M' =>`
381			`Style_Max_Line_Length := 0;`
382
383			`if Err_Col > Options'Last`
384			`or else Options (Err_Col) not in '0' .. '9'`
385			`then`
386			`Bad_Style_Switch`
387			`("invalid line length in style check");`
388			`return;`
389			`end if;`
390
391			`loop`
392			`Style_Max_Line_Length :=`
393			`Style_Max_Line_Length * 10 +`
394			`Character'Pos (Options (Err_Col)) - Character'Pos ('0');`
395
396			`if Style_Max_Line_Length > Int (Max_Line_Length) then`
397			`OK := False;`
398			`Style_Msg_Buf (1 .. 27) := "max line length allowed is ";`
399			`Style_Msg_Len := 27;`
400			`Add_Img (Natural (Max_Line_Length));`
401			`return;`
402			`end if;`
403
404			`Err_Col := Err_Col + 1;`
405			`exit when Err_Col > Options'Last`
406			`or else Options (Err_Col) not in '0' .. '9';`
407			`end loop;`
408
409			`Style_Check_Max_Line_Length := Style_Max_Line_Length /= 0;`
410
411			`when 'n' =>`
412			`Style_Check_Standard := True;`
413
414			`when 'N' =>`
415			`Reset_Style_Check_Options;`
416
417			`when 'o' =>`
418			`Style_Check_Order_Subprograms := True;`
419
420			`when 'O' =>`
421			`Style_Check_Missing_Overriding := True;`
422
423			`when 'p' =>`
424			`Style_Check_Pragma_Casing := True;`
425
426			`when 'r' =>`
427			`Style_Check_References := True;`
428
429			`when 's' =>`
430			`Style_Check_Specs := True;`
431
432			`when 'S' =>`
433			`Style_Check_Separate_Stmt_Lines := True;`
434
435			`when 't' =>`
436			`Style_Check_Tokens := True;`
437
438			`when 'u' =>`
439			`Style_Check_Blank_Lines := True;`
440
441			`when 'x' =>`
442			`Style_Check_Xtra_Parens := True;`
443
444			`when 'y' =>`
445			`Set_Default_Style_Check_Options;`
446
447			`when ' ' =>`
448			`null;`
449
450			`when others =>`
451			`Err_Col := Err_Col - 1;`
452			`Bad_Style_Switch ("invalid style switch: " & C);`
453			`return;`
454			`end case;`
455
456			`-- Turning switches off`
457
458			`else`
459			`case C is`
460
461			`when '+' =>`
462			`On := True;`
463
464			`when '-' =>`
465			`null;`
466
467			`when '0' .. '9' =>`
468			`Style_Check_Indentation := 0;`
469
470			`when 'a' =>`
471			`Style_Check_Attribute_Casing := False;`
472
473			`when 'A' =>`
474			`Style_Check_Array_Attribute_Index := False;`
475
476			`when 'b' =>`
477			`Style_Check_Blanks_At_End := False;`
478
479			`when 'B' =>`
480			`Style_Check_Boolean_And_Or := False;`
481
482			`when 'c' =>`
483			`Style_Check_Comments := False;`
484
485			`when 'd' =>`
486			`Style_Check_DOS_Line_Terminator := False;`
487
488			`when 'e' =>`
489			`Style_Check_End_Labels := False;`
490
491			`when 'f' =>`
492			`Style_Check_Form_Feeds := False;`
493
494			`when 'g' =>`
495			`Reset_Style_Check_Options;`
496
497			`when 'h' =>`
498			`Style_Check_Horizontal_Tabs := False;`
499
500			`when 'i' =>`
501			`Style_Check_If_Then_Layout := False;`
502
503			`when 'I' =>`
504			`Style_Check_Mode_In := False;`
505
506			`when 'k' =>`
507			`Style_Check_Keyword_Casing := False;`
508
509			`when 'l' =>`
510			`Style_Check_Layout := False;`
511
512			`when 'L' =>`
513			`Style_Max_Nesting_Level := 0;`
514
515			`when 'm' =>`
516			`Style_Check_Max_Line_Length := False;`
517
518			`when 'M' =>`
519			`Style_Max_Line_Length := 0;`
520			`Style_Check_Max_Line_Length := False;`
521
522			`when 'n' =>`
523			`Style_Check_Standard := False;`
524
525			`when 'o' =>`
526			`Style_Check_Order_Subprograms := False;`
527
528			`when 'p' =>`
529			`Style_Check_Pragma_Casing := False;`
530
531			`when 'r' =>`
532			`Style_Check_References := False;`
533
534			`when 's' =>`
535			`Style_Check_Specs := False;`
536
537			`when 'S' =>`
538			`Style_Check_Separate_Stmt_Lines := False;`
539
540			`when 't' =>`
541			`Style_Check_Tokens := False;`
542
543			`when 'u' =>`
544			`Style_Check_Blank_Lines := False;`
545
546			`when 'x' =>`
547			`Style_Check_Xtra_Parens := False;`
548
549			`when ' ' =>`
550			`null;`
551
552			`when others =>`
553			`Err_Col := Err_Col - 1;`
554			`Bad_Style_Switch ("invalid style switch: " & C);`
555			`return;`
556			`end case;`
557			`end if;`
558			`end loop;`
559
560			`-- Turn on style checking if other than N at end of string`
561
562			`Style_Check := (Last_Option /= 'N');`
563			`OK := True;`
564			`end Set_Style_Check_Options;`
565			`end Stylesw;`