1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2024, Free Software Foundation, Inc. --
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. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
26 -- This package collects all the routines used for style checking in the
27 -- compiler, as activated by the relevant command line option. These are
28 -- gathered in a separate package so that they can more easily be customized.
29 -- Calls to these subprograms are only made if Opt.Style_Check is set True.
33 with Types
; use Types
;
37 procedure Body_With_No_Spec
(N
: Node_Id
);
38 -- Called where N is a subprogram body node for a subprogram body
39 -- for which no spec was given, i.e. a body acting as its own spec.
41 procedure Check_Array_Attribute_Index
45 -- Called for an array attribute specifying an index number. N is the
46 -- node for the attribute, and E1 is the index expression (Empty if none
47 -- present). If E1 is present, it is known to be a static integer. D is
48 -- the number of dimensions of the array.
50 procedure Check_Identifier
51 (Ref
: Node_Or_Entity_Id
;
52 Def
: Node_Or_Entity_Id
);
53 -- Check style of identifier occurrence. Ref is an N_Identifier node whose
54 -- spelling is to be checked against the Chars spelling in identifier node
55 -- Def (which may be either an N_Identifier, or N_Defining_Identifier node)
57 procedure Missing_Overriding
(N
: Node_Id
; E
: Entity_Id
);
58 -- Called where N is the declaration or body of an overriding operation,
59 -- and the node does not have an overriding_indicator.
61 procedure Subprogram_Not_In_Alpha_Order
(Name
: Node_Id
);
62 -- Called if Name is the name of a subprogram body in a package body
63 -- that is not in alphabetical order.
65 -- Remaining style routines come from instantiation of Styleg
67 package Style_Inst
is new Styleg
72 -- Instantiation of Styleg for compiler use
74 procedure Check_Abs_Not
75 renames Style_Inst
.Check_Abs_Not
;
76 -- Called after scanning an ABS or NOT operator to check spacing
78 procedure Check_Apostrophe
79 renames Style_Inst
.Check_Apostrophe
;
80 -- Called after scanning an apostrophe to check spacing
82 procedure Check_Arrow
(Inside_Depends
: Boolean := False)
83 renames Style_Inst
.Check_Arrow
;
84 -- Called after scanning out an arrow to check spacing
86 procedure Check_Attribute_Name
(Reserved
: Boolean)
87 renames Style_Inst
.Check_Attribute_Name
;
88 -- The current token is an attribute designator. Check that it is
89 -- capitalized in an appropriate manner. Reserved is set if the attribute
90 -- designator is a reserved word (access, digits, delta or range) to allow
91 -- differing rules for the two cases.
93 procedure Check_Boolean_Operator
(Node
: Node_Id
);
94 -- Called after resolving AND or OR node to check short circuit rules
97 renames Style_Inst
.Check_Box
;
98 -- Called after scanning out a box to check spacing
100 procedure Check_Binary_Operator
101 renames Style_Inst
.Check_Binary_Operator
;
102 -- Called after scanning out a binary operator other than a plus, minus
103 -- or exponentiation operator. Intended for checking spacing rules.
105 procedure Check_Exponentiation_Operator
106 renames Style_Inst
.Check_Exponentiation_Operator
;
107 -- Called after scanning out an exponentiation operator. Intended for
108 -- checking spacing rules.
110 procedure Check_Colon
111 renames Style_Inst
.Check_Colon
;
112 -- Called after scanning out colon to check spacing
114 procedure Check_Colon_Equal
115 renames Style_Inst
.Check_Colon_Equal
;
116 -- Called after scanning out colon equal to check spacing
118 procedure Check_Comma
119 renames Style_Inst
.Check_Comma
;
120 -- Called after scanning out comma to check spacing
122 procedure Check_Comment
123 renames Style_Inst
.Check_Comment
;
124 -- Called with Scan_Ptr pointing to the first minus sign of a comment.
125 -- Intended for checking any specific rules for comment placement/format.
127 procedure Check_Defining_Identifier_Casing
128 renames Style_Inst
.Check_Defining_Identifier_Casing
;
130 procedure Check_Dot_Dot
131 renames Style_Inst
.Check_Dot_Dot
;
132 -- Called after scanning out dot dot to check spacing
135 renames Style_Inst
.Check_EOF
;
136 -- Called after scanning out end of file mark
139 renames Style_Inst
.Check_HT
;
140 -- Called with Scan_Ptr pointing to a horizontal tab character
142 procedure Check_Indentation
143 renames Style_Inst
.Check_Indentation
;
144 -- Called at the start of a new statement or declaration, with Token_Ptr
145 -- pointing to the first token of the statement or declaration. The check
146 -- is that the starting column is appropriate to the indentation rules if
147 -- Token_Ptr is the first token on the line.
149 procedure Check_Left_Paren_Square_Bracket
150 renames Style_Inst
.Check_Left_Paren_Square_Bracket
;
151 -- Called after scanning out a left parenthesis to check spacing. If
152 -- Ada_Version >= Ada_2022 then called similarly for a left square bracket.
154 procedure Check_Line_Terminator
(Len
: Int
)
155 renames Style_Inst
.Check_Line_Terminator
;
156 -- Called with Scan_Ptr pointing to the first line terminator terminating
157 -- the current line, used to check for appropriate line terminator and to
158 -- check the line length (Len is the length of the current line). Note that
159 -- the terminator may be the EOF character.
161 procedure Check_Not_In
162 renames Style_Inst
.Check_Not_In
;
163 -- Called with Scan_Ptr pointing to an IN token, and Prev_Token_Ptr
164 -- pointing to a NOT token. Used to check proper layout of NOT IN.
166 procedure Check_Pragma_Name
167 renames Style_Inst
.Check_Pragma_Name
;
168 -- The current token is a pragma identifier. Check that it is spelled
169 -- properly (i.e. with an appropriate casing convention).
171 procedure Check_Right_Paren
172 renames Style_Inst
.Check_Right_Paren
;
173 -- Called after scanning out a right parenthesis to check spacing
175 procedure Check_Semicolon
176 renames Style_Inst
.Check_Semicolon
;
177 -- Called after scanning out a semicolon to check spacing
179 procedure Check_Then
(If_Loc
: Source_Ptr
)
180 renames Style_Inst
.Check_Then
;
181 -- Called to check that THEN and IF keywords are appropriately positioned.
182 -- The parameters show the first characters of the two keywords. This
183 -- procedure is called only if THEN appears at the start of a line with
184 -- Token_Ptr pointing to the THEN keyword.
186 procedure Check_Unary_Plus_Or_Minus
(Inside_Depends
: Boolean := False)
187 renames Style_Inst
.Check_Unary_Plus_Or_Minus
;
188 -- Called after scanning a unary plus or minus to check spacing
190 procedure Check_Vertical_Bar
191 renames Style_Inst
.Check_Vertical_Bar
;
192 -- Called after scanning a vertical bar to check spacing
194 procedure Check_Xtra_Parens
(N
: Node_Id
)
195 renames Style_Inst
.Check_Xtra_Parens
;
196 -- Called after scanning an entire expression (N) that does not require an
197 -- extra level of parentheses.
199 procedure Check_Xtra_Parens_Precedence
(N
: Node_Id
);
200 -- Called after scanning a subexpression (N) that does not require an
201 -- extra level of parentheses according to operator precedence rules.
203 function Mode_In_Check
return Boolean
204 renames Style_Inst
.Mode_In_Check
;
205 -- Determines whether style checking is active and the Mode_In_Check is
206 -- set, forbidding the explicit use of mode IN.
208 procedure No_End_Name
(Name
: Node_Id
)
209 renames Style_Inst
.No_End_Name
;
210 -- Called if an END is encountered where a name is allowed but not present.
211 -- The parameter is the node whose name is the name that is permitted in
212 -- the END line, and the scan pointer is positioned so that if an error
213 -- message is to be generated in this situation, it should be generated
214 -- using Error_Msg_SP.
216 procedure No_Exit_Name
(Name
: Node_Id
)
217 renames Style_Inst
.No_Exit_Name
;
218 -- Called when exiting a named loop, but a name is not present on the EXIT.
219 -- The parameter is the node whose name should have followed EXIT, and the
220 -- scan pointer is positioned so that if an error message is to be
221 -- generated, it should be generated using Error_Msg_SP.
223 procedure Non_Lower_Case_Keyword
224 renames Style_Inst
.Non_Lower_Case_Keyword
;
225 -- Called if a reserved keyword is scanned which is not spelled in all
226 -- lower case letters. On entry Token_Ptr points to the keyword token.
227 -- This is not used for keywords appearing as attribute designators,
228 -- where instead Check_Attribute_Name (True) is called.