blob: a02cb68072899c92865c138b6fdd24f036c40023 [file] [log] [blame]
Daniel Jasperde0328a2013-08-16 11:20:30 +00001//===--- ContinuationIndenter.cpp - Format C++ code -----------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9///
10/// \file
11/// \brief This file implements the continuation indenter.
12///
13//===----------------------------------------------------------------------===//
14
Daniel Jasperde0328a2013-08-16 11:20:30 +000015#include "BreakableToken.h"
16#include "ContinuationIndenter.h"
17#include "WhitespaceManager.h"
18#include "clang/Basic/OperatorPrecedence.h"
19#include "clang/Basic/SourceManager.h"
20#include "clang/Format/Format.h"
21#include "llvm/Support/Debug.h"
22#include <string>
23
Chandler Carruth10346662014-04-22 03:17:02 +000024#define DEBUG_TYPE "format-formatter"
25
Daniel Jasperde0328a2013-08-16 11:20:30 +000026namespace clang {
27namespace format {
28
29// Returns the length of everything up to the first possible line break after
30// the ), ], } or > matching \c Tok.
31static unsigned getLengthToMatchingParen(const FormatToken &Tok) {
Craig Topper2145bc02014-05-09 08:15:10 +000032 if (!Tok.MatchingParen)
Daniel Jasperde0328a2013-08-16 11:20:30 +000033 return 0;
34 FormatToken *End = Tok.MatchingParen;
35 while (End->Next && !End->Next->CanBreakBefore) {
36 End = End->Next;
37 }
38 return End->TotalLength - Tok.TotalLength + 1;
39}
40
Daniel Jasper4c6e0052013-08-27 14:24:43 +000041// Returns \c true if \c Tok is the "." or "->" of a call and starts the next
42// segment of a builder type call.
43static bool startsSegmentOfBuilderTypeCall(const FormatToken &Tok) {
44 return Tok.isMemberAccess() && Tok.Previous && Tok.Previous->closesScope();
45}
46
Daniel Jasperec01cd62013-10-08 05:11:18 +000047// Returns \c true if \c Current starts a new parameter.
48static bool startsNextParameter(const FormatToken &Current,
49 const FormatStyle &Style) {
50 const FormatToken &Previous = *Current.Previous;
Daniel Jaspera98b7b02014-11-25 10:05:17 +000051 if (Current.is(TT_CtorInitializerComma) &&
Daniel Jasperec01cd62013-10-08 05:11:18 +000052 Style.BreakConstructorInitializersBeforeComma)
53 return true;
54 return Previous.is(tok::comma) && !Current.isTrailingComment() &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +000055 (Previous.isNot(TT_CtorInitializerComma) ||
Daniel Jasperec01cd62013-10-08 05:11:18 +000056 !Style.BreakConstructorInitializersBeforeComma);
57}
58
Daniel Jasperde0328a2013-08-16 11:20:30 +000059ContinuationIndenter::ContinuationIndenter(const FormatStyle &Style,
Daniel Jasperd0ec0d62014-11-04 12:41:02 +000060 const AdditionalKeywords &Keywords,
Daniel Jasperde0328a2013-08-16 11:20:30 +000061 SourceManager &SourceMgr,
Daniel Jasperde0328a2013-08-16 11:20:30 +000062 WhitespaceManager &Whitespaces,
63 encoding::Encoding Encoding,
64 bool BinPackInconclusiveFunctions)
Daniel Jasperd0ec0d62014-11-04 12:41:02 +000065 : Style(Style), Keywords(Keywords), SourceMgr(SourceMgr),
66 Whitespaces(Whitespaces), Encoding(Encoding),
Alexander Kornienkoce9161a2014-01-02 15:13:14 +000067 BinPackInconclusiveFunctions(BinPackInconclusiveFunctions),
68 CommentPragmasRegex(Style.CommentPragmas) {}
Daniel Jasperde0328a2013-08-16 11:20:30 +000069
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +000070LineState ContinuationIndenter::getInitialState(unsigned FirstIndent,
Daniel Jasper1c5d9df2013-09-06 07:54:20 +000071 const AnnotatedLine *Line,
72 bool DryRun) {
Daniel Jasperde0328a2013-08-16 11:20:30 +000073 LineState State;
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +000074 State.FirstIndent = FirstIndent;
Daniel Jasperde0328a2013-08-16 11:20:30 +000075 State.Column = FirstIndent;
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +000076 State.Line = Line;
77 State.NextToken = Line->First;
Alexander Kornienkoe2e03872013-10-14 00:46:35 +000078 State.Stack.push_back(ParenState(FirstIndent, Line->Level, FirstIndent,
Daniel Jasperde0328a2013-08-16 11:20:30 +000079 /*AvoidBinPacking=*/false,
80 /*NoLineBreak=*/false));
81 State.LineContainsContinuedForLoopSection = false;
Daniel Jasperde0328a2013-08-16 11:20:30 +000082 State.StartOfStringLiteral = 0;
Daniel Jasper05cd5862014-05-08 12:21:30 +000083 State.StartOfLineLevel = 0;
84 State.LowestLevelOnLine = 0;
Daniel Jasperde0328a2013-08-16 11:20:30 +000085 State.IgnoreStackForComparison = false;
86
87 // The first token has already been indented and thus consumed.
Daniel Jasper1c5d9df2013-09-06 07:54:20 +000088 moveStateToNextToken(State, DryRun, /*Newline=*/false);
Daniel Jasperde0328a2013-08-16 11:20:30 +000089 return State;
90}
91
92bool ContinuationIndenter::canBreak(const LineState &State) {
93 const FormatToken &Current = *State.NextToken;
94 const FormatToken &Previous = *Current.Previous;
95 assert(&Previous == Current.Previous);
Nico Weberbeb03932015-01-09 23:25:06 +000096 if (!Current.CanBreakBefore &&
97 !(State.Stack.back().BreakBeforeClosingBrace &&
98 Current.closesBlockTypeList(Style)))
Daniel Jasperde0328a2013-08-16 11:20:30 +000099 return false;
100 // The opening "{" of a braced list has to be on the same line as the first
101 // element if it is nested in another braced init list or function call.
102 if (!Current.MustBreakBefore && Previous.is(tok::l_brace) &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000103 Previous.isNot(TT_DictLiteral) && Previous.BlockKind == BK_BracedInit &&
Daniel Jasperb05a81d2014-05-09 13:11:16 +0000104 Previous.Previous &&
Daniel Jasperde0328a2013-08-16 11:20:30 +0000105 Previous.Previous->isOneOf(tok::l_brace, tok::l_paren, tok::comma))
106 return false;
107 // This prevents breaks like:
108 // ...
109 // SomeParameter, OtherParameter).DoSomething(
110 // ...
111 // As they hide "DoSomething" and are generally bad for readability.
Daniel Jasper8f59ae52014-03-11 11:03:26 +0000112 if (Previous.opensScope() && Previous.isNot(tok::l_brace) &&
Daniel Jasperfcfac102014-07-15 09:00:34 +0000113 State.LowestLevelOnLine < State.StartOfLineLevel &&
114 State.LowestLevelOnLine < Current.NestingLevel)
Daniel Jasperde0328a2013-08-16 11:20:30 +0000115 return false;
Daniel Jasper4c6e0052013-08-27 14:24:43 +0000116 if (Current.isMemberAccess() && State.Stack.back().ContainsUnwrappedBuilder)
117 return false;
Daniel Jasper114a2bc2014-06-03 12:02:45 +0000118
119 // Don't create a 'hanging' indent if there are multiple blocks in a single
120 // statement.
Daniel Jasper4b444492014-11-21 13:38:53 +0000121 if (Previous.is(tok::l_brace) && State.Stack.size() > 1 &&
122 State.Stack[State.Stack.size() - 2].NestedBlockInlined &&
Daniel Jasper114a2bc2014-06-03 12:02:45 +0000123 State.Stack[State.Stack.size() - 2].HasMultipleNestedBlocks)
124 return false;
125
Daniel Jaspere068ac72014-10-27 17:13:59 +0000126 // Don't break after very short return types (e.g. "void") as that is often
127 // unexpected.
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000128 if (Current.is(TT_FunctionDeclarationName) &&
Daniel Jaspere068ac72014-10-27 17:13:59 +0000129 !Style.AlwaysBreakAfterDefinitionReturnType && State.Column < 6)
130 return false;
131
Daniel Jasperde0328a2013-08-16 11:20:30 +0000132 return !State.Stack.back().NoLineBreak;
133}
134
135bool ContinuationIndenter::mustBreak(const LineState &State) {
136 const FormatToken &Current = *State.NextToken;
137 const FormatToken &Previous = *Current.Previous;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000138 if (Current.MustBreakBefore || Current.is(TT_InlineASMColon))
Daniel Jasperde0328a2013-08-16 11:20:30 +0000139 return true;
Daniel Jasper1db6c382013-10-22 15:30:28 +0000140 if (State.Stack.back().BreakBeforeClosingBrace &&
141 Current.closesBlockTypeList(Style))
Daniel Jasperde0328a2013-08-16 11:20:30 +0000142 return true;
143 if (Previous.is(tok::semi) && State.LineContainsContinuedForLoopSection)
144 return true;
Daniel Jasperec01cd62013-10-08 05:11:18 +0000145 if ((startsNextParameter(Current, Style) || Previous.is(tok::semi) ||
Daniel Jasper165b29e2013-11-08 00:57:11 +0000146 (Style.BreakBeforeTernaryOperators &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000147 (Current.is(tok::question) ||
148 (Current.is(TT_ConditionalExpr) && Previous.isNot(tok::question)))) ||
Daniel Jasper165b29e2013-11-08 00:57:11 +0000149 (!Style.BreakBeforeTernaryOperators &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000150 (Previous.is(tok::question) || Previous.is(TT_ConditionalExpr)))) &&
Daniel Jasperde0328a2013-08-16 11:20:30 +0000151 State.Stack.back().BreakBeforeParameter && !Current.isTrailingComment() &&
152 !Current.isOneOf(tok::r_paren, tok::r_brace))
153 return true;
154 if (Style.AlwaysBreakBeforeMultilineStrings &&
Daniel Jasperf438cb72013-08-23 11:57:34 +0000155 State.Column > State.Stack.back().Indent && // Breaking saves columns.
Daniel Jasper27943052013-11-09 03:08:25 +0000156 !Previous.isOneOf(tok::kw_return, tok::lessless, tok::at) &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000157 !Previous.isOneOf(TT_InlineASMColon, TT_ConditionalExpr) &&
158 nextIsMultilineString(State))
Daniel Jasperde0328a2013-08-16 11:20:30 +0000159 return true;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000160 if (((Previous.is(TT_DictLiteral) && Previous.is(tok::l_brace)) ||
161 Previous.is(TT_ArrayInitializerLSquare)) &&
Daniel Jasperdb8804b2014-04-14 12:11:07 +0000162 Style.ColumnLimit > 0 &&
Daniel Jasperd489dd32013-10-20 16:45:46 +0000163 getLengthToMatchingParen(Previous) + State.Column > getColumnLimit(State))
164 return true;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000165 if (Current.is(TT_CtorInitializerColon) &&
Daniel Jasperd74cf402014-04-08 12:46:38 +0000166 ((Style.AllowShortFunctionsOnASingleLine != FormatStyle::SFS_All) ||
Daniel Jasper5d2587d2014-03-27 16:14:13 +0000167 Style.BreakConstructorInitializersBeforeComma || Style.ColumnLimit != 0))
168 return true;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000169
Daniel Jasper5d2587d2014-03-27 16:14:13 +0000170 if (State.Column < getNewLineColumn(State))
171 return false;
Daniel Jasper8c6e9ef2014-12-02 09:46:56 +0000172 if (Style.BreakBeforeBinaryOperators == FormatStyle::BOS_None) {
Daniel Jasperde0328a2013-08-16 11:20:30 +0000173 // If we need to break somewhere inside the LHS of a binary expression, we
174 // should also break after the operator. Otherwise, the formatting would
175 // hide the operator precedence, e.g. in:
176 // if (aaaaaaaaaaaaaa ==
177 // bbbbbbbbbbbbbb && c) {..
178 // For comparisons, we only apply this rule, if the LHS is a binary
179 // expression itself as otherwise, the line breaks seem superfluous.
180 // We need special cases for ">>" which we have split into two ">" while
181 // lexing in order to make template parsing easier.
Daniel Jasperde0328a2013-08-16 11:20:30 +0000182 bool IsComparison = (Previous.getPrecedence() == prec::Relational ||
183 Previous.getPrecedence() == prec::Equality) &&
184 Previous.Previous &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000185 Previous.Previous->isNot(TT_BinaryOperator); // For >>.
Daniel Jasperde0328a2013-08-16 11:20:30 +0000186 bool LHSIsBinaryExpr =
Daniel Jasper562ecd42013-09-06 08:08:14 +0000187 Previous.Previous && Previous.Previous->EndsBinaryExpression;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000188 if (Previous.is(TT_BinaryOperator) && (!IsComparison || LHSIsBinaryExpr) &&
189 Current.isNot(TT_BinaryOperator) && // For >>.
Daniel Jasperc0d606a2014-04-14 11:08:45 +0000190 !Current.isTrailingComment() && !Previous.is(tok::lessless) &&
Daniel Jasperde0328a2013-08-16 11:20:30 +0000191 Previous.getPrecedence() != prec::Assignment &&
192 State.Stack.back().BreakBeforeParameter)
193 return true;
Daniel Jasper3219e432014-12-02 13:24:51 +0000194 } else {
195 if (Current.is(TT_BinaryOperator) && Previous.EndsBinaryExpression &&
196 State.Stack.back().BreakBeforeParameter)
197 return true;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000198 }
199
200 // Same as above, but for the first "<<" operator.
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000201 if (Current.is(tok::lessless) && Current.isNot(TT_OverloadedOperator) &&
Alexander Kornienko86b2dfd2014-03-06 15:13:08 +0000202 State.Stack.back().BreakBeforeParameter &&
Daniel Jasperde0328a2013-08-16 11:20:30 +0000203 State.Stack.back().FirstLessLess == 0)
204 return true;
205
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000206 if (Current.is(TT_SelectorName) && State.Stack.back().ObjCSelectorNameFound &&
Daniel Jasperde0328a2013-08-16 11:20:30 +0000207 State.Stack.back().BreakBeforeParameter)
208 return true;
Daniel Jasper211e1322014-12-08 20:08:04 +0000209 if (Current.NestingLevel == 0 && !Current.isTrailingComment()) {
210 if (Previous.ClosesTemplateDeclaration)
211 return true;
Nico Weberbeb03932015-01-09 23:25:06 +0000212 if (Previous.is(TT_LeadingJavaAnnotation) && Current.isNot(tok::l_paren) &&
213 Current.isNot(TT_LeadingJavaAnnotation))
Daniel Jasper211e1322014-12-08 20:08:04 +0000214 return true;
215 }
Daniel Jasperde0328a2013-08-16 11:20:30 +0000216
Daniel Jasper4355e7f2014-07-09 07:50:33 +0000217 // If the return type spans multiple lines, wrap before the function name.
Nico Weberbeb03932015-01-09 23:25:06 +0000218 if (Current.isOneOf(TT_FunctionDeclarationName, tok::kw_operator) &&
Daniel Jasper4355e7f2014-07-09 07:50:33 +0000219 State.Stack.back().BreakBeforeParameter)
Daniel Jasperde0328a2013-08-16 11:20:30 +0000220 return true;
Daniel Jasper4355e7f2014-07-09 07:50:33 +0000221
Daniel Jasper4c6e0052013-08-27 14:24:43 +0000222 if (startsSegmentOfBuilderTypeCall(Current) &&
Daniel Jasperf8151e92013-08-30 07:12:40 +0000223 (State.Stack.back().CallContinuation != 0 ||
224 (State.Stack.back().BreakBeforeParameter &&
225 State.Stack.back().ContainsUnwrappedBuilder)))
Daniel Jasper4c6e0052013-08-27 14:24:43 +0000226 return true;
Daniel Jasper96972812014-01-05 12:38:10 +0000227
228 // The following could be precomputed as they do not depend on the state.
229 // However, as they should take effect only if the UnwrappedLine does not fit
230 // into the ColumnLimit, they are checked here in the ContinuationIndenter.
Daniel Jasper35995672014-04-29 14:05:20 +0000231 if (Style.ColumnLimit != 0 && Previous.BlockKind == BK_Block &&
232 Previous.is(tok::l_brace) && !Current.isOneOf(tok::r_brace, tok::comment))
Daniel Jasper96972812014-01-05 12:38:10 +0000233 return true;
Daniel Jasper96972812014-01-05 12:38:10 +0000234
Daniel Jasperde0328a2013-08-16 11:20:30 +0000235 return false;
236}
237
238unsigned ContinuationIndenter::addTokenToState(LineState &State, bool Newline,
Daniel Jasper8de9ed02013-08-22 15:00:41 +0000239 bool DryRun,
240 unsigned ExtraSpaces) {
Daniel Jasperde0328a2013-08-16 11:20:30 +0000241 const FormatToken &Current = *State.NextToken;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000242
Manuel Klimek819788d2014-03-18 11:22:45 +0000243 assert(!State.Stack.empty());
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000244 if ((Current.is(TT_ImplicitStringLiteral) &&
Craig Topper2145bc02014-05-09 08:15:10 +0000245 (Current.Previous->Tok.getIdentifierInfo() == nullptr ||
Daniel Jasper98857842013-10-30 13:54:53 +0000246 Current.Previous->Tok.getIdentifierInfo()->getPPKeywordID() ==
247 tok::pp_not_keyword))) {
Daniel Jasper30526e72015-01-31 07:05:46 +0000248 unsigned EndColumn =
249 SourceMgr.getSpellingColumnNumber(Current.WhitespaceRange.getEnd());
250 if (Current.LastNewlineOffset != 0) {
251 // If there is a newline within this token, the final column will solely
252 // determined by the current end column.
253 State.Column = EndColumn;
254 } else {
255 unsigned StartColumn =
256 SourceMgr.getSpellingColumnNumber(Current.WhitespaceRange.getBegin());
257 assert(EndColumn >= StartColumn);
258 State.Column += EndColumn - StartColumn;
259 }
Daniel Jasper240dfda2014-03-31 14:23:49 +0000260 moveStateToNextToken(State, DryRun, /*Newline=*/false);
Daniel Jasperde0328a2013-08-16 11:20:30 +0000261 return 0;
262 }
263
Alexander Kornienko1f803962013-10-01 14:41:18 +0000264 unsigned Penalty = 0;
265 if (Newline)
266 Penalty = addTokenOnNewLine(State, DryRun);
267 else
Daniel Jasper48437ce2013-11-20 14:54:39 +0000268 addTokenOnCurrentLine(State, DryRun, ExtraSpaces);
Alexander Kornienko1f803962013-10-01 14:41:18 +0000269
270 return moveStateToNextToken(State, DryRun, Newline) + Penalty;
271}
272
Daniel Jasper48437ce2013-11-20 14:54:39 +0000273void ContinuationIndenter::addTokenOnCurrentLine(LineState &State, bool DryRun,
274 unsigned ExtraSpaces) {
Manuel Klimek71814b42013-10-11 21:25:45 +0000275 FormatToken &Current = *State.NextToken;
Alexander Kornienko1f803962013-10-01 14:41:18 +0000276 const FormatToken &Previous = *State.NextToken->Previous;
277 if (Current.is(tok::equal) &&
Daniel Jasper05cd5862014-05-08 12:21:30 +0000278 (State.Line->First->is(tok::kw_for) || Current.NestingLevel == 0) &&
Alexander Kornienko1f803962013-10-01 14:41:18 +0000279 State.Stack.back().VariablePos == 0) {
280 State.Stack.back().VariablePos = State.Column;
281 // Move over * and & if they are bound to the variable name.
282 const FormatToken *Tok = &Previous;
283 while (Tok && State.Stack.back().VariablePos >= Tok->ColumnWidth) {
284 State.Stack.back().VariablePos -= Tok->ColumnWidth;
285 if (Tok->SpacesRequiredBefore != 0)
286 break;
287 Tok = Tok->Previous;
288 }
289 if (Previous.PartOfMultiVariableDeclStmt)
290 State.Stack.back().LastSpace = State.Stack.back().VariablePos;
291 }
292
293 unsigned Spaces = Current.SpacesRequiredBefore + ExtraSpaces;
294
295 if (!DryRun)
296 Whitespaces.replaceWhitespace(Current, /*Newlines=*/0, /*IndentLevel=*/0,
297 Spaces, State.Column + Spaces);
298
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000299 if (Current.is(TT_SelectorName) &&
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000300 !State.Stack.back().ObjCSelectorNameFound) {
301 if (Current.LongestObjCSelectorName == 0)
302 State.Stack.back().AlignColons = false;
303 else if (State.Stack.back().Indent + Current.LongestObjCSelectorName >
304 State.Column + Spaces + Current.ColumnWidth)
Alexander Kornienko1f803962013-10-01 14:41:18 +0000305 State.Stack.back().ColonPos =
306 State.Stack.back().Indent + Current.LongestObjCSelectorName;
307 else
308 State.Stack.back().ColonPos = State.Column + Spaces + Current.ColumnWidth;
309 }
310
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000311 if (Style.AlignAfterOpenBracket && Previous.opensScope() &&
312 Previous.isNot(TT_ObjCMethodExpr) &&
313 (Current.isNot(TT_LineComment) || Previous.BlockKind == BK_BracedInit))
Alexander Kornienko1f803962013-10-01 14:41:18 +0000314 State.Stack.back().Indent = State.Column + Spaces;
Daniel Jasperec01cd62013-10-08 05:11:18 +0000315 if (State.Stack.back().AvoidBinPacking && startsNextParameter(Current, Style))
Alexander Kornienko1f803962013-10-01 14:41:18 +0000316 State.Stack.back().NoLineBreak = true;
317 if (startsSegmentOfBuilderTypeCall(Current))
318 State.Stack.back().ContainsUnwrappedBuilder = true;
319
Daniel Jasperd6f17d82014-09-12 16:35:28 +0000320 if (Current.isMemberAccess() && Previous.is(tok::r_paren) &&
321 (Previous.MatchingParen &&
322 (Previous.TotalLength - Previous.MatchingParen->TotalLength > 10))) {
323 // If there is a function call with long parameters, break before trailing
324 // calls. This prevents things like:
325 // EXPECT_CALL(SomeLongParameter).Times(
326 // 2);
327 // We don't want to do this for short parameters as they can just be
328 // indexes.
329 State.Stack.back().NoLineBreak = true;
330 }
331
Alexander Kornienko1f803962013-10-01 14:41:18 +0000332 State.Column += Spaces;
Daniel Jasper8acf8222014-05-07 09:23:05 +0000333 if (Current.isNot(tok::comment) && Previous.is(tok::l_paren) &&
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000334 Previous.Previous &&
335 Previous.Previous->isOneOf(tok::kw_if, tok::kw_for)) {
Alexander Kornienko1f803962013-10-01 14:41:18 +0000336 // Treat the condition inside an if as if it was a second function
Daniel Jasper6633ab82013-10-18 10:38:14 +0000337 // parameter, i.e. let nested calls have a continuation indent.
Daniel Jasper8acf8222014-05-07 09:23:05 +0000338 State.Stack.back().LastSpace = State.Column;
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000339 State.Stack.back().NestedBlockIndent = State.Column;
340 } else if (!Current.isOneOf(tok::comment, tok::caret) &&
341 (Previous.is(tok::comma) ||
342 (Previous.is(tok::colon) && Previous.is(TT_ObjCMethodExpr)))) {
Alexander Kornienko1f803962013-10-01 14:41:18 +0000343 State.Stack.back().LastSpace = State.Column;
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000344 } else if ((Previous.isOneOf(TT_BinaryOperator, TT_ConditionalExpr,
345 TT_CtorInitializerColon)) &&
346 ((Previous.getPrecedence() != prec::Assignment &&
347 (Previous.isNot(tok::lessless) || Previous.OperatorIndex != 0 ||
348 !Previous.LastOperator)) ||
349 Current.StartsBinaryExpression)) {
Alexander Kornienko1f803962013-10-01 14:41:18 +0000350 // Always indent relative to the RHS of the expression unless this is a
351 // simple assignment without binary expression on the RHS. Also indent
352 // relative to unary operators and the colons of constructor initializers.
353 State.Stack.back().LastSpace = State.Column;
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000354 } else if (Previous.is(TT_InheritanceColon)) {
Alexander Kornienko1f803962013-10-01 14:41:18 +0000355 State.Stack.back().Indent = State.Column;
Daniel Jasperf9a5e402013-10-08 16:24:07 +0000356 State.Stack.back().LastSpace = State.Column;
357 } else if (Previous.opensScope()) {
Alexander Kornienko1f803962013-10-01 14:41:18 +0000358 // If a function has a trailing call, indent all parameters from the
359 // opening parenthesis. This avoids confusing indents like:
360 // OuterFunction(InnerFunctionCall( // break
361 // ParameterToInnerFunction)) // break
362 // .SecondInnerFunctionCall();
363 bool HasTrailingCall = false;
364 if (Previous.MatchingParen) {
365 const FormatToken *Next = Previous.MatchingParen->getNextNonComment();
366 HasTrailingCall = Next && Next->isMemberAccess();
367 }
Daniel Jasperd97d5d52015-02-17 09:58:03 +0000368 if (HasTrailingCall && State.Stack.size() > 1 &&
Alexander Kornienko1f803962013-10-01 14:41:18 +0000369 State.Stack[State.Stack.size() - 2].CallContinuation == 0)
370 State.Stack.back().LastSpace = State.Column;
371 }
372}
373
374unsigned ContinuationIndenter::addTokenOnNewLine(LineState &State,
375 bool DryRun) {
Manuel Klimek71814b42013-10-11 21:25:45 +0000376 FormatToken &Current = *State.NextToken;
Alexander Kornienko1f803962013-10-01 14:41:18 +0000377 const FormatToken &Previous = *State.NextToken->Previous;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000378
Alexander Kornienko1f803962013-10-01 14:41:18 +0000379 // Extra penalty that needs to be added because of the way certain line
380 // breaks are chosen.
381 unsigned Penalty = 0;
Daniel Jasper8de9ed02013-08-22 15:00:41 +0000382
Daniel Jaspera0407742014-02-11 10:08:11 +0000383 const FormatToken *PreviousNonComment = Current.getPreviousNonComment();
384 const FormatToken *NextNonComment = Previous.getNextNonComment();
385 if (!NextNonComment)
386 NextNonComment = &Current;
Daniel Jasper05cd5862014-05-08 12:21:30 +0000387 // The first line break on any NestingLevel causes an extra penalty in order
Alexander Kornienko1f803962013-10-01 14:41:18 +0000388 // prefer similar line breaks.
389 if (!State.Stack.back().ContainsLineBreak)
390 Penalty += 15;
391 State.Stack.back().ContainsLineBreak = true;
Daniel Jasper8de9ed02013-08-22 15:00:41 +0000392
Alexander Kornienko1f803962013-10-01 14:41:18 +0000393 Penalty += State.NextToken->SplitPenalty;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000394
Alexander Kornienko1f803962013-10-01 14:41:18 +0000395 // Breaking before the first "<<" is generally not desirable if the LHS is
Daniel Jasper48437ce2013-11-20 14:54:39 +0000396 // short. Also always add the penalty if the LHS is split over mutliple lines
Daniel Jasper2b7556e2014-04-03 12:00:27 +0000397 // to avoid unnecessary line breaks that just work around this penalty.
Daniel Jaspera0407742014-02-11 10:08:11 +0000398 if (NextNonComment->is(tok::lessless) &&
399 State.Stack.back().FirstLessLess == 0 &&
Daniel Jasper004177e2013-12-19 16:06:40 +0000400 (State.Column <= Style.ColumnLimit / 3 ||
Daniel Jasper48437ce2013-11-20 14:54:39 +0000401 State.Stack.back().BreakBeforeParameter))
Alexander Kornienko1f803962013-10-01 14:41:18 +0000402 Penalty += Style.PenaltyBreakFirstLessLess;
403
Daniel Jasper9f388d02014-03-27 14:33:30 +0000404 State.Column = getNewLineColumn(State);
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000405 State.Stack.back().NestedBlockIndent = State.Column;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000406 if (NextNonComment->isMemberAccess()) {
407 if (State.Stack.back().CallContinuation == 0)
Alexander Kornienko1f803962013-10-01 14:41:18 +0000408 State.Stack.back().CallContinuation = State.Column;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000409 } else if (NextNonComment->is(TT_SelectorName)) {
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000410 if (!State.Stack.back().ObjCSelectorNameFound) {
Daniel Jaspera0407742014-02-11 10:08:11 +0000411 if (NextNonComment->LongestObjCSelectorName == 0) {
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000412 State.Stack.back().AlignColons = false;
413 } else {
414 State.Stack.back().ColonPos =
Daniel Jaspera0407742014-02-11 10:08:11 +0000415 State.Stack.back().Indent + NextNonComment->LongestObjCSelectorName;
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000416 }
Daniel Jasper9f388d02014-03-27 14:33:30 +0000417 } else if (State.Stack.back().AlignColons &&
418 State.Stack.back().ColonPos <= NextNonComment->ColumnWidth) {
Daniel Jaspera0407742014-02-11 10:08:11 +0000419 State.Stack.back().ColonPos = State.Column + NextNonComment->ColumnWidth;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000420 }
Daniel Jasper1fd6f1f2014-03-17 14:32:47 +0000421 } else if (PreviousNonComment && PreviousNonComment->is(tok::colon) &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000422 PreviousNonComment->isOneOf(TT_ObjCMethodExpr, TT_DictLiteral)) {
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000423 // FIXME: This is hacky, find a better way. The problem is that in an ObjC
424 // method expression, the block should be aligned to the line starting it,
425 // e.g.:
426 // [aaaaaaaaaaaaaaa aaaaaaaaa: \\ break for some reason
427 // ^(int *i) {
428 // // ...
429 // }];
Daniel Jasper05cd5862014-05-08 12:21:30 +0000430 // Thus, we set LastSpace of the next higher NestingLevel, to which we move
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000431 // when we consume all of the "}"'s FakeRParens at the "{".
Daniel Jasper9a26e772013-12-23 11:25:40 +0000432 if (State.Stack.size() > 1)
Daniel Jasper9f388d02014-03-27 14:33:30 +0000433 State.Stack[State.Stack.size() - 2].LastSpace =
434 std::max(State.Stack.back().LastSpace, State.Stack.back().Indent) +
435 Style.ContinuationIndentWidth;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000436 }
437
Alexander Kornienko1f803962013-10-01 14:41:18 +0000438 if ((Previous.isOneOf(tok::comma, tok::semi) &&
439 !State.Stack.back().AvoidBinPacking) ||
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000440 Previous.is(TT_BinaryOperator))
Alexander Kornienko1f803962013-10-01 14:41:18 +0000441 State.Stack.back().BreakBeforeParameter = false;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000442 if (Previous.isOneOf(TT_TemplateCloser, TT_JavaAnnotation) &&
Daniel Jasper39af6cd2014-11-03 02:27:28 +0000443 Current.NestingLevel == 0)
Alexander Kornienko1f803962013-10-01 14:41:18 +0000444 State.Stack.back().BreakBeforeParameter = false;
Daniel Jaspera0407742014-02-11 10:08:11 +0000445 if (NextNonComment->is(tok::question) ||
Daniel Jasper165b29e2013-11-08 00:57:11 +0000446 (PreviousNonComment && PreviousNonComment->is(tok::question)))
447 State.Stack.back().BreakBeforeParameter = true;
Alexander Kornienko1f803962013-10-01 14:41:18 +0000448
449 if (!DryRun) {
Daniel Jaspera69ca9b2014-06-04 12:40:57 +0000450 unsigned Newlines = std::max(
451 1u, std::min(Current.NewlinesBefore, Style.MaxEmptyLinesToKeep + 1));
Alexander Kornienkoe2e03872013-10-14 00:46:35 +0000452 Whitespaces.replaceWhitespace(Current, Newlines,
453 State.Stack.back().IndentLevel, State.Column,
454 State.Column, State.Line->InPPDirective);
Alexander Kornienko1f803962013-10-01 14:41:18 +0000455 }
456
457 if (!Current.isTrailingComment())
458 State.Stack.back().LastSpace = State.Column;
Daniel Jasper05cd5862014-05-08 12:21:30 +0000459 State.StartOfLineLevel = Current.NestingLevel;
460 State.LowestLevelOnLine = Current.NestingLevel;
Alexander Kornienko1f803962013-10-01 14:41:18 +0000461
462 // Any break on this level means that the parent level has been broken
463 // and we need to avoid bin packing there.
Daniel Jasper4b444492014-11-21 13:38:53 +0000464 bool NestedBlockSpecialCase =
465 Current.is(tok::r_brace) && State.Stack.size() > 1 &&
466 State.Stack[State.Stack.size() - 2].NestedBlockInlined;
467 if (!NestedBlockSpecialCase) {
Daniel Jasperb16b9692014-05-21 12:51:23 +0000468 for (unsigned i = 0, e = State.Stack.size() - 1; i != e; ++i) {
469 State.Stack[i].BreakBeforeParameter = true;
470 }
Alexander Kornienko1f803962013-10-01 14:41:18 +0000471 }
Daniel Jasperb16b9692014-05-21 12:51:23 +0000472
Daniel Jasper9e5ede02013-11-08 19:56:28 +0000473 if (PreviousNonComment &&
474 !PreviousNonComment->isOneOf(tok::comma, tok::semi) &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000475 (PreviousNonComment->isNot(TT_TemplateCloser) ||
Daniel Jasper6c0ee172014-11-14 13:14:45 +0000476 Current.NestingLevel != 0) &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000477 !PreviousNonComment->isOneOf(TT_BinaryOperator, TT_JavaAnnotation,
478 TT_LeadingJavaAnnotation) &&
479 Current.isNot(TT_BinaryOperator) && !PreviousNonComment->opensScope())
Alexander Kornienko1f803962013-10-01 14:41:18 +0000480 State.Stack.back().BreakBeforeParameter = true;
481
Daniel Jasper1db6c382013-10-22 15:30:28 +0000482 // If we break after { or the [ of an array initializer, we should also break
483 // before the corresponding } or ].
Daniel Jasper90818052014-06-10 10:42:26 +0000484 if (PreviousNonComment &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000485 (PreviousNonComment->isOneOf(tok::l_brace, TT_ArrayInitializerLSquare)))
Alexander Kornienko1f803962013-10-01 14:41:18 +0000486 State.Stack.back().BreakBeforeClosingBrace = true;
487
488 if (State.Stack.back().AvoidBinPacking) {
489 // If we are breaking after '(', '{', '<', this is not bin packing
Daniel Jasper2a958322014-05-21 13:26:58 +0000490 // unless AllowAllParametersOfDeclarationOnNextLine is false or this is a
491 // dict/object literal.
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000492 if (!Previous.isOneOf(tok::l_paren, tok::l_brace, TT_BinaryOperator) ||
Alexander Kornienko1f803962013-10-01 14:41:18 +0000493 (!Style.AllowAllParametersOfDeclarationOnNextLine &&
Daniel Jasper2a958322014-05-21 13:26:58 +0000494 State.Line->MustBeDeclaration) ||
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000495 Previous.is(TT_DictLiteral))
Alexander Kornienko1f803962013-10-01 14:41:18 +0000496 State.Stack.back().BreakBeforeParameter = true;
497 }
498
499 return Penalty;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000500}
501
Daniel Jasper9f388d02014-03-27 14:33:30 +0000502unsigned ContinuationIndenter::getNewLineColumn(const LineState &State) {
Daniel Jasper5d2587d2014-03-27 16:14:13 +0000503 if (!State.NextToken || !State.NextToken->Previous)
504 return 0;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000505 FormatToken &Current = *State.NextToken;
Daniel Jasper4281c5a2014-10-07 14:45:34 +0000506 const FormatToken &Previous = *Current.Previous;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000507 // If we are continuing an expression, we want to use the continuation indent.
508 unsigned ContinuationIndent =
509 std::max(State.Stack.back().LastSpace, State.Stack.back().Indent) +
510 Style.ContinuationIndentWidth;
511 const FormatToken *PreviousNonComment = Current.getPreviousNonComment();
512 const FormatToken *NextNonComment = Previous.getNextNonComment();
513 if (!NextNonComment)
514 NextNonComment = &Current;
Daniel Jasper50b4bd72014-11-02 19:16:41 +0000515
516 // Java specific bits.
Daniel Jasperd0ec0d62014-11-04 12:41:02 +0000517 if (Style.Language == FormatStyle::LK_Java &&
518 Current.isOneOf(Keywords.kw_implements, Keywords.kw_extends))
Daniel Jasper50b4bd72014-11-02 19:16:41 +0000519 return std::max(State.Stack.back().LastSpace,
520 State.Stack.back().Indent + Style.ContinuationIndentWidth);
521
Daniel Jasperb05a81d2014-05-09 13:11:16 +0000522 if (NextNonComment->is(tok::l_brace) && NextNonComment->BlockKind == BK_Block)
Daniel Jasper05cd5862014-05-08 12:21:30 +0000523 return Current.NestingLevel == 0 ? State.FirstIndent
524 : State.Stack.back().Indent;
Daniel Jasper675b4f82015-01-19 10:51:23 +0000525 if (Current.isOneOf(tok::r_brace, tok::r_square) && State.Stack.size() > 1) {
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000526 if (Current.closesBlockTypeList(Style))
527 return State.Stack[State.Stack.size() - 2].NestedBlockIndent;
528 if (Current.MatchingParen &&
529 Current.MatchingParen->BlockKind == BK_BracedInit)
Daniel Jasper9f388d02014-03-27 14:33:30 +0000530 return State.Stack[State.Stack.size() - 2].LastSpace;
Daniel Jasper24a14772014-12-10 17:24:34 +0000531 return State.FirstIndent;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000532 }
Daniel Jasper783bac62014-04-15 09:54:30 +0000533 if (Current.is(tok::identifier) && Current.Next &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000534 Current.Next->is(TT_DictLiteral))
Daniel Jasper783bac62014-04-15 09:54:30 +0000535 return State.Stack.back().Indent;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000536 if (NextNonComment->isStringLiteral() && State.StartOfStringLiteral != 0)
537 return State.StartOfStringLiteral;
538 if (NextNonComment->is(tok::lessless) &&
539 State.Stack.back().FirstLessLess != 0)
540 return State.Stack.back().FirstLessLess;
541 if (NextNonComment->isMemberAccess()) {
Daniel Jasper24a14772014-12-10 17:24:34 +0000542 if (State.Stack.back().CallContinuation == 0)
Daniel Jasper9f388d02014-03-27 14:33:30 +0000543 return ContinuationIndent;
Daniel Jasper24a14772014-12-10 17:24:34 +0000544 return State.Stack.back().CallContinuation;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000545 }
546 if (State.Stack.back().QuestionColumn != 0 &&
Daniel Jasperc0d606a2014-04-14 11:08:45 +0000547 ((NextNonComment->is(tok::colon) &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000548 NextNonComment->is(TT_ConditionalExpr)) ||
549 Previous.is(TT_ConditionalExpr)))
Daniel Jasper9f388d02014-03-27 14:33:30 +0000550 return State.Stack.back().QuestionColumn;
551 if (Previous.is(tok::comma) && State.Stack.back().VariablePos != 0)
552 return State.Stack.back().VariablePos;
Daniel Jaspere9ab42d2014-10-31 18:23:49 +0000553 if ((PreviousNonComment &&
554 (PreviousNonComment->ClosesTemplateDeclaration ||
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000555 PreviousNonComment->isOneOf(TT_AttributeParen, TT_JavaAnnotation,
556 TT_LeadingJavaAnnotation))) ||
Daniel Jasperc75e1ef2014-07-09 08:42:42 +0000557 (!Style.IndentWrappedFunctionNames &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000558 NextNonComment->isOneOf(tok::kw_operator, TT_FunctionDeclarationName)))
Daniel Jasper9f388d02014-03-27 14:33:30 +0000559 return std::max(State.Stack.back().LastSpace, State.Stack.back().Indent);
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000560 if (NextNonComment->is(TT_SelectorName)) {
Daniel Jasper9f388d02014-03-27 14:33:30 +0000561 if (!State.Stack.back().ObjCSelectorNameFound) {
Daniel Jasper24a14772014-12-10 17:24:34 +0000562 if (NextNonComment->LongestObjCSelectorName == 0)
Daniel Jasper9f388d02014-03-27 14:33:30 +0000563 return State.Stack.back().Indent;
Daniel Jasper24a14772014-12-10 17:24:34 +0000564 return State.Stack.back().Indent +
565 NextNonComment->LongestObjCSelectorName -
566 NextNonComment->ColumnWidth;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000567 }
Daniel Jasper24a14772014-12-10 17:24:34 +0000568 if (!State.Stack.back().AlignColons)
569 return State.Stack.back().Indent;
570 if (State.Stack.back().ColonPos > NextNonComment->ColumnWidth)
571 return State.Stack.back().ColonPos - NextNonComment->ColumnWidth;
572 return State.Stack.back().Indent;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000573 }
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000574 if (NextNonComment->is(TT_ArraySubscriptLSquare)) {
Daniel Jasper9f388d02014-03-27 14:33:30 +0000575 if (State.Stack.back().StartOfArraySubscripts != 0)
576 return State.Stack.back().StartOfArraySubscripts;
Daniel Jasper24a14772014-12-10 17:24:34 +0000577 return ContinuationIndent;
Daniel Jasper9f388d02014-03-27 14:33:30 +0000578 }
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000579 if (NextNonComment->is(TT_StartOfName) ||
Daniel Jasper9f388d02014-03-27 14:33:30 +0000580 Previous.isOneOf(tok::coloncolon, tok::equal)) {
581 return ContinuationIndent;
582 }
583 if (PreviousNonComment && PreviousNonComment->is(tok::colon) &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000584 PreviousNonComment->isOneOf(TT_ObjCMethodExpr, TT_DictLiteral))
Daniel Jasper9f388d02014-03-27 14:33:30 +0000585 return ContinuationIndent;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000586 if (NextNonComment->is(TT_CtorInitializerColon))
Daniel Jasper9f388d02014-03-27 14:33:30 +0000587 return State.FirstIndent + Style.ConstructorInitializerIndentWidth;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000588 if (NextNonComment->is(TT_CtorInitializerComma))
Daniel Jasper9f388d02014-03-27 14:33:30 +0000589 return State.Stack.back().Indent;
Daniel Jasper316ab382014-08-06 13:14:58 +0000590 if (Previous.is(tok::r_paren) && !Current.isBinaryOperator() &&
Daniel Jasper119ff532014-11-14 12:31:14 +0000591 !Current.isOneOf(tok::colon, tok::comment))
Daniel Jasper316ab382014-08-06 13:14:58 +0000592 return ContinuationIndent;
Daniel Jasper5d2587d2014-03-27 16:14:13 +0000593 if (State.Stack.back().Indent == State.FirstIndent && PreviousNonComment &&
Daniel Jasper9f388d02014-03-27 14:33:30 +0000594 PreviousNonComment->isNot(tok::r_brace))
595 // Ensure that we fall back to the continuation indent width instead of
596 // just flushing continuations left.
597 return State.Stack.back().Indent + Style.ContinuationIndentWidth;
598 return State.Stack.back().Indent;
599}
600
Daniel Jasperde0328a2013-08-16 11:20:30 +0000601unsigned ContinuationIndenter::moveStateToNextToken(LineState &State,
602 bool DryRun, bool Newline) {
Daniel Jasperde0328a2013-08-16 11:20:30 +0000603 assert(State.Stack.size());
Daniel Jasper60553be2014-05-26 13:10:39 +0000604 const FormatToken &Current = *State.NextToken;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000605
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000606 if (Current.is(TT_InheritanceColon))
Daniel Jasperde0328a2013-08-16 11:20:30 +0000607 State.Stack.back().AvoidBinPacking = true;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000608 if (Current.is(tok::lessless) && Current.isNot(TT_OverloadedOperator)) {
Daniel Jasperc0d606a2014-04-14 11:08:45 +0000609 if (State.Stack.back().FirstLessLess == 0)
610 State.Stack.back().FirstLessLess = State.Column;
611 else
612 State.Stack.back().LastOperatorWrapped = Newline;
613 }
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000614 if ((Current.is(TT_BinaryOperator) && Current.isNot(tok::lessless)) ||
615 Current.is(TT_ConditionalExpr))
Daniel Jasperc0d606a2014-04-14 11:08:45 +0000616 State.Stack.back().LastOperatorWrapped = Newline;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000617 if (Current.is(TT_ArraySubscriptLSquare) &&
Daniel Jasperde0328a2013-08-16 11:20:30 +0000618 State.Stack.back().StartOfArraySubscripts == 0)
619 State.Stack.back().StartOfArraySubscripts = State.Column;
Daniel Jasper165b29e2013-11-08 00:57:11 +0000620 if ((Current.is(tok::question) && Style.BreakBeforeTernaryOperators) ||
621 (Current.getPreviousNonComment() && Current.isNot(tok::colon) &&
622 Current.getPreviousNonComment()->is(tok::question) &&
623 !Style.BreakBeforeTernaryOperators))
Daniel Jasperde0328a2013-08-16 11:20:30 +0000624 State.Stack.back().QuestionColumn = State.Column;
625 if (!Current.opensScope() && !Current.closesScope())
626 State.LowestLevelOnLine =
Daniel Jasper05cd5862014-05-08 12:21:30 +0000627 std::min(State.LowestLevelOnLine, Current.NestingLevel);
Daniel Jasper4c6e0052013-08-27 14:24:43 +0000628 if (Current.isMemberAccess())
Daniel Jasperde0328a2013-08-16 11:20:30 +0000629 State.Stack.back().StartOfFunctionCall =
Daniel Jasper0e617842014-04-16 12:26:54 +0000630 Current.LastOperator ? 0 : State.Column + Current.ColumnWidth;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000631 if (Current.is(TT_SelectorName))
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000632 State.Stack.back().ObjCSelectorNameFound = true;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000633 if (Current.is(TT_CtorInitializerColon)) {
Daniel Jasperde0328a2013-08-16 11:20:30 +0000634 // Indent 2 from the column, so:
635 // SomeClass::SomeClass()
636 // : First(...), ...
637 // Next(...)
638 // ^ line up here.
639 State.Stack.back().Indent =
640 State.Column + (Style.BreakConstructorInitializersBeforeComma ? 0 : 2);
Daniel Jasperd6a1cab2015-01-12 10:23:24 +0000641 State.Stack.back().NestedBlockIndent = State.Stack.back().Indent;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000642 if (Style.ConstructorInitializerAllOnOneLineOrOnePerLine)
643 State.Stack.back().AvoidBinPacking = true;
644 State.Stack.back().BreakBeforeParameter = false;
645 }
646
Daniel Jasperde0328a2013-08-16 11:20:30 +0000647 // In ObjC method declaration we align on the ":" of parameters, but we need
Daniel Jasper6633ab82013-10-18 10:38:14 +0000648 // to ensure that we indent parameters on subsequent lines by at least our
649 // continuation indent width.
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000650 if (Current.is(TT_ObjCMethodSpecifier))
Daniel Jasper6633ab82013-10-18 10:38:14 +0000651 State.Stack.back().Indent += Style.ContinuationIndentWidth;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000652
653 // Insert scopes created by fake parenthesis.
654 const FormatToken *Previous = Current.getPreviousNonComment();
Daniel Jasperb16b9692014-05-21 12:51:23 +0000655
656 // Add special behavior to support a format commonly used for JavaScript
657 // closures:
658 // SomeFunction(function() {
659 // foo();
660 // bar();
661 // }, a, b, c);
Daniel Jasper4b444492014-11-21 13:38:53 +0000662 if (Current.isNot(tok::comment) && Previous && Previous->is(tok::l_brace) &&
663 State.Stack.size() > 1) {
664 if (State.Stack[State.Stack.size() - 2].NestedBlockInlined && Newline) {
665 for (unsigned i = 0, e = State.Stack.size() - 1; i != e; ++i) {
666 State.Stack[i].NoLineBreak = true;
Daniel Jasperb16b9692014-05-21 12:51:23 +0000667 }
Daniel Jasperb16b9692014-05-21 12:51:23 +0000668 }
Daniel Jasper4b444492014-11-21 13:38:53 +0000669 State.Stack[State.Stack.size() - 2].NestedBlockInlined = false;
670 }
671 if (Previous && (Previous->isOneOf(tok::l_paren, tok::comma, tok::colon) ||
672 Previous->isOneOf(TT_BinaryOperator, TT_ConditionalExpr)) &&
673 !Previous->isOneOf(TT_DictLiteral, TT_ObjCMethodExpr)) {
674 State.Stack.back().NestedBlockInlined =
675 !Newline &&
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000676 (Previous->isNot(tok::l_paren) || Previous->ParameterCount > 1);
Daniel Jasperb16b9692014-05-21 12:51:23 +0000677 }
678
Daniel Jasper60553be2014-05-26 13:10:39 +0000679 moveStatePastFakeLParens(State, Newline);
680 moveStatePastScopeOpener(State, Newline);
681 moveStatePastScopeCloser(State);
682 moveStatePastFakeRParens(State);
683
684 if (Current.isStringLiteral() && State.StartOfStringLiteral == 0) {
685 State.StartOfStringLiteral = State.Column;
686 } else if (!Current.isOneOf(tok::comment, tok::identifier, tok::hash) &&
687 !Current.isStringLiteral()) {
688 State.StartOfStringLiteral = 0;
689 }
690
691 State.Column += Current.ColumnWidth;
692 State.NextToken = State.NextToken->Next;
693 unsigned Penalty = breakProtrudingToken(Current, State, DryRun);
694 if (State.Column > getColumnLimit(State)) {
695 unsigned ExcessCharacters = State.Column - getColumnLimit(State);
696 Penalty += Style.PenaltyExcessCharacter * ExcessCharacters;
697 }
698
699 if (Current.Role)
700 Current.Role->formatFromToken(State, this, DryRun);
701 // If the previous has a special role, let it consume tokens as appropriate.
702 // It is necessary to start at the previous token for the only implemented
703 // role (comma separated list). That way, the decision whether or not to break
704 // after the "{" is already done and both options are tried and evaluated.
705 // FIXME: This is ugly, find a better way.
706 if (Previous && Previous->Role)
707 Penalty += Previous->Role->formatAfterToken(State, this, DryRun);
708
709 return Penalty;
710}
711
712void ContinuationIndenter::moveStatePastFakeLParens(LineState &State,
713 bool Newline) {
714 const FormatToken &Current = *State.NextToken;
715 const FormatToken *Previous = Current.getPreviousNonComment();
716
Daniel Jasperde0328a2013-08-16 11:20:30 +0000717 // Don't add extra indentation for the first fake parenthesis after
Dinesh Dwivedi0db806b2014-05-01 17:19:34 +0000718 // 'return', assignments or opening <({[. The indentation for these cases
Daniel Jasperde0328a2013-08-16 11:20:30 +0000719 // is special cased.
720 bool SkipFirstExtraIndent =
Daniel Jaspereabede62013-09-30 08:29:03 +0000721 (Previous && (Previous->opensScope() || Previous->is(tok::kw_return) ||
Daniel Jasper3219e432014-12-02 13:24:51 +0000722 (Previous->getPrecedence() == prec::Assignment &&
723 Style.AlignOperands) ||
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000724 Previous->is(TT_ObjCMethodExpr)));
Daniel Jasperde0328a2013-08-16 11:20:30 +0000725 for (SmallVectorImpl<prec::Level>::const_reverse_iterator
726 I = Current.FakeLParens.rbegin(),
727 E = Current.FakeLParens.rend();
728 I != E; ++I) {
729 ParenState NewParenState = State.Stack.back();
730 NewParenState.ContainsLineBreak = false;
Daniel Jaspereabede62013-09-30 08:29:03 +0000731
Daniel Jasper3aa9a6a2014-11-18 23:55:27 +0000732 // Indent from 'LastSpace' unless these are fake parentheses encapsulating
733 // a builder type call after 'return' or, if the alignment after opening
734 // brackets is disabled.
Daniel Jasper4281c5a2014-10-07 14:45:34 +0000735 if (!Current.isTrailingComment() &&
Daniel Jasper3219e432014-12-02 13:24:51 +0000736 (Style.AlignOperands || *I < prec::Assignment) &&
Daniel Jasper6cab6782014-11-20 09:54:49 +0000737 (!Previous || Previous->isNot(tok::kw_return) ||
738 (Style.Language != FormatStyle::LK_Java && *I > 0)) &&
Daniel Jasper3aa9a6a2014-11-18 23:55:27 +0000739 (Style.AlignAfterOpenBracket || *I != prec::Comma ||
740 Current.NestingLevel == 0))
Daniel Jaspereabede62013-09-30 08:29:03 +0000741 NewParenState.Indent =
742 std::max(std::max(State.Column, NewParenState.Indent),
743 State.Stack.back().LastSpace);
744
Daniel Jasper5c332652014-04-03 12:00:33 +0000745 // Don't allow the RHS of an operator to be split over multiple lines unless
746 // there is a line-break right after the operator.
747 // Exclude relational operators, as there, it is always more desirable to
748 // have the LHS 'left' of the RHS.
Daniel Jasperc0d606a2014-04-14 11:08:45 +0000749 if (Previous && Previous->getPrecedence() > prec::Assignment &&
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000750 Previous->isOneOf(TT_BinaryOperator, TT_ConditionalExpr) &&
Daniel Jasperc0d606a2014-04-14 11:08:45 +0000751 Previous->getPrecedence() != prec::Relational) {
Daniel Jasper8c6e9ef2014-12-02 09:46:56 +0000752 bool BreakBeforeOperator =
753 Previous->is(tok::lessless) ||
754 (Previous->is(TT_BinaryOperator) &&
755 Style.BreakBeforeBinaryOperators != FormatStyle::BOS_None) ||
756 (Previous->is(TT_ConditionalExpr) &&
757 Style.BreakBeforeTernaryOperators);
Daniel Jasperc0d606a2014-04-14 11:08:45 +0000758 if ((!Newline && !BreakBeforeOperator) ||
759 (!State.Stack.back().LastOperatorWrapped && BreakBeforeOperator))
760 NewParenState.NoLineBreak = true;
761 }
Daniel Jasper5c332652014-04-03 12:00:33 +0000762
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +0000763 // Do not indent relative to the fake parentheses inserted for "." or "->".
764 // This is a special case to make the following to statements consistent:
765 // OuterFunction(InnerFunctionCall( // break
766 // ParameterToInnerFunction));
767 // OuterFunction(SomeObject.InnerFunctionCall( // break
768 // ParameterToInnerFunction));
769 if (*I > prec::Unknown)
770 NewParenState.LastSpace = std::max(NewParenState.LastSpace, State.Column);
Daniel Jaspera536df42014-12-08 21:28:31 +0000771 if (*I != prec::Conditional)
772 NewParenState.StartOfFunctionCall = State.Column;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000773
774 // Always indent conditional expressions. Never indent expression where
775 // the 'operator' is ',', ';' or an assignment (i.e. *I <=
776 // prec::Assignment) as those have different indentation rules. Indent
777 // other expression, unless the indentation needs to be skipped.
778 if (*I == prec::Conditional ||
779 (!SkipFirstExtraIndent && *I > prec::Assignment &&
Daniel Jasper8c6e9ef2014-12-02 09:46:56 +0000780 !Current.isTrailingComment()))
Daniel Jasper6633ab82013-10-18 10:38:14 +0000781 NewParenState.Indent += Style.ContinuationIndentWidth;
Daniel Jasper1db6c382013-10-22 15:30:28 +0000782 if ((Previous && !Previous->opensScope()) || *I > prec::Comma)
Daniel Jasperde0328a2013-08-16 11:20:30 +0000783 NewParenState.BreakBeforeParameter = false;
784 State.Stack.push_back(NewParenState);
785 SkipFirstExtraIndent = false;
786 }
Daniel Jasper60553be2014-05-26 13:10:39 +0000787}
Daniel Jasperde0328a2013-08-16 11:20:30 +0000788
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000789void ContinuationIndenter::moveStatePastFakeRParens(LineState &State) {
790 for (unsigned i = 0, e = State.NextToken->FakeRParens; i != e; ++i) {
Daniel Jasper335ff262014-05-28 09:11:53 +0000791 unsigned VariablePos = State.Stack.back().VariablePos;
Daniel Jasper335ff262014-05-28 09:11:53 +0000792 if (State.Stack.size() == 1) {
793 // Do not pop the last element.
794 break;
795 }
796 State.Stack.pop_back();
797 State.Stack.back().VariablePos = VariablePos;
798 }
799}
800
Daniel Jasper60553be2014-05-26 13:10:39 +0000801void ContinuationIndenter::moveStatePastScopeOpener(LineState &State,
802 bool Newline) {
803 const FormatToken &Current = *State.NextToken;
804 if (!Current.opensScope())
805 return;
806
807 if (Current.MatchingParen && Current.BlockKind == BK_Block) {
808 moveStateToNewBlock(State);
809 return;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000810 }
811
Daniel Jasper60553be2014-05-26 13:10:39 +0000812 unsigned NewIndent;
813 unsigned NewIndentLevel = State.Stack.back().IndentLevel;
814 bool AvoidBinPacking;
815 bool BreakBeforeParameter = false;
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000816 if (Current.isOneOf(tok::l_brace, TT_ArrayInitializerLSquare)) {
Daniel Jasper60553be2014-05-26 13:10:39 +0000817 if (Current.opensBlockTypeList(Style)) {
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000818 NewIndent = State.Stack.back().NestedBlockIndent + Style.IndentWidth;
Daniel Jasper60553be2014-05-26 13:10:39 +0000819 NewIndent = std::min(State.Column + 2, NewIndent);
820 ++NewIndentLevel;
821 } else {
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000822 NewIndent = State.Stack.back().LastSpace + Style.ContinuationIndentWidth;
Daniel Jasper60553be2014-05-26 13:10:39 +0000823 NewIndent = std::min(State.Column + 1, NewIndent);
824 }
825 const FormatToken *NextNoComment = Current.getNextNonComment();
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000826 AvoidBinPacking =
827 Current.isOneOf(TT_ArrayInitializerLSquare, TT_DictLiteral) ||
828 Style.Language == FormatStyle::LK_Proto || !Style.BinPackParameters ||
829 (NextNoComment && NextNoComment->is(TT_DesignatedInitializerPeriod));
Daniel Jasper60553be2014-05-26 13:10:39 +0000830 } else {
831 NewIndent = Style.ContinuationIndentWidth +
832 std::max(State.Stack.back().LastSpace,
833 State.Stack.back().StartOfFunctionCall);
Daniel Jasper18210d72014-10-09 09:52:05 +0000834 AvoidBinPacking =
835 (State.Line->MustBeDeclaration && !Style.BinPackParameters) ||
836 (!State.Line->MustBeDeclaration && !Style.BinPackArguments) ||
837 (Style.ExperimentalAutoDetectBinPacking &&
838 (Current.PackingKind == PPK_OnePerLine ||
839 (!BinPackInconclusiveFunctions &&
840 Current.PackingKind == PPK_Inconclusive)));
Daniel Jasper60553be2014-05-26 13:10:39 +0000841 // If this '[' opens an ObjC call, determine whether all parameters fit
842 // into one line and put one per line if they don't.
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000843 if (Current.is(TT_ObjCMethodExpr) && Style.ColumnLimit != 0 &&
Daniel Jasper60553be2014-05-26 13:10:39 +0000844 getLengthToMatchingParen(Current) + State.Column >
845 getColumnLimit(State))
846 BreakBeforeParameter = true;
847 }
Daniel Jaspera41aa532014-09-19 08:01:25 +0000848 bool NoLineBreak = State.Stack.back().NoLineBreak ||
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000849 (Current.is(TT_TemplateOpener) &&
Daniel Jaspera41aa532014-09-19 08:01:25 +0000850 State.Stack.back().ContainsUnwrappedBuilder);
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000851 unsigned NestedBlockIndent = State.Stack.back().NestedBlockIndent;
Daniel Jasper60553be2014-05-26 13:10:39 +0000852 State.Stack.push_back(ParenState(NewIndent, NewIndentLevel,
853 State.Stack.back().LastSpace,
854 AvoidBinPacking, NoLineBreak));
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000855 State.Stack.back().NestedBlockIndent = NestedBlockIndent;
Daniel Jasper60553be2014-05-26 13:10:39 +0000856 State.Stack.back().BreakBeforeParameter = BreakBeforeParameter;
Daniel Jasper114a2bc2014-06-03 12:02:45 +0000857 State.Stack.back().HasMultipleNestedBlocks = Current.BlockParameterCount > 1;
Daniel Jasper60553be2014-05-26 13:10:39 +0000858}
859
860void ContinuationIndenter::moveStatePastScopeCloser(LineState &State) {
861 const FormatToken &Current = *State.NextToken;
862 if (!Current.closesScope())
863 return;
864
865 // If we encounter a closing ), ], } or >, we can remove a level from our
866 // stacks.
867 if (State.Stack.size() > 1 &&
868 (Current.isOneOf(tok::r_paren, tok::r_square) ||
869 (Current.is(tok::r_brace) && State.NextToken != State.Line->First) ||
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000870 State.NextToken->is(TT_TemplateCloser)))
Daniel Jasper60553be2014-05-26 13:10:39 +0000871 State.Stack.pop_back();
Daniel Jasper335ff262014-05-28 09:11:53 +0000872
Daniel Jasper60553be2014-05-26 13:10:39 +0000873 if (Current.is(tok::r_square)) {
874 // If this ends the array subscript expr, reset the corresponding value.
875 const FormatToken *NextNonComment = Current.getNextNonComment();
876 if (NextNonComment && NextNonComment->isNot(tok::l_square))
877 State.Stack.back().StartOfArraySubscripts = 0;
878 }
879}
880
881void ContinuationIndenter::moveStateToNewBlock(LineState &State) {
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000882 unsigned NestedBlockIndent = State.Stack.back().NestedBlockIndent;
Daniel Jasper50d634b2014-10-28 16:53:38 +0000883 // ObjC block sometimes follow special indentation rules.
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000884 unsigned NewIndent =
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000885 NestedBlockIndent + (State.NextToken->is(TT_ObjCBlockLBrace)
886 ? Style.ObjCBlockIndentWidth
887 : Style.IndentWidth);
Daniel Jasper60553be2014-05-26 13:10:39 +0000888 State.Stack.push_back(ParenState(
889 NewIndent, /*NewIndentLevel=*/State.Stack.back().IndentLevel + 1,
890 State.Stack.back().LastSpace, /*AvoidBinPacking=*/true,
891 State.Stack.back().NoLineBreak));
Daniel Jasper11a0ac62014-12-12 09:40:58 +0000892 State.Stack.back().NestedBlockIndent = NestedBlockIndent;
Daniel Jasper60553be2014-05-26 13:10:39 +0000893 State.Stack.back().BreakBeforeParameter = true;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000894}
895
Alexander Kornienko917f9e02013-09-10 12:29:48 +0000896unsigned ContinuationIndenter::addMultilineToken(const FormatToken &Current,
897 LineState &State) {
Alexander Kornienkod7b837e2013-08-29 17:32:57 +0000898 // Break before further function parameters on all levels.
899 for (unsigned i = 0, e = State.Stack.size(); i != e; ++i)
900 State.Stack[i].BreakBeforeParameter = true;
901
Alexander Kornienko39856b72013-09-10 09:38:25 +0000902 unsigned ColumnsUsed = State.Column;
Alexander Kornienko632abb92013-09-02 13:58:14 +0000903 // We can only affect layout of the first and the last line, so the penalty
904 // for all other lines is constant, and we ignore it.
Alexander Kornienkoebb43ca2013-09-05 14:08:34 +0000905 State.Column = Current.LastLineColumnWidth;
Alexander Kornienko632abb92013-09-02 13:58:14 +0000906
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +0000907 if (ColumnsUsed > getColumnLimit(State))
908 return Style.PenaltyExcessCharacter * (ColumnsUsed - getColumnLimit(State));
Alexander Kornienkod7b837e2013-08-29 17:32:57 +0000909 return 0;
910}
911
Daniel Jasperde0328a2013-08-16 11:20:30 +0000912unsigned ContinuationIndenter::breakProtrudingToken(const FormatToken &Current,
913 LineState &State,
914 bool DryRun) {
Alexander Kornienko917f9e02013-09-10 12:29:48 +0000915 // Don't break multi-line tokens other than block comments. Instead, just
916 // update the state.
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000917 if (Current.isNot(TT_BlockComment) && Current.IsMultiline)
Alexander Kornienko917f9e02013-09-10 12:29:48 +0000918 return addMultilineToken(Current, State);
919
Daniel Jasper616de8642014-11-23 16:46:28 +0000920 // Don't break implicit string literals or import statements.
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000921 if (Current.is(TT_ImplicitStringLiteral) ||
Daniel Jasper616de8642014-11-23 16:46:28 +0000922 State.Line->Type == LT_ImportStatement)
Daniel Jasper98857842013-10-30 13:54:53 +0000923 return 0;
924
Daniel Jasper04b6a082013-12-20 06:22:01 +0000925 if (!Current.isStringLiteral() && !Current.is(tok::comment))
Daniel Jasperf93551c2013-08-23 10:05:49 +0000926 return 0;
927
Ahmed Charlesb8984322014-03-07 20:03:18 +0000928 std::unique_ptr<BreakableToken> Token;
Alexander Kornienko39856b72013-09-10 09:38:25 +0000929 unsigned StartColumn = State.Column - Current.ColumnWidth;
Alexander Kornienko3abbb8a2013-11-12 17:30:49 +0000930 unsigned ColumnLimit = getColumnLimit(State);
Daniel Jasperde0328a2013-08-16 11:20:30 +0000931
Daniel Jasper04b6a082013-12-20 06:22:01 +0000932 if (Current.isStringLiteral()) {
Daniel Jasper428f0b12015-01-04 09:11:17 +0000933 // FIXME: String literal breaking is currently disabled for Java and JS, as
934 // it requires strings to be merged using "+" which we don't support.
935 if (Style.Language == FormatStyle::LK_Java ||
936 Style.Language == FormatStyle::LK_JavaScript)
937 return 0;
938
Alexander Kornienko384b40b2013-10-11 21:43:05 +0000939 // Don't break string literals inside preprocessor directives (except for
940 // #define directives, as their contents are stored in separate lines and
941 // are not affected by this check).
942 // This way we avoid breaking code with line directives and unknown
943 // preprocessor directives that contain long string literals.
944 if (State.Line->Type == LT_PreprocessorDirective)
945 return 0;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000946 // Exempts unterminated string literals from line breaking. The user will
947 // likely want to terminate the string before any line breaking is done.
948 if (Current.IsUnterminatedLiteral)
949 return 0;
950
Alexander Kornienko81e32942013-09-16 20:20:49 +0000951 StringRef Text = Current.TokenText;
952 StringRef Prefix;
953 StringRef Postfix;
Daniel Jasper174b0122014-01-09 14:18:12 +0000954 bool IsNSStringLiteral = false;
Alexander Kornienko81e32942013-09-16 20:20:49 +0000955 // FIXME: Handle whitespace between '_T', '(', '"..."', and ')'.
956 // FIXME: Store Prefix and Suffix (or PrefixLength and SuffixLength to
957 // reduce the overhead) for each FormatToken, which is a string, so that we
958 // don't run multiple checks here on the hot path.
Daniel Jasper174b0122014-01-09 14:18:12 +0000959 if (Text.startswith("\"") && Current.Previous &&
960 Current.Previous->is(tok::at)) {
961 IsNSStringLiteral = true;
962 Prefix = "@\"";
Daniel Jasper174b0122014-01-09 14:18:12 +0000963 }
Alexander Kornienko81e32942013-09-16 20:20:49 +0000964 if ((Text.endswith(Postfix = "\"") &&
Daniel Jasper174b0122014-01-09 14:18:12 +0000965 (IsNSStringLiteral || Text.startswith(Prefix = "\"") ||
966 Text.startswith(Prefix = "u\"") || Text.startswith(Prefix = "U\"") ||
967 Text.startswith(Prefix = "u8\"") ||
Alexander Kornienko81e32942013-09-16 20:20:49 +0000968 Text.startswith(Prefix = "L\""))) ||
Alexander Kornienko732b6bd2014-12-14 20:47:11 +0000969 (Text.startswith(Prefix = "_T(\"") && Text.endswith(Postfix = "\")"))) {
Alexander Kornienko3c3d09c2013-09-27 16:14:22 +0000970 Token.reset(new BreakableStringLiteral(
971 Current, State.Line->Level, StartColumn, Prefix, Postfix,
972 State.Line->InPPDirective, Encoding, Style));
Alexander Kornienko81e32942013-09-16 20:20:49 +0000973 } else {
974 return 0;
975 }
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000976 } else if (Current.is(TT_BlockComment) && Current.isTrailingComment()) {
Alexander Kornienkoce9161a2014-01-02 15:13:14 +0000977 if (CommentPragmasRegex.match(Current.TokenText.substr(2)))
978 return 0;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000979 Token.reset(new BreakableBlockComment(
Alexander Kornienko3c3d09c2013-09-27 16:14:22 +0000980 Current, State.Line->Level, StartColumn, Current.OriginalColumn,
981 !Current.Previous, State.Line->InPPDirective, Encoding, Style));
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000982 } else if (Current.is(TT_LineComment) &&
Craig Topper2145bc02014-05-09 08:15:10 +0000983 (Current.Previous == nullptr ||
Daniel Jaspera98b7b02014-11-25 10:05:17 +0000984 Current.Previous->isNot(TT_ImplicitStringLiteral))) {
Alexander Kornienkoce9161a2014-01-02 15:13:14 +0000985 if (CommentPragmasRegex.match(Current.TokenText.substr(2)))
986 return 0;
Alexander Kornienko3c3d09c2013-09-27 16:14:22 +0000987 Token.reset(new BreakableLineComment(Current, State.Line->Level,
Alexander Kornienko3abbb8a2013-11-12 17:30:49 +0000988 StartColumn, /*InPPDirective=*/false,
Alexander Kornienko3c3d09c2013-09-27 16:14:22 +0000989 Encoding, Style));
Alexander Kornienko3abbb8a2013-11-12 17:30:49 +0000990 // We don't insert backslashes when breaking line comments.
991 ColumnLimit = Style.ColumnLimit;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000992 } else {
993 return 0;
994 }
Alexander Kornienko3abbb8a2013-11-12 17:30:49 +0000995 if (Current.UnbreakableTailLength >= ColumnLimit)
Daniel Jasperde0328a2013-08-16 11:20:30 +0000996 return 0;
997
Alexander Kornienko3abbb8a2013-11-12 17:30:49 +0000998 unsigned RemainingSpace = ColumnLimit - Current.UnbreakableTailLength;
Daniel Jasperde0328a2013-08-16 11:20:30 +0000999 bool BreakInserted = false;
1000 unsigned Penalty = 0;
1001 unsigned RemainingTokenColumns = 0;
1002 for (unsigned LineIndex = 0, EndIndex = Token->getLineCount();
1003 LineIndex != EndIndex; ++LineIndex) {
1004 if (!DryRun)
1005 Token->replaceWhitespaceBefore(LineIndex, Whitespaces);
1006 unsigned TailOffset = 0;
1007 RemainingTokenColumns =
1008 Token->getLineLengthAfterSplit(LineIndex, TailOffset, StringRef::npos);
1009 while (RemainingTokenColumns > RemainingSpace) {
1010 BreakableToken::Split Split =
Alexander Kornienko3abbb8a2013-11-12 17:30:49 +00001011 Token->getSplit(LineIndex, TailOffset, ColumnLimit);
Daniel Jasperde0328a2013-08-16 11:20:30 +00001012 if (Split.first == StringRef::npos) {
1013 // The last line's penalty is handled in addNextStateToQueue().
1014 if (LineIndex < EndIndex - 1)
1015 Penalty += Style.PenaltyExcessCharacter *
1016 (RemainingTokenColumns - RemainingSpace);
1017 break;
1018 }
1019 assert(Split.first != 0);
1020 unsigned NewRemainingTokenColumns = Token->getLineLengthAfterSplit(
1021 LineIndex, TailOffset + Split.first + Split.second, StringRef::npos);
Alexander Kornienko875395f2013-11-12 17:50:13 +00001022
1023 // We can remove extra whitespace instead of breaking the line.
1024 if (RemainingTokenColumns + 1 - Split.second <= RemainingSpace) {
1025 RemainingTokenColumns = 0;
1026 if (!DryRun)
1027 Token->replaceWhitespace(LineIndex, TailOffset, Split, Whitespaces);
1028 break;
1029 }
1030
Alexander Kornienko64a42b82014-04-15 14:52:43 +00001031 // When breaking before a tab character, it may be moved by a few columns,
1032 // but will still be expanded to the next tab stop, so we don't save any
1033 // columns.
1034 if (NewRemainingTokenColumns == RemainingTokenColumns)
1035 break;
1036
Daniel Jasperde0328a2013-08-16 11:20:30 +00001037 assert(NewRemainingTokenColumns < RemainingTokenColumns);
1038 if (!DryRun)
1039 Token->insertBreak(LineIndex, TailOffset, Split, Whitespaces);
Daniel Jasper2739af32013-08-28 10:03:58 +00001040 Penalty += Current.SplitPenalty;
Daniel Jasperde0328a2013-08-16 11:20:30 +00001041 unsigned ColumnsUsed =
1042 Token->getLineLengthAfterSplit(LineIndex, TailOffset, Split.first);
Alexander Kornienko3abbb8a2013-11-12 17:30:49 +00001043 if (ColumnsUsed > ColumnLimit) {
1044 Penalty += Style.PenaltyExcessCharacter * (ColumnsUsed - ColumnLimit);
Daniel Jasperde0328a2013-08-16 11:20:30 +00001045 }
1046 TailOffset += Split.first + Split.second;
1047 RemainingTokenColumns = NewRemainingTokenColumns;
1048 BreakInserted = true;
1049 }
1050 }
1051
1052 State.Column = RemainingTokenColumns;
1053
1054 if (BreakInserted) {
1055 // If we break the token inside a parameter list, we need to break before
1056 // the next parameter on all levels, so that the next parameter is clearly
1057 // visible. Line comments already introduce a break.
Daniel Jaspera98b7b02014-11-25 10:05:17 +00001058 if (Current.isNot(TT_LineComment)) {
Daniel Jasperde0328a2013-08-16 11:20:30 +00001059 for (unsigned i = 0, e = State.Stack.size(); i != e; ++i)
1060 State.Stack[i].BreakBeforeParameter = true;
1061 }
1062
Daniel Jasper04b6a082013-12-20 06:22:01 +00001063 Penalty += Current.isStringLiteral() ? Style.PenaltyBreakString
1064 : Style.PenaltyBreakComment;
Daniel Jasper2739af32013-08-28 10:03:58 +00001065
Daniel Jasperde0328a2013-08-16 11:20:30 +00001066 State.Stack.back().LastSpace = StartColumn;
1067 }
1068 return Penalty;
1069}
1070
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001071unsigned ContinuationIndenter::getColumnLimit(const LineState &State) const {
Daniel Jasperde0328a2013-08-16 11:20:30 +00001072 // In preprocessor directives reserve two chars for trailing " \"
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001073 return Style.ColumnLimit - (State.Line->InPPDirective ? 2 : 0);
Daniel Jasperde0328a2013-08-16 11:20:30 +00001074}
1075
Daniel Jasperc39b56f2013-12-16 07:23:08 +00001076bool ContinuationIndenter::nextIsMultilineString(const LineState &State) {
Daniel Jasperf438cb72013-08-23 11:57:34 +00001077 const FormatToken &Current = *State.NextToken;
Daniel Jaspera98b7b02014-11-25 10:05:17 +00001078 if (!Current.isStringLiteral() || Current.is(TT_ImplicitStringLiteral))
Daniel Jasperf438cb72013-08-23 11:57:34 +00001079 return false;
Alexander Kornienkod7b837e2013-08-29 17:32:57 +00001080 // We never consider raw string literals "multiline" for the purpose of
Daniel Jasperc39b56f2013-12-16 07:23:08 +00001081 // AlwaysBreakBeforeMultilineStrings implementation as they are special-cased
1082 // (see TokenAnnotator::mustBreakBefore().
Alexander Kornienkod7b837e2013-08-29 17:32:57 +00001083 if (Current.TokenText.startswith("R\""))
1084 return false;
Alexander Kornienko39856b72013-09-10 09:38:25 +00001085 if (Current.IsMultiline)
Alexander Kornienkod7b837e2013-08-29 17:32:57 +00001086 return true;
Daniel Jasperf438cb72013-08-23 11:57:34 +00001087 if (Current.getNextNonComment() &&
Daniel Jasper04b6a082013-12-20 06:22:01 +00001088 Current.getNextNonComment()->isStringLiteral())
Daniel Jasperf438cb72013-08-23 11:57:34 +00001089 return true; // Implicit concatenation.
Daniel Jasper6fd5d642015-01-20 12:59:20 +00001090 if (Style.ColumnLimit != 0 &&
1091 State.Column + Current.ColumnWidth + Current.UnbreakableTailLength >
1092 Style.ColumnLimit)
Daniel Jasperf438cb72013-08-23 11:57:34 +00001093 return true; // String will be split.
Alexander Kornienkod7b837e2013-08-29 17:32:57 +00001094 return false;
Daniel Jasperf438cb72013-08-23 11:57:34 +00001095}
1096
Daniel Jasperde0328a2013-08-16 11:20:30 +00001097} // namespace format
1098} // namespace clang