1de0328aeSDaniel Jasper //===--- ContinuationIndenter.cpp - Format C++ code -----------------------===//
2de0328aeSDaniel Jasper //
3de0328aeSDaniel Jasper //                     The LLVM Compiler Infrastructure
4de0328aeSDaniel Jasper //
5de0328aeSDaniel Jasper // This file is distributed under the University of Illinois Open Source
6de0328aeSDaniel Jasper // License. See LICENSE.TXT for details.
7de0328aeSDaniel Jasper //
8de0328aeSDaniel Jasper //===----------------------------------------------------------------------===//
9de0328aeSDaniel Jasper ///
10de0328aeSDaniel Jasper /// \file
11de0328aeSDaniel Jasper /// \brief This file implements the continuation indenter.
12de0328aeSDaniel Jasper ///
13de0328aeSDaniel Jasper //===----------------------------------------------------------------------===//
14de0328aeSDaniel Jasper 
15de0328aeSDaniel Jasper #include "BreakableToken.h"
16de0328aeSDaniel Jasper #include "ContinuationIndenter.h"
17de0328aeSDaniel Jasper #include "WhitespaceManager.h"
18de0328aeSDaniel Jasper #include "clang/Basic/OperatorPrecedence.h"
19de0328aeSDaniel Jasper #include "clang/Basic/SourceManager.h"
20de0328aeSDaniel Jasper #include "clang/Format/Format.h"
21de0328aeSDaniel Jasper #include "llvm/Support/Debug.h"
22de0328aeSDaniel Jasper #include <string>
23de0328aeSDaniel Jasper 
2410346667SChandler Carruth #define DEBUG_TYPE "format-formatter"
2510346667SChandler Carruth 
26de0328aeSDaniel Jasper namespace clang {
27de0328aeSDaniel Jasper namespace format {
28de0328aeSDaniel Jasper 
29de0328aeSDaniel Jasper // Returns the length of everything up to the first possible line break after
30de0328aeSDaniel Jasper // the ), ], } or > matching \c Tok.
31de0328aeSDaniel Jasper static unsigned getLengthToMatchingParen(const FormatToken &Tok) {
322145bc02SCraig Topper   if (!Tok.MatchingParen)
33de0328aeSDaniel Jasper     return 0;
34de0328aeSDaniel Jasper   FormatToken *End = Tok.MatchingParen;
35de0328aeSDaniel Jasper   while (End->Next && !End->Next->CanBreakBefore) {
36de0328aeSDaniel Jasper     End = End->Next;
37de0328aeSDaniel Jasper   }
38de0328aeSDaniel Jasper   return End->TotalLength - Tok.TotalLength + 1;
39de0328aeSDaniel Jasper }
40de0328aeSDaniel Jasper 
414c6e0059SDaniel Jasper // Returns \c true if \c Tok is the "." or "->" of a call and starts the next
424c6e0059SDaniel Jasper // segment of a builder type call.
434c6e0059SDaniel Jasper static bool startsSegmentOfBuilderTypeCall(const FormatToken &Tok) {
444c6e0059SDaniel Jasper   return Tok.isMemberAccess() && Tok.Previous && Tok.Previous->closesScope();
454c6e0059SDaniel Jasper }
464c6e0059SDaniel Jasper 
47ec01cd6eSDaniel Jasper // Returns \c true if \c Current starts a new parameter.
48ec01cd6eSDaniel Jasper static bool startsNextParameter(const FormatToken &Current,
49ec01cd6eSDaniel Jasper                                 const FormatStyle &Style) {
50ec01cd6eSDaniel Jasper   const FormatToken &Previous = *Current.Previous;
51ec01cd6eSDaniel Jasper   if (Current.Type == TT_CtorInitializerComma &&
52ec01cd6eSDaniel Jasper       Style.BreakConstructorInitializersBeforeComma)
53ec01cd6eSDaniel Jasper     return true;
54ec01cd6eSDaniel Jasper   return Previous.is(tok::comma) && !Current.isTrailingComment() &&
55ec01cd6eSDaniel Jasper          (Previous.Type != TT_CtorInitializerComma ||
56ec01cd6eSDaniel Jasper           !Style.BreakConstructorInitializersBeforeComma);
57ec01cd6eSDaniel Jasper }
58ec01cd6eSDaniel Jasper 
59de0328aeSDaniel Jasper ContinuationIndenter::ContinuationIndenter(const FormatStyle &Style,
60de0328aeSDaniel Jasper                                            SourceManager &SourceMgr,
61de0328aeSDaniel Jasper                                            WhitespaceManager &Whitespaces,
62de0328aeSDaniel Jasper                                            encoding::Encoding Encoding,
63de0328aeSDaniel Jasper                                            bool BinPackInconclusiveFunctions)
649fe0e8daSDaniel Jasper     : Style(Style), SourceMgr(SourceMgr), Whitespaces(Whitespaces),
659fe0e8daSDaniel Jasper       Encoding(Encoding),
66ce9161a5SAlexander Kornienko       BinPackInconclusiveFunctions(BinPackInconclusiveFunctions),
67ce9161a5SAlexander Kornienko       CommentPragmasRegex(Style.CommentPragmas) {}
68de0328aeSDaniel Jasper 
699fe0e8daSDaniel Jasper LineState ContinuationIndenter::getInitialState(unsigned FirstIndent,
701c5d9df8SDaniel Jasper                                                 const AnnotatedLine *Line,
711c5d9df8SDaniel Jasper                                                 bool DryRun) {
72de0328aeSDaniel Jasper   LineState State;
739fe0e8daSDaniel Jasper   State.FirstIndent = FirstIndent;
74de0328aeSDaniel Jasper   State.Column = FirstIndent;
759fe0e8daSDaniel Jasper   State.Line = Line;
769fe0e8daSDaniel Jasper   State.NextToken = Line->First;
77e2e0387fSAlexander Kornienko   State.Stack.push_back(ParenState(FirstIndent, Line->Level, FirstIndent,
78de0328aeSDaniel Jasper                                    /*AvoidBinPacking=*/false,
79de0328aeSDaniel Jasper                                    /*NoLineBreak=*/false));
80de0328aeSDaniel Jasper   State.LineContainsContinuedForLoopSection = false;
81de0328aeSDaniel Jasper   State.StartOfStringLiteral = 0;
8205cd5868SDaniel Jasper   State.StartOfLineLevel = 0;
8305cd5868SDaniel Jasper   State.LowestLevelOnLine = 0;
84de0328aeSDaniel Jasper   State.IgnoreStackForComparison = false;
85de0328aeSDaniel Jasper 
86de0328aeSDaniel Jasper   // The first token has already been indented and thus consumed.
871c5d9df8SDaniel Jasper   moveStateToNextToken(State, DryRun, /*Newline=*/false);
88de0328aeSDaniel Jasper   return State;
89de0328aeSDaniel Jasper }
90de0328aeSDaniel Jasper 
91de0328aeSDaniel Jasper bool ContinuationIndenter::canBreak(const LineState &State) {
92de0328aeSDaniel Jasper   const FormatToken &Current = *State.NextToken;
93de0328aeSDaniel Jasper   const FormatToken &Previous = *Current.Previous;
94de0328aeSDaniel Jasper   assert(&Previous == Current.Previous);
951db6c386SDaniel Jasper   if (!Current.CanBreakBefore && !(State.Stack.back().BreakBeforeClosingBrace &&
961db6c386SDaniel Jasper                                    Current.closesBlockTypeList(Style)))
97de0328aeSDaniel Jasper     return false;
98de0328aeSDaniel Jasper   // The opening "{" of a braced list has to be on the same line as the first
99de0328aeSDaniel Jasper   // element if it is nested in another braced init list or function call.
100de0328aeSDaniel Jasper   if (!Current.MustBreakBefore && Previous.is(tok::l_brace) &&
101b05a81deSDaniel Jasper       Previous.Type != TT_DictLiteral && Previous.BlockKind == BK_BracedInit &&
102b05a81deSDaniel Jasper       Previous.Previous &&
103de0328aeSDaniel Jasper       Previous.Previous->isOneOf(tok::l_brace, tok::l_paren, tok::comma))
104de0328aeSDaniel Jasper     return false;
105de0328aeSDaniel Jasper   // This prevents breaks like:
106de0328aeSDaniel Jasper   //   ...
107de0328aeSDaniel Jasper   //   SomeParameter, OtherParameter).DoSomething(
108de0328aeSDaniel Jasper   //   ...
109de0328aeSDaniel Jasper   // As they hide "DoSomething" and are generally bad for readability.
1108f59ae53SDaniel Jasper   if (Previous.opensScope() && Previous.isNot(tok::l_brace) &&
111fcfac10cSDaniel Jasper       State.LowestLevelOnLine < State.StartOfLineLevel &&
112fcfac10cSDaniel Jasper       State.LowestLevelOnLine < Current.NestingLevel)
113de0328aeSDaniel Jasper     return false;
1144c6e0059SDaniel Jasper   if (Current.isMemberAccess() && State.Stack.back().ContainsUnwrappedBuilder)
1154c6e0059SDaniel Jasper     return false;
116114a2bc9SDaniel Jasper 
117114a2bc9SDaniel Jasper   // Don't create a 'hanging' indent if there are multiple blocks in a single
118114a2bc9SDaniel Jasper   // statement.
119114a2bc9SDaniel Jasper   if (Style.Language == FormatStyle::LK_JavaScript &&
120114a2bc9SDaniel Jasper       Previous.is(tok::l_brace) && State.Stack.size() > 1 &&
121114a2bc9SDaniel Jasper       State.Stack[State.Stack.size() - 2].JSFunctionInlined &&
122114a2bc9SDaniel Jasper       State.Stack[State.Stack.size() - 2].HasMultipleNestedBlocks)
123114a2bc9SDaniel Jasper     return false;
124114a2bc9SDaniel Jasper 
125e068ac77SDaniel Jasper   // Don't break after very short return types (e.g. "void") as that is often
126e068ac77SDaniel Jasper   // unexpected.
127e068ac77SDaniel Jasper   if (Current.Type == TT_FunctionDeclarationName &&
128e068ac77SDaniel Jasper       !Style.AlwaysBreakAfterDefinitionReturnType && State.Column < 6)
129e068ac77SDaniel Jasper     return false;
130e068ac77SDaniel Jasper 
131de0328aeSDaniel Jasper   return !State.Stack.back().NoLineBreak;
132de0328aeSDaniel Jasper }
133de0328aeSDaniel Jasper 
134de0328aeSDaniel Jasper bool ContinuationIndenter::mustBreak(const LineState &State) {
135de0328aeSDaniel Jasper   const FormatToken &Current = *State.NextToken;
136de0328aeSDaniel Jasper   const FormatToken &Previous = *Current.Previous;
137de0328aeSDaniel Jasper   if (Current.MustBreakBefore || Current.Type == TT_InlineASMColon)
138de0328aeSDaniel Jasper     return true;
1391db6c386SDaniel Jasper   if (State.Stack.back().BreakBeforeClosingBrace &&
1401db6c386SDaniel Jasper       Current.closesBlockTypeList(Style))
141de0328aeSDaniel Jasper     return true;
142de0328aeSDaniel Jasper   if (Previous.is(tok::semi) && State.LineContainsContinuedForLoopSection)
143de0328aeSDaniel Jasper     return true;
144ec01cd6eSDaniel Jasper   if ((startsNextParameter(Current, Style) || Previous.is(tok::semi) ||
145165b29e2SDaniel Jasper        (Style.BreakBeforeTernaryOperators &&
146165b29e2SDaniel Jasper         (Current.is(tok::question) || (Current.Type == TT_ConditionalExpr &&
147165b29e2SDaniel Jasper                                        Previous.isNot(tok::question)))) ||
148165b29e2SDaniel Jasper        (!Style.BreakBeforeTernaryOperators &&
149165b29e2SDaniel Jasper         (Previous.is(tok::question) || Previous.Type == TT_ConditionalExpr))) &&
150de0328aeSDaniel Jasper       State.Stack.back().BreakBeforeParameter && !Current.isTrailingComment() &&
151de0328aeSDaniel Jasper       !Current.isOneOf(tok::r_paren, tok::r_brace))
152de0328aeSDaniel Jasper     return true;
153de0328aeSDaniel Jasper   if (Style.AlwaysBreakBeforeMultilineStrings &&
154f438cb76SDaniel Jasper       State.Column > State.Stack.back().Indent && // Breaking saves columns.
15527943058SDaniel Jasper       !Previous.isOneOf(tok::kw_return, tok::lessless, tok::at) &&
1563251fff0SDaniel Jasper       Previous.Type != TT_InlineASMColon &&
1573251fff0SDaniel Jasper       Previous.Type != TT_ConditionalExpr && nextIsMultilineString(State))
158de0328aeSDaniel Jasper     return true;
159ce2fdb0aSDaniel Jasper   if (((Previous.Type == TT_DictLiteral && Previous.is(tok::l_brace)) ||
1601db6c386SDaniel Jasper        Previous.Type == TT_ArrayInitializerLSquare) &&
161db8804b3SDaniel Jasper       Style.ColumnLimit > 0 &&
162d489dd34SDaniel Jasper       getLengthToMatchingParen(Previous) + State.Column > getColumnLimit(State))
163d489dd34SDaniel Jasper     return true;
1645d2587daSDaniel Jasper   if (Current.Type == TT_CtorInitializerColon &&
165d74cf403SDaniel Jasper       ((Style.AllowShortFunctionsOnASingleLine != FormatStyle::SFS_All) ||
1665d2587daSDaniel Jasper        Style.BreakConstructorInitializersBeforeComma || Style.ColumnLimit != 0))
1675d2587daSDaniel Jasper     return true;
168de0328aeSDaniel Jasper 
1695d2587daSDaniel Jasper   if (State.Column < getNewLineColumn(State))
1705d2587daSDaniel Jasper     return false;
171de0328aeSDaniel Jasper   if (!Style.BreakBeforeBinaryOperators) {
172de0328aeSDaniel Jasper     // If we need to break somewhere inside the LHS of a binary expression, we
173de0328aeSDaniel Jasper     // should also break after the operator. Otherwise, the formatting would
174de0328aeSDaniel Jasper     // hide the operator precedence, e.g. in:
175de0328aeSDaniel Jasper     //   if (aaaaaaaaaaaaaa ==
176de0328aeSDaniel Jasper     //           bbbbbbbbbbbbbb && c) {..
177de0328aeSDaniel Jasper     // For comparisons, we only apply this rule, if the LHS is a binary
178de0328aeSDaniel Jasper     // expression itself as otherwise, the line breaks seem superfluous.
179de0328aeSDaniel Jasper     // We need special cases for ">>" which we have split into two ">" while
180de0328aeSDaniel Jasper     // lexing in order to make template parsing easier.
181de0328aeSDaniel Jasper     //
182de0328aeSDaniel Jasper     // FIXME: We'll need something similar for styles that break before binary
183de0328aeSDaniel Jasper     // operators.
184de0328aeSDaniel Jasper     bool IsComparison = (Previous.getPrecedence() == prec::Relational ||
185de0328aeSDaniel Jasper                          Previous.getPrecedence() == prec::Equality) &&
186de0328aeSDaniel Jasper                         Previous.Previous &&
187de0328aeSDaniel Jasper                         Previous.Previous->Type != TT_BinaryOperator; // For >>.
188de0328aeSDaniel Jasper     bool LHSIsBinaryExpr =
189562ecd44SDaniel Jasper         Previous.Previous && Previous.Previous->EndsBinaryExpression;
190de0328aeSDaniel Jasper     if (Previous.Type == TT_BinaryOperator &&
191de0328aeSDaniel Jasper         (!IsComparison || LHSIsBinaryExpr) &&
192de0328aeSDaniel Jasper         Current.Type != TT_BinaryOperator && // For >>.
193c0d606a5SDaniel Jasper         !Current.isTrailingComment() && !Previous.is(tok::lessless) &&
194de0328aeSDaniel Jasper         Previous.getPrecedence() != prec::Assignment &&
195de0328aeSDaniel Jasper         State.Stack.back().BreakBeforeParameter)
196de0328aeSDaniel Jasper       return true;
197de0328aeSDaniel Jasper   }
198de0328aeSDaniel Jasper 
199de0328aeSDaniel Jasper   // Same as above, but for the first "<<" operator.
20086b2dfdcSAlexander Kornienko   if (Current.is(tok::lessless) && Current.Type != TT_OverloadedOperator &&
20186b2dfdcSAlexander Kornienko       State.Stack.back().BreakBeforeParameter &&
202de0328aeSDaniel Jasper       State.Stack.back().FirstLessLess == 0)
203de0328aeSDaniel Jasper     return true;
204de0328aeSDaniel Jasper 
20517062ff5SDaniel Jasper   if (Current.Type == TT_SelectorName &&
206b88b25feSDaniel Jasper       State.Stack.back().ObjCSelectorNameFound &&
207de0328aeSDaniel Jasper       State.Stack.back().BreakBeforeParameter)
208de0328aeSDaniel Jasper     return true;
20905cd5868SDaniel Jasper   if (Previous.ClosesTemplateDeclaration && Current.NestingLevel == 0 &&
210a594ba8aSAlexander Kornienko       !Current.isTrailingComment())
211de0328aeSDaniel Jasper     return true;
212de0328aeSDaniel Jasper 
2134355e7f0SDaniel Jasper   // If the return type spans multiple lines, wrap before the function name.
2144355e7f0SDaniel Jasper   if ((Current.Type == TT_FunctionDeclarationName ||
2154355e7f0SDaniel Jasper        Current.is(tok::kw_operator)) &&
2164355e7f0SDaniel Jasper       State.Stack.back().BreakBeforeParameter)
217de0328aeSDaniel Jasper     return true;
2184355e7f0SDaniel Jasper 
2194c6e0059SDaniel Jasper   if (startsSegmentOfBuilderTypeCall(Current) &&
220f8151e9bSDaniel Jasper       (State.Stack.back().CallContinuation != 0 ||
221f8151e9bSDaniel Jasper        (State.Stack.back().BreakBeforeParameter &&
222f8151e9bSDaniel Jasper         State.Stack.back().ContainsUnwrappedBuilder)))
2234c6e0059SDaniel Jasper     return true;
2249697281eSDaniel Jasper 
2259697281eSDaniel Jasper   // The following could be precomputed as they do not depend on the state.
2269697281eSDaniel Jasper   // However, as they should take effect only if the UnwrappedLine does not fit
2279697281eSDaniel Jasper   // into the ColumnLimit, they are checked here in the ContinuationIndenter.
22835995679SDaniel Jasper   if (Style.ColumnLimit != 0 && Previous.BlockKind == BK_Block &&
22935995679SDaniel Jasper       Previous.is(tok::l_brace) && !Current.isOneOf(tok::r_brace, tok::comment))
2309697281eSDaniel Jasper     return true;
2319697281eSDaniel Jasper 
232de0328aeSDaniel Jasper   return false;
233de0328aeSDaniel Jasper }
234de0328aeSDaniel Jasper 
235de0328aeSDaniel Jasper unsigned ContinuationIndenter::addTokenToState(LineState &State, bool Newline,
2368de9ed05SDaniel Jasper                                                bool DryRun,
2378de9ed05SDaniel Jasper                                                unsigned ExtraSpaces) {
238de0328aeSDaniel Jasper   const FormatToken &Current = *State.NextToken;
239de0328aeSDaniel Jasper 
240819788daSManuel Klimek   assert(!State.Stack.empty());
241819788daSManuel Klimek   if ((Current.Type == TT_ImplicitStringLiteral &&
2422145bc02SCraig Topper        (Current.Previous->Tok.getIdentifierInfo() == nullptr ||
2439885784dSDaniel Jasper         Current.Previous->Tok.getIdentifierInfo()->getPPKeywordID() ==
2449885784dSDaniel Jasper             tok::pp_not_keyword))) {
245de0328aeSDaniel Jasper     // FIXME: Is this correct?
246de0328aeSDaniel Jasper     int WhitespaceLength = SourceMgr.getSpellingColumnNumber(
247de0328aeSDaniel Jasper                                State.NextToken->WhitespaceRange.getEnd()) -
248de0328aeSDaniel Jasper                            SourceMgr.getSpellingColumnNumber(
249de0328aeSDaniel Jasper                                State.NextToken->WhitespaceRange.getBegin());
250da353cd5SDaniel Jasper     State.Column += WhitespaceLength;
251240dfda3SDaniel Jasper     moveStateToNextToken(State, DryRun, /*Newline=*/false);
252de0328aeSDaniel Jasper     return 0;
253de0328aeSDaniel Jasper   }
254de0328aeSDaniel Jasper 
2551f80396dSAlexander Kornienko   unsigned Penalty = 0;
2561f80396dSAlexander Kornienko   if (Newline)
2571f80396dSAlexander Kornienko     Penalty = addTokenOnNewLine(State, DryRun);
2581f80396dSAlexander Kornienko   else
25948437ce5SDaniel Jasper     addTokenOnCurrentLine(State, DryRun, ExtraSpaces);
2601f80396dSAlexander Kornienko 
2611f80396dSAlexander Kornienko   return moveStateToNextToken(State, DryRun, Newline) + Penalty;
2621f80396dSAlexander Kornienko }
2631f80396dSAlexander Kornienko 
26448437ce5SDaniel Jasper void ContinuationIndenter::addTokenOnCurrentLine(LineState &State, bool DryRun,
2651f80396dSAlexander Kornienko                                                  unsigned ExtraSpaces) {
26671814b44SManuel Klimek   FormatToken &Current = *State.NextToken;
2671f80396dSAlexander Kornienko   const FormatToken &Previous = *State.NextToken->Previous;
2681f80396dSAlexander Kornienko   if (Current.is(tok::equal) &&
26905cd5868SDaniel Jasper       (State.Line->First->is(tok::kw_for) || Current.NestingLevel == 0) &&
2701f80396dSAlexander Kornienko       State.Stack.back().VariablePos == 0) {
2711f80396dSAlexander Kornienko     State.Stack.back().VariablePos = State.Column;
2721f80396dSAlexander Kornienko     // Move over * and & if they are bound to the variable name.
2731f80396dSAlexander Kornienko     const FormatToken *Tok = &Previous;
2741f80396dSAlexander Kornienko     while (Tok && State.Stack.back().VariablePos >= Tok->ColumnWidth) {
2751f80396dSAlexander Kornienko       State.Stack.back().VariablePos -= Tok->ColumnWidth;
2761f80396dSAlexander Kornienko       if (Tok->SpacesRequiredBefore != 0)
2771f80396dSAlexander Kornienko         break;
2781f80396dSAlexander Kornienko       Tok = Tok->Previous;
2791f80396dSAlexander Kornienko     }
2801f80396dSAlexander Kornienko     if (Previous.PartOfMultiVariableDeclStmt)
2811f80396dSAlexander Kornienko       State.Stack.back().LastSpace = State.Stack.back().VariablePos;
2821f80396dSAlexander Kornienko   }
2831f80396dSAlexander Kornienko 
2841f80396dSAlexander Kornienko   unsigned Spaces = Current.SpacesRequiredBefore + ExtraSpaces;
2851f80396dSAlexander Kornienko 
2861f80396dSAlexander Kornienko   if (!DryRun)
2871f80396dSAlexander Kornienko     Whitespaces.replaceWhitespace(Current, /*Newlines=*/0, /*IndentLevel=*/0,
2881f80396dSAlexander Kornienko                                   Spaces, State.Column + Spaces);
2891f80396dSAlexander Kornienko 
29017062ff5SDaniel Jasper   if (Current.Type == TT_SelectorName &&
291b88b25feSDaniel Jasper       !State.Stack.back().ObjCSelectorNameFound) {
292b88b25feSDaniel Jasper     if (Current.LongestObjCSelectorName == 0)
293b88b25feSDaniel Jasper       State.Stack.back().AlignColons = false;
294b88b25feSDaniel Jasper     else if (State.Stack.back().Indent + Current.LongestObjCSelectorName >
2951f80396dSAlexander Kornienko              State.Column + Spaces + Current.ColumnWidth)
2961f80396dSAlexander Kornienko       State.Stack.back().ColonPos =
2971f80396dSAlexander Kornienko           State.Stack.back().Indent + Current.LongestObjCSelectorName;
2981f80396dSAlexander Kornienko     else
2991f80396dSAlexander Kornienko       State.Stack.back().ColonPos = State.Column + Spaces + Current.ColumnWidth;
3001f80396dSAlexander Kornienko   }
3011f80396dSAlexander Kornienko 
3021f80396dSAlexander Kornienko   if (Previous.opensScope() && Previous.Type != TT_ObjCMethodExpr &&
3035a611397SDaniel Jasper       (Current.Type != TT_LineComment || Previous.BlockKind == BK_BracedInit))
3041f80396dSAlexander Kornienko     State.Stack.back().Indent = State.Column + Spaces;
305ec01cd6eSDaniel Jasper   if (State.Stack.back().AvoidBinPacking && startsNextParameter(Current, Style))
3061f80396dSAlexander Kornienko     State.Stack.back().NoLineBreak = true;
3071f80396dSAlexander Kornienko   if (startsSegmentOfBuilderTypeCall(Current))
3081f80396dSAlexander Kornienko     State.Stack.back().ContainsUnwrappedBuilder = true;
3091f80396dSAlexander Kornienko 
310d6f17d83SDaniel Jasper   if (Current.isMemberAccess() && Previous.is(tok::r_paren) &&
311d6f17d83SDaniel Jasper       (Previous.MatchingParen &&
312d6f17d83SDaniel Jasper        (Previous.TotalLength - Previous.MatchingParen->TotalLength > 10))) {
313d6f17d83SDaniel Jasper     // If there is a function call with long parameters, break before trailing
314d6f17d83SDaniel Jasper     // calls. This prevents things like:
315d6f17d83SDaniel Jasper     //   EXPECT_CALL(SomeLongParameter).Times(
316d6f17d83SDaniel Jasper     //       2);
317d6f17d83SDaniel Jasper     // We don't want to do this for short parameters as they can just be
318d6f17d83SDaniel Jasper     // indexes.
319d6f17d83SDaniel Jasper     State.Stack.back().NoLineBreak = true;
320d6f17d83SDaniel Jasper   }
321d6f17d83SDaniel Jasper 
3221f80396dSAlexander Kornienko   State.Column += Spaces;
3238acf822bSDaniel Jasper   if (Current.isNot(tok::comment) && Previous.is(tok::l_paren) &&
3248acf822bSDaniel Jasper       Previous.Previous && Previous.Previous->isOneOf(tok::kw_if, tok::kw_for))
3251f80396dSAlexander Kornienko     // Treat the condition inside an if as if it was a second function
3266633ab8aSDaniel Jasper     // parameter, i.e. let nested calls have a continuation indent.
3278acf822bSDaniel Jasper     State.Stack.back().LastSpace = State.Column;
328114a2bc9SDaniel Jasper   else if (!Current.isOneOf(tok::comment, tok::caret) &&
329b88b25feSDaniel Jasper            (Previous.is(tok::comma) ||
330b88b25feSDaniel Jasper             (Previous.is(tok::colon) && Previous.Type == TT_ObjCMethodExpr)))
3311f80396dSAlexander Kornienko     State.Stack.back().LastSpace = State.Column;
3321f80396dSAlexander Kornienko   else if ((Previous.Type == TT_BinaryOperator ||
3331f80396dSAlexander Kornienko             Previous.Type == TT_ConditionalExpr ||
3341f80396dSAlexander Kornienko             Previous.Type == TT_CtorInitializerColon) &&
3350e61784aSDaniel Jasper            ((Previous.getPrecedence() != prec::Assignment &&
3360e61784aSDaniel Jasper              (Previous.isNot(tok::lessless) || Previous.OperatorIndex != 0 ||
3370e61784aSDaniel Jasper               !Previous.LastOperator)) ||
3381f80396dSAlexander Kornienko             Current.StartsBinaryExpression))
3391f80396dSAlexander Kornienko     // Always indent relative to the RHS of the expression unless this is a
3401f80396dSAlexander Kornienko     // simple assignment without binary expression on the RHS. Also indent
3411f80396dSAlexander Kornienko     // relative to unary operators and the colons of constructor initializers.
3421f80396dSAlexander Kornienko     State.Stack.back().LastSpace = State.Column;
343f9a5e404SDaniel Jasper   else if (Previous.Type == TT_InheritanceColon) {
3441f80396dSAlexander Kornienko     State.Stack.back().Indent = State.Column;
345f9a5e404SDaniel Jasper     State.Stack.back().LastSpace = State.Column;
346f9a5e404SDaniel Jasper   } else if (Previous.opensScope()) {
3471f80396dSAlexander Kornienko     // If a function has a trailing call, indent all parameters from the
3481f80396dSAlexander Kornienko     // opening parenthesis. This avoids confusing indents like:
3491f80396dSAlexander Kornienko     //   OuterFunction(InnerFunctionCall( // break
3501f80396dSAlexander Kornienko     //       ParameterToInnerFunction))   // break
3511f80396dSAlexander Kornienko     //       .SecondInnerFunctionCall();
3521f80396dSAlexander Kornienko     bool HasTrailingCall = false;
3531f80396dSAlexander Kornienko     if (Previous.MatchingParen) {
3541f80396dSAlexander Kornienko       const FormatToken *Next = Previous.MatchingParen->getNextNonComment();
3551f80396dSAlexander Kornienko       HasTrailingCall = Next && Next->isMemberAccess();
3561f80396dSAlexander Kornienko     }
3571f80396dSAlexander Kornienko     if (HasTrailingCall &&
3581f80396dSAlexander Kornienko         State.Stack[State.Stack.size() - 2].CallContinuation == 0)
3591f80396dSAlexander Kornienko       State.Stack.back().LastSpace = State.Column;
3601f80396dSAlexander Kornienko   }
3611f80396dSAlexander Kornienko }
3621f80396dSAlexander Kornienko 
3631f80396dSAlexander Kornienko unsigned ContinuationIndenter::addTokenOnNewLine(LineState &State,
3641f80396dSAlexander Kornienko                                                  bool DryRun) {
36571814b44SManuel Klimek   FormatToken &Current = *State.NextToken;
3661f80396dSAlexander Kornienko   const FormatToken &Previous = *State.NextToken->Previous;
3679f388d04SDaniel Jasper 
3681f80396dSAlexander Kornienko   // Extra penalty that needs to be added because of the way certain line
3691f80396dSAlexander Kornienko   // breaks are chosen.
3701f80396dSAlexander Kornienko   unsigned Penalty = 0;
3711f80396dSAlexander Kornienko 
372a0407740SDaniel Jasper   const FormatToken *PreviousNonComment = Current.getPreviousNonComment();
373a0407740SDaniel Jasper   const FormatToken *NextNonComment = Previous.getNextNonComment();
374a0407740SDaniel Jasper   if (!NextNonComment)
375a0407740SDaniel Jasper     NextNonComment = &Current;
37605cd5868SDaniel Jasper   // The first line break on any NestingLevel causes an extra penalty in order
3778de9ed05SDaniel Jasper   // prefer similar line breaks.
3788de9ed05SDaniel Jasper   if (!State.Stack.back().ContainsLineBreak)
3798de9ed05SDaniel Jasper     Penalty += 15;
3808de9ed05SDaniel Jasper   State.Stack.back().ContainsLineBreak = true;
3818de9ed05SDaniel Jasper 
3828de9ed05SDaniel Jasper   Penalty += State.NextToken->SplitPenalty;
3838de9ed05SDaniel Jasper 
384de0328aeSDaniel Jasper   // Breaking before the first "<<" is generally not desirable if the LHS is
38548437ce5SDaniel Jasper   // short. Also always add the penalty if the LHS is split over mutliple lines
3862b7556ecSDaniel Jasper   // to avoid unnecessary line breaks that just work around this penalty.
387a0407740SDaniel Jasper   if (NextNonComment->is(tok::lessless) &&
388a0407740SDaniel Jasper       State.Stack.back().FirstLessLess == 0 &&
389004177eeSDaniel Jasper       (State.Column <= Style.ColumnLimit / 3 ||
39048437ce5SDaniel Jasper        State.Stack.back().BreakBeforeParameter))
3918de9ed05SDaniel Jasper     Penalty += Style.PenaltyBreakFirstLessLess;
392de0328aeSDaniel Jasper 
3939f388d04SDaniel Jasper   State.Column = getNewLineColumn(State);
3949f388d04SDaniel Jasper   if (NextNonComment->isMemberAccess()) {
3959f388d04SDaniel Jasper     if (State.Stack.back().CallContinuation == 0)
396de0328aeSDaniel Jasper       State.Stack.back().CallContinuation = State.Column;
39717062ff5SDaniel Jasper   } else if (NextNonComment->Type == TT_SelectorName) {
398b88b25feSDaniel Jasper     if (!State.Stack.back().ObjCSelectorNameFound) {
399a0407740SDaniel Jasper       if (NextNonComment->LongestObjCSelectorName == 0) {
400b88b25feSDaniel Jasper         State.Stack.back().AlignColons = false;
401b88b25feSDaniel Jasper       } else {
402b302f9a0SDaniel Jasper         State.Stack.back().ColonPos =
403a0407740SDaniel Jasper             State.Stack.back().Indent + NextNonComment->LongestObjCSelectorName;
404b88b25feSDaniel Jasper       }
4059f388d04SDaniel Jasper     } else if (State.Stack.back().AlignColons &&
4069f388d04SDaniel Jasper                State.Stack.back().ColonPos <= NextNonComment->ColumnWidth) {
407a0407740SDaniel Jasper       State.Stack.back().ColonPos = State.Column + NextNonComment->ColumnWidth;
408de0328aeSDaniel Jasper     }
4091fd6f1f8SDaniel Jasper   } else if (PreviousNonComment && PreviousNonComment->is(tok::colon) &&
4101fd6f1f8SDaniel Jasper              (PreviousNonComment->Type == TT_ObjCMethodExpr ||
4111fd6f1f8SDaniel Jasper               PreviousNonComment->Type == TT_DictLiteral)) {
412b88b25feSDaniel Jasper     // FIXME: This is hacky, find a better way. The problem is that in an ObjC
413b88b25feSDaniel Jasper     // method expression, the block should be aligned to the line starting it,
414b88b25feSDaniel Jasper     // e.g.:
415b88b25feSDaniel Jasper     //   [aaaaaaaaaaaaaaa aaaaaaaaa: \\ break for some reason
416b88b25feSDaniel Jasper     //                        ^(int *i) {
417b88b25feSDaniel Jasper     //                            // ...
418b88b25feSDaniel Jasper     //                        }];
41905cd5868SDaniel Jasper     // Thus, we set LastSpace of the next higher NestingLevel, to which we move
420b88b25feSDaniel Jasper     // when we consume all of the "}"'s FakeRParens at the "{".
4219a26e773SDaniel Jasper     if (State.Stack.size() > 1)
4229f388d04SDaniel Jasper       State.Stack[State.Stack.size() - 2].LastSpace =
4239f388d04SDaniel Jasper           std::max(State.Stack.back().LastSpace, State.Stack.back().Indent) +
4249f388d04SDaniel Jasper           Style.ContinuationIndentWidth;
425de0328aeSDaniel Jasper   }
426de0328aeSDaniel Jasper 
427de0328aeSDaniel Jasper   if ((Previous.isOneOf(tok::comma, tok::semi) &&
428de0328aeSDaniel Jasper        !State.Stack.back().AvoidBinPacking) ||
429de0328aeSDaniel Jasper       Previous.Type == TT_BinaryOperator)
430de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeParameter = false;
43105cd5868SDaniel Jasper   if (Previous.Type == TT_TemplateCloser && Current.NestingLevel == 0)
432de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeParameter = false;
433a0407740SDaniel Jasper   if (NextNonComment->is(tok::question) ||
434165b29e2SDaniel Jasper       (PreviousNonComment && PreviousNonComment->is(tok::question)))
435165b29e2SDaniel Jasper     State.Stack.back().BreakBeforeParameter = true;
436de0328aeSDaniel Jasper 
437de0328aeSDaniel Jasper   if (!DryRun) {
438a69ca9beSDaniel Jasper     unsigned Newlines = std::max(
439a69ca9beSDaniel Jasper         1u, std::min(Current.NewlinesBefore, Style.MaxEmptyLinesToKeep + 1));
440e2e0387fSAlexander Kornienko     Whitespaces.replaceWhitespace(Current, Newlines,
441e2e0387fSAlexander Kornienko                                   State.Stack.back().IndentLevel, State.Column,
442e2e0387fSAlexander Kornienko                                   State.Column, State.Line->InPPDirective);
443de0328aeSDaniel Jasper   }
444de0328aeSDaniel Jasper 
445de0328aeSDaniel Jasper   if (!Current.isTrailingComment())
446de0328aeSDaniel Jasper     State.Stack.back().LastSpace = State.Column;
44705cd5868SDaniel Jasper   State.StartOfLineLevel = Current.NestingLevel;
44805cd5868SDaniel Jasper   State.LowestLevelOnLine = Current.NestingLevel;
449de0328aeSDaniel Jasper 
450de0328aeSDaniel Jasper   // Any break on this level means that the parent level has been broken
451de0328aeSDaniel Jasper   // and we need to avoid bin packing there.
452b16b969dSDaniel Jasper   bool JavaScriptFormat = Style.Language == FormatStyle::LK_JavaScript &&
453b16b969dSDaniel Jasper                           Current.is(tok::r_brace) &&
454b16b969dSDaniel Jasper                           State.Stack.size() > 1 &&
455b16b969dSDaniel Jasper                           State.Stack[State.Stack.size() - 2].JSFunctionInlined;
456b16b969dSDaniel Jasper   if (!JavaScriptFormat) {
457de0328aeSDaniel Jasper     for (unsigned i = 0, e = State.Stack.size() - 1; i != e; ++i) {
458de0328aeSDaniel Jasper       State.Stack[i].BreakBeforeParameter = true;
459de0328aeSDaniel Jasper     }
460b16b969dSDaniel Jasper   }
461b16b969dSDaniel Jasper 
4629e5ede0fSDaniel Jasper   if (PreviousNonComment &&
4639e5ede0fSDaniel Jasper       !PreviousNonComment->isOneOf(tok::comma, tok::semi) &&
4649e5ede0fSDaniel Jasper       PreviousNonComment->Type != TT_TemplateCloser &&
4659e5ede0fSDaniel Jasper       PreviousNonComment->Type != TT_BinaryOperator &&
466fab69ff0SDaniel Jasper       PreviousNonComment->Type != TT_JavaAnnotation &&
467b05a81deSDaniel Jasper       Current.Type != TT_BinaryOperator && !PreviousNonComment->opensScope())
468de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeParameter = true;
469de0328aeSDaniel Jasper 
4701db6c386SDaniel Jasper   // If we break after { or the [ of an array initializer, we should also break
4711db6c386SDaniel Jasper   // before the corresponding } or ].
47290818057SDaniel Jasper   if (PreviousNonComment &&
47390818057SDaniel Jasper       (PreviousNonComment->is(tok::l_brace) ||
47490818057SDaniel Jasper        PreviousNonComment->Type == TT_ArrayInitializerLSquare))
475de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeClosingBrace = true;
476de0328aeSDaniel Jasper 
477de0328aeSDaniel Jasper   if (State.Stack.back().AvoidBinPacking) {
478de0328aeSDaniel Jasper     // If we are breaking after '(', '{', '<', this is not bin packing
4792a958321SDaniel Jasper     // unless AllowAllParametersOfDeclarationOnNextLine is false or this is a
4802a958321SDaniel Jasper     // dict/object literal.
481de0328aeSDaniel Jasper     if (!(Previous.isOneOf(tok::l_paren, tok::l_brace) ||
482de0328aeSDaniel Jasper           Previous.Type == TT_BinaryOperator) ||
483de0328aeSDaniel Jasper         (!Style.AllowAllParametersOfDeclarationOnNextLine &&
4842a958321SDaniel Jasper          State.Line->MustBeDeclaration) ||
4852a958321SDaniel Jasper         Previous.Type == TT_DictLiteral)
486de0328aeSDaniel Jasper       State.Stack.back().BreakBeforeParameter = true;
487de0328aeSDaniel Jasper   }
488de0328aeSDaniel Jasper 
4891f80396dSAlexander Kornienko   return Penalty;
490de0328aeSDaniel Jasper }
491de0328aeSDaniel Jasper 
4929f388d04SDaniel Jasper unsigned ContinuationIndenter::getNewLineColumn(const LineState &State) {
4935d2587daSDaniel Jasper   if (!State.NextToken || !State.NextToken->Previous)
4945d2587daSDaniel Jasper     return 0;
4959f388d04SDaniel Jasper   FormatToken &Current = *State.NextToken;
4964281c5aeSDaniel Jasper   const FormatToken &Previous = *Current.Previous;
4979f388d04SDaniel Jasper   // If we are continuing an expression, we want to use the continuation indent.
4989f388d04SDaniel Jasper   unsigned ContinuationIndent =
4999f388d04SDaniel Jasper       std::max(State.Stack.back().LastSpace, State.Stack.back().Indent) +
5009f388d04SDaniel Jasper       Style.ContinuationIndentWidth;
5019f388d04SDaniel Jasper   const FormatToken *PreviousNonComment = Current.getPreviousNonComment();
5029f388d04SDaniel Jasper   const FormatToken *NextNonComment = Previous.getNextNonComment();
5039f388d04SDaniel Jasper   if (!NextNonComment)
5049f388d04SDaniel Jasper     NextNonComment = &Current;
505b05a81deSDaniel Jasper   if (NextNonComment->is(tok::l_brace) && NextNonComment->BlockKind == BK_Block)
50605cd5868SDaniel Jasper     return Current.NestingLevel == 0 ? State.FirstIndent
5079f388d04SDaniel Jasper                                      : State.Stack.back().Indent;
5089f388d04SDaniel Jasper   if (Current.isOneOf(tok::r_brace, tok::r_square)) {
509b16b969dSDaniel Jasper     if (State.Stack.size() > 1 &&
510b16b969dSDaniel Jasper         State.Stack[State.Stack.size() - 2].JSFunctionInlined)
511b16b969dSDaniel Jasper       return State.FirstIndent;
5129f388d04SDaniel Jasper     if (Current.closesBlockTypeList(Style) ||
5139f388d04SDaniel Jasper         (Current.MatchingParen &&
5149f388d04SDaniel Jasper          Current.MatchingParen->BlockKind == BK_BracedInit))
5159f388d04SDaniel Jasper       return State.Stack[State.Stack.size() - 2].LastSpace;
5169f388d04SDaniel Jasper     else
5179f388d04SDaniel Jasper       return State.FirstIndent;
5189f388d04SDaniel Jasper   }
519783bac6bSDaniel Jasper   if (Current.is(tok::identifier) && Current.Next &&
520783bac6bSDaniel Jasper       Current.Next->Type == TT_DictLiteral)
521783bac6bSDaniel Jasper     return State.Stack.back().Indent;
5229f388d04SDaniel Jasper   if (NextNonComment->isStringLiteral() && State.StartOfStringLiteral != 0)
5239f388d04SDaniel Jasper     return State.StartOfStringLiteral;
5249f388d04SDaniel Jasper   if (NextNonComment->is(tok::lessless) &&
5259f388d04SDaniel Jasper       State.Stack.back().FirstLessLess != 0)
5269f388d04SDaniel Jasper     return State.Stack.back().FirstLessLess;
5279f388d04SDaniel Jasper   if (NextNonComment->isMemberAccess()) {
5289f388d04SDaniel Jasper     if (State.Stack.back().CallContinuation == 0) {
5299f388d04SDaniel Jasper       return ContinuationIndent;
5309f388d04SDaniel Jasper     } else {
5319f388d04SDaniel Jasper       return State.Stack.back().CallContinuation;
5329f388d04SDaniel Jasper     }
5339f388d04SDaniel Jasper   }
5349f388d04SDaniel Jasper   if (State.Stack.back().QuestionColumn != 0 &&
535c0d606a5SDaniel Jasper       ((NextNonComment->is(tok::colon) &&
536c0d606a5SDaniel Jasper         NextNonComment->Type == TT_ConditionalExpr) ||
5379f388d04SDaniel Jasper        Previous.Type == TT_ConditionalExpr))
5389f388d04SDaniel Jasper     return State.Stack.back().QuestionColumn;
5399f388d04SDaniel Jasper   if (Previous.is(tok::comma) && State.Stack.back().VariablePos != 0)
5409f388d04SDaniel Jasper     return State.Stack.back().VariablePos;
5419f388d04SDaniel Jasper   if ((PreviousNonComment && (PreviousNonComment->ClosesTemplateDeclaration ||
542fab69ff0SDaniel Jasper                               PreviousNonComment->Type == TT_AttributeParen ||
543fab69ff0SDaniel Jasper                               PreviousNonComment->Type == TT_JavaAnnotation)) ||
544c75e1effSDaniel Jasper       (!Style.IndentWrappedFunctionNames &&
545c75e1effSDaniel Jasper        (NextNonComment->is(tok::kw_operator) ||
546c75e1effSDaniel Jasper         NextNonComment->Type == TT_FunctionDeclarationName)))
5479f388d04SDaniel Jasper     return std::max(State.Stack.back().LastSpace, State.Stack.back().Indent);
54817062ff5SDaniel Jasper   if (NextNonComment->Type == TT_SelectorName) {
5499f388d04SDaniel Jasper     if (!State.Stack.back().ObjCSelectorNameFound) {
5509f388d04SDaniel Jasper       if (NextNonComment->LongestObjCSelectorName == 0) {
5519f388d04SDaniel Jasper         return State.Stack.back().Indent;
5529f388d04SDaniel Jasper       } else {
5539f388d04SDaniel Jasper         return State.Stack.back().Indent +
5549f388d04SDaniel Jasper                NextNonComment->LongestObjCSelectorName -
5559f388d04SDaniel Jasper                NextNonComment->ColumnWidth;
5569f388d04SDaniel Jasper       }
5579f388d04SDaniel Jasper     } else if (!State.Stack.back().AlignColons) {
5589f388d04SDaniel Jasper       return State.Stack.back().Indent;
5599f388d04SDaniel Jasper     } else if (State.Stack.back().ColonPos > NextNonComment->ColumnWidth) {
5609f388d04SDaniel Jasper       return State.Stack.back().ColonPos - NextNonComment->ColumnWidth;
5619f388d04SDaniel Jasper     } else {
5629f388d04SDaniel Jasper       return State.Stack.back().Indent;
5639f388d04SDaniel Jasper     }
5649f388d04SDaniel Jasper   }
5659f388d04SDaniel Jasper   if (NextNonComment->Type == TT_ArraySubscriptLSquare) {
5669f388d04SDaniel Jasper     if (State.Stack.back().StartOfArraySubscripts != 0)
5679f388d04SDaniel Jasper       return State.Stack.back().StartOfArraySubscripts;
5689f388d04SDaniel Jasper     else
5699f388d04SDaniel Jasper       return ContinuationIndent;
5709f388d04SDaniel Jasper   }
5719f388d04SDaniel Jasper   if (NextNonComment->Type == TT_StartOfName ||
5729f388d04SDaniel Jasper       Previous.isOneOf(tok::coloncolon, tok::equal)) {
5739f388d04SDaniel Jasper     return ContinuationIndent;
5749f388d04SDaniel Jasper   }
5759f388d04SDaniel Jasper   if (PreviousNonComment && PreviousNonComment->is(tok::colon) &&
5769f388d04SDaniel Jasper       (PreviousNonComment->Type == TT_ObjCMethodExpr ||
5779f388d04SDaniel Jasper        PreviousNonComment->Type == TT_DictLiteral))
5789f388d04SDaniel Jasper     return ContinuationIndent;
5799f388d04SDaniel Jasper   if (NextNonComment->Type == TT_CtorInitializerColon)
5809f388d04SDaniel Jasper     return State.FirstIndent + Style.ConstructorInitializerIndentWidth;
5819f388d04SDaniel Jasper   if (NextNonComment->Type == TT_CtorInitializerComma)
5829f388d04SDaniel Jasper     return State.Stack.back().Indent;
583316ab38eSDaniel Jasper   if (Previous.is(tok::r_paren) && !Current.isBinaryOperator() &&
584316ab38eSDaniel Jasper       Current.isNot(tok::colon))
585316ab38eSDaniel Jasper     return ContinuationIndent;
5865d2587daSDaniel Jasper   if (State.Stack.back().Indent == State.FirstIndent && PreviousNonComment &&
5879f388d04SDaniel Jasper       PreviousNonComment->isNot(tok::r_brace))
5889f388d04SDaniel Jasper     // Ensure that we fall back to the continuation indent width instead of
5899f388d04SDaniel Jasper     // just flushing continuations left.
5909f388d04SDaniel Jasper     return State.Stack.back().Indent + Style.ContinuationIndentWidth;
5919f388d04SDaniel Jasper   return State.Stack.back().Indent;
5929f388d04SDaniel Jasper }
5939f388d04SDaniel Jasper 
594de0328aeSDaniel Jasper unsigned ContinuationIndenter::moveStateToNextToken(LineState &State,
595de0328aeSDaniel Jasper                                                     bool DryRun, bool Newline) {
596de0328aeSDaniel Jasper   assert(State.Stack.size());
59760553be5SDaniel Jasper   const FormatToken &Current = *State.NextToken;
598de0328aeSDaniel Jasper 
599de0328aeSDaniel Jasper   if (Current.Type == TT_InheritanceColon)
600de0328aeSDaniel Jasper     State.Stack.back().AvoidBinPacking = true;
601c0d606a5SDaniel Jasper   if (Current.is(tok::lessless) && Current.Type != TT_OverloadedOperator) {
602c0d606a5SDaniel Jasper     if (State.Stack.back().FirstLessLess == 0)
603de0328aeSDaniel Jasper       State.Stack.back().FirstLessLess = State.Column;
604c0d606a5SDaniel Jasper     else
605c0d606a5SDaniel Jasper       State.Stack.back().LastOperatorWrapped = Newline;
606c0d606a5SDaniel Jasper   }
607c0d606a5SDaniel Jasper   if ((Current.Type == TT_BinaryOperator && Current.isNot(tok::lessless)) ||
608c0d606a5SDaniel Jasper       Current.Type == TT_ConditionalExpr)
609c0d606a5SDaniel Jasper     State.Stack.back().LastOperatorWrapped = Newline;
6101db6c386SDaniel Jasper   if (Current.Type == TT_ArraySubscriptLSquare &&
611de0328aeSDaniel Jasper       State.Stack.back().StartOfArraySubscripts == 0)
612de0328aeSDaniel Jasper     State.Stack.back().StartOfArraySubscripts = State.Column;
613165b29e2SDaniel Jasper   if ((Current.is(tok::question) && Style.BreakBeforeTernaryOperators) ||
614165b29e2SDaniel Jasper       (Current.getPreviousNonComment() && Current.isNot(tok::colon) &&
615165b29e2SDaniel Jasper        Current.getPreviousNonComment()->is(tok::question) &&
616165b29e2SDaniel Jasper        !Style.BreakBeforeTernaryOperators))
617de0328aeSDaniel Jasper     State.Stack.back().QuestionColumn = State.Column;
618de0328aeSDaniel Jasper   if (!Current.opensScope() && !Current.closesScope())
619de0328aeSDaniel Jasper     State.LowestLevelOnLine =
62005cd5868SDaniel Jasper         std::min(State.LowestLevelOnLine, Current.NestingLevel);
6214c6e0059SDaniel Jasper   if (Current.isMemberAccess())
622de0328aeSDaniel Jasper     State.Stack.back().StartOfFunctionCall =
6230e61784aSDaniel Jasper         Current.LastOperator ? 0 : State.Column + Current.ColumnWidth;
62417062ff5SDaniel Jasper   if (Current.Type == TT_SelectorName)
625b88b25feSDaniel Jasper     State.Stack.back().ObjCSelectorNameFound = true;
626de0328aeSDaniel Jasper   if (Current.Type == TT_CtorInitializerColon) {
627de0328aeSDaniel Jasper     // Indent 2 from the column, so:
628de0328aeSDaniel Jasper     // SomeClass::SomeClass()
629de0328aeSDaniel Jasper     //     : First(...), ...
630de0328aeSDaniel Jasper     //       Next(...)
631de0328aeSDaniel Jasper     //       ^ line up here.
632de0328aeSDaniel Jasper     State.Stack.back().Indent =
633de0328aeSDaniel Jasper         State.Column + (Style.BreakConstructorInitializersBeforeComma ? 0 : 2);
634de0328aeSDaniel Jasper     if (Style.ConstructorInitializerAllOnOneLineOrOnePerLine)
635de0328aeSDaniel Jasper       State.Stack.back().AvoidBinPacking = true;
636de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeParameter = false;
637de0328aeSDaniel Jasper   }
638de0328aeSDaniel Jasper 
639de0328aeSDaniel Jasper   // In ObjC method declaration we align on the ":" of parameters, but we need
6406633ab8aSDaniel Jasper   // to ensure that we indent parameters on subsequent lines by at least our
6416633ab8aSDaniel Jasper   // continuation indent width.
642de0328aeSDaniel Jasper   if (Current.Type == TT_ObjCMethodSpecifier)
6436633ab8aSDaniel Jasper     State.Stack.back().Indent += Style.ContinuationIndentWidth;
644de0328aeSDaniel Jasper 
645de0328aeSDaniel Jasper   // Insert scopes created by fake parenthesis.
646de0328aeSDaniel Jasper   const FormatToken *Previous = Current.getPreviousNonComment();
647b16b969dSDaniel Jasper 
648b16b969dSDaniel Jasper   // Add special behavior to support a format commonly used for JavaScript
649b16b969dSDaniel Jasper   // closures:
650b16b969dSDaniel Jasper   //   SomeFunction(function() {
651b16b969dSDaniel Jasper   //     foo();
652b16b969dSDaniel Jasper   //     bar();
653b16b969dSDaniel Jasper   //   }, a, b, c);
654b16b969dSDaniel Jasper   if (Style.Language == FormatStyle::LK_JavaScript) {
655b16b969dSDaniel Jasper     if (Current.isNot(tok::comment) && Previous && Previous->is(tok::l_brace) &&
656b16b969dSDaniel Jasper         State.Stack.size() > 1) {
657b16b969dSDaniel Jasper       if (State.Stack[State.Stack.size() - 2].JSFunctionInlined && Newline) {
658b16b969dSDaniel Jasper         for (unsigned i = 0, e = State.Stack.size() - 1; i != e; ++i) {
659b16b969dSDaniel Jasper           State.Stack[i].NoLineBreak = true;
660b16b969dSDaniel Jasper         }
661b16b969dSDaniel Jasper       }
662b16b969dSDaniel Jasper       State.Stack[State.Stack.size() - 2].JSFunctionInlined = false;
663b16b969dSDaniel Jasper     }
664b16b969dSDaniel Jasper     if (Current.TokenText == "function")
66590ebc98eSDaniel Jasper       State.Stack.back().JSFunctionInlined =
6661779d438SDaniel Jasper           !Newline && Previous && Previous->Type != TT_DictLiteral &&
6671779d438SDaniel Jasper           // If the unnamed function is the only parameter to another function,
6681779d438SDaniel Jasper           // we can likely inline it and come up with a good format.
6691779d438SDaniel Jasper           (Previous->isNot(tok::l_paren) || Previous->ParameterCount > 1);
670b16b969dSDaniel Jasper   }
671b16b969dSDaniel Jasper 
67260553be5SDaniel Jasper   moveStatePastFakeLParens(State, Newline);
67360553be5SDaniel Jasper   moveStatePastScopeOpener(State, Newline);
67460553be5SDaniel Jasper   moveStatePastScopeCloser(State);
67560553be5SDaniel Jasper   moveStatePastFakeRParens(State);
67660553be5SDaniel Jasper 
67760553be5SDaniel Jasper   if (Current.isStringLiteral() && State.StartOfStringLiteral == 0) {
67860553be5SDaniel Jasper     State.StartOfStringLiteral = State.Column;
67960553be5SDaniel Jasper   } else if (!Current.isOneOf(tok::comment, tok::identifier, tok::hash) &&
68060553be5SDaniel Jasper              !Current.isStringLiteral()) {
68160553be5SDaniel Jasper     State.StartOfStringLiteral = 0;
68260553be5SDaniel Jasper   }
68360553be5SDaniel Jasper 
68460553be5SDaniel Jasper   State.Column += Current.ColumnWidth;
68560553be5SDaniel Jasper   State.NextToken = State.NextToken->Next;
68660553be5SDaniel Jasper   unsigned Penalty = breakProtrudingToken(Current, State, DryRun);
68760553be5SDaniel Jasper   if (State.Column > getColumnLimit(State)) {
68860553be5SDaniel Jasper     unsigned ExcessCharacters = State.Column - getColumnLimit(State);
68960553be5SDaniel Jasper     Penalty += Style.PenaltyExcessCharacter * ExcessCharacters;
69060553be5SDaniel Jasper   }
69160553be5SDaniel Jasper 
69260553be5SDaniel Jasper   if (Current.Role)
69360553be5SDaniel Jasper     Current.Role->formatFromToken(State, this, DryRun);
69460553be5SDaniel Jasper   // If the previous has a special role, let it consume tokens as appropriate.
69560553be5SDaniel Jasper   // It is necessary to start at the previous token for the only implemented
69660553be5SDaniel Jasper   // role (comma separated list). That way, the decision whether or not to break
69760553be5SDaniel Jasper   // after the "{" is already done and both options are tried and evaluated.
69860553be5SDaniel Jasper   // FIXME: This is ugly, find a better way.
69960553be5SDaniel Jasper   if (Previous && Previous->Role)
70060553be5SDaniel Jasper     Penalty += Previous->Role->formatAfterToken(State, this, DryRun);
70160553be5SDaniel Jasper 
70260553be5SDaniel Jasper   return Penalty;
70360553be5SDaniel Jasper }
70460553be5SDaniel Jasper 
70560553be5SDaniel Jasper void ContinuationIndenter::moveStatePastFakeLParens(LineState &State,
70660553be5SDaniel Jasper                                                     bool Newline) {
70760553be5SDaniel Jasper   const FormatToken &Current = *State.NextToken;
70860553be5SDaniel Jasper   const FormatToken *Previous = Current.getPreviousNonComment();
70960553be5SDaniel Jasper 
710de0328aeSDaniel Jasper   // Don't add extra indentation for the first fake parenthesis after
7110db806b7SDinesh Dwivedi   // 'return', assignments or opening <({[. The indentation for these cases
712de0328aeSDaniel Jasper   // is special cased.
713de0328aeSDaniel Jasper   bool SkipFirstExtraIndent =
714eabede6dSDaniel Jasper       (Previous && (Previous->opensScope() || Previous->is(tok::kw_return) ||
715f48b5abcSDaniel Jasper                     Previous->getPrecedence() == prec::Assignment ||
716f48b5abcSDaniel Jasper                     Previous->Type == TT_ObjCMethodExpr));
717de0328aeSDaniel Jasper   for (SmallVectorImpl<prec::Level>::const_reverse_iterator
718de0328aeSDaniel Jasper            I = Current.FakeLParens.rbegin(),
719de0328aeSDaniel Jasper            E = Current.FakeLParens.rend();
720de0328aeSDaniel Jasper        I != E; ++I) {
721de0328aeSDaniel Jasper     ParenState NewParenState = State.Stack.back();
722de0328aeSDaniel Jasper     NewParenState.ContainsLineBreak = false;
723eabede6dSDaniel Jasper 
724eabede6dSDaniel Jasper     // Indent from 'LastSpace' unless this the fake parentheses encapsulating a
725eabede6dSDaniel Jasper     // builder type call after 'return'. If such a call is line-wrapped, we
726eabede6dSDaniel Jasper     // commonly just want to indent from the start of the line.
7274281c5aeSDaniel Jasper     if (!Current.isTrailingComment() &&
7284281c5aeSDaniel Jasper         (!Previous || Previous->isNot(tok::kw_return) || *I > 0))
729de0328aeSDaniel Jasper       NewParenState.Indent =
730de0328aeSDaniel Jasper           std::max(std::max(State.Column, NewParenState.Indent),
731de0328aeSDaniel Jasper                    State.Stack.back().LastSpace);
732eabede6dSDaniel Jasper 
7335c33265cSDaniel Jasper     // Don't allow the RHS of an operator to be split over multiple lines unless
7345c33265cSDaniel Jasper     // there is a line-break right after the operator.
7355c33265cSDaniel Jasper     // Exclude relational operators, as there, it is always more desirable to
7365c33265cSDaniel Jasper     // have the LHS 'left' of the RHS.
737c0d606a5SDaniel Jasper     if (Previous && Previous->getPrecedence() > prec::Assignment &&
738c0d606a5SDaniel Jasper         (Previous->Type == TT_BinaryOperator ||
739c0d606a5SDaniel Jasper          Previous->Type == TT_ConditionalExpr) &&
740c0d606a5SDaniel Jasper         Previous->getPrecedence() != prec::Relational) {
741c0d606a5SDaniel Jasper       bool BreakBeforeOperator = Previous->is(tok::lessless) ||
742c0d606a5SDaniel Jasper                                  (Previous->Type == TT_BinaryOperator &&
743c0d606a5SDaniel Jasper                                   Style.BreakBeforeBinaryOperators) ||
744c0d606a5SDaniel Jasper                                  (Previous->Type == TT_ConditionalExpr &&
745c0d606a5SDaniel Jasper                                   Style.BreakBeforeTernaryOperators);
746c0d606a5SDaniel Jasper       if ((!Newline && !BreakBeforeOperator) ||
747c0d606a5SDaniel Jasper           (!State.Stack.back().LastOperatorWrapped && BreakBeforeOperator))
7485c33265cSDaniel Jasper         NewParenState.NoLineBreak = true;
749c0d606a5SDaniel Jasper     }
7505c33265cSDaniel Jasper 
7519fe0e8daSDaniel Jasper     // Do not indent relative to the fake parentheses inserted for "." or "->".
7529fe0e8daSDaniel Jasper     // This is a special case to make the following to statements consistent:
7539fe0e8daSDaniel Jasper     //   OuterFunction(InnerFunctionCall( // break
7549fe0e8daSDaniel Jasper     //       ParameterToInnerFunction));
7559fe0e8daSDaniel Jasper     //   OuterFunction(SomeObject.InnerFunctionCall( // break
7569fe0e8daSDaniel Jasper     //       ParameterToInnerFunction));
7579fe0e8daSDaniel Jasper     if (*I > prec::Unknown)
7589fe0e8daSDaniel Jasper       NewParenState.LastSpace = std::max(NewParenState.LastSpace, State.Column);
75996964359SDaniel Jasper     NewParenState.StartOfFunctionCall = State.Column;
760de0328aeSDaniel Jasper 
761de0328aeSDaniel Jasper     // Always indent conditional expressions. Never indent expression where
762de0328aeSDaniel Jasper     // the 'operator' is ',', ';' or an assignment (i.e. *I <=
763de0328aeSDaniel Jasper     // prec::Assignment) as those have different indentation rules. Indent
764de0328aeSDaniel Jasper     // other expression, unless the indentation needs to be skipped.
765de0328aeSDaniel Jasper     if (*I == prec::Conditional ||
766de0328aeSDaniel Jasper         (!SkipFirstExtraIndent && *I > prec::Assignment &&
7674281c5aeSDaniel Jasper          !Current.isTrailingComment() && !Style.BreakBeforeBinaryOperators))
7686633ab8aSDaniel Jasper       NewParenState.Indent += Style.ContinuationIndentWidth;
7691db6c386SDaniel Jasper     if ((Previous && !Previous->opensScope()) || *I > prec::Comma)
770de0328aeSDaniel Jasper       NewParenState.BreakBeforeParameter = false;
771de0328aeSDaniel Jasper     State.Stack.push_back(NewParenState);
772de0328aeSDaniel Jasper     SkipFirstExtraIndent = false;
773de0328aeSDaniel Jasper   }
77460553be5SDaniel Jasper }
775de0328aeSDaniel Jasper 
776335ff266SDaniel Jasper // Remove the fake r_parens after 'Tok'.
777335ff266SDaniel Jasper static void consumeRParens(LineState& State, const FormatToken &Tok) {
778335ff266SDaniel Jasper   for (unsigned i = 0, e = Tok.FakeRParens; i != e; ++i) {
77960553be5SDaniel Jasper     unsigned VariablePos = State.Stack.back().VariablePos;
780819788daSManuel Klimek     assert(State.Stack.size() > 1);
781819788daSManuel Klimek     if (State.Stack.size() == 1) {
782819788daSManuel Klimek       // Do not pop the last element.
783819788daSManuel Klimek       break;
784819788daSManuel Klimek     }
7859fe0e8daSDaniel Jasper     State.Stack.pop_back();
78660553be5SDaniel Jasper     State.Stack.back().VariablePos = VariablePos;
787819788daSManuel Klimek   }
78860553be5SDaniel Jasper }
789335ff266SDaniel Jasper 
790335ff266SDaniel Jasper // Returns whether 'Tok' opens or closes a scope requiring special handling
791335ff266SDaniel Jasper // of the subsequent fake r_parens.
792335ff266SDaniel Jasper //
793335ff266SDaniel Jasper // For example, if this is an l_brace starting a nested block, we pretend (wrt.
794335ff266SDaniel Jasper // to indentation) that we already consumed the corresponding r_brace. Thus, we
795335ff266SDaniel Jasper // remove all ParenStates caused by fake parentheses that end at the r_brace.
796335ff266SDaniel Jasper // The net effect of this is that we don't indent relative to the l_brace, if
797335ff266SDaniel Jasper // the nested block is the last parameter of a function. This formats:
798335ff266SDaniel Jasper //
799335ff266SDaniel Jasper //   SomeFunction(a, [] {
800335ff266SDaniel Jasper //     f();  // break
801335ff266SDaniel Jasper //   });
802335ff266SDaniel Jasper //
803335ff266SDaniel Jasper // instead of:
804335ff266SDaniel Jasper //   SomeFunction(a, [] {
805335ff266SDaniel Jasper //                     f();  // break
806335ff266SDaniel Jasper //                   });
807114a2bc9SDaniel Jasper static bool fakeRParenSpecialCase(const LineState &State) {
808114a2bc9SDaniel Jasper   const FormatToken &Tok = *State.NextToken;
809335ff266SDaniel Jasper   if (!Tok.MatchingParen)
810335ff266SDaniel Jasper     return false;
811335ff266SDaniel Jasper   const FormatToken *Left = &Tok;
812335ff266SDaniel Jasper   if (Tok.isOneOf(tok::r_brace, tok::r_square))
813335ff266SDaniel Jasper     Left = Tok.MatchingParen;
814114a2bc9SDaniel Jasper   return !State.Stack.back().HasMultipleNestedBlocks &&
815114a2bc9SDaniel Jasper          Left->isOneOf(tok::l_brace, tok::l_square) &&
816335ff266SDaniel Jasper          (Left->BlockKind == BK_Block ||
817335ff266SDaniel Jasper           Left->Type == TT_ArrayInitializerLSquare ||
818335ff266SDaniel Jasper           Left->Type == TT_DictLiteral);
819335ff266SDaniel Jasper }
820335ff266SDaniel Jasper 
821335ff266SDaniel Jasper void ContinuationIndenter::moveStatePastFakeRParens(LineState &State) {
822335ff266SDaniel Jasper   // Don't remove FakeRParens attached to r_braces that surround nested blocks
823335ff266SDaniel Jasper   // as they will have been removed early (see above).
824114a2bc9SDaniel Jasper   if (fakeRParenSpecialCase(State))
825335ff266SDaniel Jasper     return;
826335ff266SDaniel Jasper 
827335ff266SDaniel Jasper   consumeRParens(State, *State.NextToken);
82860553be5SDaniel Jasper }
82960553be5SDaniel Jasper 
83060553be5SDaniel Jasper void ContinuationIndenter::moveStatePastScopeOpener(LineState &State,
83160553be5SDaniel Jasper                                                     bool Newline) {
83260553be5SDaniel Jasper   const FormatToken &Current = *State.NextToken;
83360553be5SDaniel Jasper   if (!Current.opensScope())
83460553be5SDaniel Jasper     return;
83560553be5SDaniel Jasper 
83660553be5SDaniel Jasper   if (Current.MatchingParen && Current.BlockKind == BK_Block) {
83760553be5SDaniel Jasper     moveStateToNewBlock(State);
83860553be5SDaniel Jasper     return;
83960553be5SDaniel Jasper   }
84060553be5SDaniel Jasper 
84160553be5SDaniel Jasper   unsigned NewIndent;
84260553be5SDaniel Jasper   unsigned NewIndentLevel = State.Stack.back().IndentLevel;
84360553be5SDaniel Jasper   bool AvoidBinPacking;
84460553be5SDaniel Jasper   bool BreakBeforeParameter = false;
84560553be5SDaniel Jasper   if (Current.is(tok::l_brace) || Current.Type == TT_ArrayInitializerLSquare) {
846114a2bc9SDaniel Jasper     if (fakeRParenSpecialCase(State))
847335ff266SDaniel Jasper       consumeRParens(State, *Current.MatchingParen);
848335ff266SDaniel Jasper 
849e2e0387fSAlexander Kornienko     NewIndent = State.Stack.back().LastSpace;
850b8f61682SDaniel Jasper     if (Current.opensBlockTypeList(Style)) {
851e2e0387fSAlexander Kornienko       NewIndent += Style.IndentWidth;
8525a611397SDaniel Jasper       NewIndent = std::min(State.Column + 2, NewIndent);
853e2e0387fSAlexander Kornienko       ++NewIndentLevel;
854b8f61682SDaniel Jasper     } else {
855b8f61682SDaniel Jasper       NewIndent += Style.ContinuationIndentWidth;
8565a611397SDaniel Jasper       NewIndent = std::min(State.Column + 1, NewIndent);
857e2e0387fSAlexander Kornienko     }
858de0328aeSDaniel Jasper     const FormatToken *NextNoComment = Current.getNextNonComment();
85960553be5SDaniel Jasper     AvoidBinPacking = Current.Type == TT_ArrayInitializerLSquare ||
860b596fb2bSDaniel Jasper                       Current.Type == TT_DictLiteral ||
861883ae9d9SDaniel Jasper                       Style.Language == FormatStyle::LK_Proto ||
862ae8e0d8dSDaniel Jasper                       !Style.BinPackParameters ||
863015ed028SDaniel Jasper                       (NextNoComment &&
864015ed028SDaniel Jasper                        NextNoComment->Type == TT_DesignatedInitializerPeriod);
865de0328aeSDaniel Jasper   } else {
8666633ab8aSDaniel Jasper     NewIndent = Style.ContinuationIndentWidth +
8676633ab8aSDaniel Jasper                 std::max(State.Stack.back().LastSpace,
8689fe0e8daSDaniel Jasper                          State.Stack.back().StartOfFunctionCall);
86918210d7dSDaniel Jasper     AvoidBinPacking =
87018210d7dSDaniel Jasper         (State.Line->MustBeDeclaration && !Style.BinPackParameters) ||
87118210d7dSDaniel Jasper         (!State.Line->MustBeDeclaration && !Style.BinPackArguments) ||
872de0328aeSDaniel Jasper         (Style.ExperimentalAutoDetectBinPacking &&
873de0328aeSDaniel Jasper          (Current.PackingKind == PPK_OnePerLine ||
874de0328aeSDaniel Jasper           (!BinPackInconclusiveFunctions &&
875de0328aeSDaniel Jasper            Current.PackingKind == PPK_Inconclusive)));
8761db6c386SDaniel Jasper     // If this '[' opens an ObjC call, determine whether all parameters fit
8771db6c386SDaniel Jasper     // into one line and put one per line if they don't.
8787f0c5171SDaniel Jasper     if (Current.Type == TT_ObjCMethodExpr && Style.ColumnLimit != 0 &&
8791db6c386SDaniel Jasper         getLengthToMatchingParen(Current) + State.Column >
8801db6c386SDaniel Jasper             getColumnLimit(State))
8811db6c386SDaniel Jasper       BreakBeforeParameter = true;
882de0328aeSDaniel Jasper   }
883a41aa536SDaniel Jasper   bool NoLineBreak = State.Stack.back().NoLineBreak ||
884a41aa536SDaniel Jasper                      (Current.Type == TT_TemplateOpener &&
885cc3114d8SDaniel Jasper                       State.Stack.back().ContainsUnwrappedBuilder);
886cc3114d8SDaniel Jasper   State.Stack.push_back(ParenState(NewIndent, NewIndentLevel,
887cc3114d8SDaniel Jasper                                    State.Stack.back().LastSpace,
888cc3114d8SDaniel Jasper                                    AvoidBinPacking, NoLineBreak));
8891db6c386SDaniel Jasper   State.Stack.back().BreakBeforeParameter = BreakBeforeParameter;
890114a2bc9SDaniel Jasper   State.Stack.back().HasMultipleNestedBlocks = Current.BlockParameterCount > 1;
891de0328aeSDaniel Jasper }
892de0328aeSDaniel Jasper 
89360553be5SDaniel Jasper void ContinuationIndenter::moveStatePastScopeCloser(LineState &State) {
89460553be5SDaniel Jasper   const FormatToken &Current = *State.NextToken;
89560553be5SDaniel Jasper   if (!Current.closesScope())
89660553be5SDaniel Jasper     return;
89760553be5SDaniel Jasper 
898de0328aeSDaniel Jasper   // If we encounter a closing ), ], } or >, we can remove a level from our
899de0328aeSDaniel Jasper   // stacks.
90096df37a6SDaniel Jasper   if (State.Stack.size() > 1 &&
90196df37a6SDaniel Jasper       (Current.isOneOf(tok::r_paren, tok::r_square) ||
9029fe0e8daSDaniel Jasper        (Current.is(tok::r_brace) && State.NextToken != State.Line->First) ||
903335ff266SDaniel Jasper        State.NextToken->Type == TT_TemplateCloser))
904de0328aeSDaniel Jasper     State.Stack.pop_back();
905335ff266SDaniel Jasper 
906de0328aeSDaniel Jasper   if (Current.is(tok::r_square)) {
907de0328aeSDaniel Jasper     // If this ends the array subscript expr, reset the corresponding value.
908de0328aeSDaniel Jasper     const FormatToken *NextNonComment = Current.getNextNonComment();
909de0328aeSDaniel Jasper     if (NextNonComment && NextNonComment->isNot(tok::l_square))
910de0328aeSDaniel Jasper       State.Stack.back().StartOfArraySubscripts = 0;
911de0328aeSDaniel Jasper   }
91260553be5SDaniel Jasper }
913de0328aeSDaniel Jasper 
91460553be5SDaniel Jasper void ContinuationIndenter::moveStateToNewBlock(LineState &State) {
91560553be5SDaniel Jasper   // If we have already found more than one lambda introducers on this level, we
91660553be5SDaniel Jasper   // opt out of this because similarity between the lambdas is more important.
917114a2bc9SDaniel Jasper   if (fakeRParenSpecialCase(State))
918335ff266SDaniel Jasper     consumeRParens(State, *State.NextToken->MatchingParen);
919de0328aeSDaniel Jasper 
920*50d634b3SDaniel Jasper   // ObjC block sometimes follow special indentation rules.
92160553be5SDaniel Jasper   unsigned NewIndent = State.Stack.back().LastSpace +
92260553be5SDaniel Jasper                        (State.NextToken->Type == TT_ObjCBlockLBrace
923*50d634b3SDaniel Jasper                             ? Style.ObjCBlockIndentWidth
92460553be5SDaniel Jasper                             : Style.IndentWidth);
92560553be5SDaniel Jasper   State.Stack.push_back(ParenState(
92660553be5SDaniel Jasper       NewIndent, /*NewIndentLevel=*/State.Stack.back().IndentLevel + 1,
92760553be5SDaniel Jasper       State.Stack.back().LastSpace, /*AvoidBinPacking=*/true,
92860553be5SDaniel Jasper       State.Stack.back().NoLineBreak));
92960553be5SDaniel Jasper   State.Stack.back().BreakBeforeParameter = true;
930de0328aeSDaniel Jasper }
931de0328aeSDaniel Jasper 
932917f9e04SAlexander Kornienko unsigned ContinuationIndenter::addMultilineToken(const FormatToken &Current,
933d7b837e7SAlexander Kornienko                                                  LineState &State) {
934d7b837e7SAlexander Kornienko   // Break before further function parameters on all levels.
935d7b837e7SAlexander Kornienko   for (unsigned i = 0, e = State.Stack.size(); i != e; ++i)
936d7b837e7SAlexander Kornienko     State.Stack[i].BreakBeforeParameter = true;
937d7b837e7SAlexander Kornienko 
93839856b71SAlexander Kornienko   unsigned ColumnsUsed = State.Column;
939632abb9bSAlexander Kornienko   // We can only affect layout of the first and the last line, so the penalty
940632abb9bSAlexander Kornienko   // for all other lines is constant, and we ignore it.
941ebb43caaSAlexander Kornienko   State.Column = Current.LastLineColumnWidth;
942632abb9bSAlexander Kornienko 
9439fe0e8daSDaniel Jasper   if (ColumnsUsed > getColumnLimit(State))
9449fe0e8daSDaniel Jasper     return Style.PenaltyExcessCharacter * (ColumnsUsed - getColumnLimit(State));
945d7b837e7SAlexander Kornienko   return 0;
946d7b837e7SAlexander Kornienko }
947d7b837e7SAlexander Kornienko 
948b05a81deSDaniel Jasper static bool getRawStringLiteralPrefixPostfix(StringRef Text, StringRef &Prefix,
94981e3294eSAlexander Kornienko                                              StringRef &Postfix) {
95081e3294eSAlexander Kornienko   if (Text.startswith(Prefix = "R\"") || Text.startswith(Prefix = "uR\"") ||
95181e3294eSAlexander Kornienko       Text.startswith(Prefix = "UR\"") || Text.startswith(Prefix = "u8R\"") ||
95281e3294eSAlexander Kornienko       Text.startswith(Prefix = "LR\"")) {
95381e3294eSAlexander Kornienko     size_t ParenPos = Text.find('(');
95481e3294eSAlexander Kornienko     if (ParenPos != StringRef::npos) {
95581e3294eSAlexander Kornienko       StringRef Delimiter =
95681e3294eSAlexander Kornienko           Text.substr(Prefix.size(), ParenPos - Prefix.size());
95781e3294eSAlexander Kornienko       Prefix = Text.substr(0, ParenPos + 1);
95881e3294eSAlexander Kornienko       Postfix = Text.substr(Text.size() - 2 - Delimiter.size());
95981e3294eSAlexander Kornienko       return Postfix.front() == ')' && Postfix.back() == '"' &&
96081e3294eSAlexander Kornienko              Postfix.substr(1).startswith(Delimiter);
96181e3294eSAlexander Kornienko     }
96281e3294eSAlexander Kornienko   }
96381e3294eSAlexander Kornienko   return false;
96481e3294eSAlexander Kornienko }
96581e3294eSAlexander Kornienko 
966de0328aeSDaniel Jasper unsigned ContinuationIndenter::breakProtrudingToken(const FormatToken &Current,
967de0328aeSDaniel Jasper                                                     LineState &State,
968de0328aeSDaniel Jasper                                                     bool DryRun) {
969917f9e04SAlexander Kornienko   // Don't break multi-line tokens other than block comments. Instead, just
970917f9e04SAlexander Kornienko   // update the state.
971917f9e04SAlexander Kornienko   if (Current.Type != TT_BlockComment && Current.IsMultiline)
972917f9e04SAlexander Kornienko     return addMultilineToken(Current, State);
973917f9e04SAlexander Kornienko 
9749885784dSDaniel Jasper   // Don't break implicit string literals.
9759885784dSDaniel Jasper   if (Current.Type == TT_ImplicitStringLiteral)
9769885784dSDaniel Jasper     return 0;
9779885784dSDaniel Jasper 
97804b6a081SDaniel Jasper   if (!Current.isStringLiteral() && !Current.is(tok::comment))
979f93551c8SDaniel Jasper     return 0;
980f93551c8SDaniel Jasper 
981b8984329SAhmed Charles   std::unique_ptr<BreakableToken> Token;
98239856b71SAlexander Kornienko   unsigned StartColumn = State.Column - Current.ColumnWidth;
9833abbb8a4SAlexander Kornienko   unsigned ColumnLimit = getColumnLimit(State);
984de0328aeSDaniel Jasper 
98504b6a081SDaniel Jasper   if (Current.isStringLiteral()) {
986384b40b9SAlexander Kornienko     // Don't break string literals inside preprocessor directives (except for
987384b40b9SAlexander Kornienko     // #define directives, as their contents are stored in separate lines and
988384b40b9SAlexander Kornienko     // are not affected by this check).
989384b40b9SAlexander Kornienko     // This way we avoid breaking code with line directives and unknown
990384b40b9SAlexander Kornienko     // preprocessor directives that contain long string literals.
991384b40b9SAlexander Kornienko     if (State.Line->Type == LT_PreprocessorDirective)
992384b40b9SAlexander Kornienko       return 0;
993de0328aeSDaniel Jasper     // Exempts unterminated string literals from line breaking. The user will
994de0328aeSDaniel Jasper     // likely want to terminate the string before any line breaking is done.
995de0328aeSDaniel Jasper     if (Current.IsUnterminatedLiteral)
996de0328aeSDaniel Jasper       return 0;
997de0328aeSDaniel Jasper 
99881e3294eSAlexander Kornienko     StringRef Text = Current.TokenText;
99981e3294eSAlexander Kornienko     StringRef Prefix;
100081e3294eSAlexander Kornienko     StringRef Postfix;
1001174b0125SDaniel Jasper     bool IsNSStringLiteral = false;
100281e3294eSAlexander Kornienko     // FIXME: Handle whitespace between '_T', '(', '"..."', and ')'.
100381e3294eSAlexander Kornienko     // FIXME: Store Prefix and Suffix (or PrefixLength and SuffixLength to
100481e3294eSAlexander Kornienko     // reduce the overhead) for each FormatToken, which is a string, so that we
100581e3294eSAlexander Kornienko     // don't run multiple checks here on the hot path.
1006174b0125SDaniel Jasper     if (Text.startswith("\"") && Current.Previous &&
1007174b0125SDaniel Jasper         Current.Previous->is(tok::at)) {
1008174b0125SDaniel Jasper       IsNSStringLiteral = true;
1009174b0125SDaniel Jasper       Prefix = "@\"";
1010174b0125SDaniel Jasper     }
101181e3294eSAlexander Kornienko     if ((Text.endswith(Postfix = "\"") &&
1012174b0125SDaniel Jasper          (IsNSStringLiteral || Text.startswith(Prefix = "\"") ||
1013174b0125SDaniel Jasper           Text.startswith(Prefix = "u\"") || Text.startswith(Prefix = "U\"") ||
1014174b0125SDaniel Jasper           Text.startswith(Prefix = "u8\"") ||
101581e3294eSAlexander Kornienko           Text.startswith(Prefix = "L\""))) ||
101681e3294eSAlexander Kornienko         (Text.startswith(Prefix = "_T(\"") && Text.endswith(Postfix = "\")")) ||
101781e3294eSAlexander Kornienko         getRawStringLiteralPrefixPostfix(Text, Prefix, Postfix)) {
10183c3d09c8SAlexander Kornienko       Token.reset(new BreakableStringLiteral(
10193c3d09c8SAlexander Kornienko           Current, State.Line->Level, StartColumn, Prefix, Postfix,
10203c3d09c8SAlexander Kornienko           State.Line->InPPDirective, Encoding, Style));
102181e3294eSAlexander Kornienko     } else {
102281e3294eSAlexander Kornienko       return 0;
102381e3294eSAlexander Kornienko     }
1024de0328aeSDaniel Jasper   } else if (Current.Type == TT_BlockComment && Current.isTrailingComment()) {
1025ce9161a5SAlexander Kornienko     if (CommentPragmasRegex.match(Current.TokenText.substr(2)))
1026ce9161a5SAlexander Kornienko       return 0;
1027de0328aeSDaniel Jasper     Token.reset(new BreakableBlockComment(
10283c3d09c8SAlexander Kornienko         Current, State.Line->Level, StartColumn, Current.OriginalColumn,
10293c3d09c8SAlexander Kornienko         !Current.Previous, State.Line->InPPDirective, Encoding, Style));
1030de0328aeSDaniel Jasper   } else if (Current.Type == TT_LineComment &&
10312145bc02SCraig Topper              (Current.Previous == nullptr ||
1032de0328aeSDaniel Jasper               Current.Previous->Type != TT_ImplicitStringLiteral)) {
1033ce9161a5SAlexander Kornienko     if (CommentPragmasRegex.match(Current.TokenText.substr(2)))
1034ce9161a5SAlexander Kornienko       return 0;
10353c3d09c8SAlexander Kornienko     Token.reset(new BreakableLineComment(Current, State.Line->Level,
10363abbb8a4SAlexander Kornienko                                          StartColumn, /*InPPDirective=*/false,
10373c3d09c8SAlexander Kornienko                                          Encoding, Style));
10383abbb8a4SAlexander Kornienko     // We don't insert backslashes when breaking line comments.
10393abbb8a4SAlexander Kornienko     ColumnLimit = Style.ColumnLimit;
1040de0328aeSDaniel Jasper   } else {
1041de0328aeSDaniel Jasper     return 0;
1042de0328aeSDaniel Jasper   }
10433abbb8a4SAlexander Kornienko   if (Current.UnbreakableTailLength >= ColumnLimit)
1044de0328aeSDaniel Jasper     return 0;
1045de0328aeSDaniel Jasper 
10463abbb8a4SAlexander Kornienko   unsigned RemainingSpace = ColumnLimit - Current.UnbreakableTailLength;
1047de0328aeSDaniel Jasper   bool BreakInserted = false;
1048de0328aeSDaniel Jasper   unsigned Penalty = 0;
1049de0328aeSDaniel Jasper   unsigned RemainingTokenColumns = 0;
1050de0328aeSDaniel Jasper   for (unsigned LineIndex = 0, EndIndex = Token->getLineCount();
1051de0328aeSDaniel Jasper        LineIndex != EndIndex; ++LineIndex) {
1052de0328aeSDaniel Jasper     if (!DryRun)
1053de0328aeSDaniel Jasper       Token->replaceWhitespaceBefore(LineIndex, Whitespaces);
1054de0328aeSDaniel Jasper     unsigned TailOffset = 0;
1055de0328aeSDaniel Jasper     RemainingTokenColumns =
1056de0328aeSDaniel Jasper         Token->getLineLengthAfterSplit(LineIndex, TailOffset, StringRef::npos);
1057de0328aeSDaniel Jasper     while (RemainingTokenColumns > RemainingSpace) {
1058de0328aeSDaniel Jasper       BreakableToken::Split Split =
10593abbb8a4SAlexander Kornienko           Token->getSplit(LineIndex, TailOffset, ColumnLimit);
1060de0328aeSDaniel Jasper       if (Split.first == StringRef::npos) {
1061de0328aeSDaniel Jasper         // The last line's penalty is handled in addNextStateToQueue().
1062de0328aeSDaniel Jasper         if (LineIndex < EndIndex - 1)
1063de0328aeSDaniel Jasper           Penalty += Style.PenaltyExcessCharacter *
1064de0328aeSDaniel Jasper                      (RemainingTokenColumns - RemainingSpace);
1065de0328aeSDaniel Jasper         break;
1066de0328aeSDaniel Jasper       }
1067de0328aeSDaniel Jasper       assert(Split.first != 0);
1068de0328aeSDaniel Jasper       unsigned NewRemainingTokenColumns = Token->getLineLengthAfterSplit(
1069de0328aeSDaniel Jasper           LineIndex, TailOffset + Split.first + Split.second, StringRef::npos);
1070875395f9SAlexander Kornienko 
1071875395f9SAlexander Kornienko       // We can remove extra whitespace instead of breaking the line.
1072875395f9SAlexander Kornienko       if (RemainingTokenColumns + 1 - Split.second <= RemainingSpace) {
1073875395f9SAlexander Kornienko         RemainingTokenColumns = 0;
1074875395f9SAlexander Kornienko         if (!DryRun)
1075875395f9SAlexander Kornienko           Token->replaceWhitespace(LineIndex, TailOffset, Split, Whitespaces);
1076875395f9SAlexander Kornienko         break;
1077875395f9SAlexander Kornienko       }
1078875395f9SAlexander Kornienko 
107964a42b8dSAlexander Kornienko       // When breaking before a tab character, it may be moved by a few columns,
108064a42b8dSAlexander Kornienko       // but will still be expanded to the next tab stop, so we don't save any
108164a42b8dSAlexander Kornienko       // columns.
108264a42b8dSAlexander Kornienko       if (NewRemainingTokenColumns == RemainingTokenColumns)
108364a42b8dSAlexander Kornienko         break;
108464a42b8dSAlexander Kornienko 
1085de0328aeSDaniel Jasper       assert(NewRemainingTokenColumns < RemainingTokenColumns);
1086de0328aeSDaniel Jasper       if (!DryRun)
1087de0328aeSDaniel Jasper         Token->insertBreak(LineIndex, TailOffset, Split, Whitespaces);
10882739af3bSDaniel Jasper       Penalty += Current.SplitPenalty;
1089de0328aeSDaniel Jasper       unsigned ColumnsUsed =
1090de0328aeSDaniel Jasper           Token->getLineLengthAfterSplit(LineIndex, TailOffset, Split.first);
10913abbb8a4SAlexander Kornienko       if (ColumnsUsed > ColumnLimit) {
10923abbb8a4SAlexander Kornienko         Penalty += Style.PenaltyExcessCharacter * (ColumnsUsed - ColumnLimit);
1093de0328aeSDaniel Jasper       }
1094de0328aeSDaniel Jasper       TailOffset += Split.first + Split.second;
1095de0328aeSDaniel Jasper       RemainingTokenColumns = NewRemainingTokenColumns;
1096de0328aeSDaniel Jasper       BreakInserted = true;
1097de0328aeSDaniel Jasper     }
1098de0328aeSDaniel Jasper   }
1099de0328aeSDaniel Jasper 
1100de0328aeSDaniel Jasper   State.Column = RemainingTokenColumns;
1101de0328aeSDaniel Jasper 
1102de0328aeSDaniel Jasper   if (BreakInserted) {
1103de0328aeSDaniel Jasper     // If we break the token inside a parameter list, we need to break before
1104de0328aeSDaniel Jasper     // the next parameter on all levels, so that the next parameter is clearly
1105de0328aeSDaniel Jasper     // visible. Line comments already introduce a break.
1106de0328aeSDaniel Jasper     if (Current.Type != TT_LineComment) {
1107de0328aeSDaniel Jasper       for (unsigned i = 0, e = State.Stack.size(); i != e; ++i)
1108de0328aeSDaniel Jasper         State.Stack[i].BreakBeforeParameter = true;
1109de0328aeSDaniel Jasper     }
1110de0328aeSDaniel Jasper 
111104b6a081SDaniel Jasper     Penalty += Current.isStringLiteral() ? Style.PenaltyBreakString
11122739af3bSDaniel Jasper                                          : Style.PenaltyBreakComment;
11132739af3bSDaniel Jasper 
1114de0328aeSDaniel Jasper     State.Stack.back().LastSpace = StartColumn;
1115de0328aeSDaniel Jasper   }
1116de0328aeSDaniel Jasper   return Penalty;
1117de0328aeSDaniel Jasper }
1118de0328aeSDaniel Jasper 
11199fe0e8daSDaniel Jasper unsigned ContinuationIndenter::getColumnLimit(const LineState &State) const {
1120de0328aeSDaniel Jasper   // In preprocessor directives reserve two chars for trailing " \"
11219fe0e8daSDaniel Jasper   return Style.ColumnLimit - (State.Line->InPPDirective ? 2 : 0);
1122de0328aeSDaniel Jasper }
1123de0328aeSDaniel Jasper 
1124c39b56feSDaniel Jasper bool ContinuationIndenter::nextIsMultilineString(const LineState &State) {
1125f438cb76SDaniel Jasper   const FormatToken &Current = *State.NextToken;
11269509f188SDaniel Jasper   if (!Current.isStringLiteral() || Current.Type == TT_ImplicitStringLiteral)
1127f438cb76SDaniel Jasper     return false;
1128d7b837e7SAlexander Kornienko   // We never consider raw string literals "multiline" for the purpose of
1129c39b56feSDaniel Jasper   // AlwaysBreakBeforeMultilineStrings implementation as they are special-cased
1130c39b56feSDaniel Jasper   // (see TokenAnnotator::mustBreakBefore().
1131d7b837e7SAlexander Kornienko   if (Current.TokenText.startswith("R\""))
1132d7b837e7SAlexander Kornienko     return false;
113339856b71SAlexander Kornienko   if (Current.IsMultiline)
1134d7b837e7SAlexander Kornienko     return true;
1135f438cb76SDaniel Jasper   if (Current.getNextNonComment() &&
113604b6a081SDaniel Jasper       Current.getNextNonComment()->isStringLiteral())
1137f438cb76SDaniel Jasper     return true; // Implicit concatenation.
113839856b71SAlexander Kornienko   if (State.Column + Current.ColumnWidth + Current.UnbreakableTailLength >
1139f438cb76SDaniel Jasper       Style.ColumnLimit)
1140f438cb76SDaniel Jasper     return true; // String will be split.
1141d7b837e7SAlexander Kornienko   return false;
1142f438cb76SDaniel Jasper }
1143f438cb76SDaniel Jasper 
1144de0328aeSDaniel Jasper } // namespace format
1145de0328aeSDaniel Jasper } // namespace clang
1146