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