1 ///////////////////////////////////////////////////////////////////////////////////////////////
2 // checkstyle: Checks Java source code and other text files for adherence to a set of rules.
3 // Copyright (C) 2001-2026 the original author or authors.
4 //
5 // This library is free software; you can redistribute it and/or
6 // modify it under the terms of the GNU Lesser General Public
7 // License as published by the Free Software Foundation; either
8 // version 2.1 of the License, or (at your option) any later version.
9 //
10 // This library is distributed in the hope that it will be useful,
11 // but WITHOUT ANY WARRANTY; without even the implied warranty of
12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 // Lesser General Public License for more details.
14 //
15 // You should have received a copy of the GNU Lesser General Public
16 // License along with this library; if not, write to the Free Software
17 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18 ///////////////////////////////////////////////////////////////////////////////////////////////
19
20 package com.puppycrawl.tools.checkstyle.checks.indentation;
21
22 import com.puppycrawl.tools.checkstyle.api.DetailAST;
23 import com.puppycrawl.tools.checkstyle.api.TokenTypes;
24 import com.puppycrawl.tools.checkstyle.utils.TokenUtil;
25
26 /**
27 * Handler for parents of blocks ('if', 'else', 'while', etc).
28 *
29 * <P>
30 * The "block" handler classes use a common superclass BlockParentHandler,
31 * employing the Template Method pattern.
32 * </P>
33 *
34 * <UL>
35 * <LI>template method to get the lcurly</LI>
36 * <LI>template method to get the rcurly</LI>
37 * <LI>if curlies aren't present, then template method to get expressions
38 * is called</LI>
39 * <LI>now all the repetitious code which checks for BOL, if curlies are on
40 * same line, etc. can be collapsed into the superclass</LI>
41 * </UL>
42 *
43 */
44 public class BlockParentHandler extends AbstractExpressionHandler {
45
46 /**
47 * Children checked by parent handlers.
48 */
49 private static final int[] CHECKED_CHILDREN = {
50 TokenTypes.VARIABLE_DEF,
51 TokenTypes.EXPR,
52 TokenTypes.ANNOTATION,
53 TokenTypes.OBJBLOCK,
54 TokenTypes.LITERAL_BREAK,
55 TokenTypes.LITERAL_RETURN,
56 TokenTypes.LITERAL_THROW,
57 TokenTypes.LITERAL_CONTINUE,
58 TokenTypes.CTOR_CALL,
59 TokenTypes.SUPER_CTOR_CALL,
60 };
61
62 /**
63 * Construct an instance of this handler with the given indentation check,
64 * name, abstract syntax tree, and parent handler.
65 *
66 * @param indentCheck the indentation check
67 * @param name the name of the handler
68 * @param ast the abstract syntax tree
69 * @param parent the parent handler
70 * @noinspection WeakerAccess
71 * @noinspectionreason WeakerAccess - we avoid 'protected' when possible
72 */
73 public BlockParentHandler(IndentationCheck indentCheck,
74 String name, DetailAST ast, AbstractExpressionHandler parent) {
75 super(indentCheck, name, ast, parent);
76 }
77
78 /**
79 * Returns array of token types which should be checked among children.
80 *
81 * @return array of token types to check.
82 */
83 protected int[] getCheckedChildren() {
84 return CHECKED_CHILDREN.clone();
85 }
86
87 /**
88 * Get the top level expression being managed by this handler.
89 *
90 * @return the top level expression
91 */
92 protected DetailAST getTopLevelAst() {
93 return getMainAst();
94 }
95
96 /**
97 * Check the indent of the top level token.
98 */
99 protected void checkTopLevelToken() {
100 final DetailAST topLevel = getTopLevelAst();
101
102 if (topLevel != null
103 && !getIndent().isAcceptable(expandedTabsColumnNo(topLevel))
104 && isOnStartOfLine(topLevel)) {
105 logError(topLevel, "", expandedTabsColumnNo(topLevel));
106 }
107 }
108
109 /**
110 * Determines if this block expression has curly braces.
111 *
112 * @return true if curly braces are present, false otherwise
113 */
114 private boolean hasCurlies() {
115 return getLeftCurly() != null && getRightCurly() != null;
116 }
117
118 /**
119 * Get the left curly brace portion of the expression we are handling.
120 *
121 * @return the left curly brace expression
122 */
123 protected DetailAST getLeftCurly() {
124 return getMainAst().findFirstToken(TokenTypes.SLIST);
125 }
126
127 /**
128 * Get the right curly brace portion of the expression we are handling.
129 *
130 * @return the right curly brace expression
131 */
132 protected DetailAST getRightCurly() {
133 final DetailAST slist = getMainAst().findFirstToken(TokenTypes.SLIST);
134 return slist.findFirstToken(TokenTypes.RCURLY);
135 }
136
137 /**
138 * Check the indentation of the left curly brace.
139 */
140 private void checkLeftCurly() {
141 // the lcurly can either be at the correct indentation, or nested
142 // with a previous expression
143 final DetailAST lcurly = getLeftCurly();
144 final int lcurlyPos = expandedTabsColumnNo(lcurly);
145
146 if (!curlyIndent().isAcceptable(lcurlyPos) && isOnStartOfLine(lcurly)) {
147 logError(lcurly, "lcurly", lcurlyPos, curlyIndent());
148 }
149 }
150
151 /**
152 * Get the expected indentation level for the curly braces.
153 *
154 * @return the curly brace indentation level
155 */
156 protected IndentLevel curlyIndent() {
157 final DetailAST lcurly = getLeftCurly();
158 IndentLevel expIndentLevel = new IndentLevel(getIndent(), getBraceAdjustment());
159 if (!isOnStartOfLine(lcurly) || checkIfCodeBlock()) {
160 expIndentLevel = new IndentLevel(getIndent(), 0);
161 }
162 return expIndentLevel;
163 }
164
165 /**
166 * Checks if lcurly is a Code block.
167 *
168 * @return true if lcurly is a code block
169 */
170 private boolean checkIfCodeBlock() {
171 final AbstractExpressionHandler parent = getParent();
172 return getMainAst().getType() == TokenTypes.SLIST
173 && parent instanceof BlockParentHandler
174 && parent.getParent() instanceof BlockParentHandler;
175 }
176
177 /**
178 * Determines if child elements within the expression may be nested.
179 *
180 * @return false
181 */
182 protected boolean canChildrenBeNested() {
183 return false;
184 }
185
186 /**
187 * Check the indentation of the right curly brace.
188 */
189 private void checkRightCurly() {
190 final DetailAST rcurly = getRightCurly();
191 final int rcurlyPos = expandedTabsColumnNo(rcurly);
192
193 if (!curlyIndent().isAcceptable(rcurlyPos)
194 && isOnStartOfLine(rcurly)) {
195 logError(rcurly, "rcurly", rcurlyPos, curlyIndent());
196 }
197 }
198
199 /**
200 * Get the child element that is not a list of statements.
201 *
202 * @return the non-list child element
203 */
204 protected DetailAST getNonListChild() {
205 return getMainAst().findFirstToken(TokenTypes.RPAREN).getNextSibling();
206 }
207
208 /**
209 * Check the indentation level of a child that is not a list of statements.
210 */
211 private void checkNonListChild() {
212 final DetailAST nonList = getNonListChild();
213 if (nonList != null) {
214 final IndentLevel expected = new IndentLevel(getIndent(), getBasicOffset());
215 checkExpressionSubtree(nonList, expected, false, false);
216
217 final DetailAST nonListStartAst = getFirstAstNode(nonList);
218 if (nonList != nonListStartAst) {
219 checkExpressionSubtree(nonListStartAst, expected, false, false);
220 }
221 }
222 }
223
224 /**
225 * Get the child element representing the list of statements.
226 *
227 * @return the statement list child
228 */
229 protected DetailAST getListChild() {
230 return getMainAst().findFirstToken(TokenTypes.SLIST);
231 }
232
233 /**
234 * Get the right parenthesis portion of the expression we are handling.
235 *
236 * @return the right parenthesis expression
237 */
238 private DetailAST getRightParen() {
239 return getMainAst().findFirstToken(TokenTypes.RPAREN);
240 }
241
242 /**
243 * Get the left parenthesis portion of the expression we are handling.
244 *
245 * @return the left parenthesis expression
246 */
247 private DetailAST getLeftParen() {
248 return getMainAst().findFirstToken(TokenTypes.LPAREN);
249 }
250
251 @Override
252 public void checkIndentation() {
253 checkTopLevelToken();
254 // separate to allow for eventual configuration
255 checkLeftParen(getLeftParen());
256 checkRightParen(getLeftParen(), getRightParen());
257 if (hasCurlies()) {
258 checkLeftCurly();
259 checkRightCurly();
260 }
261 final DetailAST listChild = getListChild();
262 if (listChild == null) {
263 checkNonListChild();
264 }
265 else {
266 // NOTE: switch statements usually don't have curlies
267 if (!hasCurlies() || !TokenUtil.areOnSameLine(getLeftCurly(), getRightCurly())) {
268 checkChildren(listChild,
269 getCheckedChildren(),
270 getChildrenExpectedIndent(),
271 true,
272 canChildrenBeNested());
273 }
274 }
275 }
276
277 /**
278 * Gets indentation level expected for children.
279 *
280 * @return indentation level expected for children
281 */
282 protected IndentLevel getChildrenExpectedIndent() {
283 IndentLevel indentLevel = new IndentLevel(getIndent(), getBasicOffset());
284 // if we have multileveled expected level then we should
285 // try to suggest single level to children using curlies'
286 // levels.
287 if (getIndent().isMultiLevel() && hasCurlies()) {
288 final DetailAST leftCurly = getLeftCurly();
289 if (isOnStartOfLine(leftCurly)) {
290 indentLevel = new IndentLevel(expandedTabsColumnNo(leftCurly)
291 + getBasicOffset());
292 }
293 else if (isOnStartOfLine(getRightCurly())) {
294 final IndentLevel level = new IndentLevel(curlyIndent(), getBasicOffset());
295 indentLevel = IndentLevel.addAcceptable(level, level.getFirstIndentLevel()
296 + getLineWrappingIndent());
297 }
298 }
299 if (hasCurlies() && isOnStartOfLine(getLeftCurly())) {
300 indentLevel = IndentLevel.addAcceptable(indentLevel,
301 curlyIndent().getFirstIndentLevel() + getBasicOffset());
302 }
303 return indentLevel;
304 }
305
306 @Override
307 public IndentLevel getSuggestedChildIndent(AbstractExpressionHandler child) {
308 return getChildrenExpectedIndent();
309 }
310
311 /**
312 * A shortcut for {@code IndentationCheck} property.
313 *
314 * @return value of lineWrappingIndentation property
315 * of {@code IndentationCheck}
316 */
317 private int getLineWrappingIndent() {
318 return getIndentCheck().getLineWrappingIndentation();
319 }
320
321 }