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;
51a98b7b01SDaniel Jasper   if (Current.is(TT_CtorInitializerComma) &&
52ec01cd6eSDaniel Jasper       Style.BreakConstructorInitializersBeforeComma)
53ec01cd6eSDaniel Jasper     return true;
54ec01cd6eSDaniel Jasper   return Previous.is(tok::comma) && !Current.isTrailingComment() &&
55a98b7b01SDaniel Jasper          (Previous.isNot(TT_CtorInitializerComma) ||
56ec01cd6eSDaniel Jasper           !Style.BreakConstructorInitializersBeforeComma);
57ec01cd6eSDaniel Jasper }
58ec01cd6eSDaniel Jasper 
59de0328aeSDaniel Jasper ContinuationIndenter::ContinuationIndenter(const FormatStyle &Style,
60d0ec0d62SDaniel Jasper                                            const AdditionalKeywords &Keywords,
61de0328aeSDaniel Jasper                                            SourceManager &SourceMgr,
62de0328aeSDaniel Jasper                                            WhitespaceManager &Whitespaces,
63de0328aeSDaniel Jasper                                            encoding::Encoding Encoding,
64de0328aeSDaniel Jasper                                            bool BinPackInconclusiveFunctions)
65d0ec0d62SDaniel Jasper     : Style(Style), Keywords(Keywords), SourceMgr(SourceMgr),
66d0ec0d62SDaniel Jasper       Whitespaces(Whitespaces), Encoding(Encoding),
67ce9161a5SAlexander Kornienko       BinPackInconclusiveFunctions(BinPackInconclusiveFunctions),
68ce9161a5SAlexander Kornienko       CommentPragmasRegex(Style.CommentPragmas) {}
69de0328aeSDaniel Jasper 
709fe0e8daSDaniel Jasper LineState ContinuationIndenter::getInitialState(unsigned FirstIndent,
711c5d9df8SDaniel Jasper                                                 const AnnotatedLine *Line,
721c5d9df8SDaniel Jasper                                                 bool DryRun) {
73de0328aeSDaniel Jasper   LineState State;
749fe0e8daSDaniel Jasper   State.FirstIndent = FirstIndent;
75de0328aeSDaniel Jasper   State.Column = FirstIndent;
769fe0e8daSDaniel Jasper   State.Line = Line;
779fe0e8daSDaniel Jasper   State.NextToken = Line->First;
78e2e0387fSAlexander Kornienko   State.Stack.push_back(ParenState(FirstIndent, Line->Level, FirstIndent,
79de0328aeSDaniel Jasper                                    /*AvoidBinPacking=*/false,
80de0328aeSDaniel Jasper                                    /*NoLineBreak=*/false));
81de0328aeSDaniel Jasper   State.LineContainsContinuedForLoopSection = false;
82de0328aeSDaniel Jasper   State.StartOfStringLiteral = 0;
8305cd5868SDaniel Jasper   State.StartOfLineLevel = 0;
8405cd5868SDaniel Jasper   State.LowestLevelOnLine = 0;
85de0328aeSDaniel Jasper   State.IgnoreStackForComparison = false;
86de0328aeSDaniel Jasper 
87de0328aeSDaniel Jasper   // The first token has already been indented and thus consumed.
881c5d9df8SDaniel Jasper   moveStateToNextToken(State, DryRun, /*Newline=*/false);
89de0328aeSDaniel Jasper   return State;
90de0328aeSDaniel Jasper }
91de0328aeSDaniel Jasper 
92de0328aeSDaniel Jasper bool ContinuationIndenter::canBreak(const LineState &State) {
93de0328aeSDaniel Jasper   const FormatToken &Current = *State.NextToken;
94de0328aeSDaniel Jasper   const FormatToken &Previous = *Current.Previous;
95de0328aeSDaniel Jasper   assert(&Previous == Current.Previous);
96beb03938SNico Weber   if (!Current.CanBreakBefore &&
97beb03938SNico Weber       !(State.Stack.back().BreakBeforeClosingBrace &&
981db6c386SDaniel Jasper         Current.closesBlockTypeList(Style)))
99de0328aeSDaniel Jasper     return false;
100de0328aeSDaniel Jasper   // The opening "{" of a braced list has to be on the same line as the first
101de0328aeSDaniel Jasper   // element if it is nested in another braced init list or function call.
102de0328aeSDaniel Jasper   if (!Current.MustBreakBefore && Previous.is(tok::l_brace) &&
103a98b7b01SDaniel Jasper       Previous.isNot(TT_DictLiteral) && Previous.BlockKind == BK_BracedInit &&
104b05a81deSDaniel Jasper       Previous.Previous &&
105de0328aeSDaniel Jasper       Previous.Previous->isOneOf(tok::l_brace, tok::l_paren, tok::comma))
106de0328aeSDaniel Jasper     return false;
107de0328aeSDaniel Jasper   // This prevents breaks like:
108de0328aeSDaniel Jasper   //   ...
109de0328aeSDaniel Jasper   //   SomeParameter, OtherParameter).DoSomething(
110de0328aeSDaniel Jasper   //   ...
111de0328aeSDaniel Jasper   // As they hide "DoSomething" and are generally bad for readability.
1128f59ae53SDaniel Jasper   if (Previous.opensScope() && Previous.isNot(tok::l_brace) &&
113fcfac10cSDaniel Jasper       State.LowestLevelOnLine < State.StartOfLineLevel &&
114fcfac10cSDaniel Jasper       State.LowestLevelOnLine < Current.NestingLevel)
115de0328aeSDaniel Jasper     return false;
1164c6e0059SDaniel Jasper   if (Current.isMemberAccess() && State.Stack.back().ContainsUnwrappedBuilder)
1174c6e0059SDaniel Jasper     return false;
118114a2bc9SDaniel Jasper 
119114a2bc9SDaniel Jasper   // Don't create a 'hanging' indent if there are multiple blocks in a single
120114a2bc9SDaniel Jasper   // statement.
1214b444495SDaniel Jasper   if (Previous.is(tok::l_brace) && State.Stack.size() > 1 &&
1224b444495SDaniel Jasper       State.Stack[State.Stack.size() - 2].NestedBlockInlined &&
123114a2bc9SDaniel Jasper       State.Stack[State.Stack.size() - 2].HasMultipleNestedBlocks)
124114a2bc9SDaniel Jasper     return false;
125114a2bc9SDaniel Jasper 
126e068ac77SDaniel Jasper   // Don't break after very short return types (e.g. "void") as that is often
127e068ac77SDaniel Jasper   // unexpected.
128a98b7b01SDaniel Jasper   if (Current.is(TT_FunctionDeclarationName) &&
129e068ac77SDaniel Jasper       !Style.AlwaysBreakAfterDefinitionReturnType && State.Column < 6)
130e068ac77SDaniel Jasper     return false;
131e068ac77SDaniel Jasper 
132de0328aeSDaniel Jasper   return !State.Stack.back().NoLineBreak;
133de0328aeSDaniel Jasper }
134de0328aeSDaniel Jasper 
135de0328aeSDaniel Jasper bool ContinuationIndenter::mustBreak(const LineState &State) {
136de0328aeSDaniel Jasper   const FormatToken &Current = *State.NextToken;
137de0328aeSDaniel Jasper   const FormatToken &Previous = *Current.Previous;
138a98b7b01SDaniel Jasper   if (Current.MustBreakBefore || Current.is(TT_InlineASMColon))
139de0328aeSDaniel Jasper     return true;
1401db6c386SDaniel Jasper   if (State.Stack.back().BreakBeforeClosingBrace &&
1411db6c386SDaniel Jasper       Current.closesBlockTypeList(Style))
142de0328aeSDaniel Jasper     return true;
143de0328aeSDaniel Jasper   if (Previous.is(tok::semi) && State.LineContainsContinuedForLoopSection)
144de0328aeSDaniel Jasper     return true;
145ec01cd6eSDaniel Jasper   if ((startsNextParameter(Current, Style) || Previous.is(tok::semi) ||
146165b29e2SDaniel Jasper        (Style.BreakBeforeTernaryOperators &&
147a98b7b01SDaniel Jasper         (Current.is(tok::question) ||
148a98b7b01SDaniel Jasper          (Current.is(TT_ConditionalExpr) && Previous.isNot(tok::question)))) ||
149165b29e2SDaniel Jasper        (!Style.BreakBeforeTernaryOperators &&
150a98b7b01SDaniel Jasper         (Previous.is(tok::question) || Previous.is(TT_ConditionalExpr)))) &&
151de0328aeSDaniel Jasper       State.Stack.back().BreakBeforeParameter && !Current.isTrailingComment() &&
152de0328aeSDaniel Jasper       !Current.isOneOf(tok::r_paren, tok::r_brace))
153de0328aeSDaniel Jasper     return true;
154de0328aeSDaniel Jasper   if (Style.AlwaysBreakBeforeMultilineStrings &&
155f438cb76SDaniel Jasper       State.Column > State.Stack.back().Indent && // Breaking saves columns.
15627943058SDaniel Jasper       !Previous.isOneOf(tok::kw_return, tok::lessless, tok::at) &&
157a98b7b01SDaniel Jasper       !Previous.isOneOf(TT_InlineASMColon, TT_ConditionalExpr) &&
158a98b7b01SDaniel Jasper       nextIsMultilineString(State))
159de0328aeSDaniel Jasper     return true;
160a98b7b01SDaniel Jasper   if (((Previous.is(TT_DictLiteral) && Previous.is(tok::l_brace)) ||
161a98b7b01SDaniel Jasper        Previous.is(TT_ArrayInitializerLSquare)) &&
162db8804b3SDaniel Jasper       Style.ColumnLimit > 0 &&
163d489dd34SDaniel Jasper       getLengthToMatchingParen(Previous) + State.Column > getColumnLimit(State))
164d489dd34SDaniel Jasper     return true;
165a98b7b01SDaniel Jasper   if (Current.is(TT_CtorInitializerColon) &&
166d74cf403SDaniel Jasper       ((Style.AllowShortFunctionsOnASingleLine != FormatStyle::SFS_All) ||
1675d2587daSDaniel Jasper        Style.BreakConstructorInitializersBeforeComma || Style.ColumnLimit != 0))
1685d2587daSDaniel Jasper     return true;
169de0328aeSDaniel Jasper 
1705d2587daSDaniel Jasper   if (State.Column < getNewLineColumn(State))
1715d2587daSDaniel Jasper     return false;
1728c6e9ef6SDaniel Jasper   if (Style.BreakBeforeBinaryOperators == FormatStyle::BOS_None) {
173de0328aeSDaniel Jasper     // If we need to break somewhere inside the LHS of a binary expression, we
174de0328aeSDaniel Jasper     // should also break after the operator. Otherwise, the formatting would
175de0328aeSDaniel Jasper     // hide the operator precedence, e.g. in:
176de0328aeSDaniel Jasper     //   if (aaaaaaaaaaaaaa ==
177de0328aeSDaniel Jasper     //           bbbbbbbbbbbbbb && c) {..
178de0328aeSDaniel Jasper     // For comparisons, we only apply this rule, if the LHS is a binary
179de0328aeSDaniel Jasper     // expression itself as otherwise, the line breaks seem superfluous.
180de0328aeSDaniel Jasper     // We need special cases for ">>" which we have split into two ">" while
181de0328aeSDaniel Jasper     // lexing in order to make template parsing easier.
182de0328aeSDaniel Jasper     bool IsComparison = (Previous.getPrecedence() == prec::Relational ||
183de0328aeSDaniel Jasper                          Previous.getPrecedence() == prec::Equality) &&
184de0328aeSDaniel Jasper                         Previous.Previous &&
185a98b7b01SDaniel Jasper                         Previous.Previous->isNot(TT_BinaryOperator); // For >>.
186de0328aeSDaniel Jasper     bool LHSIsBinaryExpr =
187562ecd44SDaniel Jasper         Previous.Previous && Previous.Previous->EndsBinaryExpression;
188a98b7b01SDaniel Jasper     if (Previous.is(TT_BinaryOperator) && (!IsComparison || LHSIsBinaryExpr) &&
189a98b7b01SDaniel Jasper         Current.isNot(TT_BinaryOperator) && // For >>.
190c0d606a5SDaniel Jasper         !Current.isTrailingComment() && !Previous.is(tok::lessless) &&
191de0328aeSDaniel Jasper         Previous.getPrecedence() != prec::Assignment &&
192de0328aeSDaniel Jasper         State.Stack.back().BreakBeforeParameter)
193de0328aeSDaniel Jasper       return true;
1943219e43cSDaniel Jasper   } else {
1953219e43cSDaniel Jasper     if (Current.is(TT_BinaryOperator) && Previous.EndsBinaryExpression &&
1963219e43cSDaniel Jasper         State.Stack.back().BreakBeforeParameter)
1973219e43cSDaniel Jasper       return true;
198de0328aeSDaniel Jasper   }
199de0328aeSDaniel Jasper 
200de0328aeSDaniel Jasper   // Same as above, but for the first "<<" operator.
201a98b7b01SDaniel Jasper   if (Current.is(tok::lessless) && Current.isNot(TT_OverloadedOperator) &&
20286b2dfdcSAlexander Kornienko       State.Stack.back().BreakBeforeParameter &&
203de0328aeSDaniel Jasper       State.Stack.back().FirstLessLess == 0)
204de0328aeSDaniel Jasper     return true;
205de0328aeSDaniel Jasper 
206a98b7b01SDaniel Jasper   if (Current.is(TT_SelectorName) && State.Stack.back().ObjCSelectorNameFound &&
207de0328aeSDaniel Jasper       State.Stack.back().BreakBeforeParameter)
208de0328aeSDaniel Jasper     return true;
209211e1329SDaniel Jasper   if (Current.NestingLevel == 0 && !Current.isTrailingComment()) {
210211e1329SDaniel Jasper     if (Previous.ClosesTemplateDeclaration)
211de0328aeSDaniel Jasper       return true;
212beb03938SNico Weber     if (Previous.is(TT_LeadingJavaAnnotation) && Current.isNot(tok::l_paren) &&
213beb03938SNico Weber         Current.isNot(TT_LeadingJavaAnnotation))
214211e1329SDaniel Jasper       return true;
215211e1329SDaniel Jasper   }
216de0328aeSDaniel Jasper 
2174355e7f0SDaniel Jasper   // If the return type spans multiple lines, wrap before the function name.
218a98b7b01SDaniel Jasper   if (Current.isOneOf(TT_FunctionDeclarationName, tok::kw_operator) &&
2194355e7f0SDaniel Jasper       State.Stack.back().BreakBeforeParameter)
220de0328aeSDaniel Jasper     return true;
2214355e7f0SDaniel Jasper 
2224c6e0059SDaniel Jasper   if (startsSegmentOfBuilderTypeCall(Current) &&
223f8151e9bSDaniel Jasper       (State.Stack.back().CallContinuation != 0 ||
224f8151e9bSDaniel Jasper        (State.Stack.back().BreakBeforeParameter &&
225f8151e9bSDaniel Jasper         State.Stack.back().ContainsUnwrappedBuilder)))
2264c6e0059SDaniel Jasper     return true;
2279697281eSDaniel Jasper 
2289697281eSDaniel Jasper   // The following could be precomputed as they do not depend on the state.
2299697281eSDaniel Jasper   // However, as they should take effect only if the UnwrappedLine does not fit
2309697281eSDaniel Jasper   // into the ColumnLimit, they are checked here in the ContinuationIndenter.
23135995679SDaniel Jasper   if (Style.ColumnLimit != 0 && Previous.BlockKind == BK_Block &&
23235995679SDaniel Jasper       Previous.is(tok::l_brace) && !Current.isOneOf(tok::r_brace, tok::comment))
2339697281eSDaniel Jasper     return true;
2349697281eSDaniel Jasper 
235de0328aeSDaniel Jasper   return false;
236de0328aeSDaniel Jasper }
237de0328aeSDaniel Jasper 
238de0328aeSDaniel Jasper unsigned ContinuationIndenter::addTokenToState(LineState &State, bool Newline,
2398de9ed05SDaniel Jasper                                                bool DryRun,
2408de9ed05SDaniel Jasper                                                unsigned ExtraSpaces) {
241de0328aeSDaniel Jasper   const FormatToken &Current = *State.NextToken;
242de0328aeSDaniel Jasper 
243819788daSManuel Klimek   assert(!State.Stack.empty());
244a98b7b01SDaniel Jasper   if ((Current.is(TT_ImplicitStringLiteral) &&
2452145bc02SCraig Topper        (Current.Previous->Tok.getIdentifierInfo() == nullptr ||
2469885784dSDaniel Jasper         Current.Previous->Tok.getIdentifierInfo()->getPPKeywordID() ==
2479885784dSDaniel Jasper             tok::pp_not_keyword))) {
248*30526e79SDaniel Jasper     unsigned EndColumn =
249*30526e79SDaniel Jasper         SourceMgr.getSpellingColumnNumber(Current.WhitespaceRange.getEnd());
250*30526e79SDaniel Jasper     if (Current.LastNewlineOffset != 0) {
251*30526e79SDaniel Jasper       // If there is a newline within this token, the final column will solely
252*30526e79SDaniel Jasper       // determined by the current end column.
253*30526e79SDaniel Jasper       State.Column = EndColumn;
254*30526e79SDaniel Jasper     } else {
255*30526e79SDaniel Jasper       unsigned StartColumn =
256*30526e79SDaniel Jasper           SourceMgr.getSpellingColumnNumber(Current.WhitespaceRange.getBegin());
257*30526e79SDaniel Jasper       assert(EndColumn >= StartColumn);
258*30526e79SDaniel Jasper       State.Column += EndColumn - StartColumn;
259*30526e79SDaniel Jasper     }
260240dfda3SDaniel Jasper     moveStateToNextToken(State, DryRun, /*Newline=*/false);
261de0328aeSDaniel Jasper     return 0;
262de0328aeSDaniel Jasper   }
263de0328aeSDaniel Jasper 
2641f80396dSAlexander Kornienko   unsigned Penalty = 0;
2651f80396dSAlexander Kornienko   if (Newline)
2661f80396dSAlexander Kornienko     Penalty = addTokenOnNewLine(State, DryRun);
2671f80396dSAlexander Kornienko   else
26848437ce5SDaniel Jasper     addTokenOnCurrentLine(State, DryRun, ExtraSpaces);
2691f80396dSAlexander Kornienko 
2701f80396dSAlexander Kornienko   return moveStateToNextToken(State, DryRun, Newline) + Penalty;
2711f80396dSAlexander Kornienko }
2721f80396dSAlexander Kornienko 
27348437ce5SDaniel Jasper void ContinuationIndenter::addTokenOnCurrentLine(LineState &State, bool DryRun,
2741f80396dSAlexander Kornienko                                                  unsigned ExtraSpaces) {
27571814b44SManuel Klimek   FormatToken &Current = *State.NextToken;
2761f80396dSAlexander Kornienko   const FormatToken &Previous = *State.NextToken->Previous;
2771f80396dSAlexander Kornienko   if (Current.is(tok::equal) &&
27805cd5868SDaniel Jasper       (State.Line->First->is(tok::kw_for) || Current.NestingLevel == 0) &&
2791f80396dSAlexander Kornienko       State.Stack.back().VariablePos == 0) {
2801f80396dSAlexander Kornienko     State.Stack.back().VariablePos = State.Column;
2811f80396dSAlexander Kornienko     // Move over * and & if they are bound to the variable name.
2821f80396dSAlexander Kornienko     const FormatToken *Tok = &Previous;
2831f80396dSAlexander Kornienko     while (Tok && State.Stack.back().VariablePos >= Tok->ColumnWidth) {
2841f80396dSAlexander Kornienko       State.Stack.back().VariablePos -= Tok->ColumnWidth;
2851f80396dSAlexander Kornienko       if (Tok->SpacesRequiredBefore != 0)
2861f80396dSAlexander Kornienko         break;
2871f80396dSAlexander Kornienko       Tok = Tok->Previous;
2881f80396dSAlexander Kornienko     }
2891f80396dSAlexander Kornienko     if (Previous.PartOfMultiVariableDeclStmt)
2901f80396dSAlexander Kornienko       State.Stack.back().LastSpace = State.Stack.back().VariablePos;
2911f80396dSAlexander Kornienko   }
2921f80396dSAlexander Kornienko 
2931f80396dSAlexander Kornienko   unsigned Spaces = Current.SpacesRequiredBefore + ExtraSpaces;
2941f80396dSAlexander Kornienko 
2951f80396dSAlexander Kornienko   if (!DryRun)
2961f80396dSAlexander Kornienko     Whitespaces.replaceWhitespace(Current, /*Newlines=*/0, /*IndentLevel=*/0,
2971f80396dSAlexander Kornienko                                   Spaces, State.Column + Spaces);
2981f80396dSAlexander Kornienko 
299a98b7b01SDaniel Jasper   if (Current.is(TT_SelectorName) &&
300b88b25feSDaniel Jasper       !State.Stack.back().ObjCSelectorNameFound) {
301b88b25feSDaniel Jasper     if (Current.LongestObjCSelectorName == 0)
302b88b25feSDaniel Jasper       State.Stack.back().AlignColons = false;
303b88b25feSDaniel Jasper     else if (State.Stack.back().Indent + Current.LongestObjCSelectorName >
3041f80396dSAlexander Kornienko              State.Column + Spaces + Current.ColumnWidth)
3051f80396dSAlexander Kornienko       State.Stack.back().ColonPos =
3061f80396dSAlexander Kornienko           State.Stack.back().Indent + Current.LongestObjCSelectorName;
3071f80396dSAlexander Kornienko     else
3081f80396dSAlexander Kornienko       State.Stack.back().ColonPos = State.Column + Spaces + Current.ColumnWidth;
3091f80396dSAlexander Kornienko   }
3101f80396dSAlexander Kornienko 
311a98b7b01SDaniel Jasper   if (Style.AlignAfterOpenBracket && Previous.opensScope() &&
312a98b7b01SDaniel Jasper       Previous.isNot(TT_ObjCMethodExpr) &&
313a98b7b01SDaniel Jasper       (Current.isNot(TT_LineComment) || Previous.BlockKind == BK_BracedInit))
3141f80396dSAlexander Kornienko     State.Stack.back().Indent = State.Column + Spaces;
315ec01cd6eSDaniel Jasper   if (State.Stack.back().AvoidBinPacking && startsNextParameter(Current, Style))
3161f80396dSAlexander Kornienko     State.Stack.back().NoLineBreak = true;
3171f80396dSAlexander Kornienko   if (startsSegmentOfBuilderTypeCall(Current))
3181f80396dSAlexander Kornienko     State.Stack.back().ContainsUnwrappedBuilder = true;
3191f80396dSAlexander Kornienko 
320d6f17d83SDaniel Jasper   if (Current.isMemberAccess() && Previous.is(tok::r_paren) &&
321d6f17d83SDaniel Jasper       (Previous.MatchingParen &&
322d6f17d83SDaniel Jasper        (Previous.TotalLength - Previous.MatchingParen->TotalLength > 10))) {
323d6f17d83SDaniel Jasper     // If there is a function call with long parameters, break before trailing
324d6f17d83SDaniel Jasper     // calls. This prevents things like:
325d6f17d83SDaniel Jasper     //   EXPECT_CALL(SomeLongParameter).Times(
326d6f17d83SDaniel Jasper     //       2);
327d6f17d83SDaniel Jasper     // We don't want to do this for short parameters as they can just be
328d6f17d83SDaniel Jasper     // indexes.
329d6f17d83SDaniel Jasper     State.Stack.back().NoLineBreak = true;
330d6f17d83SDaniel Jasper   }
331d6f17d83SDaniel Jasper 
3321f80396dSAlexander Kornienko   State.Column += Spaces;
3338acf822bSDaniel Jasper   if (Current.isNot(tok::comment) && Previous.is(tok::l_paren) &&
33411a0ac66SDaniel Jasper       Previous.Previous &&
33511a0ac66SDaniel Jasper       Previous.Previous->isOneOf(tok::kw_if, tok::kw_for)) {
3361f80396dSAlexander Kornienko     // Treat the condition inside an if as if it was a second function
3376633ab8aSDaniel Jasper     // parameter, i.e. let nested calls have a continuation indent.
3388acf822bSDaniel Jasper     State.Stack.back().LastSpace = State.Column;
33911a0ac66SDaniel Jasper     State.Stack.back().NestedBlockIndent = State.Column;
34011a0ac66SDaniel Jasper   } else if (!Current.isOneOf(tok::comment, tok::caret) &&
341b88b25feSDaniel Jasper              (Previous.is(tok::comma) ||
34211a0ac66SDaniel Jasper               (Previous.is(tok::colon) && Previous.is(TT_ObjCMethodExpr)))) {
3431f80396dSAlexander Kornienko     State.Stack.back().LastSpace = State.Column;
34411a0ac66SDaniel Jasper   } else if ((Previous.isOneOf(TT_BinaryOperator, TT_ConditionalExpr,
345a98b7b01SDaniel Jasper                                TT_CtorInitializerColon)) &&
3460e61784aSDaniel Jasper              ((Previous.getPrecedence() != prec::Assignment &&
3470e61784aSDaniel Jasper                (Previous.isNot(tok::lessless) || Previous.OperatorIndex != 0 ||
3480e61784aSDaniel Jasper                 !Previous.LastOperator)) ||
34911a0ac66SDaniel Jasper               Current.StartsBinaryExpression)) {
3501f80396dSAlexander Kornienko     // Always indent relative to the RHS of the expression unless this is a
3511f80396dSAlexander Kornienko     // simple assignment without binary expression on the RHS. Also indent
3521f80396dSAlexander Kornienko     // relative to unary operators and the colons of constructor initializers.
3531f80396dSAlexander Kornienko     State.Stack.back().LastSpace = State.Column;
35411a0ac66SDaniel Jasper   } else if (Previous.is(TT_InheritanceColon)) {
3551f80396dSAlexander Kornienko     State.Stack.back().Indent = State.Column;
356f9a5e404SDaniel Jasper     State.Stack.back().LastSpace = State.Column;
357f9a5e404SDaniel Jasper   } else if (Previous.opensScope()) {
3581f80396dSAlexander Kornienko     // If a function has a trailing call, indent all parameters from the
3591f80396dSAlexander Kornienko     // opening parenthesis. This avoids confusing indents like:
3601f80396dSAlexander Kornienko     //   OuterFunction(InnerFunctionCall( // break
3611f80396dSAlexander Kornienko     //       ParameterToInnerFunction))   // break
3621f80396dSAlexander Kornienko     //       .SecondInnerFunctionCall();
3631f80396dSAlexander Kornienko     bool HasTrailingCall = false;
3641f80396dSAlexander Kornienko     if (Previous.MatchingParen) {
3651f80396dSAlexander Kornienko       const FormatToken *Next = Previous.MatchingParen->getNextNonComment();
3661f80396dSAlexander Kornienko       HasTrailingCall = Next && Next->isMemberAccess();
3671f80396dSAlexander Kornienko     }
3681f80396dSAlexander Kornienko     if (HasTrailingCall &&
3691f80396dSAlexander Kornienko         State.Stack[State.Stack.size() - 2].CallContinuation == 0)
3701f80396dSAlexander Kornienko       State.Stack.back().LastSpace = State.Column;
3711f80396dSAlexander Kornienko   }
3721f80396dSAlexander Kornienko }
3731f80396dSAlexander Kornienko 
3741f80396dSAlexander Kornienko unsigned ContinuationIndenter::addTokenOnNewLine(LineState &State,
3751f80396dSAlexander Kornienko                                                  bool DryRun) {
37671814b44SManuel Klimek   FormatToken &Current = *State.NextToken;
3771f80396dSAlexander Kornienko   const FormatToken &Previous = *State.NextToken->Previous;
3789f388d04SDaniel Jasper 
3791f80396dSAlexander Kornienko   // Extra penalty that needs to be added because of the way certain line
3801f80396dSAlexander Kornienko   // breaks are chosen.
3811f80396dSAlexander Kornienko   unsigned Penalty = 0;
3821f80396dSAlexander Kornienko 
383a0407740SDaniel Jasper   const FormatToken *PreviousNonComment = Current.getPreviousNonComment();
384a0407740SDaniel Jasper   const FormatToken *NextNonComment = Previous.getNextNonComment();
385a0407740SDaniel Jasper   if (!NextNonComment)
386a0407740SDaniel Jasper     NextNonComment = &Current;
38705cd5868SDaniel Jasper   // The first line break on any NestingLevel causes an extra penalty in order
3888de9ed05SDaniel Jasper   // prefer similar line breaks.
3898de9ed05SDaniel Jasper   if (!State.Stack.back().ContainsLineBreak)
3908de9ed05SDaniel Jasper     Penalty += 15;
3918de9ed05SDaniel Jasper   State.Stack.back().ContainsLineBreak = true;
3928de9ed05SDaniel Jasper 
3938de9ed05SDaniel Jasper   Penalty += State.NextToken->SplitPenalty;
3948de9ed05SDaniel Jasper 
395de0328aeSDaniel Jasper   // Breaking before the first "<<" is generally not desirable if the LHS is
39648437ce5SDaniel Jasper   // short. Also always add the penalty if the LHS is split over mutliple lines
3972b7556ecSDaniel Jasper   // to avoid unnecessary line breaks that just work around this penalty.
398a0407740SDaniel Jasper   if (NextNonComment->is(tok::lessless) &&
399a0407740SDaniel Jasper       State.Stack.back().FirstLessLess == 0 &&
400004177eeSDaniel Jasper       (State.Column <= Style.ColumnLimit / 3 ||
40148437ce5SDaniel Jasper        State.Stack.back().BreakBeforeParameter))
4028de9ed05SDaniel Jasper     Penalty += Style.PenaltyBreakFirstLessLess;
403de0328aeSDaniel Jasper 
4049f388d04SDaniel Jasper   State.Column = getNewLineColumn(State);
40511a0ac66SDaniel Jasper   State.Stack.back().NestedBlockIndent = State.Column;
4069f388d04SDaniel Jasper   if (NextNonComment->isMemberAccess()) {
4079f388d04SDaniel Jasper     if (State.Stack.back().CallContinuation == 0)
408de0328aeSDaniel Jasper       State.Stack.back().CallContinuation = State.Column;
409a98b7b01SDaniel Jasper   } else if (NextNonComment->is(TT_SelectorName)) {
410b88b25feSDaniel Jasper     if (!State.Stack.back().ObjCSelectorNameFound) {
411a0407740SDaniel Jasper       if (NextNonComment->LongestObjCSelectorName == 0) {
412b88b25feSDaniel Jasper         State.Stack.back().AlignColons = false;
413b88b25feSDaniel Jasper       } else {
414b302f9a0SDaniel Jasper         State.Stack.back().ColonPos =
415a0407740SDaniel Jasper             State.Stack.back().Indent + NextNonComment->LongestObjCSelectorName;
416b88b25feSDaniel Jasper       }
4179f388d04SDaniel Jasper     } else if (State.Stack.back().AlignColons &&
4189f388d04SDaniel Jasper                State.Stack.back().ColonPos <= NextNonComment->ColumnWidth) {
419a0407740SDaniel Jasper       State.Stack.back().ColonPos = State.Column + NextNonComment->ColumnWidth;
420de0328aeSDaniel Jasper     }
4211fd6f1f8SDaniel Jasper   } else if (PreviousNonComment && PreviousNonComment->is(tok::colon) &&
422a98b7b01SDaniel Jasper              PreviousNonComment->isOneOf(TT_ObjCMethodExpr, TT_DictLiteral)) {
423b88b25feSDaniel Jasper     // FIXME: This is hacky, find a better way. The problem is that in an ObjC
424b88b25feSDaniel Jasper     // method expression, the block should be aligned to the line starting it,
425b88b25feSDaniel Jasper     // e.g.:
426b88b25feSDaniel Jasper     //   [aaaaaaaaaaaaaaa aaaaaaaaa: \\ break for some reason
427b88b25feSDaniel Jasper     //                        ^(int *i) {
428b88b25feSDaniel Jasper     //                            // ...
429b88b25feSDaniel Jasper     //                        }];
43005cd5868SDaniel Jasper     // Thus, we set LastSpace of the next higher NestingLevel, to which we move
431b88b25feSDaniel Jasper     // when we consume all of the "}"'s FakeRParens at the "{".
4329a26e773SDaniel Jasper     if (State.Stack.size() > 1)
4339f388d04SDaniel Jasper       State.Stack[State.Stack.size() - 2].LastSpace =
4349f388d04SDaniel Jasper           std::max(State.Stack.back().LastSpace, State.Stack.back().Indent) +
4359f388d04SDaniel Jasper           Style.ContinuationIndentWidth;
436de0328aeSDaniel Jasper   }
437de0328aeSDaniel Jasper 
438de0328aeSDaniel Jasper   if ((Previous.isOneOf(tok::comma, tok::semi) &&
439de0328aeSDaniel Jasper        !State.Stack.back().AvoidBinPacking) ||
440a98b7b01SDaniel Jasper       Previous.is(TT_BinaryOperator))
441de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeParameter = false;
442a98b7b01SDaniel Jasper   if (Previous.isOneOf(TT_TemplateCloser, TT_JavaAnnotation) &&
44339af6cd5SDaniel Jasper       Current.NestingLevel == 0)
444de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeParameter = false;
445a0407740SDaniel Jasper   if (NextNonComment->is(tok::question) ||
446165b29e2SDaniel Jasper       (PreviousNonComment && PreviousNonComment->is(tok::question)))
447165b29e2SDaniel Jasper     State.Stack.back().BreakBeforeParameter = true;
448de0328aeSDaniel Jasper 
449de0328aeSDaniel Jasper   if (!DryRun) {
450a69ca9beSDaniel Jasper     unsigned Newlines = std::max(
451a69ca9beSDaniel Jasper         1u, std::min(Current.NewlinesBefore, Style.MaxEmptyLinesToKeep + 1));
452e2e0387fSAlexander Kornienko     Whitespaces.replaceWhitespace(Current, Newlines,
453e2e0387fSAlexander Kornienko                                   State.Stack.back().IndentLevel, State.Column,
454e2e0387fSAlexander Kornienko                                   State.Column, State.Line->InPPDirective);
455de0328aeSDaniel Jasper   }
456de0328aeSDaniel Jasper 
457de0328aeSDaniel Jasper   if (!Current.isTrailingComment())
458de0328aeSDaniel Jasper     State.Stack.back().LastSpace = State.Column;
45905cd5868SDaniel Jasper   State.StartOfLineLevel = Current.NestingLevel;
46005cd5868SDaniel Jasper   State.LowestLevelOnLine = Current.NestingLevel;
461de0328aeSDaniel Jasper 
462de0328aeSDaniel Jasper   // Any break on this level means that the parent level has been broken
463de0328aeSDaniel Jasper   // and we need to avoid bin packing there.
4644b444495SDaniel Jasper   bool NestedBlockSpecialCase =
4654b444495SDaniel Jasper       Current.is(tok::r_brace) && State.Stack.size() > 1 &&
4664b444495SDaniel Jasper       State.Stack[State.Stack.size() - 2].NestedBlockInlined;
4674b444495SDaniel Jasper   if (!NestedBlockSpecialCase) {
468de0328aeSDaniel Jasper     for (unsigned i = 0, e = State.Stack.size() - 1; i != e; ++i) {
469de0328aeSDaniel Jasper       State.Stack[i].BreakBeforeParameter = true;
470de0328aeSDaniel Jasper     }
471b16b969dSDaniel Jasper   }
472b16b969dSDaniel Jasper 
4739e5ede0fSDaniel Jasper   if (PreviousNonComment &&
4749e5ede0fSDaniel Jasper       !PreviousNonComment->isOneOf(tok::comma, tok::semi) &&
475a98b7b01SDaniel Jasper       (PreviousNonComment->isNot(TT_TemplateCloser) ||
4766c0ee17bSDaniel Jasper        Current.NestingLevel != 0) &&
477a98b7b01SDaniel Jasper       !PreviousNonComment->isOneOf(TT_BinaryOperator, TT_JavaAnnotation,
478a98b7b01SDaniel Jasper                                    TT_LeadingJavaAnnotation) &&
479a98b7b01SDaniel Jasper       Current.isNot(TT_BinaryOperator) && !PreviousNonComment->opensScope())
480de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeParameter = true;
481de0328aeSDaniel Jasper 
4821db6c386SDaniel Jasper   // If we break after { or the [ of an array initializer, we should also break
4831db6c386SDaniel Jasper   // before the corresponding } or ].
48490818057SDaniel Jasper   if (PreviousNonComment &&
485a98b7b01SDaniel Jasper       (PreviousNonComment->isOneOf(tok::l_brace, TT_ArrayInitializerLSquare)))
486de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeClosingBrace = true;
487de0328aeSDaniel Jasper 
488de0328aeSDaniel Jasper   if (State.Stack.back().AvoidBinPacking) {
489de0328aeSDaniel Jasper     // If we are breaking after '(', '{', '<', this is not bin packing
4902a958321SDaniel Jasper     // unless AllowAllParametersOfDeclarationOnNextLine is false or this is a
4912a958321SDaniel Jasper     // dict/object literal.
492a98b7b01SDaniel Jasper     if (!Previous.isOneOf(tok::l_paren, tok::l_brace, TT_BinaryOperator) ||
493de0328aeSDaniel Jasper         (!Style.AllowAllParametersOfDeclarationOnNextLine &&
4942a958321SDaniel Jasper          State.Line->MustBeDeclaration) ||
495a98b7b01SDaniel Jasper         Previous.is(TT_DictLiteral))
496de0328aeSDaniel Jasper       State.Stack.back().BreakBeforeParameter = true;
497de0328aeSDaniel Jasper   }
498de0328aeSDaniel Jasper 
4991f80396dSAlexander Kornienko   return Penalty;
500de0328aeSDaniel Jasper }
501de0328aeSDaniel Jasper 
5029f388d04SDaniel Jasper unsigned ContinuationIndenter::getNewLineColumn(const LineState &State) {
5035d2587daSDaniel Jasper   if (!State.NextToken || !State.NextToken->Previous)
5045d2587daSDaniel Jasper     return 0;
5059f388d04SDaniel Jasper   FormatToken &Current = *State.NextToken;
5064281c5aeSDaniel Jasper   const FormatToken &Previous = *Current.Previous;
5079f388d04SDaniel Jasper   // If we are continuing an expression, we want to use the continuation indent.
5089f388d04SDaniel Jasper   unsigned ContinuationIndent =
5099f388d04SDaniel Jasper       std::max(State.Stack.back().LastSpace, State.Stack.back().Indent) +
5109f388d04SDaniel Jasper       Style.ContinuationIndentWidth;
5119f388d04SDaniel Jasper   const FormatToken *PreviousNonComment = Current.getPreviousNonComment();
5129f388d04SDaniel Jasper   const FormatToken *NextNonComment = Previous.getNextNonComment();
5139f388d04SDaniel Jasper   if (!NextNonComment)
5149f388d04SDaniel Jasper     NextNonComment = &Current;
51550b4bd7cSDaniel Jasper 
51650b4bd7cSDaniel Jasper   // Java specific bits.
517d0ec0d62SDaniel Jasper   if (Style.Language == FormatStyle::LK_Java &&
518d0ec0d62SDaniel Jasper       Current.isOneOf(Keywords.kw_implements, Keywords.kw_extends))
51950b4bd7cSDaniel Jasper     return std::max(State.Stack.back().LastSpace,
52050b4bd7cSDaniel Jasper                     State.Stack.back().Indent + Style.ContinuationIndentWidth);
52150b4bd7cSDaniel Jasper 
522b05a81deSDaniel Jasper   if (NextNonComment->is(tok::l_brace) && NextNonComment->BlockKind == BK_Block)
52305cd5868SDaniel Jasper     return Current.NestingLevel == 0 ? State.FirstIndent
5249f388d04SDaniel Jasper                                      : State.Stack.back().Indent;
525675b4f83SDaniel Jasper   if (Current.isOneOf(tok::r_brace, tok::r_square) && State.Stack.size() > 1) {
52611a0ac66SDaniel Jasper     if (Current.closesBlockTypeList(Style))
52711a0ac66SDaniel Jasper       return State.Stack[State.Stack.size() - 2].NestedBlockIndent;
52811a0ac66SDaniel Jasper     if (Current.MatchingParen &&
52911a0ac66SDaniel Jasper         Current.MatchingParen->BlockKind == BK_BracedInit)
5309f388d04SDaniel Jasper       return State.Stack[State.Stack.size() - 2].LastSpace;
5319f388d04SDaniel Jasper     return State.FirstIndent;
5329f388d04SDaniel Jasper   }
533783bac6bSDaniel Jasper   if (Current.is(tok::identifier) && Current.Next &&
534a98b7b01SDaniel Jasper       Current.Next->is(TT_DictLiteral))
535783bac6bSDaniel Jasper     return State.Stack.back().Indent;
5369f388d04SDaniel Jasper   if (NextNonComment->isStringLiteral() && State.StartOfStringLiteral != 0)
5379f388d04SDaniel Jasper     return State.StartOfStringLiteral;
5389f388d04SDaniel Jasper   if (NextNonComment->is(tok::lessless) &&
5399f388d04SDaniel Jasper       State.Stack.back().FirstLessLess != 0)
5409f388d04SDaniel Jasper     return State.Stack.back().FirstLessLess;
5419f388d04SDaniel Jasper   if (NextNonComment->isMemberAccess()) {
54224a14777SDaniel Jasper     if (State.Stack.back().CallContinuation == 0)
5439f388d04SDaniel Jasper       return ContinuationIndent;
5449f388d04SDaniel Jasper     return State.Stack.back().CallContinuation;
5459f388d04SDaniel Jasper   }
5469f388d04SDaniel Jasper   if (State.Stack.back().QuestionColumn != 0 &&
547c0d606a5SDaniel Jasper       ((NextNonComment->is(tok::colon) &&
548a98b7b01SDaniel Jasper         NextNonComment->is(TT_ConditionalExpr)) ||
549a98b7b01SDaniel Jasper        Previous.is(TT_ConditionalExpr)))
5509f388d04SDaniel Jasper     return State.Stack.back().QuestionColumn;
5519f388d04SDaniel Jasper   if (Previous.is(tok::comma) && State.Stack.back().VariablePos != 0)
5529f388d04SDaniel Jasper     return State.Stack.back().VariablePos;
553e9ab42dfSDaniel Jasper   if ((PreviousNonComment &&
554e9ab42dfSDaniel Jasper        (PreviousNonComment->ClosesTemplateDeclaration ||
555a98b7b01SDaniel Jasper         PreviousNonComment->isOneOf(TT_AttributeParen, TT_JavaAnnotation,
556a98b7b01SDaniel Jasper                                     TT_LeadingJavaAnnotation))) ||
557c75e1effSDaniel Jasper       (!Style.IndentWrappedFunctionNames &&
558a98b7b01SDaniel Jasper        NextNonComment->isOneOf(tok::kw_operator, TT_FunctionDeclarationName)))
5599f388d04SDaniel Jasper     return std::max(State.Stack.back().LastSpace, State.Stack.back().Indent);
560a98b7b01SDaniel Jasper   if (NextNonComment->is(TT_SelectorName)) {
5619f388d04SDaniel Jasper     if (!State.Stack.back().ObjCSelectorNameFound) {
56224a14777SDaniel Jasper       if (NextNonComment->LongestObjCSelectorName == 0)
5639f388d04SDaniel Jasper         return State.Stack.back().Indent;
5649f388d04SDaniel Jasper       return State.Stack.back().Indent +
5659f388d04SDaniel Jasper              NextNonComment->LongestObjCSelectorName -
5669f388d04SDaniel Jasper              NextNonComment->ColumnWidth;
5679f388d04SDaniel Jasper     }
56824a14777SDaniel Jasper     if (!State.Stack.back().AlignColons)
5699f388d04SDaniel Jasper       return State.Stack.back().Indent;
57024a14777SDaniel Jasper     if (State.Stack.back().ColonPos > NextNonComment->ColumnWidth)
5719f388d04SDaniel Jasper       return State.Stack.back().ColonPos - NextNonComment->ColumnWidth;
5729f388d04SDaniel Jasper     return State.Stack.back().Indent;
5739f388d04SDaniel Jasper   }
574a98b7b01SDaniel Jasper   if (NextNonComment->is(TT_ArraySubscriptLSquare)) {
5759f388d04SDaniel Jasper     if (State.Stack.back().StartOfArraySubscripts != 0)
5769f388d04SDaniel Jasper       return State.Stack.back().StartOfArraySubscripts;
5779f388d04SDaniel Jasper     return ContinuationIndent;
5789f388d04SDaniel Jasper   }
579a98b7b01SDaniel Jasper   if (NextNonComment->is(TT_StartOfName) ||
5809f388d04SDaniel Jasper       Previous.isOneOf(tok::coloncolon, tok::equal)) {
5819f388d04SDaniel Jasper     return ContinuationIndent;
5829f388d04SDaniel Jasper   }
5839f388d04SDaniel Jasper   if (PreviousNonComment && PreviousNonComment->is(tok::colon) &&
584a98b7b01SDaniel Jasper       PreviousNonComment->isOneOf(TT_ObjCMethodExpr, TT_DictLiteral))
5859f388d04SDaniel Jasper     return ContinuationIndent;
586a98b7b01SDaniel Jasper   if (NextNonComment->is(TT_CtorInitializerColon))
5879f388d04SDaniel Jasper     return State.FirstIndent + Style.ConstructorInitializerIndentWidth;
588a98b7b01SDaniel Jasper   if (NextNonComment->is(TT_CtorInitializerComma))
5899f388d04SDaniel Jasper     return State.Stack.back().Indent;
590316ab38eSDaniel Jasper   if (Previous.is(tok::r_paren) && !Current.isBinaryOperator() &&
591119ff533SDaniel Jasper       !Current.isOneOf(tok::colon, tok::comment))
592316ab38eSDaniel Jasper     return ContinuationIndent;
5935d2587daSDaniel Jasper   if (State.Stack.back().Indent == State.FirstIndent && PreviousNonComment &&
5949f388d04SDaniel Jasper       PreviousNonComment->isNot(tok::r_brace))
5959f388d04SDaniel Jasper     // Ensure that we fall back to the continuation indent width instead of
5969f388d04SDaniel Jasper     // just flushing continuations left.
5979f388d04SDaniel Jasper     return State.Stack.back().Indent + Style.ContinuationIndentWidth;
5989f388d04SDaniel Jasper   return State.Stack.back().Indent;
5999f388d04SDaniel Jasper }
6009f388d04SDaniel Jasper 
601de0328aeSDaniel Jasper unsigned ContinuationIndenter::moveStateToNextToken(LineState &State,
602de0328aeSDaniel Jasper                                                     bool DryRun, bool Newline) {
603de0328aeSDaniel Jasper   assert(State.Stack.size());
60460553be5SDaniel Jasper   const FormatToken &Current = *State.NextToken;
605de0328aeSDaniel Jasper 
606a98b7b01SDaniel Jasper   if (Current.is(TT_InheritanceColon))
607de0328aeSDaniel Jasper     State.Stack.back().AvoidBinPacking = true;
608a98b7b01SDaniel Jasper   if (Current.is(tok::lessless) && Current.isNot(TT_OverloadedOperator)) {
609c0d606a5SDaniel Jasper     if (State.Stack.back().FirstLessLess == 0)
610de0328aeSDaniel Jasper       State.Stack.back().FirstLessLess = State.Column;
611c0d606a5SDaniel Jasper     else
612c0d606a5SDaniel Jasper       State.Stack.back().LastOperatorWrapped = Newline;
613c0d606a5SDaniel Jasper   }
614a98b7b01SDaniel Jasper   if ((Current.is(TT_BinaryOperator) && Current.isNot(tok::lessless)) ||
615a98b7b01SDaniel Jasper       Current.is(TT_ConditionalExpr))
616c0d606a5SDaniel Jasper     State.Stack.back().LastOperatorWrapped = Newline;
617a98b7b01SDaniel Jasper   if (Current.is(TT_ArraySubscriptLSquare) &&
618de0328aeSDaniel Jasper       State.Stack.back().StartOfArraySubscripts == 0)
619de0328aeSDaniel Jasper     State.Stack.back().StartOfArraySubscripts = State.Column;
620165b29e2SDaniel Jasper   if ((Current.is(tok::question) && Style.BreakBeforeTernaryOperators) ||
621165b29e2SDaniel Jasper       (Current.getPreviousNonComment() && Current.isNot(tok::colon) &&
622165b29e2SDaniel Jasper        Current.getPreviousNonComment()->is(tok::question) &&
623165b29e2SDaniel Jasper        !Style.BreakBeforeTernaryOperators))
624de0328aeSDaniel Jasper     State.Stack.back().QuestionColumn = State.Column;
625de0328aeSDaniel Jasper   if (!Current.opensScope() && !Current.closesScope())
626de0328aeSDaniel Jasper     State.LowestLevelOnLine =
62705cd5868SDaniel Jasper         std::min(State.LowestLevelOnLine, Current.NestingLevel);
6284c6e0059SDaniel Jasper   if (Current.isMemberAccess())
629de0328aeSDaniel Jasper     State.Stack.back().StartOfFunctionCall =
6300e61784aSDaniel Jasper         Current.LastOperator ? 0 : State.Column + Current.ColumnWidth;
631a98b7b01SDaniel Jasper   if (Current.is(TT_SelectorName))
632b88b25feSDaniel Jasper     State.Stack.back().ObjCSelectorNameFound = true;
633a98b7b01SDaniel Jasper   if (Current.is(TT_CtorInitializerColon)) {
634de0328aeSDaniel Jasper     // Indent 2 from the column, so:
635de0328aeSDaniel Jasper     // SomeClass::SomeClass()
636de0328aeSDaniel Jasper     //     : First(...), ...
637de0328aeSDaniel Jasper     //       Next(...)
638de0328aeSDaniel Jasper     //       ^ line up here.
639de0328aeSDaniel Jasper     State.Stack.back().Indent =
640de0328aeSDaniel Jasper         State.Column + (Style.BreakConstructorInitializersBeforeComma ? 0 : 2);
641d6a1cab1SDaniel Jasper     State.Stack.back().NestedBlockIndent = State.Stack.back().Indent;
642de0328aeSDaniel Jasper     if (Style.ConstructorInitializerAllOnOneLineOrOnePerLine)
643de0328aeSDaniel Jasper       State.Stack.back().AvoidBinPacking = true;
644de0328aeSDaniel Jasper     State.Stack.back().BreakBeforeParameter = false;
645de0328aeSDaniel Jasper   }
646de0328aeSDaniel Jasper 
647de0328aeSDaniel Jasper   // In ObjC method declaration we align on the ":" of parameters, but we need
6486633ab8aSDaniel Jasper   // to ensure that we indent parameters on subsequent lines by at least our
6496633ab8aSDaniel Jasper   // continuation indent width.
650a98b7b01SDaniel Jasper   if (Current.is(TT_ObjCMethodSpecifier))
6516633ab8aSDaniel Jasper     State.Stack.back().Indent += Style.ContinuationIndentWidth;
652de0328aeSDaniel Jasper 
653de0328aeSDaniel Jasper   // Insert scopes created by fake parenthesis.
654de0328aeSDaniel Jasper   const FormatToken *Previous = Current.getPreviousNonComment();
655b16b969dSDaniel Jasper 
656b16b969dSDaniel Jasper   // Add special behavior to support a format commonly used for JavaScript
657b16b969dSDaniel Jasper   // closures:
658b16b969dSDaniel Jasper   //   SomeFunction(function() {
659b16b969dSDaniel Jasper   //     foo();
660b16b969dSDaniel Jasper   //     bar();
661b16b969dSDaniel Jasper   //   }, a, b, c);
662b16b969dSDaniel Jasper   if (Current.isNot(tok::comment) && Previous && Previous->is(tok::l_brace) &&
663b16b969dSDaniel Jasper       State.Stack.size() > 1) {
6644b444495SDaniel Jasper     if (State.Stack[State.Stack.size() - 2].NestedBlockInlined && Newline) {
665b16b969dSDaniel Jasper       for (unsigned i = 0, e = State.Stack.size() - 1; i != e; ++i) {
666b16b969dSDaniel Jasper         State.Stack[i].NoLineBreak = true;
667b16b969dSDaniel Jasper       }
668b16b969dSDaniel Jasper     }
6694b444495SDaniel Jasper     State.Stack[State.Stack.size() - 2].NestedBlockInlined = false;
670b16b969dSDaniel Jasper   }
6714b444495SDaniel Jasper   if (Previous && (Previous->isOneOf(tok::l_paren, tok::comma, tok::colon) ||
6724b444495SDaniel Jasper                    Previous->isOneOf(TT_BinaryOperator, TT_ConditionalExpr)) &&
6734b444495SDaniel Jasper       !Previous->isOneOf(TT_DictLiteral, TT_ObjCMethodExpr)) {
6744b444495SDaniel Jasper     State.Stack.back().NestedBlockInlined =
6754b444495SDaniel Jasper         !Newline &&
67611a0ac66SDaniel Jasper         (Previous->isNot(tok::l_paren) || Previous->ParameterCount > 1);
677b16b969dSDaniel Jasper   }
678b16b969dSDaniel Jasper 
67960553be5SDaniel Jasper   moveStatePastFakeLParens(State, Newline);
68060553be5SDaniel Jasper   moveStatePastScopeOpener(State, Newline);
68160553be5SDaniel Jasper   moveStatePastScopeCloser(State);
68260553be5SDaniel Jasper   moveStatePastFakeRParens(State);
68360553be5SDaniel Jasper 
68460553be5SDaniel Jasper   if (Current.isStringLiteral() && State.StartOfStringLiteral == 0) {
68560553be5SDaniel Jasper     State.StartOfStringLiteral = State.Column;
68660553be5SDaniel Jasper   } else if (!Current.isOneOf(tok::comment, tok::identifier, tok::hash) &&
68760553be5SDaniel Jasper              !Current.isStringLiteral()) {
68860553be5SDaniel Jasper     State.StartOfStringLiteral = 0;
68960553be5SDaniel Jasper   }
69060553be5SDaniel Jasper 
69160553be5SDaniel Jasper   State.Column += Current.ColumnWidth;
69260553be5SDaniel Jasper   State.NextToken = State.NextToken->Next;
69360553be5SDaniel Jasper   unsigned Penalty = breakProtrudingToken(Current, State, DryRun);
69460553be5SDaniel Jasper   if (State.Column > getColumnLimit(State)) {
69560553be5SDaniel Jasper     unsigned ExcessCharacters = State.Column - getColumnLimit(State);
69660553be5SDaniel Jasper     Penalty += Style.PenaltyExcessCharacter * ExcessCharacters;
69760553be5SDaniel Jasper   }
69860553be5SDaniel Jasper 
69960553be5SDaniel Jasper   if (Current.Role)
70060553be5SDaniel Jasper     Current.Role->formatFromToken(State, this, DryRun);
70160553be5SDaniel Jasper   // If the previous has a special role, let it consume tokens as appropriate.
70260553be5SDaniel Jasper   // It is necessary to start at the previous token for the only implemented
70360553be5SDaniel Jasper   // role (comma separated list). That way, the decision whether or not to break
70460553be5SDaniel Jasper   // after the "{" is already done and both options are tried and evaluated.
70560553be5SDaniel Jasper   // FIXME: This is ugly, find a better way.
70660553be5SDaniel Jasper   if (Previous && Previous->Role)
70760553be5SDaniel Jasper     Penalty += Previous->Role->formatAfterToken(State, this, DryRun);
70860553be5SDaniel Jasper 
70960553be5SDaniel Jasper   return Penalty;
71060553be5SDaniel Jasper }
71160553be5SDaniel Jasper 
71260553be5SDaniel Jasper void ContinuationIndenter::moveStatePastFakeLParens(LineState &State,
71360553be5SDaniel Jasper                                                     bool Newline) {
71460553be5SDaniel Jasper   const FormatToken &Current = *State.NextToken;
71560553be5SDaniel Jasper   const FormatToken *Previous = Current.getPreviousNonComment();
71660553be5SDaniel Jasper 
717de0328aeSDaniel Jasper   // Don't add extra indentation for the first fake parenthesis after
7180db806b7SDinesh Dwivedi   // 'return', assignments or opening <({[. The indentation for these cases
719de0328aeSDaniel Jasper   // is special cased.
720de0328aeSDaniel Jasper   bool SkipFirstExtraIndent =
721eabede6dSDaniel Jasper       (Previous && (Previous->opensScope() || Previous->is(tok::kw_return) ||
7223219e43cSDaniel Jasper                     (Previous->getPrecedence() == prec::Assignment &&
7233219e43cSDaniel Jasper                      Style.AlignOperands) ||
724a98b7b01SDaniel Jasper                     Previous->is(TT_ObjCMethodExpr)));
725de0328aeSDaniel Jasper   for (SmallVectorImpl<prec::Level>::const_reverse_iterator
726de0328aeSDaniel Jasper            I = Current.FakeLParens.rbegin(),
727de0328aeSDaniel Jasper            E = Current.FakeLParens.rend();
728de0328aeSDaniel Jasper        I != E; ++I) {
729de0328aeSDaniel Jasper     ParenState NewParenState = State.Stack.back();
730de0328aeSDaniel Jasper     NewParenState.ContainsLineBreak = false;
731eabede6dSDaniel Jasper 
7323aa9a6a1SDaniel Jasper     // Indent from 'LastSpace' unless these are fake parentheses encapsulating
7333aa9a6a1SDaniel Jasper     // a builder type call after 'return' or, if the alignment after opening
7343aa9a6a1SDaniel Jasper     // brackets is disabled.
7354281c5aeSDaniel Jasper     if (!Current.isTrailingComment() &&
7363219e43cSDaniel Jasper         (Style.AlignOperands || *I < prec::Assignment) &&
7376cab6784SDaniel Jasper         (!Previous || Previous->isNot(tok::kw_return) ||
7386cab6784SDaniel Jasper          (Style.Language != FormatStyle::LK_Java && *I > 0)) &&
7393aa9a6a1SDaniel Jasper         (Style.AlignAfterOpenBracket || *I != prec::Comma ||
7403aa9a6a1SDaniel Jasper          Current.NestingLevel == 0))
741de0328aeSDaniel Jasper       NewParenState.Indent =
742de0328aeSDaniel Jasper           std::max(std::max(State.Column, NewParenState.Indent),
743de0328aeSDaniel Jasper                    State.Stack.back().LastSpace);
744eabede6dSDaniel Jasper 
7455c33265cSDaniel Jasper     // Don't allow the RHS of an operator to be split over multiple lines unless
7465c33265cSDaniel Jasper     // there is a line-break right after the operator.
7475c33265cSDaniel Jasper     // Exclude relational operators, as there, it is always more desirable to
7485c33265cSDaniel Jasper     // have the LHS 'left' of the RHS.
749c0d606a5SDaniel Jasper     if (Previous && Previous->getPrecedence() > prec::Assignment &&
750a98b7b01SDaniel Jasper         Previous->isOneOf(TT_BinaryOperator, TT_ConditionalExpr) &&
751c0d606a5SDaniel Jasper         Previous->getPrecedence() != prec::Relational) {
7528c6e9ef6SDaniel Jasper       bool BreakBeforeOperator =
7538c6e9ef6SDaniel Jasper           Previous->is(tok::lessless) ||
754a98b7b01SDaniel Jasper           (Previous->is(TT_BinaryOperator) &&
7558c6e9ef6SDaniel Jasper            Style.BreakBeforeBinaryOperators != FormatStyle::BOS_None) ||
756a98b7b01SDaniel Jasper           (Previous->is(TT_ConditionalExpr) &&
757c0d606a5SDaniel Jasper            Style.BreakBeforeTernaryOperators);
758c0d606a5SDaniel Jasper       if ((!Newline && !BreakBeforeOperator) ||
759c0d606a5SDaniel Jasper           (!State.Stack.back().LastOperatorWrapped && BreakBeforeOperator))
7605c33265cSDaniel Jasper         NewParenState.NoLineBreak = true;
761c0d606a5SDaniel Jasper     }
7625c33265cSDaniel Jasper 
7639fe0e8daSDaniel Jasper     // Do not indent relative to the fake parentheses inserted for "." or "->".
7649fe0e8daSDaniel Jasper     // This is a special case to make the following to statements consistent:
7659fe0e8daSDaniel Jasper     //   OuterFunction(InnerFunctionCall( // break
7669fe0e8daSDaniel Jasper     //       ParameterToInnerFunction));
7679fe0e8daSDaniel Jasper     //   OuterFunction(SomeObject.InnerFunctionCall( // break
7689fe0e8daSDaniel Jasper     //       ParameterToInnerFunction));
7699fe0e8daSDaniel Jasper     if (*I > prec::Unknown)
7709fe0e8daSDaniel Jasper       NewParenState.LastSpace = std::max(NewParenState.LastSpace, State.Column);
771a536df4bSDaniel Jasper     if (*I != prec::Conditional)
77296964359SDaniel Jasper       NewParenState.StartOfFunctionCall = State.Column;
773de0328aeSDaniel Jasper 
774de0328aeSDaniel Jasper     // Always indent conditional expressions. Never indent expression where
775de0328aeSDaniel Jasper     // the 'operator' is ',', ';' or an assignment (i.e. *I <=
776de0328aeSDaniel Jasper     // prec::Assignment) as those have different indentation rules. Indent
777de0328aeSDaniel Jasper     // other expression, unless the indentation needs to be skipped.
778de0328aeSDaniel Jasper     if (*I == prec::Conditional ||
779de0328aeSDaniel Jasper         (!SkipFirstExtraIndent && *I > prec::Assignment &&
7808c6e9ef6SDaniel Jasper          !Current.isTrailingComment()))
7816633ab8aSDaniel Jasper       NewParenState.Indent += Style.ContinuationIndentWidth;
7821db6c386SDaniel Jasper     if ((Previous && !Previous->opensScope()) || *I > prec::Comma)
783de0328aeSDaniel Jasper       NewParenState.BreakBeforeParameter = false;
784de0328aeSDaniel Jasper     State.Stack.push_back(NewParenState);
785de0328aeSDaniel Jasper     SkipFirstExtraIndent = false;
786de0328aeSDaniel Jasper   }
78760553be5SDaniel Jasper }
788de0328aeSDaniel Jasper 
78911a0ac66SDaniel Jasper void ContinuationIndenter::moveStatePastFakeRParens(LineState &State) {
79011a0ac66SDaniel Jasper   for (unsigned i = 0, e = State.NextToken->FakeRParens; i != e; ++i) {
79160553be5SDaniel Jasper     unsigned VariablePos = State.Stack.back().VariablePos;
792819788daSManuel Klimek     if (State.Stack.size() == 1) {
793819788daSManuel Klimek       // Do not pop the last element.
794819788daSManuel Klimek       break;
795819788daSManuel Klimek     }
7969fe0e8daSDaniel Jasper     State.Stack.pop_back();
79760553be5SDaniel Jasper     State.Stack.back().VariablePos = VariablePos;
798819788daSManuel Klimek   }
79960553be5SDaniel Jasper }
800335ff266SDaniel Jasper 
80160553be5SDaniel Jasper void ContinuationIndenter::moveStatePastScopeOpener(LineState &State,
80260553be5SDaniel Jasper                                                     bool Newline) {
80360553be5SDaniel Jasper   const FormatToken &Current = *State.NextToken;
80460553be5SDaniel Jasper   if (!Current.opensScope())
80560553be5SDaniel Jasper     return;
80660553be5SDaniel Jasper 
80760553be5SDaniel Jasper   if (Current.MatchingParen && Current.BlockKind == BK_Block) {
80860553be5SDaniel Jasper     moveStateToNewBlock(State);
80960553be5SDaniel Jasper     return;
81060553be5SDaniel Jasper   }
81160553be5SDaniel Jasper 
81260553be5SDaniel Jasper   unsigned NewIndent;
81360553be5SDaniel Jasper   unsigned NewIndentLevel = State.Stack.back().IndentLevel;
81460553be5SDaniel Jasper   bool AvoidBinPacking;
81560553be5SDaniel Jasper   bool BreakBeforeParameter = false;
816a98b7b01SDaniel Jasper   if (Current.isOneOf(tok::l_brace, TT_ArrayInitializerLSquare)) {
817b8f61682SDaniel Jasper     if (Current.opensBlockTypeList(Style)) {
81811a0ac66SDaniel Jasper       NewIndent = State.Stack.back().NestedBlockIndent + Style.IndentWidth;
8195a611397SDaniel Jasper       NewIndent = std::min(State.Column + 2, NewIndent);
820e2e0387fSAlexander Kornienko       ++NewIndentLevel;
821b8f61682SDaniel Jasper     } else {
82211a0ac66SDaniel Jasper       NewIndent = State.Stack.back().LastSpace + Style.ContinuationIndentWidth;
8235a611397SDaniel Jasper       NewIndent = std::min(State.Column + 1, NewIndent);
824e2e0387fSAlexander Kornienko     }
825de0328aeSDaniel Jasper     const FormatToken *NextNoComment = Current.getNextNonComment();
826a98b7b01SDaniel Jasper     AvoidBinPacking =
827a98b7b01SDaniel Jasper         Current.isOneOf(TT_ArrayInitializerLSquare, TT_DictLiteral) ||
828a98b7b01SDaniel Jasper         Style.Language == FormatStyle::LK_Proto || !Style.BinPackParameters ||
829a98b7b01SDaniel Jasper         (NextNoComment && NextNoComment->is(TT_DesignatedInitializerPeriod));
830de0328aeSDaniel Jasper   } else {
8316633ab8aSDaniel Jasper     NewIndent = Style.ContinuationIndentWidth +
8326633ab8aSDaniel Jasper                 std::max(State.Stack.back().LastSpace,
8339fe0e8daSDaniel Jasper                          State.Stack.back().StartOfFunctionCall);
83418210d7dSDaniel Jasper     AvoidBinPacking =
83518210d7dSDaniel Jasper         (State.Line->MustBeDeclaration && !Style.BinPackParameters) ||
83618210d7dSDaniel Jasper         (!State.Line->MustBeDeclaration && !Style.BinPackArguments) ||
837de0328aeSDaniel Jasper         (Style.ExperimentalAutoDetectBinPacking &&
838de0328aeSDaniel Jasper          (Current.PackingKind == PPK_OnePerLine ||
839de0328aeSDaniel Jasper           (!BinPackInconclusiveFunctions &&
840de0328aeSDaniel Jasper            Current.PackingKind == PPK_Inconclusive)));
8411db6c386SDaniel Jasper     // If this '[' opens an ObjC call, determine whether all parameters fit
8421db6c386SDaniel Jasper     // into one line and put one per line if they don't.
843a98b7b01SDaniel Jasper     if (Current.is(TT_ObjCMethodExpr) && Style.ColumnLimit != 0 &&
8441db6c386SDaniel Jasper         getLengthToMatchingParen(Current) + State.Column >
8451db6c386SDaniel Jasper             getColumnLimit(State))
8461db6c386SDaniel Jasper       BreakBeforeParameter = true;
847de0328aeSDaniel Jasper   }
848a41aa536SDaniel Jasper   bool NoLineBreak = State.Stack.back().NoLineBreak ||
849a98b7b01SDaniel Jasper                      (Current.is(TT_TemplateOpener) &&
850cc3114d8SDaniel Jasper                       State.Stack.back().ContainsUnwrappedBuilder);
85111a0ac66SDaniel Jasper   unsigned NestedBlockIndent = State.Stack.back().NestedBlockIndent;
852cc3114d8SDaniel Jasper   State.Stack.push_back(ParenState(NewIndent, NewIndentLevel,
853cc3114d8SDaniel Jasper                                    State.Stack.back().LastSpace,
854cc3114d8SDaniel Jasper                                    AvoidBinPacking, NoLineBreak));
85511a0ac66SDaniel Jasper   State.Stack.back().NestedBlockIndent = NestedBlockIndent;
8561db6c386SDaniel Jasper   State.Stack.back().BreakBeforeParameter = BreakBeforeParameter;
857114a2bc9SDaniel Jasper   State.Stack.back().HasMultipleNestedBlocks = Current.BlockParameterCount > 1;
858de0328aeSDaniel Jasper }
859de0328aeSDaniel Jasper 
86060553be5SDaniel Jasper void ContinuationIndenter::moveStatePastScopeCloser(LineState &State) {
86160553be5SDaniel Jasper   const FormatToken &Current = *State.NextToken;
86260553be5SDaniel Jasper   if (!Current.closesScope())
86360553be5SDaniel Jasper     return;
86460553be5SDaniel Jasper 
865de0328aeSDaniel Jasper   // If we encounter a closing ), ], } or >, we can remove a level from our
866de0328aeSDaniel Jasper   // stacks.
86796df37a6SDaniel Jasper   if (State.Stack.size() > 1 &&
86896df37a6SDaniel Jasper       (Current.isOneOf(tok::r_paren, tok::r_square) ||
8699fe0e8daSDaniel Jasper        (Current.is(tok::r_brace) && State.NextToken != State.Line->First) ||
870a98b7b01SDaniel Jasper        State.NextToken->is(TT_TemplateCloser)))
871de0328aeSDaniel Jasper     State.Stack.pop_back();
872335ff266SDaniel Jasper 
873de0328aeSDaniel Jasper   if (Current.is(tok::r_square)) {
874de0328aeSDaniel Jasper     // If this ends the array subscript expr, reset the corresponding value.
875de0328aeSDaniel Jasper     const FormatToken *NextNonComment = Current.getNextNonComment();
876de0328aeSDaniel Jasper     if (NextNonComment && NextNonComment->isNot(tok::l_square))
877de0328aeSDaniel Jasper       State.Stack.back().StartOfArraySubscripts = 0;
878de0328aeSDaniel Jasper   }
87960553be5SDaniel Jasper }
880de0328aeSDaniel Jasper 
88160553be5SDaniel Jasper void ContinuationIndenter::moveStateToNewBlock(LineState &State) {
88211a0ac66SDaniel Jasper   unsigned NestedBlockIndent = State.Stack.back().NestedBlockIndent;
88350d634b3SDaniel Jasper   // ObjC block sometimes follow special indentation rules.
884a98b7b01SDaniel Jasper   unsigned NewIndent =
88511a0ac66SDaniel Jasper       NestedBlockIndent + (State.NextToken->is(TT_ObjCBlockLBrace)
88650d634b3SDaniel Jasper                                ? Style.ObjCBlockIndentWidth
88760553be5SDaniel Jasper                                : Style.IndentWidth);
88860553be5SDaniel Jasper   State.Stack.push_back(ParenState(
88960553be5SDaniel Jasper       NewIndent, /*NewIndentLevel=*/State.Stack.back().IndentLevel + 1,
89060553be5SDaniel Jasper       State.Stack.back().LastSpace, /*AvoidBinPacking=*/true,
89160553be5SDaniel Jasper       State.Stack.back().NoLineBreak));
89211a0ac66SDaniel Jasper   State.Stack.back().NestedBlockIndent = NestedBlockIndent;
89360553be5SDaniel Jasper   State.Stack.back().BreakBeforeParameter = true;
894de0328aeSDaniel Jasper }
895de0328aeSDaniel Jasper 
896917f9e04SAlexander Kornienko unsigned ContinuationIndenter::addMultilineToken(const FormatToken &Current,
897d7b837e7SAlexander Kornienko                                                  LineState &State) {
898d7b837e7SAlexander Kornienko   // Break before further function parameters on all levels.
899d7b837e7SAlexander Kornienko   for (unsigned i = 0, e = State.Stack.size(); i != e; ++i)
900d7b837e7SAlexander Kornienko     State.Stack[i].BreakBeforeParameter = true;
901d7b837e7SAlexander Kornienko 
90239856b71SAlexander Kornienko   unsigned ColumnsUsed = State.Column;
903632abb9bSAlexander Kornienko   // We can only affect layout of the first and the last line, so the penalty
904632abb9bSAlexander Kornienko   // for all other lines is constant, and we ignore it.
905ebb43caaSAlexander Kornienko   State.Column = Current.LastLineColumnWidth;
906632abb9bSAlexander Kornienko 
9079fe0e8daSDaniel Jasper   if (ColumnsUsed > getColumnLimit(State))
9089fe0e8daSDaniel Jasper     return Style.PenaltyExcessCharacter * (ColumnsUsed - getColumnLimit(State));
909d7b837e7SAlexander Kornienko   return 0;
910d7b837e7SAlexander Kornienko }
911d7b837e7SAlexander Kornienko 
912de0328aeSDaniel Jasper unsigned ContinuationIndenter::breakProtrudingToken(const FormatToken &Current,
913de0328aeSDaniel Jasper                                                     LineState &State,
914de0328aeSDaniel Jasper                                                     bool DryRun) {
915917f9e04SAlexander Kornienko   // Don't break multi-line tokens other than block comments. Instead, just
916917f9e04SAlexander Kornienko   // update the state.
917a98b7b01SDaniel Jasper   if (Current.isNot(TT_BlockComment) && Current.IsMultiline)
918917f9e04SAlexander Kornienko     return addMultilineToken(Current, State);
919917f9e04SAlexander Kornienko 
920616de864SDaniel Jasper   // Don't break implicit string literals or import statements.
921a98b7b01SDaniel Jasper   if (Current.is(TT_ImplicitStringLiteral) ||
922616de864SDaniel Jasper       State.Line->Type == LT_ImportStatement)
9239885784dSDaniel Jasper     return 0;
9249885784dSDaniel Jasper 
92504b6a081SDaniel Jasper   if (!Current.isStringLiteral() && !Current.is(tok::comment))
926f93551c8SDaniel Jasper     return 0;
927f93551c8SDaniel Jasper 
928b8984329SAhmed Charles   std::unique_ptr<BreakableToken> Token;
92939856b71SAlexander Kornienko   unsigned StartColumn = State.Column - Current.ColumnWidth;
9303abbb8a4SAlexander Kornienko   unsigned ColumnLimit = getColumnLimit(State);
931de0328aeSDaniel Jasper 
93204b6a081SDaniel Jasper   if (Current.isStringLiteral()) {
933428f0b14SDaniel Jasper     // FIXME: String literal breaking is currently disabled for Java and JS, as
934428f0b14SDaniel Jasper     // it requires strings to be merged using "+" which we don't support.
935428f0b14SDaniel Jasper     if (Style.Language == FormatStyle::LK_Java ||
936428f0b14SDaniel Jasper         Style.Language == FormatStyle::LK_JavaScript)
937428f0b14SDaniel Jasper       return 0;
938428f0b14SDaniel Jasper 
939384b40b9SAlexander Kornienko     // Don't break string literals inside preprocessor directives (except for
940384b40b9SAlexander Kornienko     // #define directives, as their contents are stored in separate lines and
941384b40b9SAlexander Kornienko     // are not affected by this check).
942384b40b9SAlexander Kornienko     // This way we avoid breaking code with line directives and unknown
943384b40b9SAlexander Kornienko     // preprocessor directives that contain long string literals.
944384b40b9SAlexander Kornienko     if (State.Line->Type == LT_PreprocessorDirective)
945384b40b9SAlexander Kornienko       return 0;
946de0328aeSDaniel Jasper     // Exempts unterminated string literals from line breaking. The user will
947de0328aeSDaniel Jasper     // likely want to terminate the string before any line breaking is done.
948de0328aeSDaniel Jasper     if (Current.IsUnterminatedLiteral)
949de0328aeSDaniel Jasper       return 0;
950de0328aeSDaniel Jasper 
95181e3294eSAlexander Kornienko     StringRef Text = Current.TokenText;
95281e3294eSAlexander Kornienko     StringRef Prefix;
95381e3294eSAlexander Kornienko     StringRef Postfix;
954174b0125SDaniel Jasper     bool IsNSStringLiteral = false;
95581e3294eSAlexander Kornienko     // FIXME: Handle whitespace between '_T', '(', '"..."', and ')'.
95681e3294eSAlexander Kornienko     // FIXME: Store Prefix and Suffix (or PrefixLength and SuffixLength to
95781e3294eSAlexander Kornienko     // reduce the overhead) for each FormatToken, which is a string, so that we
95881e3294eSAlexander Kornienko     // don't run multiple checks here on the hot path.
959174b0125SDaniel Jasper     if (Text.startswith("\"") && Current.Previous &&
960174b0125SDaniel Jasper         Current.Previous->is(tok::at)) {
961174b0125SDaniel Jasper       IsNSStringLiteral = true;
962174b0125SDaniel Jasper       Prefix = "@\"";
963174b0125SDaniel Jasper     }
96481e3294eSAlexander Kornienko     if ((Text.endswith(Postfix = "\"") &&
965174b0125SDaniel Jasper          (IsNSStringLiteral || Text.startswith(Prefix = "\"") ||
966174b0125SDaniel Jasper           Text.startswith(Prefix = "u\"") || Text.startswith(Prefix = "U\"") ||
967174b0125SDaniel Jasper           Text.startswith(Prefix = "u8\"") ||
96881e3294eSAlexander Kornienko           Text.startswith(Prefix = "L\""))) ||
969732b6bd4SAlexander Kornienko         (Text.startswith(Prefix = "_T(\"") && Text.endswith(Postfix = "\")"))) {
9703c3d09c8SAlexander Kornienko       Token.reset(new BreakableStringLiteral(
9713c3d09c8SAlexander Kornienko           Current, State.Line->Level, StartColumn, Prefix, Postfix,
9723c3d09c8SAlexander Kornienko           State.Line->InPPDirective, Encoding, Style));
97381e3294eSAlexander Kornienko     } else {
97481e3294eSAlexander Kornienko       return 0;
97581e3294eSAlexander Kornienko     }
976a98b7b01SDaniel Jasper   } else if (Current.is(TT_BlockComment) && Current.isTrailingComment()) {
977ce9161a5SAlexander Kornienko     if (CommentPragmasRegex.match(Current.TokenText.substr(2)))
978ce9161a5SAlexander Kornienko       return 0;
979de0328aeSDaniel Jasper     Token.reset(new BreakableBlockComment(
9803c3d09c8SAlexander Kornienko         Current, State.Line->Level, StartColumn, Current.OriginalColumn,
9813c3d09c8SAlexander Kornienko         !Current.Previous, State.Line->InPPDirective, Encoding, Style));
982a98b7b01SDaniel Jasper   } else if (Current.is(TT_LineComment) &&
9832145bc02SCraig Topper              (Current.Previous == nullptr ||
984a98b7b01SDaniel Jasper               Current.Previous->isNot(TT_ImplicitStringLiteral))) {
985ce9161a5SAlexander Kornienko     if (CommentPragmasRegex.match(Current.TokenText.substr(2)))
986ce9161a5SAlexander Kornienko       return 0;
9873c3d09c8SAlexander Kornienko     Token.reset(new BreakableLineComment(Current, State.Line->Level,
9883abbb8a4SAlexander Kornienko                                          StartColumn, /*InPPDirective=*/false,
9893c3d09c8SAlexander Kornienko                                          Encoding, Style));
9903abbb8a4SAlexander Kornienko     // We don't insert backslashes when breaking line comments.
9913abbb8a4SAlexander Kornienko     ColumnLimit = Style.ColumnLimit;
992de0328aeSDaniel Jasper   } else {
993de0328aeSDaniel Jasper     return 0;
994de0328aeSDaniel Jasper   }
9953abbb8a4SAlexander Kornienko   if (Current.UnbreakableTailLength >= ColumnLimit)
996de0328aeSDaniel Jasper     return 0;
997de0328aeSDaniel Jasper 
9983abbb8a4SAlexander Kornienko   unsigned RemainingSpace = ColumnLimit - Current.UnbreakableTailLength;
999de0328aeSDaniel Jasper   bool BreakInserted = false;
1000de0328aeSDaniel Jasper   unsigned Penalty = 0;
1001de0328aeSDaniel Jasper   unsigned RemainingTokenColumns = 0;
1002de0328aeSDaniel Jasper   for (unsigned LineIndex = 0, EndIndex = Token->getLineCount();
1003de0328aeSDaniel Jasper        LineIndex != EndIndex; ++LineIndex) {
1004de0328aeSDaniel Jasper     if (!DryRun)
1005de0328aeSDaniel Jasper       Token->replaceWhitespaceBefore(LineIndex, Whitespaces);
1006de0328aeSDaniel Jasper     unsigned TailOffset = 0;
1007de0328aeSDaniel Jasper     RemainingTokenColumns =
1008de0328aeSDaniel Jasper         Token->getLineLengthAfterSplit(LineIndex, TailOffset, StringRef::npos);
1009de0328aeSDaniel Jasper     while (RemainingTokenColumns > RemainingSpace) {
1010de0328aeSDaniel Jasper       BreakableToken::Split Split =
10113abbb8a4SAlexander Kornienko           Token->getSplit(LineIndex, TailOffset, ColumnLimit);
1012de0328aeSDaniel Jasper       if (Split.first == StringRef::npos) {
1013de0328aeSDaniel Jasper         // The last line's penalty is handled in addNextStateToQueue().
1014de0328aeSDaniel Jasper         if (LineIndex < EndIndex - 1)
1015de0328aeSDaniel Jasper           Penalty += Style.PenaltyExcessCharacter *
1016de0328aeSDaniel Jasper                      (RemainingTokenColumns - RemainingSpace);
1017de0328aeSDaniel Jasper         break;
1018de0328aeSDaniel Jasper       }
1019de0328aeSDaniel Jasper       assert(Split.first != 0);
1020de0328aeSDaniel Jasper       unsigned NewRemainingTokenColumns = Token->getLineLengthAfterSplit(
1021de0328aeSDaniel Jasper           LineIndex, TailOffset + Split.first + Split.second, StringRef::npos);
1022875395f9SAlexander Kornienko 
1023875395f9SAlexander Kornienko       // We can remove extra whitespace instead of breaking the line.
1024875395f9SAlexander Kornienko       if (RemainingTokenColumns + 1 - Split.second <= RemainingSpace) {
1025875395f9SAlexander Kornienko         RemainingTokenColumns = 0;
1026875395f9SAlexander Kornienko         if (!DryRun)
1027875395f9SAlexander Kornienko           Token->replaceWhitespace(LineIndex, TailOffset, Split, Whitespaces);
1028875395f9SAlexander Kornienko         break;
1029875395f9SAlexander Kornienko       }
1030875395f9SAlexander Kornienko 
103164a42b8dSAlexander Kornienko       // When breaking before a tab character, it may be moved by a few columns,
103264a42b8dSAlexander Kornienko       // but will still be expanded to the next tab stop, so we don't save any
103364a42b8dSAlexander Kornienko       // columns.
103464a42b8dSAlexander Kornienko       if (NewRemainingTokenColumns == RemainingTokenColumns)
103564a42b8dSAlexander Kornienko         break;
103664a42b8dSAlexander Kornienko 
1037de0328aeSDaniel Jasper       assert(NewRemainingTokenColumns < RemainingTokenColumns);
1038de0328aeSDaniel Jasper       if (!DryRun)
1039de0328aeSDaniel Jasper         Token->insertBreak(LineIndex, TailOffset, Split, Whitespaces);
10402739af3bSDaniel Jasper       Penalty += Current.SplitPenalty;
1041de0328aeSDaniel Jasper       unsigned ColumnsUsed =
1042de0328aeSDaniel Jasper           Token->getLineLengthAfterSplit(LineIndex, TailOffset, Split.first);
10433abbb8a4SAlexander Kornienko       if (ColumnsUsed > ColumnLimit) {
10443abbb8a4SAlexander Kornienko         Penalty += Style.PenaltyExcessCharacter * (ColumnsUsed - ColumnLimit);
1045de0328aeSDaniel Jasper       }
1046de0328aeSDaniel Jasper       TailOffset += Split.first + Split.second;
1047de0328aeSDaniel Jasper       RemainingTokenColumns = NewRemainingTokenColumns;
1048de0328aeSDaniel Jasper       BreakInserted = true;
1049de0328aeSDaniel Jasper     }
1050de0328aeSDaniel Jasper   }
1051de0328aeSDaniel Jasper 
1052de0328aeSDaniel Jasper   State.Column = RemainingTokenColumns;
1053de0328aeSDaniel Jasper 
1054de0328aeSDaniel Jasper   if (BreakInserted) {
1055de0328aeSDaniel Jasper     // If we break the token inside a parameter list, we need to break before
1056de0328aeSDaniel Jasper     // the next parameter on all levels, so that the next parameter is clearly
1057de0328aeSDaniel Jasper     // visible. Line comments already introduce a break.
1058a98b7b01SDaniel Jasper     if (Current.isNot(TT_LineComment)) {
1059de0328aeSDaniel Jasper       for (unsigned i = 0, e = State.Stack.size(); i != e; ++i)
1060de0328aeSDaniel Jasper         State.Stack[i].BreakBeforeParameter = true;
1061de0328aeSDaniel Jasper     }
1062de0328aeSDaniel Jasper 
106304b6a081SDaniel Jasper     Penalty += Current.isStringLiteral() ? Style.PenaltyBreakString
10642739af3bSDaniel Jasper                                          : Style.PenaltyBreakComment;
10652739af3bSDaniel Jasper 
1066de0328aeSDaniel Jasper     State.Stack.back().LastSpace = StartColumn;
1067de0328aeSDaniel Jasper   }
1068de0328aeSDaniel Jasper   return Penalty;
1069de0328aeSDaniel Jasper }
1070de0328aeSDaniel Jasper 
10719fe0e8daSDaniel Jasper unsigned ContinuationIndenter::getColumnLimit(const LineState &State) const {
1072de0328aeSDaniel Jasper   // In preprocessor directives reserve two chars for trailing " \"
10739fe0e8daSDaniel Jasper   return Style.ColumnLimit - (State.Line->InPPDirective ? 2 : 0);
1074de0328aeSDaniel Jasper }
1075de0328aeSDaniel Jasper 
1076c39b56feSDaniel Jasper bool ContinuationIndenter::nextIsMultilineString(const LineState &State) {
1077f438cb76SDaniel Jasper   const FormatToken &Current = *State.NextToken;
1078a98b7b01SDaniel Jasper   if (!Current.isStringLiteral() || Current.is(TT_ImplicitStringLiteral))
1079f438cb76SDaniel Jasper     return false;
1080d7b837e7SAlexander Kornienko   // We never consider raw string literals "multiline" for the purpose of
1081c39b56feSDaniel Jasper   // AlwaysBreakBeforeMultilineStrings implementation as they are special-cased
1082c39b56feSDaniel Jasper   // (see TokenAnnotator::mustBreakBefore().
1083d7b837e7SAlexander Kornienko   if (Current.TokenText.startswith("R\""))
1084d7b837e7SAlexander Kornienko     return false;
108539856b71SAlexander Kornienko   if (Current.IsMultiline)
1086d7b837e7SAlexander Kornienko     return true;
1087f438cb76SDaniel Jasper   if (Current.getNextNonComment() &&
108804b6a081SDaniel Jasper       Current.getNextNonComment()->isStringLiteral())
1089f438cb76SDaniel Jasper     return true; // Implicit concatenation.
10906fd5d646SDaniel Jasper   if (Style.ColumnLimit != 0 &&
10916fd5d646SDaniel Jasper       State.Column + Current.ColumnWidth + Current.UnbreakableTailLength >
1092f438cb76SDaniel Jasper           Style.ColumnLimit)
1093f438cb76SDaniel Jasper     return true; // String will be split.
1094d7b837e7SAlexander Kornienko   return false;
1095f438cb76SDaniel Jasper }
1096f438cb76SDaniel Jasper 
1097de0328aeSDaniel Jasper } // namespace format
1098de0328aeSDaniel Jasper } // namespace clang
1099