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