blob: 17bcac5d5902b274ecb04c8feab26dc5653ba431 [file] [log] [blame]
Daniel Jasperf7935112012-12-03 18:12:45 +00001//===--- UnwrappedLineParser.cpp - Format C++ code ------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9///
10/// \file
11/// \brief This file contains the implementation of the UnwrappedLineParser,
12/// which turns a stream of tokens into UnwrappedLines.
13///
Daniel Jasperf7935112012-12-03 18:12:45 +000014//===----------------------------------------------------------------------===//
15
Chandler Carruth4b417452013-01-19 08:09:44 +000016#include "UnwrappedLineParser.h"
Benjamin Kramer33335df2015-03-01 21:36:40 +000017#include "llvm/ADT/STLExtras.h"
Manuel Klimekab3dc002013-01-16 12:31:12 +000018#include "llvm/Support/Debug.h"
Benjamin Kramer53f5e892015-03-23 18:05:43 +000019#include "llvm/Support/raw_ostream.h"
Manuel Klimekab3dc002013-01-16 12:31:12 +000020
Chandler Carruth10346662014-04-22 03:17:02 +000021#define DEBUG_TYPE "format-parser"
22
Daniel Jasperf7935112012-12-03 18:12:45 +000023namespace clang {
24namespace format {
25
Manuel Klimek15dfe7a2013-05-28 11:55:06 +000026class FormatTokenSource {
27public:
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +000028 virtual ~FormatTokenSource() {}
Manuel Klimek15dfe7a2013-05-28 11:55:06 +000029 virtual FormatToken *getNextToken() = 0;
30
31 virtual unsigned getPosition() = 0;
32 virtual FormatToken *setPosition(unsigned Position) = 0;
33};
34
Craig Topper69665e12013-07-01 04:21:54 +000035namespace {
36
Manuel Klimek0a3a3c92013-01-23 09:32:48 +000037class ScopedDeclarationState {
38public:
39 ScopedDeclarationState(UnwrappedLine &Line, std::vector<bool> &Stack,
40 bool MustBeDeclaration)
41 : Line(Line), Stack(Stack) {
Manuel Klimek0a3a3c92013-01-23 09:32:48 +000042 Line.MustBeDeclaration = MustBeDeclaration;
Manuel Klimek39080572013-01-23 11:03:04 +000043 Stack.push_back(MustBeDeclaration);
Manuel Klimek0a3a3c92013-01-23 09:32:48 +000044 }
45 ~ScopedDeclarationState() {
Manuel Klimek0a3a3c92013-01-23 09:32:48 +000046 Stack.pop_back();
Manuel Klimekc1237a82013-01-23 14:08:21 +000047 if (!Stack.empty())
48 Line.MustBeDeclaration = Stack.back();
49 else
50 Line.MustBeDeclaration = true;
Manuel Klimek0a3a3c92013-01-23 09:32:48 +000051 }
Daniel Jasper393564f2013-05-31 14:56:29 +000052
Manuel Klimek0a3a3c92013-01-23 09:32:48 +000053private:
54 UnwrappedLine &Line;
55 std::vector<bool> &Stack;
56};
57
Manuel Klimek1abf7892013-01-04 23:34:14 +000058class ScopedMacroState : public FormatTokenSource {
59public:
60 ScopedMacroState(UnwrappedLine &Line, FormatTokenSource *&TokenSource,
Manuel Klimek20e0af62015-05-06 11:56:29 +000061 FormatToken *&ResetToken)
Manuel Klimek1abf7892013-01-04 23:34:14 +000062 : Line(Line), TokenSource(TokenSource), ResetToken(ResetToken),
Manuel Klimek1a18c402013-04-12 14:13:36 +000063 PreviousLineLevel(Line.Level), PreviousTokenSource(TokenSource),
Manuel Klimek20e0af62015-05-06 11:56:29 +000064 Token(nullptr) {
Manuel Klimek1abf7892013-01-04 23:34:14 +000065 TokenSource = this;
Manuel Klimekef2cfb12013-01-05 22:14:16 +000066 Line.Level = 0;
Manuel Klimek1abf7892013-01-04 23:34:14 +000067 Line.InPPDirective = true;
68 }
69
Alexander Kornienko34eb2072015-04-11 02:00:23 +000070 ~ScopedMacroState() override {
Manuel Klimek1abf7892013-01-04 23:34:14 +000071 TokenSource = PreviousTokenSource;
72 ResetToken = Token;
73 Line.InPPDirective = false;
Manuel Klimekef2cfb12013-01-05 22:14:16 +000074 Line.Level = PreviousLineLevel;
Manuel Klimek1abf7892013-01-04 23:34:14 +000075 }
76
Craig Topperfb6b25b2014-03-15 04:29:04 +000077 FormatToken *getNextToken() override {
Manuel Klimek78725712013-01-07 10:03:37 +000078 // The \c UnwrappedLineParser guards against this by never calling
79 // \c getNextToken() after it has encountered the first eof token.
80 assert(!eof());
Manuel Klimek1abf7892013-01-04 23:34:14 +000081 Token = PreviousTokenSource->getNextToken();
82 if (eof())
Manuel Klimek15dfe7a2013-05-28 11:55:06 +000083 return getFakeEOF();
Manuel Klimek1abf7892013-01-04 23:34:14 +000084 return Token;
85 }
86
Craig Topperfb6b25b2014-03-15 04:29:04 +000087 unsigned getPosition() override { return PreviousTokenSource->getPosition(); }
Manuel Klimekab419912013-05-23 09:41:43 +000088
Craig Topperfb6b25b2014-03-15 04:29:04 +000089 FormatToken *setPosition(unsigned Position) override {
Manuel Klimekab419912013-05-23 09:41:43 +000090 Token = PreviousTokenSource->setPosition(Position);
91 return Token;
92 }
93
Manuel Klimek1abf7892013-01-04 23:34:14 +000094private:
Manuel Klimek15dfe7a2013-05-28 11:55:06 +000095 bool eof() { return Token && Token->HasUnescapedNewline; }
Manuel Klimek1abf7892013-01-04 23:34:14 +000096
Manuel Klimek15dfe7a2013-05-28 11:55:06 +000097 FormatToken *getFakeEOF() {
98 static bool EOFInitialized = false;
99 static FormatToken FormatTok;
100 if (!EOFInitialized) {
101 FormatTok.Tok.startToken();
102 FormatTok.Tok.setKind(tok::eof);
103 EOFInitialized = true;
104 }
105 return &FormatTok;
Manuel Klimek1abf7892013-01-04 23:34:14 +0000106 }
107
108 UnwrappedLine &Line;
109 FormatTokenSource *&TokenSource;
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000110 FormatToken *&ResetToken;
Manuel Klimekef2cfb12013-01-05 22:14:16 +0000111 unsigned PreviousLineLevel;
Manuel Klimek1abf7892013-01-04 23:34:14 +0000112 FormatTokenSource *PreviousTokenSource;
113
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000114 FormatToken *Token;
Manuel Klimek1abf7892013-01-04 23:34:14 +0000115};
116
Craig Topper69665e12013-07-01 04:21:54 +0000117} // end anonymous namespace
118
Manuel Klimek8e07a1b2013-01-10 11:52:21 +0000119class ScopedLineState {
120public:
Manuel Klimekd3b92fa2013-01-18 14:04:34 +0000121 ScopedLineState(UnwrappedLineParser &Parser,
122 bool SwitchToPreprocessorLines = false)
David Blaikieefb6eb22014-08-09 20:02:07 +0000123 : Parser(Parser), OriginalLines(Parser.CurrentLines) {
Manuel Klimekd3b92fa2013-01-18 14:04:34 +0000124 if (SwitchToPreprocessorLines)
125 Parser.CurrentLines = &Parser.PreprocessorDirectives;
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +0000126 else if (!Parser.Line->Tokens.empty())
127 Parser.CurrentLines = &Parser.Line->Tokens.back().Children;
David Blaikieefb6eb22014-08-09 20:02:07 +0000128 PreBlockLine = std::move(Parser.Line);
129 Parser.Line = llvm::make_unique<UnwrappedLine>();
Daniel Jasperdaffc0d2013-01-16 09:10:19 +0000130 Parser.Line->Level = PreBlockLine->Level;
131 Parser.Line->InPPDirective = PreBlockLine->InPPDirective;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +0000132 }
133
134 ~ScopedLineState() {
Daniel Jasperdaffc0d2013-01-16 09:10:19 +0000135 if (!Parser.Line->Tokens.empty()) {
Manuel Klimek8e07a1b2013-01-10 11:52:21 +0000136 Parser.addUnwrappedLine();
137 }
Daniel Jasperdaffc0d2013-01-16 09:10:19 +0000138 assert(Parser.Line->Tokens.empty());
David Blaikieefb6eb22014-08-09 20:02:07 +0000139 Parser.Line = std::move(PreBlockLine);
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +0000140 if (Parser.CurrentLines == &Parser.PreprocessorDirectives)
141 Parser.MustBreakBeforeNextToken = true;
142 Parser.CurrentLines = OriginalLines;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +0000143 }
144
145private:
146 UnwrappedLineParser &Parser;
147
David Blaikieefb6eb22014-08-09 20:02:07 +0000148 std::unique_ptr<UnwrappedLine> PreBlockLine;
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +0000149 SmallVectorImpl<UnwrappedLine> *OriginalLines;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +0000150};
151
Alexander Kornienko3a33f022013-12-12 09:49:52 +0000152class CompoundStatementIndenter {
153public:
154 CompoundStatementIndenter(UnwrappedLineParser *Parser,
155 const FormatStyle &Style, unsigned &LineLevel)
156 : LineLevel(LineLevel), OldLineLevel(LineLevel) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +0000157 if (Style.BraceWrapping.AfterControlStatement)
Alexander Kornienko3a33f022013-12-12 09:49:52 +0000158 Parser->addUnwrappedLine();
Daniel Jasperc1bc38e2015-09-29 14:57:55 +0000159 if (Style.BraceWrapping.IndentBraces)
Alexander Kornienko3a33f022013-12-12 09:49:52 +0000160 ++LineLevel;
Alexander Kornienko3a33f022013-12-12 09:49:52 +0000161 }
Daniel Jasperb05a81d2014-05-09 13:11:16 +0000162 ~CompoundStatementIndenter() { LineLevel = OldLineLevel; }
Alexander Kornienko3a33f022013-12-12 09:49:52 +0000163
164private:
165 unsigned &LineLevel;
166 unsigned OldLineLevel;
167};
168
Craig Topper69665e12013-07-01 04:21:54 +0000169namespace {
170
Manuel Klimekab419912013-05-23 09:41:43 +0000171class IndexedTokenSource : public FormatTokenSource {
172public:
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000173 IndexedTokenSource(ArrayRef<FormatToken *> Tokens)
Manuel Klimekab419912013-05-23 09:41:43 +0000174 : Tokens(Tokens), Position(-1) {}
175
Craig Topperfb6b25b2014-03-15 04:29:04 +0000176 FormatToken *getNextToken() override {
Manuel Klimekab419912013-05-23 09:41:43 +0000177 ++Position;
178 return Tokens[Position];
179 }
180
Craig Topperfb6b25b2014-03-15 04:29:04 +0000181 unsigned getPosition() override {
Manuel Klimekab419912013-05-23 09:41:43 +0000182 assert(Position >= 0);
183 return Position;
184 }
185
Craig Topperfb6b25b2014-03-15 04:29:04 +0000186 FormatToken *setPosition(unsigned P) override {
Manuel Klimekab419912013-05-23 09:41:43 +0000187 Position = P;
188 return Tokens[Position];
189 }
190
Manuel Klimek71814b42013-10-11 21:25:45 +0000191 void reset() { Position = -1; }
192
Manuel Klimekab419912013-05-23 09:41:43 +0000193private:
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000194 ArrayRef<FormatToken *> Tokens;
Manuel Klimekab419912013-05-23 09:41:43 +0000195 int Position;
196};
197
Craig Topper69665e12013-07-01 04:21:54 +0000198} // end anonymous namespace
199
Daniel Jasperd2ae41a2013-05-15 08:14:19 +0000200UnwrappedLineParser::UnwrappedLineParser(const FormatStyle &Style,
Daniel Jasperd0ec0d62014-11-04 12:41:02 +0000201 const AdditionalKeywords &Keywords,
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000202 ArrayRef<FormatToken *> Tokens,
Daniel Jasperd2ae41a2013-05-15 08:14:19 +0000203 UnwrappedLineConsumer &Callback)
Daniel Jasperb05a81d2014-05-09 13:11:16 +0000204 : Line(new UnwrappedLine), MustBreakBeforeNextToken(false),
Manuel Klimek20e0af62015-05-06 11:56:29 +0000205 CurrentLines(&Lines), Style(Style), Keywords(Keywords), Tokens(nullptr),
206 Callback(Callback), AllTokens(Tokens), PPBranchLevel(-1) {}
Manuel Klimek71814b42013-10-11 21:25:45 +0000207
208void UnwrappedLineParser::reset() {
209 PPBranchLevel = -1;
210 Line.reset(new UnwrappedLine);
211 CommentsBeforeNextToken.clear();
Craig Topper2145bc02014-05-09 08:15:10 +0000212 FormatTok = nullptr;
Manuel Klimek71814b42013-10-11 21:25:45 +0000213 MustBreakBeforeNextToken = false;
214 PreprocessorDirectives.clear();
215 CurrentLines = &Lines;
216 DeclarationScopeStack.clear();
Manuel Klimek71814b42013-10-11 21:25:45 +0000217 PPStack.clear();
218}
Daniel Jasperf7935112012-12-03 18:12:45 +0000219
Manuel Klimek20e0af62015-05-06 11:56:29 +0000220void UnwrappedLineParser::parse() {
Manuel Klimekab419912013-05-23 09:41:43 +0000221 IndexedTokenSource TokenSource(AllTokens);
Manuel Klimek71814b42013-10-11 21:25:45 +0000222 do {
223 DEBUG(llvm::dbgs() << "----\n");
224 reset();
225 Tokens = &TokenSource;
226 TokenSource.reset();
Daniel Jaspera79064a2013-03-01 18:11:39 +0000227
Manuel Klimek71814b42013-10-11 21:25:45 +0000228 readToken();
229 parseFile();
230 // Create line with eof token.
231 pushToken(FormatTok);
232 addUnwrappedLine();
233
234 for (SmallVectorImpl<UnwrappedLine>::iterator I = Lines.begin(),
235 E = Lines.end();
236 I != E; ++I) {
237 Callback.consumeUnwrappedLine(*I);
238 }
239 Callback.finishRun();
240 Lines.clear();
241 while (!PPLevelBranchIndex.empty() &&
Daniel Jasper53bd1672013-10-12 13:32:56 +0000242 PPLevelBranchIndex.back() + 1 >= PPLevelBranchCount.back()) {
Manuel Klimek71814b42013-10-11 21:25:45 +0000243 PPLevelBranchIndex.resize(PPLevelBranchIndex.size() - 1);
244 PPLevelBranchCount.resize(PPLevelBranchCount.size() - 1);
245 }
246 if (!PPLevelBranchIndex.empty()) {
247 ++PPLevelBranchIndex.back();
248 assert(PPLevelBranchIndex.size() == PPLevelBranchCount.size());
249 assert(PPLevelBranchIndex.back() <= PPLevelBranchCount.back());
250 }
251 } while (!PPLevelBranchIndex.empty());
Manuel Klimek1abf7892013-01-04 23:34:14 +0000252}
253
Manuel Klimek1a18c402013-04-12 14:13:36 +0000254void UnwrappedLineParser::parseFile() {
Daniel Jasper9326f912015-05-05 08:40:32 +0000255 // The top-level context in a file always has declarations, except for pre-
256 // processor directives and JavaScript files.
257 bool MustBeDeclaration =
258 !Line->InPPDirective && Style.Language != FormatStyle::LK_JavaScript;
259 ScopedDeclarationState DeclarationState(*Line, DeclarationScopeStack,
260 MustBeDeclaration);
Nico Weber9096fc02013-06-26 00:30:14 +0000261 parseLevel(/*HasOpeningBrace=*/false);
Manuel Klimek1abf7892013-01-04 23:34:14 +0000262 // Make sure to format the remaining tokens.
Manuel Klimekf92f7bc2013-01-22 16:31:55 +0000263 flushComments(true);
Manuel Klimek1abf7892013-01-04 23:34:14 +0000264 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +0000265}
266
Manuel Klimek1a18c402013-04-12 14:13:36 +0000267void UnwrappedLineParser::parseLevel(bool HasOpeningBrace) {
Daniel Jasper516d7972013-07-25 11:31:57 +0000268 bool SwitchLabelEncountered = false;
Daniel Jasperf7935112012-12-03 18:12:45 +0000269 do {
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000270 tok::TokenKind kind = FormatTok->Tok.getKind();
271 if (FormatTok->Type == TT_MacroBlockBegin) {
272 kind = tok::l_brace;
273 } else if (FormatTok->Type == TT_MacroBlockEnd) {
274 kind = tok::r_brace;
275 }
276
277 switch (kind) {
Daniel Jasperf7935112012-12-03 18:12:45 +0000278 case tok::comment:
Daniel Jaspere25509f2012-12-17 11:29:41 +0000279 nextToken();
280 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +0000281 break;
282 case tok::l_brace:
Manuel Klimek0a3a3c92013-01-23 09:32:48 +0000283 // FIXME: Add parameter whether this can happen - if this happens, we must
284 // be in a non-declaration context.
Daniel Jasperb86e2722015-08-24 13:23:37 +0000285 if (!FormatTok->is(TT_MacroBlockBegin) && tryToParseBracedList())
286 continue;
Nico Weber9096fc02013-06-26 00:30:14 +0000287 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperf7935112012-12-03 18:12:45 +0000288 addUnwrappedLine();
289 break;
290 case tok::r_brace:
Manuel Klimek1a18c402013-04-12 14:13:36 +0000291 if (HasOpeningBrace)
292 return;
Manuel Klimek1a18c402013-04-12 14:13:36 +0000293 nextToken();
294 addUnwrappedLine();
Manuel Klimek1058d982013-01-06 20:07:31 +0000295 break;
Daniel Jasper516d7972013-07-25 11:31:57 +0000296 case tok::kw_default:
297 case tok::kw_case:
Daniel Jasper72407622013-09-02 08:26:29 +0000298 if (!SwitchLabelEncountered &&
299 (Style.IndentCaseLabels || (Line->InPPDirective && Line->Level == 1)))
300 ++Line->Level;
Daniel Jasper516d7972013-07-25 11:31:57 +0000301 SwitchLabelEncountered = true;
302 parseStructuralElement();
303 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000304 default:
Manuel Klimek6b9eeba2013-01-07 14:56:16 +0000305 parseStructuralElement();
Daniel Jasperf7935112012-12-03 18:12:45 +0000306 break;
307 }
308 } while (!eof());
309}
310
Daniel Jasperadba2aa2015-05-18 12:52:00 +0000311void UnwrappedLineParser::calculateBraceTypes(bool ExpectClassBody) {
Manuel Klimekab419912013-05-23 09:41:43 +0000312 // We'll parse forward through the tokens until we hit
313 // a closing brace or eof - note that getNextToken() will
314 // parse macros, so this will magically work inside macro
315 // definitions, too.
316 unsigned StoredPosition = Tokens->getPosition();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000317 FormatToken *Tok = FormatTok;
Daniel Jasperb9a49902016-01-09 15:56:28 +0000318 const FormatToken *PrevTok = getPreviousToken();
Manuel Klimekab419912013-05-23 09:41:43 +0000319 // Keep a stack of positions of lbrace tokens. We will
320 // update information about whether an lbrace starts a
321 // braced init list or a different block during the loop.
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000322 SmallVector<FormatToken *, 8> LBraceStack;
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000323 assert(Tok->Tok.is(tok::l_brace));
Manuel Klimekab419912013-05-23 09:41:43 +0000324 do {
Daniel Jaspereb65e912015-12-21 18:31:15 +0000325 // Get next non-comment token.
Daniel Jasper7f5d53e2013-07-01 09:15:46 +0000326 FormatToken *NextTok;
Daniel Jasperca7bd722013-07-01 16:43:38 +0000327 unsigned ReadTokens = 0;
Daniel Jasper7f5d53e2013-07-01 09:15:46 +0000328 do {
329 NextTok = Tokens->getNextToken();
Daniel Jasperca7bd722013-07-01 16:43:38 +0000330 ++ReadTokens;
Daniel Jasper7f5d53e2013-07-01 09:15:46 +0000331 } while (NextTok->is(tok::comment));
332
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000333 switch (Tok->Tok.getKind()) {
Manuel Klimekab419912013-05-23 09:41:43 +0000334 case tok::l_brace:
Daniel Jasperb9a49902016-01-09 15:56:28 +0000335 if (Style.Language == FormatStyle::LK_JavaScript && PrevTok &&
336 PrevTok->is(tok::colon))
337 // In TypeScript's TypeMemberLists, there can be semicolons between the
338 // individual members.
339 Tok->BlockKind = BK_BracedInit;
340 else
341 Tok->BlockKind = BK_Unknown;
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000342 LBraceStack.push_back(Tok);
Manuel Klimekab419912013-05-23 09:41:43 +0000343 break;
344 case tok::r_brace:
Daniel Jasperb9a49902016-01-09 15:56:28 +0000345 if (LBraceStack.empty())
346 break;
347 if (LBraceStack.back()->BlockKind == BK_Unknown) {
348 bool ProbablyBracedList = false;
349 if (Style.Language == FormatStyle::LK_Proto) {
350 ProbablyBracedList = NextTok->isOneOf(tok::comma, tok::r_square);
351 } else {
352 // Using OriginalColumn to distinguish between ObjC methods and
353 // binary operators is a bit hacky.
354 bool NextIsObjCMethod = NextTok->isOneOf(tok::plus, tok::minus) &&
355 NextTok->OriginalColumn == 0;
Daniel Jasper91b032a2014-05-22 12:46:38 +0000356
Daniel Jasperb9a49902016-01-09 15:56:28 +0000357 // If there is a comma, semicolon or right paren after the closing
358 // brace, we assume this is a braced initializer list. Note that
359 // regardless how we mark inner braces here, we will overwrite the
360 // BlockKind later if we parse a braced list (where all blocks
361 // inside are by default braced lists), or when we explicitly detect
362 // blocks (for example while parsing lambdas).
363 //
364 // We exclude + and - as they can be ObjC visibility modifiers.
365 ProbablyBracedList =
366 NextTok->isOneOf(tok::comma, tok::period, tok::colon,
367 tok::r_paren, tok::r_square, tok::l_brace,
368 tok::l_square, tok::l_paren, tok::ellipsis) ||
369 (NextTok->is(tok::semi) &&
370 (!ExpectClassBody || LBraceStack.size() != 1)) ||
371 (NextTok->isBinaryOperator() && !NextIsObjCMethod);
Manuel Klimekab419912013-05-23 09:41:43 +0000372 }
Daniel Jasperb9a49902016-01-09 15:56:28 +0000373 if (ProbablyBracedList) {
374 Tok->BlockKind = BK_BracedInit;
375 LBraceStack.back()->BlockKind = BK_BracedInit;
376 } else {
377 Tok->BlockKind = BK_Block;
378 LBraceStack.back()->BlockKind = BK_Block;
379 }
Manuel Klimekab419912013-05-23 09:41:43 +0000380 }
Daniel Jasperb9a49902016-01-09 15:56:28 +0000381 LBraceStack.pop_back();
Manuel Klimekab419912013-05-23 09:41:43 +0000382 break;
Daniel Jasperac7e34e2014-03-13 10:11:17 +0000383 case tok::at:
Manuel Klimekab419912013-05-23 09:41:43 +0000384 case tok::semi:
385 case tok::kw_if:
386 case tok::kw_while:
387 case tok::kw_for:
388 case tok::kw_switch:
389 case tok::kw_try:
Nico Weberfac23712015-02-04 15:26:27 +0000390 case tok::kw___try:
Daniel Jasperb9a49902016-01-09 15:56:28 +0000391 if (!LBraceStack.empty() && LBraceStack.back()->BlockKind == BK_Unknown)
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000392 LBraceStack.back()->BlockKind = BK_Block;
Manuel Klimekab419912013-05-23 09:41:43 +0000393 break;
394 default:
395 break;
396 }
Daniel Jasperb9a49902016-01-09 15:56:28 +0000397 PrevTok = Tok;
Manuel Klimekab419912013-05-23 09:41:43 +0000398 Tok = NextTok;
Manuel Klimekbab25fd2013-09-04 08:20:47 +0000399 } while (Tok->Tok.isNot(tok::eof) && !LBraceStack.empty());
Daniel Jasperb9a49902016-01-09 15:56:28 +0000400
Manuel Klimekab419912013-05-23 09:41:43 +0000401 // Assume other blocks for all unclosed opening braces.
402 for (unsigned i = 0, e = LBraceStack.size(); i != e; ++i) {
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000403 if (LBraceStack[i]->BlockKind == BK_Unknown)
404 LBraceStack[i]->BlockKind = BK_Block;
Manuel Klimekab419912013-05-23 09:41:43 +0000405 }
Manuel Klimekbab25fd2013-09-04 08:20:47 +0000406
Manuel Klimekab419912013-05-23 09:41:43 +0000407 FormatTok = Tokens->setPosition(StoredPosition);
408}
409
Manuel Klimekb212f3b2013-10-12 22:46:56 +0000410void UnwrappedLineParser::parseBlock(bool MustBeDeclaration, bool AddLevel,
411 bool MunchSemi) {
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000412 assert(FormatTok->isOneOf(tok::l_brace, TT_MacroBlockBegin) &&
413 "'{' or macro block token expected");
414 const bool MacroBlock = FormatTok->is(TT_MacroBlockBegin);
Daniel Jaspereb65e912015-12-21 18:31:15 +0000415 FormatTok->BlockKind = BK_Block;
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000416
Daniel Jasper516d7972013-07-25 11:31:57 +0000417 unsigned InitialLevel = Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +0000418 nextToken();
419
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000420 if (MacroBlock && FormatTok->is(tok::l_paren))
421 parseParens();
422
Manuel Klimeka4fe1c12013-01-21 16:42:44 +0000423 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +0000424
Manuel Klimek0a3a3c92013-01-23 09:32:48 +0000425 ScopedDeclarationState DeclarationState(*Line, DeclarationScopeStack,
426 MustBeDeclaration);
Daniel Jasper65ee3472013-07-31 23:16:02 +0000427 if (AddLevel)
428 ++Line->Level;
Nico Weber9096fc02013-06-26 00:30:14 +0000429 parseLevel(/*HasOpeningBrace=*/true);
Alexander Kornienko578fdd82012-12-06 18:03:27 +0000430
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000431 if (MacroBlock ? !FormatTok->is(TT_MacroBlockEnd)
432 : !FormatTok->is(tok::r_brace)) {
Daniel Jasper516d7972013-07-25 11:31:57 +0000433 Line->Level = InitialLevel;
Daniel Jaspereb65e912015-12-21 18:31:15 +0000434 FormatTok->BlockKind = BK_Block;
Manuel Klimek1a18c402013-04-12 14:13:36 +0000435 return;
Manuel Klimekf92f7bc2013-01-22 16:31:55 +0000436 }
Alexander Kornienko0ea8e102012-12-04 15:40:36 +0000437
Daniel Jasperd1ae3582013-03-20 12:37:50 +0000438 nextToken(); // Munch the closing brace.
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000439
440 if (MacroBlock && FormatTok->is(tok::l_paren))
441 parseParens();
442
Manuel Klimekb212f3b2013-10-12 22:46:56 +0000443 if (MunchSemi && FormatTok->Tok.is(tok::semi))
444 nextToken();
Daniel Jasper516d7972013-07-25 11:31:57 +0000445 Line->Level = InitialLevel;
Daniel Jasperf7935112012-12-03 18:12:45 +0000446}
447
Daniel Jasper02c7bca2015-03-30 09:56:50 +0000448static bool isGoogScope(const UnwrappedLine &Line) {
Daniel Jasper616de8642014-11-23 16:46:28 +0000449 // FIXME: Closure-library specific stuff should not be hard-coded but be
450 // configurable.
Daniel Jasper4a39c842014-05-06 13:54:10 +0000451 if (Line.Tokens.size() < 4)
452 return false;
453 auto I = Line.Tokens.begin();
454 if (I->Tok->TokenText != "goog")
455 return false;
456 ++I;
457 if (I->Tok->isNot(tok::period))
458 return false;
459 ++I;
460 if (I->Tok->TokenText != "scope")
461 return false;
462 ++I;
463 return I->Tok->is(tok::l_paren);
464}
465
Roman Kashitsyna043ced2014-08-11 12:18:01 +0000466static bool ShouldBreakBeforeBrace(const FormatStyle &Style,
467 const FormatToken &InitialToken) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +0000468 if (InitialToken.is(tok::kw_namespace))
469 return Style.BraceWrapping.AfterNamespace;
470 if (InitialToken.is(tok::kw_class))
471 return Style.BraceWrapping.AfterClass;
472 if (InitialToken.is(tok::kw_union))
473 return Style.BraceWrapping.AfterUnion;
474 if (InitialToken.is(tok::kw_struct))
475 return Style.BraceWrapping.AfterStruct;
476 return false;
Roman Kashitsyna043ced2014-08-11 12:18:01 +0000477}
478
Manuel Klimek516e0542013-09-04 13:25:30 +0000479void UnwrappedLineParser::parseChildBlock() {
480 FormatTok->BlockKind = BK_Block;
481 nextToken();
482 {
Daniel Jasper4a39c842014-05-06 13:54:10 +0000483 bool GoogScope =
Daniel Jasper02c7bca2015-03-30 09:56:50 +0000484 Style.Language == FormatStyle::LK_JavaScript && isGoogScope(*Line);
Manuel Klimek516e0542013-09-04 13:25:30 +0000485 ScopedLineState LineState(*this);
486 ScopedDeclarationState DeclarationState(*Line, DeclarationScopeStack,
487 /*MustBeDeclaration=*/false);
Daniel Jasper4a39c842014-05-06 13:54:10 +0000488 Line->Level += GoogScope ? 0 : 1;
Manuel Klimek516e0542013-09-04 13:25:30 +0000489 parseLevel(/*HasOpeningBrace=*/true);
Daniel Jasper02c7bca2015-03-30 09:56:50 +0000490 flushComments(isOnNewLine(*FormatTok));
Daniel Jasper4a39c842014-05-06 13:54:10 +0000491 Line->Level -= GoogScope ? 0 : 1;
Manuel Klimek516e0542013-09-04 13:25:30 +0000492 }
493 nextToken();
494}
495
Daniel Jasperf7935112012-12-03 18:12:45 +0000496void UnwrappedLineParser::parsePPDirective() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000497 assert(FormatTok->Tok.is(tok::hash) && "'#' expected");
Manuel Klimek20e0af62015-05-06 11:56:29 +0000498 ScopedMacroState MacroState(*Line, Tokens, FormatTok);
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000499 nextToken();
500
Craig Topper2145bc02014-05-09 08:15:10 +0000501 if (!FormatTok->Tok.getIdentifierInfo()) {
Manuel Klimek591b5802013-01-31 15:58:48 +0000502 parsePPUnknown();
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000503 return;
Daniel Jasperf7935112012-12-03 18:12:45 +0000504 }
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000505
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000506 switch (FormatTok->Tok.getIdentifierInfo()->getPPKeywordID()) {
Manuel Klimek1abf7892013-01-04 23:34:14 +0000507 case tok::pp_define:
508 parsePPDefine();
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000509 return;
510 case tok::pp_if:
Manuel Klimek71814b42013-10-11 21:25:45 +0000511 parsePPIf(/*IfDef=*/false);
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000512 break;
513 case tok::pp_ifdef:
514 case tok::pp_ifndef:
Manuel Klimek71814b42013-10-11 21:25:45 +0000515 parsePPIf(/*IfDef=*/true);
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000516 break;
517 case tok::pp_else:
518 parsePPElse();
519 break;
520 case tok::pp_elif:
521 parsePPElIf();
522 break;
523 case tok::pp_endif:
524 parsePPEndIf();
Manuel Klimek1abf7892013-01-04 23:34:14 +0000525 break;
526 default:
527 parsePPUnknown();
528 break;
529 }
530}
531
Manuel Klimek68b03042014-04-14 09:14:11 +0000532void UnwrappedLineParser::conditionalCompilationCondition(bool Unreachable) {
533 if (Unreachable || (!PPStack.empty() && PPStack.back() == PP_Unreachable))
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000534 PPStack.push_back(PP_Unreachable);
535 else
536 PPStack.push_back(PP_Conditional);
537}
538
Manuel Klimek68b03042014-04-14 09:14:11 +0000539void UnwrappedLineParser::conditionalCompilationStart(bool Unreachable) {
Manuel Klimek71814b42013-10-11 21:25:45 +0000540 ++PPBranchLevel;
541 assert(PPBranchLevel >= 0 && PPBranchLevel <= (int)PPLevelBranchIndex.size());
542 if (PPBranchLevel == (int)PPLevelBranchIndex.size()) {
543 PPLevelBranchIndex.push_back(0);
544 PPLevelBranchCount.push_back(0);
545 }
546 PPChainBranchIndex.push(0);
Manuel Klimek68b03042014-04-14 09:14:11 +0000547 bool Skip = PPLevelBranchIndex[PPBranchLevel] > 0;
548 conditionalCompilationCondition(Unreachable || Skip);
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000549}
550
Manuel Klimek68b03042014-04-14 09:14:11 +0000551void UnwrappedLineParser::conditionalCompilationAlternative() {
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000552 if (!PPStack.empty())
553 PPStack.pop_back();
Manuel Klimek71814b42013-10-11 21:25:45 +0000554 assert(PPBranchLevel < (int)PPLevelBranchIndex.size());
555 if (!PPChainBranchIndex.empty())
556 ++PPChainBranchIndex.top();
Manuel Klimek68b03042014-04-14 09:14:11 +0000557 conditionalCompilationCondition(
558 PPBranchLevel >= 0 && !PPChainBranchIndex.empty() &&
559 PPLevelBranchIndex[PPBranchLevel] != PPChainBranchIndex.top());
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000560}
561
Manuel Klimek68b03042014-04-14 09:14:11 +0000562void UnwrappedLineParser::conditionalCompilationEnd() {
Manuel Klimek71814b42013-10-11 21:25:45 +0000563 assert(PPBranchLevel < (int)PPLevelBranchIndex.size());
564 if (PPBranchLevel >= 0 && !PPChainBranchIndex.empty()) {
565 if (PPChainBranchIndex.top() + 1 > PPLevelBranchCount[PPBranchLevel]) {
Manuel Klimek71814b42013-10-11 21:25:45 +0000566 PPLevelBranchCount[PPBranchLevel] = PPChainBranchIndex.top() + 1;
567 }
568 }
Manuel Klimek14bd9172014-01-29 08:49:02 +0000569 // Guard against #endif's without #if.
570 if (PPBranchLevel > 0)
571 --PPBranchLevel;
Manuel Klimek71814b42013-10-11 21:25:45 +0000572 if (!PPChainBranchIndex.empty())
573 PPChainBranchIndex.pop();
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000574 if (!PPStack.empty())
575 PPStack.pop_back();
Manuel Klimek68b03042014-04-14 09:14:11 +0000576}
577
578void UnwrappedLineParser::parsePPIf(bool IfDef) {
579 nextToken();
580 bool IsLiteralFalse = (FormatTok->Tok.isLiteral() &&
Daniel Jasper9d22bcc2015-01-19 10:51:05 +0000581 FormatTok->Tok.getLiteralData() != nullptr &&
Manuel Klimek68b03042014-04-14 09:14:11 +0000582 StringRef(FormatTok->Tok.getLiteralData(),
583 FormatTok->Tok.getLength()) == "0") ||
584 FormatTok->Tok.is(tok::kw_false);
585 conditionalCompilationStart(!IfDef && IsLiteralFalse);
586 parsePPUnknown();
587}
588
589void UnwrappedLineParser::parsePPElse() {
590 conditionalCompilationAlternative();
591 parsePPUnknown();
592}
593
594void UnwrappedLineParser::parsePPElIf() { parsePPElse(); }
595
596void UnwrappedLineParser::parsePPEndIf() {
597 conditionalCompilationEnd();
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000598 parsePPUnknown();
599}
600
Manuel Klimek1abf7892013-01-04 23:34:14 +0000601void UnwrappedLineParser::parsePPDefine() {
602 nextToken();
603
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000604 if (FormatTok->Tok.getKind() != tok::identifier) {
Manuel Klimek1abf7892013-01-04 23:34:14 +0000605 parsePPUnknown();
606 return;
607 }
608 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000609 if (FormatTok->Tok.getKind() == tok::l_paren &&
610 FormatTok->WhitespaceRange.getBegin() ==
611 FormatTok->WhitespaceRange.getEnd()) {
Manuel Klimek1abf7892013-01-04 23:34:14 +0000612 parseParens();
613 }
614 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +0000615 Line->Level = 1;
Manuel Klimek1b896292013-01-07 09:34:28 +0000616
617 // Errors during a preprocessor directive can only affect the layout of the
618 // preprocessor directive, and thus we ignore them. An alternative approach
619 // would be to use the same approach we use on the file level (no
620 // re-indentation if there was a structural error) within the macro
621 // definition.
Manuel Klimek1abf7892013-01-04 23:34:14 +0000622 parseFile();
623}
624
625void UnwrappedLineParser::parsePPUnknown() {
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000626 do {
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000627 nextToken();
628 } while (!eof());
629 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +0000630}
631
Alexander Kornienkoa04e5e22013-04-09 16:15:19 +0000632// Here we blacklist certain tokens that are not usually the first token in an
633// unwrapped line. This is used in attempt to distinguish macro calls without
634// trailing semicolons from other constructs split to several lines.
Benjamin Kramer8407df72015-03-09 16:47:52 +0000635static bool tokenCanStartNewLine(const clang::Token &Tok) {
Alexander Kornienkoa04e5e22013-04-09 16:15:19 +0000636 // Semicolon can be a null-statement, l_square can be a start of a macro or
637 // a C++11 attribute, but this doesn't seem to be common.
638 return Tok.isNot(tok::semi) && Tok.isNot(tok::l_brace) &&
639 Tok.isNot(tok::l_square) &&
640 // Tokens that can only be used as binary operators and a part of
641 // overloaded operator names.
642 Tok.isNot(tok::period) && Tok.isNot(tok::periodstar) &&
643 Tok.isNot(tok::arrow) && Tok.isNot(tok::arrowstar) &&
644 Tok.isNot(tok::less) && Tok.isNot(tok::greater) &&
645 Tok.isNot(tok::slash) && Tok.isNot(tok::percent) &&
646 Tok.isNot(tok::lessless) && Tok.isNot(tok::greatergreater) &&
647 Tok.isNot(tok::equal) && Tok.isNot(tok::plusequal) &&
648 Tok.isNot(tok::minusequal) && Tok.isNot(tok::starequal) &&
649 Tok.isNot(tok::slashequal) && Tok.isNot(tok::percentequal) &&
650 Tok.isNot(tok::ampequal) && Tok.isNot(tok::pipeequal) &&
651 Tok.isNot(tok::caretequal) && Tok.isNot(tok::greatergreaterequal) &&
652 Tok.isNot(tok::lesslessequal) &&
653 // Colon is used in labels, base class lists, initializer lists,
654 // range-based for loops, ternary operator, but should never be the
655 // first token in an unwrapped line.
Daniel Jasper5ebb2f32014-05-21 13:08:17 +0000656 Tok.isNot(tok::colon) &&
657 // 'noexcept' is a trailing annotation.
658 Tok.isNot(tok::kw_noexcept);
Alexander Kornienkoa04e5e22013-04-09 16:15:19 +0000659}
660
Manuel Klimek6b9eeba2013-01-07 14:56:16 +0000661void UnwrappedLineParser::parseStructuralElement() {
Daniel Jasper498f5582015-12-25 08:53:31 +0000662 assert(!FormatTok->is(tok::l_brace));
663 if (Style.Language == FormatStyle::LK_TableGen &&
664 FormatTok->is(tok::pp_include)) {
665 nextToken();
666 if (FormatTok->is(tok::string_literal))
667 nextToken();
668 addUnwrappedLine();
669 return;
670 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000671 switch (FormatTok->Tok.getKind()) {
Nico Weber04e9f1a2013-01-07 19:05:19 +0000672 case tok::at:
673 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000674 if (FormatTok->Tok.is(tok::l_brace)) {
Nico Weber372d8dc2013-02-10 20:35:35 +0000675 parseBracedList();
676 break;
677 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000678 switch (FormatTok->Tok.getObjCKeywordID()) {
Nico Weber04e9f1a2013-01-07 19:05:19 +0000679 case tok::objc_public:
680 case tok::objc_protected:
681 case tok::objc_package:
682 case tok::objc_private:
683 return parseAccessSpecifier();
Nico Weber7eecf4b2013-01-09 20:25:35 +0000684 case tok::objc_interface:
Nico Weber2ce0ac52013-01-09 23:25:37 +0000685 case tok::objc_implementation:
686 return parseObjCInterfaceOrImplementation();
Nico Weber8696a8d2013-01-09 21:15:03 +0000687 case tok::objc_protocol:
688 return parseObjCProtocol();
Nico Weberd8ffe752013-01-09 21:42:32 +0000689 case tok::objc_end:
690 return; // Handled by the caller.
Nico Weber51306d22013-01-10 00:25:19 +0000691 case tok::objc_optional:
692 case tok::objc_required:
693 nextToken();
694 addUnwrappedLine();
695 return;
Nico Weber45c48122015-06-28 01:06:16 +0000696 case tok::objc_autoreleasepool:
697 nextToken();
698 if (FormatTok->Tok.is(tok::l_brace)) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +0000699 if (Style.BraceWrapping.AfterObjCDeclaration)
Nico Weber45c48122015-06-28 01:06:16 +0000700 addUnwrappedLine();
701 parseBlock(/*MustBeDeclaration=*/false);
702 }
703 addUnwrappedLine();
704 return;
Nico Weber33381f52015-02-07 01:57:32 +0000705 case tok::objc_try:
706 // This branch isn't strictly necessary (the kw_try case below would
707 // do this too after the tok::at is parsed above). But be explicit.
708 parseTryCatch();
709 return;
Nico Weber04e9f1a2013-01-07 19:05:19 +0000710 default:
711 break;
712 }
713 break;
Daniel Jasper8f463652014-08-26 23:15:12 +0000714 case tok::kw_asm:
Daniel Jasper8f463652014-08-26 23:15:12 +0000715 nextToken();
716 if (FormatTok->is(tok::l_brace)) {
Daniel Jasperc6366072015-05-10 08:42:04 +0000717 FormatTok->Type = TT_InlineASMBrace;
Daniel Jasper2337f282015-01-12 10:14:56 +0000718 nextToken();
Daniel Jasper4429f142014-08-27 17:16:46 +0000719 while (FormatTok && FormatTok->isNot(tok::eof)) {
Daniel Jasper8f463652014-08-26 23:15:12 +0000720 if (FormatTok->is(tok::r_brace)) {
Daniel Jasperc6366072015-05-10 08:42:04 +0000721 FormatTok->Type = TT_InlineASMBrace;
Daniel Jasper8f463652014-08-26 23:15:12 +0000722 nextToken();
Daniel Jasper790d4f92015-05-11 11:59:46 +0000723 addUnwrappedLine();
Daniel Jasper8f463652014-08-26 23:15:12 +0000724 break;
725 }
Daniel Jasper2337f282015-01-12 10:14:56 +0000726 FormatTok->Finalized = true;
Daniel Jasper8f463652014-08-26 23:15:12 +0000727 nextToken();
728 }
729 }
730 break;
Alexander Kornienko578fdd82012-12-06 18:03:27 +0000731 case tok::kw_namespace:
732 parseNamespace();
733 return;
Dmitri Gribenko58d64e22012-12-30 21:27:25 +0000734 case tok::kw_inline:
735 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000736 if (FormatTok->Tok.is(tok::kw_namespace)) {
Dmitri Gribenko58d64e22012-12-30 21:27:25 +0000737 parseNamespace();
738 return;
739 }
740 break;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000741 case tok::kw_public:
742 case tok::kw_protected:
743 case tok::kw_private:
Daniel Jasper83709082015-02-18 17:14:05 +0000744 if (Style.Language == FormatStyle::LK_Java ||
745 Style.Language == FormatStyle::LK_JavaScript)
Daniel Jasperc58c70e2014-09-15 11:21:46 +0000746 nextToken();
747 else
748 parseAccessSpecifier();
Daniel Jasperf7935112012-12-03 18:12:45 +0000749 return;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000750 case tok::kw_if:
751 parseIfThenElse();
Daniel Jasperf7935112012-12-03 18:12:45 +0000752 return;
Alexander Kornienko37d6c942012-12-05 15:06:06 +0000753 case tok::kw_for:
754 case tok::kw_while:
755 parseForOrWhileLoop();
756 return;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000757 case tok::kw_do:
758 parseDoWhile();
759 return;
760 case tok::kw_switch:
761 parseSwitch();
762 return;
763 case tok::kw_default:
764 nextToken();
765 parseLabel();
766 return;
767 case tok::kw_case:
768 parseCaseLabel();
769 return;
Daniel Jasper04a71a42014-05-08 11:58:24 +0000770 case tok::kw_try:
Nico Weberfac23712015-02-04 15:26:27 +0000771 case tok::kw___try:
Daniel Jasper04a71a42014-05-08 11:58:24 +0000772 parseTryCatch();
773 return;
Manuel Klimekae610d12013-01-21 14:32:05 +0000774 case tok::kw_extern:
775 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000776 if (FormatTok->Tok.is(tok::string_literal)) {
Manuel Klimekae610d12013-01-21 14:32:05 +0000777 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000778 if (FormatTok->Tok.is(tok::l_brace)) {
Daniel Jasper65ee3472013-07-31 23:16:02 +0000779 parseBlock(/*MustBeDeclaration=*/true, /*AddLevel=*/false);
Manuel Klimekae610d12013-01-21 14:32:05 +0000780 addUnwrappedLine();
781 return;
782 }
783 }
Daniel Jaspere1e43192014-04-01 12:55:11 +0000784 break;
Daniel Jasperfca735c2015-02-19 16:14:18 +0000785 case tok::kw_export:
786 if (Style.Language == FormatStyle::LK_JavaScript) {
787 parseJavaScriptEs6ImportExport();
788 return;
789 }
790 break;
Daniel Jaspere1e43192014-04-01 12:55:11 +0000791 case tok::identifier:
Daniel Jasper66cb8c52015-05-04 09:22:29 +0000792 if (FormatTok->is(TT_ForEachMacro)) {
Daniel Jaspere1e43192014-04-01 12:55:11 +0000793 parseForOrWhileLoop();
794 return;
795 }
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000796 if (FormatTok->is(TT_MacroBlockBegin)) {
797 parseBlock(/*MustBeDeclaration=*/false, /*AddLevel=*/true,
798 /*MunchSemi=*/false);
799 return;
800 }
Daniel Jasper354aa512015-02-19 16:07:32 +0000801 if (Style.Language == FormatStyle::LK_JavaScript &&
802 FormatTok->is(Keywords.kw_import)) {
Daniel Jasperfca735c2015-02-19 16:14:18 +0000803 parseJavaScriptEs6ImportExport();
Daniel Jasper354aa512015-02-19 16:07:32 +0000804 return;
805 }
Daniel Jaspera00de632015-12-01 12:05:04 +0000806 if (FormatTok->isOneOf(Keywords.kw_signals, Keywords.kw_qsignals,
807 Keywords.kw_slots, Keywords.kw_qslots)) {
Daniel Jasperde0d1f32015-04-24 07:50:34 +0000808 nextToken();
809 if (FormatTok->is(tok::colon)) {
810 nextToken();
811 addUnwrappedLine();
812 }
Daniel Jasper53395402015-04-07 15:04:40 +0000813 return;
814 }
Manuel Klimekae610d12013-01-21 14:32:05 +0000815 // In all other cases, parse the declaration.
816 break;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000817 default:
818 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000819 }
Daniel Jasperf7935112012-12-03 18:12:45 +0000820 do {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000821 switch (FormatTok->Tok.getKind()) {
Nico Weber372d8dc2013-02-10 20:35:35 +0000822 case tok::at:
823 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000824 if (FormatTok->Tok.is(tok::l_brace))
Nico Weber372d8dc2013-02-10 20:35:35 +0000825 parseBracedList();
826 break;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000827 case tok::kw_enum:
Daniel Jasper90cf3802015-06-17 09:44:02 +0000828 // parseEnum falls through and does not yet add an unwrapped line as an
829 // enum definition can start a structural element.
Daniel Jasper6f5a1932015-12-29 08:54:23 +0000830 if (!parseEnum())
831 break;
Daniel Jasperc6dd2732015-07-16 14:25:43 +0000832 // This only applies for C++.
833 if (Style.Language != FormatStyle::LK_Cpp) {
Daniel Jasper90cf3802015-06-17 09:44:02 +0000834 addUnwrappedLine();
835 return;
836 }
Manuel Klimek2cec0192013-01-21 19:17:52 +0000837 break;
Daniel Jaspera88f80a2014-01-30 14:38:37 +0000838 case tok::kw_typedef:
839 nextToken();
Daniel Jasper31f6c542014-12-05 10:42:21 +0000840 if (FormatTok->isOneOf(Keywords.kw_NS_ENUM, Keywords.kw_NS_OPTIONS,
841 Keywords.kw_CF_ENUM, Keywords.kw_CF_OPTIONS))
Daniel Jaspera88f80a2014-01-30 14:38:37 +0000842 parseEnum();
843 break;
Alexander Kornienko1231e062013-01-16 11:43:46 +0000844 case tok::kw_struct:
845 case tok::kw_union:
Manuel Klimek28cacc72013-01-07 18:10:23 +0000846 case tok::kw_class:
Daniel Jasper910807d2015-06-12 04:52:02 +0000847 // parseRecord falls through and does not yet add an unwrapped line as a
848 // record declaration or definition can start a structural element.
Manuel Klimeke01bab52013-01-15 13:38:33 +0000849 parseRecord();
Daniel Jasper910807d2015-06-12 04:52:02 +0000850 // This does not apply for Java and JavaScript.
851 if (Style.Language == FormatStyle::LK_Java ||
852 Style.Language == FormatStyle::LK_JavaScript) {
Daniel Jasperd5ec65b2016-01-08 07:06:07 +0000853 if (FormatTok->is(tok::semi))
854 nextToken();
Daniel Jasper910807d2015-06-12 04:52:02 +0000855 addUnwrappedLine();
856 return;
857 }
Manuel Klimeke01bab52013-01-15 13:38:33 +0000858 break;
Daniel Jaspere5d74862014-11-26 08:17:08 +0000859 case tok::period:
860 nextToken();
861 // In Java, classes have an implicit static member "class".
862 if (Style.Language == FormatStyle::LK_Java && FormatTok &&
863 FormatTok->is(tok::kw_class))
864 nextToken();
Daniel Jasperba52fcb2015-09-28 14:29:45 +0000865 if (Style.Language == FormatStyle::LK_JavaScript && FormatTok &&
866 FormatTok->Tok.getIdentifierInfo())
867 // JavaScript only has pseudo keywords, all keywords are allowed to
868 // appear in "IdentifierName" positions. See http://es5.github.io/#x7.6
869 nextToken();
Daniel Jaspere5d74862014-11-26 08:17:08 +0000870 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000871 case tok::semi:
872 nextToken();
873 addUnwrappedLine();
874 return;
Alexander Kornienko1231e062013-01-16 11:43:46 +0000875 case tok::r_brace:
876 addUnwrappedLine();
877 return;
Daniel Jasperf7935112012-12-03 18:12:45 +0000878 case tok::l_paren:
879 parseParens();
880 break;
Daniel Jasper5af04a42015-10-07 03:43:10 +0000881 case tok::kw_operator:
882 nextToken();
883 if (FormatTok->isBinaryOperator())
884 nextToken();
885 break;
Manuel Klimek516e0542013-09-04 13:25:30 +0000886 case tok::caret:
887 nextToken();
Daniel Jasper395193c2014-03-28 07:48:59 +0000888 if (FormatTok->Tok.isAnyIdentifier() ||
889 FormatTok->isSimpleTypeSpecifier())
890 nextToken();
891 if (FormatTok->is(tok::l_paren))
892 parseParens();
893 if (FormatTok->is(tok::l_brace))
Manuel Klimek516e0542013-09-04 13:25:30 +0000894 parseChildBlock();
Manuel Klimek516e0542013-09-04 13:25:30 +0000895 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000896 case tok::l_brace:
Manuel Klimekab419912013-05-23 09:41:43 +0000897 if (!tryToParseBracedList()) {
898 // A block outside of parentheses must be the last part of a
899 // structural element.
900 // FIXME: Figure out cases where this is not true, and add projections
901 // for them (the one we know is missing are lambdas).
Daniel Jasperc1bc38e2015-09-29 14:57:55 +0000902 if (Style.BraceWrapping.AfterFunction)
Manuel Klimekab419912013-05-23 09:41:43 +0000903 addUnwrappedLine();
Alexander Kornienko3cfa9732013-11-20 16:33:05 +0000904 FormatTok->Type = TT_FunctionLBrace;
Nico Weber9096fc02013-06-26 00:30:14 +0000905 parseBlock(/*MustBeDeclaration=*/false);
Manuel Klimeka8eb9142013-05-13 12:51:40 +0000906 addUnwrappedLine();
Manuel Klimekab419912013-05-23 09:41:43 +0000907 return;
908 }
909 // Otherwise this was a braced init list, and the structural
910 // element continues.
911 break;
Daniel Jasper04a71a42014-05-08 11:58:24 +0000912 case tok::kw_try:
913 // We arrive here when parsing function-try blocks.
914 parseTryCatch();
915 return;
Daniel Jasper40e19212013-05-29 13:16:10 +0000916 case tok::identifier: {
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000917 if (FormatTok->is(TT_MacroBlockEnd)) {
918 addUnwrappedLine();
919 return;
920 }
921
Daniel Jasperad9eb0d2014-06-30 13:24:54 +0000922 // Parse function literal unless 'function' is the first token in a line
923 // in which case this should be treated as a free-standing function.
Daniel Jasper9326f912015-05-05 08:40:32 +0000924 if (Style.Language == FormatStyle::LK_JavaScript &&
925 FormatTok->is(Keywords.kw_function) && Line->Tokens.size() > 0) {
Daniel Jasper069e5f42014-05-20 11:14:57 +0000926 tryToParseJSFunction();
927 break;
928 }
Daniel Jasper9326f912015-05-05 08:40:32 +0000929 if ((Style.Language == FormatStyle::LK_JavaScript ||
930 Style.Language == FormatStyle::LK_Java) &&
931 FormatTok->is(Keywords.kw_interface)) {
932 parseRecord();
Daniel Jasper259188b2015-06-12 04:56:34 +0000933 addUnwrappedLine();
Daniel Jasper5c235c02015-07-06 14:26:04 +0000934 return;
Daniel Jasper9326f912015-05-05 08:40:32 +0000935 }
936
937 StringRef Text = FormatTok->TokenText;
Daniel Jasperf7935112012-12-03 18:12:45 +0000938 nextToken();
Daniel Jasper83709082015-02-18 17:14:05 +0000939 if (Line->Tokens.size() == 1 &&
940 // JS doesn't have macros, and within classes colons indicate fields,
941 // not labels.
Daniel Jasper676e5162015-04-07 14:36:33 +0000942 Style.Language != FormatStyle::LK_JavaScript) {
943 if (FormatTok->Tok.is(tok::colon) && !Line->MustBeDeclaration) {
Alexander Kornienkode644272013-04-08 22:16:06 +0000944 parseLabel();
945 return;
946 }
Daniel Jasper680b09b2014-11-05 10:48:04 +0000947 // Recognize function-like macro usages without trailing semicolon as
Daniel Jasper83709082015-02-18 17:14:05 +0000948 // well as free-standing macros like Q_OBJECT.
Daniel Jasper680b09b2014-11-05 10:48:04 +0000949 bool FunctionLike = FormatTok->is(tok::l_paren);
950 if (FunctionLike)
Alexander Kornienkode644272013-04-08 22:16:06 +0000951 parseParens();
Daniel Jaspere60cba12015-05-13 11:35:53 +0000952
953 bool FollowedByNewline =
954 CommentsBeforeNextToken.empty()
955 ? FormatTok->NewlinesBefore > 0
956 : CommentsBeforeNextToken.front()->NewlinesBefore > 0;
957
Daniel Jaspere6fcf7d2015-06-17 13:08:06 +0000958 if (FollowedByNewline && (Text.size() >= 5 || FunctionLike) &&
Daniel Jasper680b09b2014-11-05 10:48:04 +0000959 tokenCanStartNewLine(FormatTok->Tok) && Text == Text.upper()) {
Daniel Jasper40e19212013-05-29 13:16:10 +0000960 addUnwrappedLine();
Daniel Jasper41a0f782013-05-29 14:09:17 +0000961 return;
Alexander Kornienkode644272013-04-08 22:16:06 +0000962 }
Daniel Jasperf7935112012-12-03 18:12:45 +0000963 }
964 break;
Daniel Jasper40e19212013-05-29 13:16:10 +0000965 }
Daniel Jaspere25509f2012-12-17 11:29:41 +0000966 case tok::equal:
Manuel Klimek79e06082015-05-21 12:23:34 +0000967 // Fat arrows (=>) have tok::TokenKind tok::equal but TokenType
968 // TT_JsFatArrow. The always start an expression or a child block if
969 // followed by a curly.
970 if (FormatTok->is(TT_JsFatArrow)) {
971 nextToken();
Daniel Jasperbe520bd2015-05-31 08:51:54 +0000972 if (FormatTok->is(tok::l_brace))
Manuel Klimek79e06082015-05-21 12:23:34 +0000973 parseChildBlock();
Manuel Klimek79e06082015-05-21 12:23:34 +0000974 break;
975 }
976
Daniel Jaspere25509f2012-12-17 11:29:41 +0000977 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000978 if (FormatTok->Tok.is(tok::l_brace)) {
Manuel Klimek8e07a1b2013-01-10 11:52:21 +0000979 parseBracedList();
980 }
Daniel Jaspere25509f2012-12-17 11:29:41 +0000981 break;
Manuel Klimekffdeb592013-09-03 15:10:01 +0000982 case tok::l_square:
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000983 parseSquare();
Manuel Klimekffdeb592013-09-03 15:10:01 +0000984 break;
Daniel Jasper6acf5132015-03-12 14:44:29 +0000985 case tok::kw_new:
986 parseNew();
987 break;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000988 default:
989 nextToken();
990 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000991 }
992 } while (!eof());
993}
994
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000995bool UnwrappedLineParser::tryToParseLambda() {
Daniel Jasper1feab0f2015-06-02 15:31:37 +0000996 if (Style.Language != FormatStyle::LK_Cpp) {
997 nextToken();
998 return false;
999 }
Daniel Jasperb9a49902016-01-09 15:56:28 +00001000 const FormatToken* Previous = getPreviousToken();
1001 if (Previous &&
1002 (Previous->isOneOf(tok::identifier, tok::kw_operator, tok::kw_new,
1003 tok::kw_delete) ||
1004 Previous->closesScope() || Previous->isSimpleTypeSpecifier())) {
Daniel Jasperbf02b2c12013-09-05 11:49:39 +00001005 nextToken();
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001006 return false;
Daniel Jasperbf02b2c12013-09-05 11:49:39 +00001007 }
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001008 assert(FormatTok->is(tok::l_square));
1009 FormatToken &LSquare = *FormatTok;
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001010 if (!tryToParseLambdaIntroducer())
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001011 return false;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001012
Alexander Kornienkoc2ee9cf2014-03-13 13:59:48 +00001013 while (FormatTok->isNot(tok::l_brace)) {
Daniel Jaspercb51cf42014-01-16 09:11:55 +00001014 if (FormatTok->isSimpleTypeSpecifier()) {
1015 nextToken();
1016 continue;
1017 }
Manuel Klimekffdeb592013-09-03 15:10:01 +00001018 switch (FormatTok->Tok.getKind()) {
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001019 case tok::l_brace:
1020 break;
1021 case tok::l_paren:
1022 parseParens();
1023 break;
Daniel Jasperbcb55ee2014-11-21 14:08:38 +00001024 case tok::amp:
1025 case tok::star:
1026 case tok::kw_const:
Daniel Jasper3431b752014-12-08 13:22:37 +00001027 case tok::comma:
Daniel Jaspercb51cf42014-01-16 09:11:55 +00001028 case tok::less:
1029 case tok::greater:
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001030 case tok::identifier:
Daniel Jasper5eaa0092015-08-13 13:37:08 +00001031 case tok::numeric_constant:
Daniel Jasper1067ab02014-02-11 10:16:55 +00001032 case tok::coloncolon:
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001033 case tok::kw_mutable:
Daniel Jasper81a20782014-03-10 10:02:02 +00001034 nextToken();
1035 break;
Daniel Jaspercb51cf42014-01-16 09:11:55 +00001036 case tok::arrow:
Daniel Jasper6f2b88a2015-06-05 13:18:09 +00001037 FormatTok->Type = TT_LambdaArrow;
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001038 nextToken();
1039 break;
1040 default:
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001041 return true;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001042 }
1043 }
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001044 LSquare.Type = TT_LambdaLSquare;
Manuel Klimek516e0542013-09-04 13:25:30 +00001045 parseChildBlock();
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001046 return true;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001047}
1048
1049bool UnwrappedLineParser::tryToParseLambdaIntroducer() {
1050 nextToken();
1051 if (FormatTok->is(tok::equal)) {
1052 nextToken();
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001053 if (FormatTok->is(tok::r_square)) {
1054 nextToken();
1055 return true;
1056 }
1057 if (FormatTok->isNot(tok::comma))
1058 return false;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001059 nextToken();
1060 } else if (FormatTok->is(tok::amp)) {
1061 nextToken();
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001062 if (FormatTok->is(tok::r_square)) {
1063 nextToken();
1064 return true;
1065 }
Manuel Klimekffdeb592013-09-03 15:10:01 +00001066 if (!FormatTok->isOneOf(tok::comma, tok::identifier)) {
1067 return false;
1068 }
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001069 if (FormatTok->is(tok::comma))
1070 nextToken();
Manuel Klimekffdeb592013-09-03 15:10:01 +00001071 } else if (FormatTok->is(tok::r_square)) {
1072 nextToken();
1073 return true;
1074 }
1075 do {
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001076 if (FormatTok->is(tok::amp))
1077 nextToken();
1078 if (!FormatTok->isOneOf(tok::identifier, tok::kw_this))
1079 return false;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001080 nextToken();
Daniel Jasperda18fd82014-06-10 06:39:03 +00001081 if (FormatTok->is(tok::ellipsis))
1082 nextToken();
Manuel Klimekffdeb592013-09-03 15:10:01 +00001083 if (FormatTok->is(tok::comma)) {
1084 nextToken();
1085 } else if (FormatTok->is(tok::r_square)) {
1086 nextToken();
1087 return true;
1088 } else {
1089 return false;
1090 }
1091 } while (!eof());
1092 return false;
1093}
1094
Daniel Jasperc03e16a2014-05-08 09:25:39 +00001095void UnwrappedLineParser::tryToParseJSFunction() {
1096 nextToken();
Daniel Jasper5217a8b2014-06-13 07:02:04 +00001097
1098 // Consume function name.
1099 if (FormatTok->is(tok::identifier))
Daniel Jasperfca735c2015-02-19 16:14:18 +00001100 nextToken();
Daniel Jasper5217a8b2014-06-13 07:02:04 +00001101
Daniel Jasperc03e16a2014-05-08 09:25:39 +00001102 if (FormatTok->isNot(tok::l_paren))
1103 return;
Manuel Klimek79e06082015-05-21 12:23:34 +00001104
1105 // Parse formal parameter list.
Daniel Jasperbe520bd2015-05-31 08:51:54 +00001106 parseParens();
Manuel Klimek79e06082015-05-21 12:23:34 +00001107
1108 if (FormatTok->is(tok::colon)) {
1109 // Parse a type definition.
1110 nextToken();
1111
1112 // Eat the type declaration. For braced inline object types, balance braces,
1113 // otherwise just parse until finding an l_brace for the function body.
Daniel Jasperbe520bd2015-05-31 08:51:54 +00001114 if (FormatTok->is(tok::l_brace))
1115 tryToParseBracedList();
1116 else
Daniel Jaspere6fcf7d2015-06-17 13:08:06 +00001117 while (FormatTok->isNot(tok::l_brace) && !eof())
Manuel Klimek79e06082015-05-21 12:23:34 +00001118 nextToken();
Manuel Klimek79e06082015-05-21 12:23:34 +00001119 }
1120
1121 parseChildBlock();
1122}
1123
Daniel Jasper3c883d12015-05-18 14:49:19 +00001124bool UnwrappedLineParser::tryToParseBracedList() {
Daniel Jasperb1f74a82013-07-09 09:06:29 +00001125 if (FormatTok->BlockKind == BK_Unknown)
Daniel Jasper3c883d12015-05-18 14:49:19 +00001126 calculateBraceTypes();
Daniel Jasperb1f74a82013-07-09 09:06:29 +00001127 assert(FormatTok->BlockKind != BK_Unknown);
1128 if (FormatTok->BlockKind == BK_Block)
Manuel Klimekab419912013-05-23 09:41:43 +00001129 return false;
1130 parseBracedList();
1131 return true;
1132}
1133
Daniel Jasper015ed022013-09-13 09:20:45 +00001134bool UnwrappedLineParser::parseBracedList(bool ContinueOnSemicolons) {
1135 bool HasError = false;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001136 nextToken();
1137
Manuel Klimeka3ff45e2013-04-10 09:52:05 +00001138 // FIXME: Once we have an expression parser in the UnwrappedLineParser,
1139 // replace this by using parseAssigmentExpression() inside.
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001140 do {
Manuel Klimek79e06082015-05-21 12:23:34 +00001141 if (Style.Language == FormatStyle::LK_JavaScript) {
1142 if (FormatTok->is(Keywords.kw_function)) {
1143 tryToParseJSFunction();
1144 continue;
Daniel Jasperbe520bd2015-05-31 08:51:54 +00001145 }
1146 if (FormatTok->is(TT_JsFatArrow)) {
Manuel Klimek79e06082015-05-21 12:23:34 +00001147 nextToken();
1148 // Fat arrows can be followed by simple expressions or by child blocks
1149 // in curly braces.
Daniel Jaspere6fcf7d2015-06-17 13:08:06 +00001150 if (FormatTok->is(tok::l_brace)) {
Manuel Klimek79e06082015-05-21 12:23:34 +00001151 parseChildBlock();
1152 continue;
1153 }
1154 }
Daniel Jasperc03e16a2014-05-08 09:25:39 +00001155 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001156 switch (FormatTok->Tok.getKind()) {
Manuel Klimek516e0542013-09-04 13:25:30 +00001157 case tok::caret:
1158 nextToken();
1159 if (FormatTok->is(tok::l_brace)) {
1160 parseChildBlock();
1161 }
1162 break;
1163 case tok::l_square:
1164 tryToParseLambda();
1165 break;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001166 case tok::l_brace:
Manuel Klimekbab25fd2013-09-04 08:20:47 +00001167 // Assume there are no blocks inside a braced init list apart
1168 // from the ones we explicitly parse out (like lambdas).
1169 FormatTok->BlockKind = BK_BracedInit;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001170 parseBracedList();
1171 break;
Daniel Jaspera87af7a2015-06-30 11:32:22 +00001172 case tok::l_paren:
1173 parseParens();
Daniel Jasperf46dec82015-03-31 14:34:15 +00001174 // JavaScript can just have free standing methods and getters/setters in
1175 // object literals. Detect them by a "{" following ")".
1176 if (Style.Language == FormatStyle::LK_JavaScript) {
Daniel Jasperf46dec82015-03-31 14:34:15 +00001177 if (FormatTok->is(tok::l_brace))
1178 parseChildBlock();
1179 break;
1180 }
Daniel Jasperf46dec82015-03-31 14:34:15 +00001181 break;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001182 case tok::r_brace:
1183 nextToken();
Daniel Jasper015ed022013-09-13 09:20:45 +00001184 return !HasError;
Manuel Klimeka3ff45e2013-04-10 09:52:05 +00001185 case tok::semi:
Daniel Jasperb9a49902016-01-09 15:56:28 +00001186 // JavaScript (or more precisely TypeScript) can have semicolons in braced
1187 // lists (in so-called TypeMemberLists). Thus, the semicolon cannot be
1188 // used for error recovery if we have otherwise determined that this is
1189 // a braced list.
1190 if (Style.Language == FormatStyle::LK_JavaScript) {
1191 nextToken();
1192 break;
1193 }
Daniel Jasper015ed022013-09-13 09:20:45 +00001194 HasError = true;
1195 if (!ContinueOnSemicolons)
1196 return !HasError;
1197 nextToken();
1198 break;
Manuel Klimeka3ff45e2013-04-10 09:52:05 +00001199 case tok::comma:
1200 nextToken();
Manuel Klimeka3ff45e2013-04-10 09:52:05 +00001201 break;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001202 default:
1203 nextToken();
1204 break;
1205 }
1206 } while (!eof());
Daniel Jasper015ed022013-09-13 09:20:45 +00001207 return false;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001208}
1209
Daniel Jasperf7935112012-12-03 18:12:45 +00001210void UnwrappedLineParser::parseParens() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001211 assert(FormatTok->Tok.is(tok::l_paren) && "'(' expected.");
Daniel Jasperf7935112012-12-03 18:12:45 +00001212 nextToken();
1213 do {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001214 switch (FormatTok->Tok.getKind()) {
Daniel Jasperf7935112012-12-03 18:12:45 +00001215 case tok::l_paren:
1216 parseParens();
Daniel Jasper5f1fa852015-01-04 20:40:51 +00001217 if (Style.Language == FormatStyle::LK_Java && FormatTok->is(tok::l_brace))
1218 parseChildBlock();
Daniel Jasperf7935112012-12-03 18:12:45 +00001219 break;
1220 case tok::r_paren:
1221 nextToken();
1222 return;
Daniel Jasper393564f2013-05-31 14:56:29 +00001223 case tok::r_brace:
1224 // A "}" inside parenthesis is an error if there wasn't a matching "{".
1225 return;
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001226 case tok::l_square:
1227 tryToParseLambda();
1228 break;
Daniel Jasper5f1fa852015-01-04 20:40:51 +00001229 case tok::l_brace:
Daniel Jasperadba2aa2015-05-18 12:52:00 +00001230 if (!tryToParseBracedList())
Manuel Klimekf017dc02013-09-04 13:34:14 +00001231 parseChildBlock();
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001232 break;
Nico Weber372d8dc2013-02-10 20:35:35 +00001233 case tok::at:
1234 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001235 if (FormatTok->Tok.is(tok::l_brace))
Nico Weber372d8dc2013-02-10 20:35:35 +00001236 parseBracedList();
1237 break;
Daniel Jasper3f69ba12014-09-05 08:42:27 +00001238 case tok::identifier:
1239 if (Style.Language == FormatStyle::LK_JavaScript &&
Daniel Jasperd0ec0d62014-11-04 12:41:02 +00001240 FormatTok->is(Keywords.kw_function))
Daniel Jasper3f69ba12014-09-05 08:42:27 +00001241 tryToParseJSFunction();
1242 else
1243 nextToken();
1244 break;
Daniel Jasperf7935112012-12-03 18:12:45 +00001245 default:
1246 nextToken();
1247 break;
1248 }
1249 } while (!eof());
1250}
1251
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001252void UnwrappedLineParser::parseSquare() {
1253 assert(FormatTok->Tok.is(tok::l_square) && "'[' expected.");
1254 if (tryToParseLambda())
1255 return;
1256 do {
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001257 switch (FormatTok->Tok.getKind()) {
1258 case tok::l_paren:
1259 parseParens();
1260 break;
1261 case tok::r_square:
1262 nextToken();
1263 return;
1264 case tok::r_brace:
1265 // A "}" inside parenthesis is an error if there wasn't a matching "{".
1266 return;
1267 case tok::l_square:
1268 parseSquare();
1269 break;
1270 case tok::l_brace: {
Daniel Jasperadba2aa2015-05-18 12:52:00 +00001271 if (!tryToParseBracedList())
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001272 parseChildBlock();
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001273 break;
1274 }
1275 case tok::at:
1276 nextToken();
1277 if (FormatTok->Tok.is(tok::l_brace))
1278 parseBracedList();
1279 break;
1280 default:
1281 nextToken();
1282 break;
1283 }
1284 } while (!eof());
1285}
1286
Daniel Jasperf7935112012-12-03 18:12:45 +00001287void UnwrappedLineParser::parseIfThenElse() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001288 assert(FormatTok->Tok.is(tok::kw_if) && "'if' expected");
Daniel Jasperf7935112012-12-03 18:12:45 +00001289 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001290 if (FormatTok->Tok.is(tok::l_paren))
Manuel Klimekadededf2013-01-11 18:28:36 +00001291 parseParens();
Daniel Jasperf7935112012-12-03 18:12:45 +00001292 bool NeedsUnwrappedLine = false;
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001293 if (FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001294 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Nico Weber9096fc02013-06-26 00:30:14 +00001295 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001296 if (Style.BraceWrapping.BeforeElse)
Manuel Klimekd3ed59a2013-08-02 21:31:59 +00001297 addUnwrappedLine();
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001298 else
Manuel Klimekd3ed59a2013-08-02 21:31:59 +00001299 NeedsUnwrappedLine = true;
Daniel Jasperf7935112012-12-03 18:12:45 +00001300 } else {
1301 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +00001302 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001303 parseStructuralElement();
Manuel Klimek52b15152013-01-09 15:25:02 +00001304 --Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +00001305 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001306 if (FormatTok->Tok.is(tok::kw_else)) {
Daniel Jasperf7935112012-12-03 18:12:45 +00001307 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001308 if (FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001309 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Nico Weber9096fc02013-06-26 00:30:14 +00001310 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperf7935112012-12-03 18:12:45 +00001311 addUnwrappedLine();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001312 } else if (FormatTok->Tok.is(tok::kw_if)) {
Daniel Jasperf7935112012-12-03 18:12:45 +00001313 parseIfThenElse();
1314 } else {
1315 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +00001316 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001317 parseStructuralElement();
Manuel Klimek52b15152013-01-09 15:25:02 +00001318 --Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +00001319 }
1320 } else if (NeedsUnwrappedLine) {
1321 addUnwrappedLine();
1322 }
1323}
1324
Daniel Jasper04a71a42014-05-08 11:58:24 +00001325void UnwrappedLineParser::parseTryCatch() {
Nico Weberfac23712015-02-04 15:26:27 +00001326 assert(FormatTok->isOneOf(tok::kw_try, tok::kw___try) && "'try' expected");
Daniel Jasper04a71a42014-05-08 11:58:24 +00001327 nextToken();
1328 bool NeedsUnwrappedLine = false;
1329 if (FormatTok->is(tok::colon)) {
1330 // We are in a function try block, what comes is an initializer list.
1331 nextToken();
1332 while (FormatTok->is(tok::identifier)) {
1333 nextToken();
1334 if (FormatTok->is(tok::l_paren))
1335 parseParens();
Daniel Jasper04a71a42014-05-08 11:58:24 +00001336 if (FormatTok->is(tok::comma))
1337 nextToken();
1338 }
1339 }
Daniel Jaspere189d462015-01-14 10:48:41 +00001340 // Parse try with resource.
1341 if (Style.Language == FormatStyle::LK_Java && FormatTok->is(tok::l_paren)) {
1342 parseParens();
1343 }
Daniel Jasper04a71a42014-05-08 11:58:24 +00001344 if (FormatTok->is(tok::l_brace)) {
1345 CompoundStatementIndenter Indenter(this, Style, Line->Level);
1346 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001347 if (Style.BraceWrapping.BeforeCatch) {
Daniel Jasper04a71a42014-05-08 11:58:24 +00001348 addUnwrappedLine();
1349 } else {
1350 NeedsUnwrappedLine = true;
1351 }
1352 } else if (!FormatTok->is(tok::kw_catch)) {
1353 // The C++ standard requires a compound-statement after a try.
1354 // If there's none, we try to assume there's a structuralElement
1355 // and try to continue.
Daniel Jasper04a71a42014-05-08 11:58:24 +00001356 addUnwrappedLine();
1357 ++Line->Level;
1358 parseStructuralElement();
1359 --Line->Level;
1360 }
Nico Weber33381f52015-02-07 01:57:32 +00001361 while (1) {
1362 if (FormatTok->is(tok::at))
1363 nextToken();
1364 if (!(FormatTok->isOneOf(tok::kw_catch, Keywords.kw___except,
1365 tok::kw___finally) ||
1366 ((Style.Language == FormatStyle::LK_Java ||
1367 Style.Language == FormatStyle::LK_JavaScript) &&
1368 FormatTok->is(Keywords.kw_finally)) ||
1369 (FormatTok->Tok.isObjCAtKeyword(tok::objc_catch) ||
1370 FormatTok->Tok.isObjCAtKeyword(tok::objc_finally))))
1371 break;
Daniel Jasper04a71a42014-05-08 11:58:24 +00001372 nextToken();
1373 while (FormatTok->isNot(tok::l_brace)) {
1374 if (FormatTok->is(tok::l_paren)) {
1375 parseParens();
1376 continue;
1377 }
Daniel Jasper2bd7a642015-01-19 10:50:51 +00001378 if (FormatTok->isOneOf(tok::semi, tok::r_brace, tok::eof))
Daniel Jasper04a71a42014-05-08 11:58:24 +00001379 return;
1380 nextToken();
1381 }
1382 NeedsUnwrappedLine = false;
1383 CompoundStatementIndenter Indenter(this, Style, Line->Level);
1384 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001385 if (Style.BraceWrapping.BeforeCatch)
Daniel Jasper04a71a42014-05-08 11:58:24 +00001386 addUnwrappedLine();
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001387 else
Daniel Jasper04a71a42014-05-08 11:58:24 +00001388 NeedsUnwrappedLine = true;
Daniel Jasper04a71a42014-05-08 11:58:24 +00001389 }
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001390 if (NeedsUnwrappedLine)
Daniel Jasper04a71a42014-05-08 11:58:24 +00001391 addUnwrappedLine();
Daniel Jasper04a71a42014-05-08 11:58:24 +00001392}
1393
Alexander Kornienko578fdd82012-12-06 18:03:27 +00001394void UnwrappedLineParser::parseNamespace() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001395 assert(FormatTok->Tok.is(tok::kw_namespace) && "'namespace' expected");
Roman Kashitsyna043ced2014-08-11 12:18:01 +00001396
1397 const FormatToken &InitialToken = *FormatTok;
Alexander Kornienko578fdd82012-12-06 18:03:27 +00001398 nextToken();
Saleem Abdulrasool328085f2015-10-30 05:07:56 +00001399 while (FormatTok->isOneOf(tok::identifier, tok::coloncolon))
Alexander Kornienko578fdd82012-12-06 18:03:27 +00001400 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001401 if (FormatTok->Tok.is(tok::l_brace)) {
Roman Kashitsyna043ced2014-08-11 12:18:01 +00001402 if (ShouldBreakBeforeBrace(Style, InitialToken))
Manuel Klimeka8eb9142013-05-13 12:51:40 +00001403 addUnwrappedLine();
1404
Daniel Jasper65ee3472013-07-31 23:16:02 +00001405 bool AddLevel = Style.NamespaceIndentation == FormatStyle::NI_All ||
1406 (Style.NamespaceIndentation == FormatStyle::NI_Inner &&
1407 DeclarationScopeStack.size() > 1);
1408 parseBlock(/*MustBeDeclaration=*/true, AddLevel);
Manuel Klimek046b9302013-02-06 16:08:09 +00001409 // Munch the semicolon after a namespace. This is more common than one would
1410 // think. Puttin the semicolon into its own line is very ugly.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001411 if (FormatTok->Tok.is(tok::semi))
Manuel Klimek046b9302013-02-06 16:08:09 +00001412 nextToken();
Alexander Kornienko578fdd82012-12-06 18:03:27 +00001413 addUnwrappedLine();
1414 }
1415 // FIXME: Add error handling.
1416}
1417
Daniel Jasper6acf5132015-03-12 14:44:29 +00001418void UnwrappedLineParser::parseNew() {
1419 assert(FormatTok->is(tok::kw_new) && "'new' expected");
1420 nextToken();
1421 if (Style.Language != FormatStyle::LK_Java)
1422 return;
1423
1424 // In Java, we can parse everything up to the parens, which aren't optional.
1425 do {
1426 // There should not be a ;, { or } before the new's open paren.
1427 if (FormatTok->isOneOf(tok::semi, tok::l_brace, tok::r_brace))
1428 return;
1429
1430 // Consume the parens.
1431 if (FormatTok->is(tok::l_paren)) {
1432 parseParens();
1433
1434 // If there is a class body of an anonymous class, consume that as child.
1435 if (FormatTok->is(tok::l_brace))
1436 parseChildBlock();
1437 return;
1438 }
1439 nextToken();
1440 } while (!eof());
1441}
1442
Alexander Kornienko37d6c942012-12-05 15:06:06 +00001443void UnwrappedLineParser::parseForOrWhileLoop() {
Daniel Jasper66cb8c52015-05-04 09:22:29 +00001444 assert(FormatTok->isOneOf(tok::kw_for, tok::kw_while, TT_ForEachMacro) &&
Daniel Jaspere1e43192014-04-01 12:55:11 +00001445 "'for', 'while' or foreach macro expected");
Alexander Kornienko37d6c942012-12-05 15:06:06 +00001446 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001447 if (FormatTok->Tok.is(tok::l_paren))
Manuel Klimek9fa8d552013-01-11 19:23:05 +00001448 parseParens();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001449 if (FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001450 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Nico Weber9096fc02013-06-26 00:30:14 +00001451 parseBlock(/*MustBeDeclaration=*/false);
Alexander Kornienko37d6c942012-12-05 15:06:06 +00001452 addUnwrappedLine();
1453 } else {
1454 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +00001455 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001456 parseStructuralElement();
Manuel Klimek52b15152013-01-09 15:25:02 +00001457 --Line->Level;
Alexander Kornienko37d6c942012-12-05 15:06:06 +00001458 }
1459}
1460
Daniel Jasperf7935112012-12-03 18:12:45 +00001461void UnwrappedLineParser::parseDoWhile() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001462 assert(FormatTok->Tok.is(tok::kw_do) && "'do' expected");
Daniel Jasperf7935112012-12-03 18:12:45 +00001463 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001464 if (FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001465 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Nico Weber9096fc02013-06-26 00:30:14 +00001466 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001467 if (Style.BraceWrapping.IndentBraces)
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001468 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +00001469 } else {
1470 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +00001471 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001472 parseStructuralElement();
Manuel Klimek52b15152013-01-09 15:25:02 +00001473 --Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +00001474 }
1475
Alexander Kornienko0ea8e102012-12-04 15:40:36 +00001476 // FIXME: Add error handling.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001477 if (!FormatTok->Tok.is(tok::kw_while)) {
Alexander Kornienko0ea8e102012-12-04 15:40:36 +00001478 addUnwrappedLine();
1479 return;
1480 }
1481
Daniel Jasperf7935112012-12-03 18:12:45 +00001482 nextToken();
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001483 parseStructuralElement();
Daniel Jasperf7935112012-12-03 18:12:45 +00001484}
1485
1486void UnwrappedLineParser::parseLabel() {
Daniel Jasperf7935112012-12-03 18:12:45 +00001487 nextToken();
Manuel Klimek52b15152013-01-09 15:25:02 +00001488 unsigned OldLineLevel = Line->Level;
Daniel Jaspera1275122013-03-20 10:23:53 +00001489 if (Line->Level > 1 || (!Line->InPPDirective && Line->Level > 0))
Manuel Klimek52b15152013-01-09 15:25:02 +00001490 --Line->Level;
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001491 if (CommentsBeforeNextToken.empty() && FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001492 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Nico Weber9096fc02013-06-26 00:30:14 +00001493 parseBlock(/*MustBeDeclaration=*/false);
Manuel Klimekd3ed59a2013-08-02 21:31:59 +00001494 if (FormatTok->Tok.is(tok::kw_break)) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001495 if (Style.BraceWrapping.AfterControlStatement)
Manuel Klimekd3ed59a2013-08-02 21:31:59 +00001496 addUnwrappedLine();
1497 parseStructuralElement();
1498 }
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001499 addUnwrappedLine();
1500 } else {
Daniel Jasper1fe0d5c2015-05-06 15:19:47 +00001501 if (FormatTok->is(tok::semi))
1502 nextToken();
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001503 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +00001504 }
Manuel Klimek52b15152013-01-09 15:25:02 +00001505 Line->Level = OldLineLevel;
Daniel Jasperf7935112012-12-03 18:12:45 +00001506}
1507
1508void UnwrappedLineParser::parseCaseLabel() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001509 assert(FormatTok->Tok.is(tok::kw_case) && "'case' expected");
Daniel Jasperf7935112012-12-03 18:12:45 +00001510 // FIXME: fix handling of complex expressions here.
1511 do {
1512 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001513 } while (!eof() && !FormatTok->Tok.is(tok::colon));
Daniel Jasperf7935112012-12-03 18:12:45 +00001514 parseLabel();
1515}
1516
1517void UnwrappedLineParser::parseSwitch() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001518 assert(FormatTok->Tok.is(tok::kw_switch) && "'switch' expected");
Daniel Jasperf7935112012-12-03 18:12:45 +00001519 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001520 if (FormatTok->Tok.is(tok::l_paren))
Manuel Klimek9fa8d552013-01-11 19:23:05 +00001521 parseParens();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001522 if (FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001523 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Daniel Jasper65ee3472013-07-31 23:16:02 +00001524 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperf7935112012-12-03 18:12:45 +00001525 addUnwrappedLine();
1526 } else {
1527 addUnwrappedLine();
Daniel Jasper516d7972013-07-25 11:31:57 +00001528 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001529 parseStructuralElement();
Daniel Jasper516d7972013-07-25 11:31:57 +00001530 --Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +00001531 }
1532}
1533
1534void UnwrappedLineParser::parseAccessSpecifier() {
1535 nextToken();
Daniel Jasper84c47a12013-11-23 17:53:41 +00001536 // Understand Qt's slots.
Daniel Jasper53395402015-04-07 15:04:40 +00001537 if (FormatTok->isOneOf(Keywords.kw_slots, Keywords.kw_qslots))
Daniel Jasper84c47a12013-11-23 17:53:41 +00001538 nextToken();
Alexander Kornienko2ca766f2012-12-10 16:34:48 +00001539 // Otherwise, we don't know what it is, and we'd better keep the next token.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001540 if (FormatTok->Tok.is(tok::colon))
Alexander Kornienko2ca766f2012-12-10 16:34:48 +00001541 nextToken();
Daniel Jasperf7935112012-12-03 18:12:45 +00001542 addUnwrappedLine();
1543}
1544
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001545bool UnwrappedLineParser::parseEnum() {
Daniel Jasper6be0f552014-11-13 15:56:28 +00001546 // Won't be 'enum' for NS_ENUMs.
1547 if (FormatTok->Tok.is(tok::kw_enum))
Daniel Jasperccb68b42014-11-19 22:38:18 +00001548 nextToken();
Daniel Jasper6be0f552014-11-13 15:56:28 +00001549
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001550 // In TypeScript, "enum" can also be used as property name, e.g. in interface
1551 // declarations. An "enum" keyword followed by a colon would be a syntax
1552 // error and thus assume it is just an identifier.
1553 if (Style.Language == FormatStyle::LK_JavaScript && FormatTok->is(tok::colon))
1554 return false;
1555
Daniel Jasper2b41a822013-08-20 12:42:50 +00001556 // Eat up enum class ...
Daniel Jasperb05a81d2014-05-09 13:11:16 +00001557 if (FormatTok->Tok.is(tok::kw_class) || FormatTok->Tok.is(tok::kw_struct))
1558 nextToken();
Daniel Jasperb5a0b852015-06-19 08:17:32 +00001559
Daniel Jasper786a5502013-09-06 21:32:35 +00001560 while (FormatTok->Tok.getIdentifierInfo() ||
Daniel Jasperccb68b42014-11-19 22:38:18 +00001561 FormatTok->isOneOf(tok::colon, tok::coloncolon, tok::less,
1562 tok::greater, tok::comma, tok::question)) {
Manuel Klimek2cec0192013-01-21 19:17:52 +00001563 nextToken();
1564 // We can have macros or attributes in between 'enum' and the enum name.
Daniel Jasperccb68b42014-11-19 22:38:18 +00001565 if (FormatTok->is(tok::l_paren))
Alexander Kornienkob7076a22012-12-04 14:46:19 +00001566 parseParens();
Daniel Jasperb5a0b852015-06-19 08:17:32 +00001567 if (FormatTok->is(tok::identifier)) {
Manuel Klimek2cec0192013-01-21 19:17:52 +00001568 nextToken();
Daniel Jasperb5a0b852015-06-19 08:17:32 +00001569 // If there are two identifiers in a row, this is likely an elaborate
1570 // return type. In Java, this can be "implements", etc.
1571 if (Style.Language == FormatStyle::LK_Cpp &&
1572 FormatTok->is(tok::identifier))
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001573 return false;
Daniel Jasperb5a0b852015-06-19 08:17:32 +00001574 }
Manuel Klimek2cec0192013-01-21 19:17:52 +00001575 }
Daniel Jasper6be0f552014-11-13 15:56:28 +00001576
1577 // Just a declaration or something is wrong.
Daniel Jasperccb68b42014-11-19 22:38:18 +00001578 if (FormatTok->isNot(tok::l_brace))
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001579 return true;
Daniel Jasper6be0f552014-11-13 15:56:28 +00001580 FormatTok->BlockKind = BK_Block;
1581
1582 if (Style.Language == FormatStyle::LK_Java) {
1583 // Java enums are different.
1584 parseJavaEnumBody();
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001585 return true;
1586 }
1587 if (Style.Language == FormatStyle::LK_Proto) {
Daniel Jasperc6dd2732015-07-16 14:25:43 +00001588 parseBlock(/*MustBeDeclaration=*/true);
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001589 return true;
Manuel Klimek2cec0192013-01-21 19:17:52 +00001590 }
Daniel Jasper6be0f552014-11-13 15:56:28 +00001591
1592 // Parse enum body.
1593 bool HasError = !parseBracedList(/*ContinueOnSemicolons=*/true);
1594 if (HasError) {
1595 if (FormatTok->is(tok::semi))
1596 nextToken();
1597 addUnwrappedLine();
1598 }
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001599 return true;
Daniel Jasper6be0f552014-11-13 15:56:28 +00001600
Daniel Jasper90cf3802015-06-17 09:44:02 +00001601 // There is no addUnwrappedLine() here so that we fall through to parsing a
1602 // structural element afterwards. Thus, in "enum A {} n, m;",
Manuel Klimek2cec0192013-01-21 19:17:52 +00001603 // "} n, m;" will end up in one unwrapped line.
Daniel Jasper6be0f552014-11-13 15:56:28 +00001604}
1605
1606void UnwrappedLineParser::parseJavaEnumBody() {
1607 // Determine whether the enum is simple, i.e. does not have a semicolon or
1608 // constants with class bodies. Simple enums can be formatted like braced
1609 // lists, contracted to a single line, etc.
1610 unsigned StoredPosition = Tokens->getPosition();
1611 bool IsSimple = true;
1612 FormatToken *Tok = Tokens->getNextToken();
1613 while (Tok) {
1614 if (Tok->is(tok::r_brace))
1615 break;
1616 if (Tok->isOneOf(tok::l_brace, tok::semi)) {
1617 IsSimple = false;
1618 break;
1619 }
1620 // FIXME: This will also mark enums with braces in the arguments to enum
1621 // constants as "not simple". This is probably fine in practice, though.
1622 Tok = Tokens->getNextToken();
1623 }
1624 FormatTok = Tokens->setPosition(StoredPosition);
1625
1626 if (IsSimple) {
1627 parseBracedList();
Daniel Jasperdf2ff002014-11-02 22:31:39 +00001628 addUnwrappedLine();
Daniel Jasper6be0f552014-11-13 15:56:28 +00001629 return;
1630 }
1631
1632 // Parse the body of a more complex enum.
1633 // First add a line for everything up to the "{".
1634 nextToken();
1635 addUnwrappedLine();
1636 ++Line->Level;
1637
1638 // Parse the enum constants.
1639 while (FormatTok) {
1640 if (FormatTok->is(tok::l_brace)) {
1641 // Parse the constant's class body.
1642 parseBlock(/*MustBeDeclaration=*/true, /*AddLevel=*/true,
1643 /*MunchSemi=*/false);
1644 } else if (FormatTok->is(tok::l_paren)) {
1645 parseParens();
1646 } else if (FormatTok->is(tok::comma)) {
1647 nextToken();
1648 addUnwrappedLine();
1649 } else if (FormatTok->is(tok::semi)) {
1650 nextToken();
1651 addUnwrappedLine();
1652 break;
1653 } else if (FormatTok->is(tok::r_brace)) {
1654 addUnwrappedLine();
1655 break;
1656 } else {
1657 nextToken();
1658 }
1659 }
1660
1661 // Parse the class body after the enum's ";" if any.
1662 parseLevel(/*HasOpeningBrace=*/true);
1663 nextToken();
1664 --Line->Level;
1665 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +00001666}
1667
Manuel Klimeke01bab52013-01-15 13:38:33 +00001668void UnwrappedLineParser::parseRecord() {
Roman Kashitsyna043ced2014-08-11 12:18:01 +00001669 const FormatToken &InitialToken = *FormatTok;
Manuel Klimek28cacc72013-01-07 18:10:23 +00001670 nextToken();
Daniel Jasper04785d02015-05-06 14:03:02 +00001671
Daniel Jasper04785d02015-05-06 14:03:02 +00001672 // The actual identifier can be a nested name specifier, and in macros
1673 // it is often token-pasted.
1674 while (FormatTok->isOneOf(tok::identifier, tok::coloncolon, tok::hashhash,
1675 tok::kw___attribute, tok::kw___declspec,
1676 tok::kw_alignas) ||
1677 ((Style.Language == FormatStyle::LK_Java ||
1678 Style.Language == FormatStyle::LK_JavaScript) &&
1679 FormatTok->isOneOf(tok::period, tok::comma))) {
1680 bool IsNonMacroIdentifier =
1681 FormatTok->is(tok::identifier) &&
1682 FormatTok->TokenText != FormatTok->TokenText.upper();
Manuel Klimeke01bab52013-01-15 13:38:33 +00001683 nextToken();
1684 // We can have macros or attributes in between 'class' and the class name.
Daniel Jasper04785d02015-05-06 14:03:02 +00001685 if (!IsNonMacroIdentifier && FormatTok->Tok.is(tok::l_paren))
Manuel Klimeke01bab52013-01-15 13:38:33 +00001686 parseParens();
Daniel Jasper04785d02015-05-06 14:03:02 +00001687 }
Manuel Klimeke01bab52013-01-15 13:38:33 +00001688
Daniel Jasper04785d02015-05-06 14:03:02 +00001689 // Note that parsing away template declarations here leads to incorrectly
1690 // accepting function declarations as record declarations.
1691 // In general, we cannot solve this problem. Consider:
1692 // class A<int> B() {}
1693 // which can be a function definition or a class definition when B() is a
1694 // macro. If we find enough real-world cases where this is a problem, we
1695 // can parse for the 'template' keyword in the beginning of the statement,
1696 // and thus rule out the record production in case there is no template
1697 // (this would still leave us with an ambiguity between template function
1698 // and class declarations).
Daniel Jasperadba2aa2015-05-18 12:52:00 +00001699 if (FormatTok->isOneOf(tok::colon, tok::less)) {
1700 while (!eof()) {
Daniel Jasper3c883d12015-05-18 14:49:19 +00001701 if (FormatTok->is(tok::l_brace)) {
1702 calculateBraceTypes(/*ExpectClassBody=*/true);
1703 if (!tryToParseBracedList())
1704 break;
1705 }
Daniel Jasper04785d02015-05-06 14:03:02 +00001706 if (FormatTok->Tok.is(tok::semi))
1707 return;
1708 nextToken();
Manuel Klimeke01bab52013-01-15 13:38:33 +00001709 }
1710 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001711 if (FormatTok->Tok.is(tok::l_brace)) {
Roman Kashitsyna043ced2014-08-11 12:18:01 +00001712 if (ShouldBreakBeforeBrace(Style, InitialToken))
Manuel Klimeka8eb9142013-05-13 12:51:40 +00001713 addUnwrappedLine();
1714
Daniel Jasper240dfda2014-03-31 14:23:49 +00001715 parseBlock(/*MustBeDeclaration=*/true, /*AddLevel=*/true,
Manuel Klimekb212f3b2013-10-12 22:46:56 +00001716 /*MunchSemi=*/false);
Manuel Klimeka8eb9142013-05-13 12:51:40 +00001717 }
Daniel Jasper90cf3802015-06-17 09:44:02 +00001718 // There is no addUnwrappedLine() here so that we fall through to parsing a
1719 // structural element afterwards. Thus, in "class A {} n, m;",
1720 // "} n, m;" will end up in one unwrapped line.
Manuel Klimek28cacc72013-01-07 18:10:23 +00001721}
1722
Nico Weber8696a8d2013-01-09 21:15:03 +00001723void UnwrappedLineParser::parseObjCProtocolList() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001724 assert(FormatTok->Tok.is(tok::less) && "'<' expected.");
Nico Weber8696a8d2013-01-09 21:15:03 +00001725 do
1726 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001727 while (!eof() && FormatTok->Tok.isNot(tok::greater));
Nico Weber8696a8d2013-01-09 21:15:03 +00001728 nextToken(); // Skip '>'.
1729}
1730
1731void UnwrappedLineParser::parseObjCUntilAtEnd() {
1732 do {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001733 if (FormatTok->Tok.isObjCAtKeyword(tok::objc_end)) {
Nico Weber8696a8d2013-01-09 21:15:03 +00001734 nextToken();
1735 addUnwrappedLine();
1736 break;
1737 }
Daniel Jaspera15da302013-08-28 08:04:23 +00001738 if (FormatTok->is(tok::l_brace)) {
1739 parseBlock(/*MustBeDeclaration=*/false);
1740 // In ObjC interfaces, nothing should be following the "}".
1741 addUnwrappedLine();
Benjamin Kramere21cb742014-01-08 15:59:42 +00001742 } else if (FormatTok->is(tok::r_brace)) {
1743 // Ignore stray "}". parseStructuralElement doesn't consume them.
1744 nextToken();
1745 addUnwrappedLine();
Daniel Jaspera15da302013-08-28 08:04:23 +00001746 } else {
1747 parseStructuralElement();
1748 }
Nico Weber8696a8d2013-01-09 21:15:03 +00001749 } while (!eof());
1750}
1751
Nico Weber2ce0ac52013-01-09 23:25:37 +00001752void UnwrappedLineParser::parseObjCInterfaceOrImplementation() {
Nico Weber7eecf4b2013-01-09 20:25:35 +00001753 nextToken();
Daniel Jasperd1ae3582013-03-20 12:37:50 +00001754 nextToken(); // interface name
Nico Weber7eecf4b2013-01-09 20:25:35 +00001755
1756 // @interface can be followed by either a base class, or a category.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001757 if (FormatTok->Tok.is(tok::colon)) {
Nico Weber7eecf4b2013-01-09 20:25:35 +00001758 nextToken();
Daniel Jasperd1ae3582013-03-20 12:37:50 +00001759 nextToken(); // base class name
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001760 } else if (FormatTok->Tok.is(tok::l_paren))
Nico Weber7eecf4b2013-01-09 20:25:35 +00001761 // Skip category, if present.
1762 parseParens();
1763
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001764 if (FormatTok->Tok.is(tok::less))
Nico Weber8696a8d2013-01-09 21:15:03 +00001765 parseObjCProtocolList();
Nico Weber7eecf4b2013-01-09 20:25:35 +00001766
Dinesh Dwivediea3aca82014-05-02 17:01:46 +00001767 if (FormatTok->Tok.is(tok::l_brace)) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001768 if (Style.BraceWrapping.AfterObjCDeclaration)
Dinesh Dwivediea3aca82014-05-02 17:01:46 +00001769 addUnwrappedLine();
Nico Weber9096fc02013-06-26 00:30:14 +00001770 parseBlock(/*MustBeDeclaration=*/true);
Dinesh Dwivediea3aca82014-05-02 17:01:46 +00001771 }
Nico Weber7eecf4b2013-01-09 20:25:35 +00001772
1773 // With instance variables, this puts '}' on its own line. Without instance
1774 // variables, this ends the @interface line.
1775 addUnwrappedLine();
1776
Nico Weber8696a8d2013-01-09 21:15:03 +00001777 parseObjCUntilAtEnd();
1778}
Nico Weber7eecf4b2013-01-09 20:25:35 +00001779
Nico Weber8696a8d2013-01-09 21:15:03 +00001780void UnwrappedLineParser::parseObjCProtocol() {
1781 nextToken();
Daniel Jasperd1ae3582013-03-20 12:37:50 +00001782 nextToken(); // protocol name
Nico Weber8696a8d2013-01-09 21:15:03 +00001783
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001784 if (FormatTok->Tok.is(tok::less))
Nico Weber8696a8d2013-01-09 21:15:03 +00001785 parseObjCProtocolList();
1786
1787 // Check for protocol declaration.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001788 if (FormatTok->Tok.is(tok::semi)) {
Nico Weber8696a8d2013-01-09 21:15:03 +00001789 nextToken();
1790 return addUnwrappedLine();
1791 }
1792
1793 addUnwrappedLine();
1794 parseObjCUntilAtEnd();
Nico Weber7eecf4b2013-01-09 20:25:35 +00001795}
1796
Daniel Jasperfca735c2015-02-19 16:14:18 +00001797void UnwrappedLineParser::parseJavaScriptEs6ImportExport() {
1798 assert(FormatTok->isOneOf(Keywords.kw_import, tok::kw_export));
Daniel Jasper354aa512015-02-19 16:07:32 +00001799 nextToken();
Daniel Jasperfca735c2015-02-19 16:14:18 +00001800
Daniel Jasperec05fc72015-05-11 09:14:50 +00001801 // Consume the "default" in "export default class/function".
Daniel Jasper668c7bb2015-05-11 09:03:10 +00001802 if (FormatTok->is(tok::kw_default))
1803 nextToken();
Daniel Jasperec05fc72015-05-11 09:14:50 +00001804
1805 // Consume "function" and "default function", so that these get parsed as
1806 // free-standing JS functions, i.e. do not require a trailing semicolon.
Daniel Jasper668c7bb2015-05-11 09:03:10 +00001807 if (FormatTok->is(Keywords.kw_function)) {
1808 nextToken();
1809 return;
1810 }
1811
Daniel Jasper216c9cd2015-06-12 05:08:18 +00001812 if (FormatTok->isOneOf(tok::kw_const, tok::kw_class, tok::kw_enum,
Daniel Jasper9f642f72015-09-28 14:28:08 +00001813 Keywords.kw_let, Keywords.kw_var))
Daniel Jasperfca735c2015-02-19 16:14:18 +00001814 return; // Fall through to parsing the corresponding structure.
1815
Daniel Jasperefc1a832016-01-07 08:53:35 +00001816 while (!eof() && FormatTok->isNot(tok::semi)) {
1817 if (FormatTok->is(tok::l_brace)) {
1818 FormatTok->BlockKind = BK_Block;
1819 parseBracedList();
1820 } else {
1821 nextToken();
1822 }
Daniel Jasper354aa512015-02-19 16:07:32 +00001823 }
1824}
1825
Daniel Jasper3b203a62013-09-05 16:05:56 +00001826LLVM_ATTRIBUTE_UNUSED static void printDebugInfo(const UnwrappedLine &Line,
1827 StringRef Prefix = "") {
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001828 llvm::dbgs() << Prefix << "Line(" << Line.Level << ")"
1829 << (Line.InPPDirective ? " MACRO" : "") << ": ";
1830 for (std::list<UnwrappedLineNode>::const_iterator I = Line.Tokens.begin(),
1831 E = Line.Tokens.end();
1832 I != E; ++I) {
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001833 llvm::dbgs() << I->Tok->Tok.getName() << "[" << I->Tok->Type << "] ";
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001834 }
1835 for (std::list<UnwrappedLineNode>::const_iterator I = Line.Tokens.begin(),
1836 E = Line.Tokens.end();
1837 I != E; ++I) {
1838 const UnwrappedLineNode &Node = *I;
1839 for (SmallVectorImpl<UnwrappedLine>::const_iterator
1840 I = Node.Children.begin(),
1841 E = Node.Children.end();
1842 I != E; ++I) {
1843 printDebugInfo(*I, "\nChild: ");
1844 }
1845 }
1846 llvm::dbgs() << "\n";
1847}
1848
Daniel Jasperf7935112012-12-03 18:12:45 +00001849void UnwrappedLineParser::addUnwrappedLine() {
Daniel Jasperdaffc0d2013-01-16 09:10:19 +00001850 if (Line->Tokens.empty())
Daniel Jasper7c85fde2013-01-08 14:56:18 +00001851 return;
Manuel Klimekab3dc002013-01-16 12:31:12 +00001852 DEBUG({
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001853 if (CurrentLines == &Lines)
1854 printDebugInfo(*Line);
Manuel Klimekab3dc002013-01-16 12:31:12 +00001855 });
Benjamin Kramerc7551a42015-05-31 11:18:05 +00001856 CurrentLines->push_back(std::move(*Line));
Daniel Jasperdaffc0d2013-01-16 09:10:19 +00001857 Line->Tokens.clear();
Manuel Klimekd3b92fa2013-01-18 14:04:34 +00001858 if (CurrentLines == &Lines && !PreprocessorDirectives.empty()) {
Benjamin Kramerc7551a42015-05-31 11:18:05 +00001859 CurrentLines->append(
1860 std::make_move_iterator(PreprocessorDirectives.begin()),
1861 std::make_move_iterator(PreprocessorDirectives.end()));
Manuel Klimekd3b92fa2013-01-18 14:04:34 +00001862 PreprocessorDirectives.clear();
1863 }
Daniel Jasperf7935112012-12-03 18:12:45 +00001864}
1865
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001866bool UnwrappedLineParser::eof() const { return FormatTok->Tok.is(tok::eof); }
Daniel Jasperf7935112012-12-03 18:12:45 +00001867
Daniel Jasperb05a81d2014-05-09 13:11:16 +00001868bool UnwrappedLineParser::isOnNewLine(const FormatToken &FormatTok) {
Manuel Klimek1fcbe672014-04-11 12:27:47 +00001869 return (Line->InPPDirective || FormatTok.HasUnescapedNewline) &&
1870 FormatTok.NewlinesBefore > 0;
1871}
1872
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001873void UnwrappedLineParser::flushComments(bool NewlineBeforeNext) {
1874 bool JustComments = Line->Tokens.empty();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001875 for (SmallVectorImpl<FormatToken *>::const_iterator
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001876 I = CommentsBeforeNextToken.begin(),
1877 E = CommentsBeforeNextToken.end();
1878 I != E; ++I) {
Daniel Jaspere60cba12015-05-13 11:35:53 +00001879 if (isOnNewLine(**I) && JustComments)
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001880 addUnwrappedLine();
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001881 pushToken(*I);
1882 }
Daniel Jaspere60cba12015-05-13 11:35:53 +00001883 if (NewlineBeforeNext && JustComments)
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001884 addUnwrappedLine();
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001885 CommentsBeforeNextToken.clear();
1886}
1887
Daniel Jasperf7935112012-12-03 18:12:45 +00001888void UnwrappedLineParser::nextToken() {
1889 if (eof())
1890 return;
Manuel Klimek1fcbe672014-04-11 12:27:47 +00001891 flushComments(isOnNewLine(*FormatTok));
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001892 pushToken(FormatTok);
Manuel Klimek1abf7892013-01-04 23:34:14 +00001893 readToken();
1894}
1895
Daniel Jasperb9a49902016-01-09 15:56:28 +00001896const FormatToken *UnwrappedLineParser::getPreviousToken() {
1897 // FIXME: This is a dirty way to access the previous token. Find a better
1898 // solution.
1899 if (!Line || Line->Tokens.empty())
1900 return nullptr;
1901 return Line->Tokens.back().Tok;
1902}
1903
Manuel Klimek1abf7892013-01-04 23:34:14 +00001904void UnwrappedLineParser::readToken() {
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001905 bool CommentsInCurrentLine = true;
1906 do {
1907 FormatTok = Tokens->getNextToken();
Alexander Kornienkoc2ee9cf2014-03-13 13:59:48 +00001908 assert(FormatTok);
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001909 while (!Line->InPPDirective && FormatTok->Tok.is(tok::hash) &&
1910 (FormatTok->HasUnescapedNewline || FormatTok->IsFirst)) {
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001911 // If there is an unfinished unwrapped line, we flush the preprocessor
1912 // directives only after that unwrapped line was finished later.
Daniel Jasper29d39d52015-02-08 09:34:49 +00001913 bool SwitchToPreprocessorLines = !Line->Tokens.empty();
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001914 ScopedLineState BlockState(*this, SwitchToPreprocessorLines);
Alexander Kornienkob1be9d62013-04-03 12:38:53 +00001915 // Comments stored before the preprocessor directive need to be output
1916 // before the preprocessor directive, at the same level as the
1917 // preprocessor directive, as we consider them to apply to the directive.
Manuel Klimek1fcbe672014-04-11 12:27:47 +00001918 flushComments(isOnNewLine(*FormatTok));
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001919 parsePPDirective();
1920 }
Manuel Klimek68b03042014-04-14 09:14:11 +00001921 while (FormatTok->Type == TT_ConflictStart ||
1922 FormatTok->Type == TT_ConflictEnd ||
1923 FormatTok->Type == TT_ConflictAlternative) {
1924 if (FormatTok->Type == TT_ConflictStart) {
1925 conditionalCompilationStart(/*Unreachable=*/false);
1926 } else if (FormatTok->Type == TT_ConflictAlternative) {
1927 conditionalCompilationAlternative();
Daniel Jasperb05a81d2014-05-09 13:11:16 +00001928 } else if (FormatTok->Type == TT_ConflictEnd) {
Manuel Klimek68b03042014-04-14 09:14:11 +00001929 conditionalCompilationEnd();
1930 }
1931 FormatTok = Tokens->getNextToken();
1932 FormatTok->MustBreakBefore = true;
1933 }
Alexander Kornienkof2e02122013-05-24 18:24:24 +00001934
1935 if (!PPStack.empty() && (PPStack.back() == PP_Unreachable) &&
1936 !Line->InPPDirective) {
1937 continue;
1938 }
1939
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001940 if (!FormatTok->Tok.is(tok::comment))
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001941 return;
Manuel Klimek1fcbe672014-04-11 12:27:47 +00001942 if (isOnNewLine(*FormatTok) || FormatTok->IsFirst) {
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001943 CommentsInCurrentLine = false;
1944 }
1945 if (CommentsInCurrentLine) {
1946 pushToken(FormatTok);
1947 } else {
1948 CommentsBeforeNextToken.push_back(FormatTok);
1949 }
1950 } while (!eof());
1951}
1952
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001953void UnwrappedLineParser::pushToken(FormatToken *Tok) {
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001954 Line->Tokens.push_back(UnwrappedLineNode(Tok));
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001955 if (MustBreakBeforeNextToken) {
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001956 Line->Tokens.back().Tok->MustBreakBefore = true;
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001957 MustBreakBeforeNextToken = false;
Manuel Klimek1abf7892013-01-04 23:34:14 +00001958 }
Daniel Jasperf7935112012-12-03 18:12:45 +00001959}
1960
Daniel Jasper8d1832e2013-01-07 13:26:07 +00001961} // end namespace format
1962} // end namespace clang