blob: 26ba929175dff4241c90fe5c162cf243d4f8f16d [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;
Manuel Klimekab419912013-05-23 09:41:43 +0000318 // Keep a stack of positions of lbrace tokens. We will
319 // update information about whether an lbrace starts a
320 // braced init list or a different block during the loop.
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000321 SmallVector<FormatToken *, 8> LBraceStack;
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000322 assert(Tok->Tok.is(tok::l_brace));
Manuel Klimekab419912013-05-23 09:41:43 +0000323 do {
Daniel Jaspereb65e912015-12-21 18:31:15 +0000324 // Get next non-comment token.
Daniel Jasper7f5d53e2013-07-01 09:15:46 +0000325 FormatToken *NextTok;
Daniel Jasperca7bd722013-07-01 16:43:38 +0000326 unsigned ReadTokens = 0;
Daniel Jasper7f5d53e2013-07-01 09:15:46 +0000327 do {
328 NextTok = Tokens->getNextToken();
Daniel Jasperca7bd722013-07-01 16:43:38 +0000329 ++ReadTokens;
Daniel Jasper7f5d53e2013-07-01 09:15:46 +0000330 } while (NextTok->is(tok::comment));
331
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000332 switch (Tok->Tok.getKind()) {
Manuel Klimekab419912013-05-23 09:41:43 +0000333 case tok::l_brace:
Daniel Jasper3c883d12015-05-18 14:49:19 +0000334 Tok->BlockKind = BK_Unknown;
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000335 LBraceStack.push_back(Tok);
Manuel Klimekab419912013-05-23 09:41:43 +0000336 break;
337 case tok::r_brace:
338 if (!LBraceStack.empty()) {
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000339 if (LBraceStack.back()->BlockKind == BK_Unknown) {
Daniel Jasper220c0d12014-04-10 07:27:12 +0000340 bool ProbablyBracedList = false;
341 if (Style.Language == FormatStyle::LK_Proto) {
342 ProbablyBracedList = NextTok->isOneOf(tok::comma, tok::r_square);
343 } else {
Daniel Jasper91b032a2014-05-22 12:46:38 +0000344 // Using OriginalColumn to distinguish between ObjC methods and
345 // binary operators is a bit hacky.
346 bool NextIsObjCMethod = NextTok->isOneOf(tok::plus, tok::minus) &&
347 NextTok->OriginalColumn == 0;
348
Daniel Jasper220c0d12014-04-10 07:27:12 +0000349 // If there is a comma, semicolon or right paren after the closing
350 // brace, we assume this is a braced initializer list. Note that
351 // regardless how we mark inner braces here, we will overwrite the
352 // BlockKind later if we parse a braced list (where all blocks
353 // inside are by default braced lists), or when we explicitly detect
354 // blocks (for example while parsing lambdas).
355 //
356 // We exclude + and - as they can be ObjC visibility modifiers.
357 ProbablyBracedList =
Daniel Jasperadba2aa2015-05-18 12:52:00 +0000358 NextTok->isOneOf(tok::comma, tok::period, tok::colon,
Daniel Jasper438059e2014-05-22 12:11:13 +0000359 tok::r_paren, tok::r_square, tok::l_brace,
Daniel Jasperb542f9f2015-12-22 15:48:35 +0000360 tok::l_square, tok::l_paren, tok::ellipsis) ||
Daniel Jaspercec9ffd2015-05-18 14:12:24 +0000361 (NextTok->is(tok::semi) &&
362 (!ExpectClassBody || LBraceStack.size() != 1)) ||
Daniel Jasper91b032a2014-05-22 12:46:38 +0000363 (NextTok->isBinaryOperator() && !NextIsObjCMethod);
Daniel Jasper220c0d12014-04-10 07:27:12 +0000364 }
365 if (ProbablyBracedList) {
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000366 Tok->BlockKind = BK_BracedInit;
367 LBraceStack.back()->BlockKind = BK_BracedInit;
368 } else {
369 Tok->BlockKind = BK_Block;
370 LBraceStack.back()->BlockKind = BK_Block;
371 }
Manuel Klimekab419912013-05-23 09:41:43 +0000372 }
373 LBraceStack.pop_back();
374 }
375 break;
Daniel Jasperac7e34e2014-03-13 10:11:17 +0000376 case tok::at:
Manuel Klimekab419912013-05-23 09:41:43 +0000377 case tok::semi:
378 case tok::kw_if:
379 case tok::kw_while:
380 case tok::kw_for:
381 case tok::kw_switch:
382 case tok::kw_try:
Nico Weberfac23712015-02-04 15:26:27 +0000383 case tok::kw___try:
Daniel Jasper393564f2013-05-31 14:56:29 +0000384 if (!LBraceStack.empty())
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000385 LBraceStack.back()->BlockKind = BK_Block;
Manuel Klimekab419912013-05-23 09:41:43 +0000386 break;
387 default:
388 break;
389 }
390 Tok = NextTok;
Manuel Klimekbab25fd2013-09-04 08:20:47 +0000391 } while (Tok->Tok.isNot(tok::eof) && !LBraceStack.empty());
Manuel Klimekab419912013-05-23 09:41:43 +0000392 // Assume other blocks for all unclosed opening braces.
393 for (unsigned i = 0, e = LBraceStack.size(); i != e; ++i) {
Daniel Jasperb1f74a82013-07-09 09:06:29 +0000394 if (LBraceStack[i]->BlockKind == BK_Unknown)
395 LBraceStack[i]->BlockKind = BK_Block;
Manuel Klimekab419912013-05-23 09:41:43 +0000396 }
Manuel Klimekbab25fd2013-09-04 08:20:47 +0000397
Manuel Klimekab419912013-05-23 09:41:43 +0000398 FormatTok = Tokens->setPosition(StoredPosition);
399}
400
Manuel Klimekb212f3b2013-10-12 22:46:56 +0000401void UnwrappedLineParser::parseBlock(bool MustBeDeclaration, bool AddLevel,
402 bool MunchSemi) {
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000403 assert(FormatTok->isOneOf(tok::l_brace, TT_MacroBlockBegin) &&
404 "'{' or macro block token expected");
405 const bool MacroBlock = FormatTok->is(TT_MacroBlockBegin);
Daniel Jaspereb65e912015-12-21 18:31:15 +0000406 FormatTok->BlockKind = BK_Block;
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000407
Daniel Jasper516d7972013-07-25 11:31:57 +0000408 unsigned InitialLevel = Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +0000409 nextToken();
410
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000411 if (MacroBlock && FormatTok->is(tok::l_paren))
412 parseParens();
413
Manuel Klimeka4fe1c12013-01-21 16:42:44 +0000414 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +0000415
Manuel Klimek0a3a3c92013-01-23 09:32:48 +0000416 ScopedDeclarationState DeclarationState(*Line, DeclarationScopeStack,
417 MustBeDeclaration);
Daniel Jasper65ee3472013-07-31 23:16:02 +0000418 if (AddLevel)
419 ++Line->Level;
Nico Weber9096fc02013-06-26 00:30:14 +0000420 parseLevel(/*HasOpeningBrace=*/true);
Alexander Kornienko578fdd82012-12-06 18:03:27 +0000421
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000422 if (MacroBlock ? !FormatTok->is(TT_MacroBlockEnd)
423 : !FormatTok->is(tok::r_brace)) {
Daniel Jasper516d7972013-07-25 11:31:57 +0000424 Line->Level = InitialLevel;
Daniel Jaspereb65e912015-12-21 18:31:15 +0000425 FormatTok->BlockKind = BK_Block;
Manuel Klimek1a18c402013-04-12 14:13:36 +0000426 return;
Manuel Klimekf92f7bc2013-01-22 16:31:55 +0000427 }
Alexander Kornienko0ea8e102012-12-04 15:40:36 +0000428
Daniel Jasperd1ae3582013-03-20 12:37:50 +0000429 nextToken(); // Munch the closing brace.
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000430
431 if (MacroBlock && FormatTok->is(tok::l_paren))
432 parseParens();
433
Manuel Klimekb212f3b2013-10-12 22:46:56 +0000434 if (MunchSemi && FormatTok->Tok.is(tok::semi))
435 nextToken();
Daniel Jasper516d7972013-07-25 11:31:57 +0000436 Line->Level = InitialLevel;
Daniel Jasperf7935112012-12-03 18:12:45 +0000437}
438
Daniel Jasper02c7bca2015-03-30 09:56:50 +0000439static bool isGoogScope(const UnwrappedLine &Line) {
Daniel Jasper616de8642014-11-23 16:46:28 +0000440 // FIXME: Closure-library specific stuff should not be hard-coded but be
441 // configurable.
Daniel Jasper4a39c842014-05-06 13:54:10 +0000442 if (Line.Tokens.size() < 4)
443 return false;
444 auto I = Line.Tokens.begin();
445 if (I->Tok->TokenText != "goog")
446 return false;
447 ++I;
448 if (I->Tok->isNot(tok::period))
449 return false;
450 ++I;
451 if (I->Tok->TokenText != "scope")
452 return false;
453 ++I;
454 return I->Tok->is(tok::l_paren);
455}
456
Roman Kashitsyna043ced2014-08-11 12:18:01 +0000457static bool ShouldBreakBeforeBrace(const FormatStyle &Style,
458 const FormatToken &InitialToken) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +0000459 if (InitialToken.is(tok::kw_namespace))
460 return Style.BraceWrapping.AfterNamespace;
461 if (InitialToken.is(tok::kw_class))
462 return Style.BraceWrapping.AfterClass;
463 if (InitialToken.is(tok::kw_union))
464 return Style.BraceWrapping.AfterUnion;
465 if (InitialToken.is(tok::kw_struct))
466 return Style.BraceWrapping.AfterStruct;
467 return false;
Roman Kashitsyna043ced2014-08-11 12:18:01 +0000468}
469
Manuel Klimek516e0542013-09-04 13:25:30 +0000470void UnwrappedLineParser::parseChildBlock() {
471 FormatTok->BlockKind = BK_Block;
472 nextToken();
473 {
Daniel Jasper4a39c842014-05-06 13:54:10 +0000474 bool GoogScope =
Daniel Jasper02c7bca2015-03-30 09:56:50 +0000475 Style.Language == FormatStyle::LK_JavaScript && isGoogScope(*Line);
Manuel Klimek516e0542013-09-04 13:25:30 +0000476 ScopedLineState LineState(*this);
477 ScopedDeclarationState DeclarationState(*Line, DeclarationScopeStack,
478 /*MustBeDeclaration=*/false);
Daniel Jasper4a39c842014-05-06 13:54:10 +0000479 Line->Level += GoogScope ? 0 : 1;
Manuel Klimek516e0542013-09-04 13:25:30 +0000480 parseLevel(/*HasOpeningBrace=*/true);
Daniel Jasper02c7bca2015-03-30 09:56:50 +0000481 flushComments(isOnNewLine(*FormatTok));
Daniel Jasper4a39c842014-05-06 13:54:10 +0000482 Line->Level -= GoogScope ? 0 : 1;
Manuel Klimek516e0542013-09-04 13:25:30 +0000483 }
484 nextToken();
485}
486
Daniel Jasperf7935112012-12-03 18:12:45 +0000487void UnwrappedLineParser::parsePPDirective() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000488 assert(FormatTok->Tok.is(tok::hash) && "'#' expected");
Manuel Klimek20e0af62015-05-06 11:56:29 +0000489 ScopedMacroState MacroState(*Line, Tokens, FormatTok);
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000490 nextToken();
491
Craig Topper2145bc02014-05-09 08:15:10 +0000492 if (!FormatTok->Tok.getIdentifierInfo()) {
Manuel Klimek591b5802013-01-31 15:58:48 +0000493 parsePPUnknown();
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000494 return;
Daniel Jasperf7935112012-12-03 18:12:45 +0000495 }
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000496
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000497 switch (FormatTok->Tok.getIdentifierInfo()->getPPKeywordID()) {
Manuel Klimek1abf7892013-01-04 23:34:14 +0000498 case tok::pp_define:
499 parsePPDefine();
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000500 return;
501 case tok::pp_if:
Manuel Klimek71814b42013-10-11 21:25:45 +0000502 parsePPIf(/*IfDef=*/false);
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000503 break;
504 case tok::pp_ifdef:
505 case tok::pp_ifndef:
Manuel Klimek71814b42013-10-11 21:25:45 +0000506 parsePPIf(/*IfDef=*/true);
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000507 break;
508 case tok::pp_else:
509 parsePPElse();
510 break;
511 case tok::pp_elif:
512 parsePPElIf();
513 break;
514 case tok::pp_endif:
515 parsePPEndIf();
Manuel Klimek1abf7892013-01-04 23:34:14 +0000516 break;
517 default:
518 parsePPUnknown();
519 break;
520 }
521}
522
Manuel Klimek68b03042014-04-14 09:14:11 +0000523void UnwrappedLineParser::conditionalCompilationCondition(bool Unreachable) {
524 if (Unreachable || (!PPStack.empty() && PPStack.back() == PP_Unreachable))
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000525 PPStack.push_back(PP_Unreachable);
526 else
527 PPStack.push_back(PP_Conditional);
528}
529
Manuel Klimek68b03042014-04-14 09:14:11 +0000530void UnwrappedLineParser::conditionalCompilationStart(bool Unreachable) {
Manuel Klimek71814b42013-10-11 21:25:45 +0000531 ++PPBranchLevel;
532 assert(PPBranchLevel >= 0 && PPBranchLevel <= (int)PPLevelBranchIndex.size());
533 if (PPBranchLevel == (int)PPLevelBranchIndex.size()) {
534 PPLevelBranchIndex.push_back(0);
535 PPLevelBranchCount.push_back(0);
536 }
537 PPChainBranchIndex.push(0);
Manuel Klimek68b03042014-04-14 09:14:11 +0000538 bool Skip = PPLevelBranchIndex[PPBranchLevel] > 0;
539 conditionalCompilationCondition(Unreachable || Skip);
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000540}
541
Manuel Klimek68b03042014-04-14 09:14:11 +0000542void UnwrappedLineParser::conditionalCompilationAlternative() {
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000543 if (!PPStack.empty())
544 PPStack.pop_back();
Manuel Klimek71814b42013-10-11 21:25:45 +0000545 assert(PPBranchLevel < (int)PPLevelBranchIndex.size());
546 if (!PPChainBranchIndex.empty())
547 ++PPChainBranchIndex.top();
Manuel Klimek68b03042014-04-14 09:14:11 +0000548 conditionalCompilationCondition(
549 PPBranchLevel >= 0 && !PPChainBranchIndex.empty() &&
550 PPLevelBranchIndex[PPBranchLevel] != PPChainBranchIndex.top());
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000551}
552
Manuel Klimek68b03042014-04-14 09:14:11 +0000553void UnwrappedLineParser::conditionalCompilationEnd() {
Manuel Klimek71814b42013-10-11 21:25:45 +0000554 assert(PPBranchLevel < (int)PPLevelBranchIndex.size());
555 if (PPBranchLevel >= 0 && !PPChainBranchIndex.empty()) {
556 if (PPChainBranchIndex.top() + 1 > PPLevelBranchCount[PPBranchLevel]) {
Manuel Klimek71814b42013-10-11 21:25:45 +0000557 PPLevelBranchCount[PPBranchLevel] = PPChainBranchIndex.top() + 1;
558 }
559 }
Manuel Klimek14bd9172014-01-29 08:49:02 +0000560 // Guard against #endif's without #if.
561 if (PPBranchLevel > 0)
562 --PPBranchLevel;
Manuel Klimek71814b42013-10-11 21:25:45 +0000563 if (!PPChainBranchIndex.empty())
564 PPChainBranchIndex.pop();
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000565 if (!PPStack.empty())
566 PPStack.pop_back();
Manuel Klimek68b03042014-04-14 09:14:11 +0000567}
568
569void UnwrappedLineParser::parsePPIf(bool IfDef) {
570 nextToken();
571 bool IsLiteralFalse = (FormatTok->Tok.isLiteral() &&
Daniel Jasper9d22bcc2015-01-19 10:51:05 +0000572 FormatTok->Tok.getLiteralData() != nullptr &&
Manuel Klimek68b03042014-04-14 09:14:11 +0000573 StringRef(FormatTok->Tok.getLiteralData(),
574 FormatTok->Tok.getLength()) == "0") ||
575 FormatTok->Tok.is(tok::kw_false);
576 conditionalCompilationStart(!IfDef && IsLiteralFalse);
577 parsePPUnknown();
578}
579
580void UnwrappedLineParser::parsePPElse() {
581 conditionalCompilationAlternative();
582 parsePPUnknown();
583}
584
585void UnwrappedLineParser::parsePPElIf() { parsePPElse(); }
586
587void UnwrappedLineParser::parsePPEndIf() {
588 conditionalCompilationEnd();
Alexander Kornienkof2e02122013-05-24 18:24:24 +0000589 parsePPUnknown();
590}
591
Manuel Klimek1abf7892013-01-04 23:34:14 +0000592void UnwrappedLineParser::parsePPDefine() {
593 nextToken();
594
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000595 if (FormatTok->Tok.getKind() != tok::identifier) {
Manuel Klimek1abf7892013-01-04 23:34:14 +0000596 parsePPUnknown();
597 return;
598 }
599 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000600 if (FormatTok->Tok.getKind() == tok::l_paren &&
601 FormatTok->WhitespaceRange.getBegin() ==
602 FormatTok->WhitespaceRange.getEnd()) {
Manuel Klimek1abf7892013-01-04 23:34:14 +0000603 parseParens();
604 }
605 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +0000606 Line->Level = 1;
Manuel Klimek1b896292013-01-07 09:34:28 +0000607
608 // Errors during a preprocessor directive can only affect the layout of the
609 // preprocessor directive, and thus we ignore them. An alternative approach
610 // would be to use the same approach we use on the file level (no
611 // re-indentation if there was a structural error) within the macro
612 // definition.
Manuel Klimek1abf7892013-01-04 23:34:14 +0000613 parseFile();
614}
615
616void UnwrappedLineParser::parsePPUnknown() {
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000617 do {
Manuel Klimeka71e5d82013-01-02 16:30:12 +0000618 nextToken();
619 } while (!eof());
620 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +0000621}
622
Alexander Kornienkoa04e5e22013-04-09 16:15:19 +0000623// Here we blacklist certain tokens that are not usually the first token in an
624// unwrapped line. This is used in attempt to distinguish macro calls without
625// trailing semicolons from other constructs split to several lines.
Benjamin Kramer8407df72015-03-09 16:47:52 +0000626static bool tokenCanStartNewLine(const clang::Token &Tok) {
Alexander Kornienkoa04e5e22013-04-09 16:15:19 +0000627 // Semicolon can be a null-statement, l_square can be a start of a macro or
628 // a C++11 attribute, but this doesn't seem to be common.
629 return Tok.isNot(tok::semi) && Tok.isNot(tok::l_brace) &&
630 Tok.isNot(tok::l_square) &&
631 // Tokens that can only be used as binary operators and a part of
632 // overloaded operator names.
633 Tok.isNot(tok::period) && Tok.isNot(tok::periodstar) &&
634 Tok.isNot(tok::arrow) && Tok.isNot(tok::arrowstar) &&
635 Tok.isNot(tok::less) && Tok.isNot(tok::greater) &&
636 Tok.isNot(tok::slash) && Tok.isNot(tok::percent) &&
637 Tok.isNot(tok::lessless) && Tok.isNot(tok::greatergreater) &&
638 Tok.isNot(tok::equal) && Tok.isNot(tok::plusequal) &&
639 Tok.isNot(tok::minusequal) && Tok.isNot(tok::starequal) &&
640 Tok.isNot(tok::slashequal) && Tok.isNot(tok::percentequal) &&
641 Tok.isNot(tok::ampequal) && Tok.isNot(tok::pipeequal) &&
642 Tok.isNot(tok::caretequal) && Tok.isNot(tok::greatergreaterequal) &&
643 Tok.isNot(tok::lesslessequal) &&
644 // Colon is used in labels, base class lists, initializer lists,
645 // range-based for loops, ternary operator, but should never be the
646 // first token in an unwrapped line.
Daniel Jasper5ebb2f32014-05-21 13:08:17 +0000647 Tok.isNot(tok::colon) &&
648 // 'noexcept' is a trailing annotation.
649 Tok.isNot(tok::kw_noexcept);
Alexander Kornienkoa04e5e22013-04-09 16:15:19 +0000650}
651
Manuel Klimek6b9eeba2013-01-07 14:56:16 +0000652void UnwrappedLineParser::parseStructuralElement() {
Daniel Jasper498f5582015-12-25 08:53:31 +0000653 assert(!FormatTok->is(tok::l_brace));
654 if (Style.Language == FormatStyle::LK_TableGen &&
655 FormatTok->is(tok::pp_include)) {
656 nextToken();
657 if (FormatTok->is(tok::string_literal))
658 nextToken();
659 addUnwrappedLine();
660 return;
661 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000662 switch (FormatTok->Tok.getKind()) {
Nico Weber04e9f1a2013-01-07 19:05:19 +0000663 case tok::at:
664 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000665 if (FormatTok->Tok.is(tok::l_brace)) {
Nico Weber372d8dc2013-02-10 20:35:35 +0000666 parseBracedList();
667 break;
668 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000669 switch (FormatTok->Tok.getObjCKeywordID()) {
Nico Weber04e9f1a2013-01-07 19:05:19 +0000670 case tok::objc_public:
671 case tok::objc_protected:
672 case tok::objc_package:
673 case tok::objc_private:
674 return parseAccessSpecifier();
Nico Weber7eecf4b2013-01-09 20:25:35 +0000675 case tok::objc_interface:
Nico Weber2ce0ac52013-01-09 23:25:37 +0000676 case tok::objc_implementation:
677 return parseObjCInterfaceOrImplementation();
Nico Weber8696a8d2013-01-09 21:15:03 +0000678 case tok::objc_protocol:
679 return parseObjCProtocol();
Nico Weberd8ffe752013-01-09 21:42:32 +0000680 case tok::objc_end:
681 return; // Handled by the caller.
Nico Weber51306d22013-01-10 00:25:19 +0000682 case tok::objc_optional:
683 case tok::objc_required:
684 nextToken();
685 addUnwrappedLine();
686 return;
Nico Weber45c48122015-06-28 01:06:16 +0000687 case tok::objc_autoreleasepool:
688 nextToken();
689 if (FormatTok->Tok.is(tok::l_brace)) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +0000690 if (Style.BraceWrapping.AfterObjCDeclaration)
Nico Weber45c48122015-06-28 01:06:16 +0000691 addUnwrappedLine();
692 parseBlock(/*MustBeDeclaration=*/false);
693 }
694 addUnwrappedLine();
695 return;
Nico Weber33381f52015-02-07 01:57:32 +0000696 case tok::objc_try:
697 // This branch isn't strictly necessary (the kw_try case below would
698 // do this too after the tok::at is parsed above). But be explicit.
699 parseTryCatch();
700 return;
Nico Weber04e9f1a2013-01-07 19:05:19 +0000701 default:
702 break;
703 }
704 break;
Daniel Jasper8f463652014-08-26 23:15:12 +0000705 case tok::kw_asm:
Daniel Jasper8f463652014-08-26 23:15:12 +0000706 nextToken();
707 if (FormatTok->is(tok::l_brace)) {
Daniel Jasperc6366072015-05-10 08:42:04 +0000708 FormatTok->Type = TT_InlineASMBrace;
Daniel Jasper2337f282015-01-12 10:14:56 +0000709 nextToken();
Daniel Jasper4429f142014-08-27 17:16:46 +0000710 while (FormatTok && FormatTok->isNot(tok::eof)) {
Daniel Jasper8f463652014-08-26 23:15:12 +0000711 if (FormatTok->is(tok::r_brace)) {
Daniel Jasperc6366072015-05-10 08:42:04 +0000712 FormatTok->Type = TT_InlineASMBrace;
Daniel Jasper8f463652014-08-26 23:15:12 +0000713 nextToken();
Daniel Jasper790d4f92015-05-11 11:59:46 +0000714 addUnwrappedLine();
Daniel Jasper8f463652014-08-26 23:15:12 +0000715 break;
716 }
Daniel Jasper2337f282015-01-12 10:14:56 +0000717 FormatTok->Finalized = true;
Daniel Jasper8f463652014-08-26 23:15:12 +0000718 nextToken();
719 }
720 }
721 break;
Alexander Kornienko578fdd82012-12-06 18:03:27 +0000722 case tok::kw_namespace:
723 parseNamespace();
724 return;
Dmitri Gribenko58d64e22012-12-30 21:27:25 +0000725 case tok::kw_inline:
726 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000727 if (FormatTok->Tok.is(tok::kw_namespace)) {
Dmitri Gribenko58d64e22012-12-30 21:27:25 +0000728 parseNamespace();
729 return;
730 }
731 break;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000732 case tok::kw_public:
733 case tok::kw_protected:
734 case tok::kw_private:
Daniel Jasper83709082015-02-18 17:14:05 +0000735 if (Style.Language == FormatStyle::LK_Java ||
736 Style.Language == FormatStyle::LK_JavaScript)
Daniel Jasperc58c70e2014-09-15 11:21:46 +0000737 nextToken();
738 else
739 parseAccessSpecifier();
Daniel Jasperf7935112012-12-03 18:12:45 +0000740 return;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000741 case tok::kw_if:
742 parseIfThenElse();
Daniel Jasperf7935112012-12-03 18:12:45 +0000743 return;
Alexander Kornienko37d6c942012-12-05 15:06:06 +0000744 case tok::kw_for:
745 case tok::kw_while:
746 parseForOrWhileLoop();
747 return;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000748 case tok::kw_do:
749 parseDoWhile();
750 return;
751 case tok::kw_switch:
752 parseSwitch();
753 return;
754 case tok::kw_default:
755 nextToken();
756 parseLabel();
757 return;
758 case tok::kw_case:
759 parseCaseLabel();
760 return;
Daniel Jasper04a71a42014-05-08 11:58:24 +0000761 case tok::kw_try:
Nico Weberfac23712015-02-04 15:26:27 +0000762 case tok::kw___try:
Daniel Jasper04a71a42014-05-08 11:58:24 +0000763 parseTryCatch();
764 return;
Manuel Klimekae610d12013-01-21 14:32:05 +0000765 case tok::kw_extern:
766 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000767 if (FormatTok->Tok.is(tok::string_literal)) {
Manuel Klimekae610d12013-01-21 14:32:05 +0000768 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000769 if (FormatTok->Tok.is(tok::l_brace)) {
Daniel Jasper65ee3472013-07-31 23:16:02 +0000770 parseBlock(/*MustBeDeclaration=*/true, /*AddLevel=*/false);
Manuel Klimekae610d12013-01-21 14:32:05 +0000771 addUnwrappedLine();
772 return;
773 }
774 }
Daniel Jaspere1e43192014-04-01 12:55:11 +0000775 break;
Daniel Jasperfca735c2015-02-19 16:14:18 +0000776 case tok::kw_export:
777 if (Style.Language == FormatStyle::LK_JavaScript) {
778 parseJavaScriptEs6ImportExport();
779 return;
780 }
781 break;
Daniel Jaspere1e43192014-04-01 12:55:11 +0000782 case tok::identifier:
Daniel Jasper66cb8c52015-05-04 09:22:29 +0000783 if (FormatTok->is(TT_ForEachMacro)) {
Daniel Jaspere1e43192014-04-01 12:55:11 +0000784 parseForOrWhileLoop();
785 return;
786 }
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000787 if (FormatTok->is(TT_MacroBlockBegin)) {
788 parseBlock(/*MustBeDeclaration=*/false, /*AddLevel=*/true,
789 /*MunchSemi=*/false);
790 return;
791 }
Daniel Jasper354aa512015-02-19 16:07:32 +0000792 if (Style.Language == FormatStyle::LK_JavaScript &&
793 FormatTok->is(Keywords.kw_import)) {
Daniel Jasperfca735c2015-02-19 16:14:18 +0000794 parseJavaScriptEs6ImportExport();
Daniel Jasper354aa512015-02-19 16:07:32 +0000795 return;
796 }
Daniel Jaspera00de632015-12-01 12:05:04 +0000797 if (FormatTok->isOneOf(Keywords.kw_signals, Keywords.kw_qsignals,
798 Keywords.kw_slots, Keywords.kw_qslots)) {
Daniel Jasperde0d1f32015-04-24 07:50:34 +0000799 nextToken();
800 if (FormatTok->is(tok::colon)) {
801 nextToken();
802 addUnwrappedLine();
803 }
Daniel Jasper53395402015-04-07 15:04:40 +0000804 return;
805 }
Manuel Klimekae610d12013-01-21 14:32:05 +0000806 // In all other cases, parse the declaration.
807 break;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000808 default:
809 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000810 }
Daniel Jasperf7935112012-12-03 18:12:45 +0000811 do {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000812 switch (FormatTok->Tok.getKind()) {
Nico Weber372d8dc2013-02-10 20:35:35 +0000813 case tok::at:
814 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000815 if (FormatTok->Tok.is(tok::l_brace))
Nico Weber372d8dc2013-02-10 20:35:35 +0000816 parseBracedList();
817 break;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000818 case tok::kw_enum:
Daniel Jasper90cf3802015-06-17 09:44:02 +0000819 // parseEnum falls through and does not yet add an unwrapped line as an
820 // enum definition can start a structural element.
Daniel Jasper6f5a1932015-12-29 08:54:23 +0000821 if (!parseEnum())
822 break;
Daniel Jasperc6dd2732015-07-16 14:25:43 +0000823 // This only applies for C++.
824 if (Style.Language != FormatStyle::LK_Cpp) {
Daniel Jasper90cf3802015-06-17 09:44:02 +0000825 addUnwrappedLine();
826 return;
827 }
Manuel Klimek2cec0192013-01-21 19:17:52 +0000828 break;
Daniel Jaspera88f80a2014-01-30 14:38:37 +0000829 case tok::kw_typedef:
830 nextToken();
Daniel Jasper31f6c542014-12-05 10:42:21 +0000831 if (FormatTok->isOneOf(Keywords.kw_NS_ENUM, Keywords.kw_NS_OPTIONS,
832 Keywords.kw_CF_ENUM, Keywords.kw_CF_OPTIONS))
Daniel Jaspera88f80a2014-01-30 14:38:37 +0000833 parseEnum();
834 break;
Alexander Kornienko1231e062013-01-16 11:43:46 +0000835 case tok::kw_struct:
836 case tok::kw_union:
Manuel Klimek28cacc72013-01-07 18:10:23 +0000837 case tok::kw_class:
Daniel Jasper910807d2015-06-12 04:52:02 +0000838 // parseRecord falls through and does not yet add an unwrapped line as a
839 // record declaration or definition can start a structural element.
Manuel Klimeke01bab52013-01-15 13:38:33 +0000840 parseRecord();
Daniel Jasper910807d2015-06-12 04:52:02 +0000841 // This does not apply for Java and JavaScript.
842 if (Style.Language == FormatStyle::LK_Java ||
843 Style.Language == FormatStyle::LK_JavaScript) {
Daniel Jasperd5ec65b2016-01-08 07:06:07 +0000844 if (FormatTok->is(tok::semi))
845 nextToken();
Daniel Jasper910807d2015-06-12 04:52:02 +0000846 addUnwrappedLine();
847 return;
848 }
Manuel Klimeke01bab52013-01-15 13:38:33 +0000849 break;
Daniel Jaspere5d74862014-11-26 08:17:08 +0000850 case tok::period:
851 nextToken();
852 // In Java, classes have an implicit static member "class".
853 if (Style.Language == FormatStyle::LK_Java && FormatTok &&
854 FormatTok->is(tok::kw_class))
855 nextToken();
Daniel Jasperba52fcb2015-09-28 14:29:45 +0000856 if (Style.Language == FormatStyle::LK_JavaScript && FormatTok &&
857 FormatTok->Tok.getIdentifierInfo())
858 // JavaScript only has pseudo keywords, all keywords are allowed to
859 // appear in "IdentifierName" positions. See http://es5.github.io/#x7.6
860 nextToken();
Daniel Jaspere5d74862014-11-26 08:17:08 +0000861 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000862 case tok::semi:
863 nextToken();
864 addUnwrappedLine();
865 return;
Alexander Kornienko1231e062013-01-16 11:43:46 +0000866 case tok::r_brace:
867 addUnwrappedLine();
868 return;
Daniel Jasperf7935112012-12-03 18:12:45 +0000869 case tok::l_paren:
870 parseParens();
871 break;
Daniel Jasper5af04a42015-10-07 03:43:10 +0000872 case tok::kw_operator:
873 nextToken();
874 if (FormatTok->isBinaryOperator())
875 nextToken();
876 break;
Manuel Klimek516e0542013-09-04 13:25:30 +0000877 case tok::caret:
878 nextToken();
Daniel Jasper395193c2014-03-28 07:48:59 +0000879 if (FormatTok->Tok.isAnyIdentifier() ||
880 FormatTok->isSimpleTypeSpecifier())
881 nextToken();
882 if (FormatTok->is(tok::l_paren))
883 parseParens();
884 if (FormatTok->is(tok::l_brace))
Manuel Klimek516e0542013-09-04 13:25:30 +0000885 parseChildBlock();
Manuel Klimek516e0542013-09-04 13:25:30 +0000886 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000887 case tok::l_brace:
Manuel Klimekab419912013-05-23 09:41:43 +0000888 if (!tryToParseBracedList()) {
889 // A block outside of parentheses must be the last part of a
890 // structural element.
891 // FIXME: Figure out cases where this is not true, and add projections
892 // for them (the one we know is missing are lambdas).
Daniel Jasperc1bc38e2015-09-29 14:57:55 +0000893 if (Style.BraceWrapping.AfterFunction)
Manuel Klimekab419912013-05-23 09:41:43 +0000894 addUnwrappedLine();
Alexander Kornienko3cfa9732013-11-20 16:33:05 +0000895 FormatTok->Type = TT_FunctionLBrace;
Nico Weber9096fc02013-06-26 00:30:14 +0000896 parseBlock(/*MustBeDeclaration=*/false);
Manuel Klimeka8eb9142013-05-13 12:51:40 +0000897 addUnwrappedLine();
Manuel Klimekab419912013-05-23 09:41:43 +0000898 return;
899 }
900 // Otherwise this was a braced init list, and the structural
901 // element continues.
902 break;
Daniel Jasper04a71a42014-05-08 11:58:24 +0000903 case tok::kw_try:
904 // We arrive here when parsing function-try blocks.
905 parseTryCatch();
906 return;
Daniel Jasper40e19212013-05-29 13:16:10 +0000907 case tok::identifier: {
Birunthan Mohanathasb001a0b2015-07-03 17:25:16 +0000908 if (FormatTok->is(TT_MacroBlockEnd)) {
909 addUnwrappedLine();
910 return;
911 }
912
Daniel Jasperad9eb0d2014-06-30 13:24:54 +0000913 // Parse function literal unless 'function' is the first token in a line
914 // in which case this should be treated as a free-standing function.
Daniel Jasper9326f912015-05-05 08:40:32 +0000915 if (Style.Language == FormatStyle::LK_JavaScript &&
916 FormatTok->is(Keywords.kw_function) && Line->Tokens.size() > 0) {
Daniel Jasper069e5f42014-05-20 11:14:57 +0000917 tryToParseJSFunction();
918 break;
919 }
Daniel Jasper9326f912015-05-05 08:40:32 +0000920 if ((Style.Language == FormatStyle::LK_JavaScript ||
921 Style.Language == FormatStyle::LK_Java) &&
922 FormatTok->is(Keywords.kw_interface)) {
923 parseRecord();
Daniel Jasper259188b2015-06-12 04:56:34 +0000924 addUnwrappedLine();
Daniel Jasper5c235c02015-07-06 14:26:04 +0000925 return;
Daniel Jasper9326f912015-05-05 08:40:32 +0000926 }
927
928 StringRef Text = FormatTok->TokenText;
Daniel Jasperf7935112012-12-03 18:12:45 +0000929 nextToken();
Daniel Jasper83709082015-02-18 17:14:05 +0000930 if (Line->Tokens.size() == 1 &&
931 // JS doesn't have macros, and within classes colons indicate fields,
932 // not labels.
Daniel Jasper676e5162015-04-07 14:36:33 +0000933 Style.Language != FormatStyle::LK_JavaScript) {
934 if (FormatTok->Tok.is(tok::colon) && !Line->MustBeDeclaration) {
Alexander Kornienkode644272013-04-08 22:16:06 +0000935 parseLabel();
936 return;
937 }
Daniel Jasper680b09b2014-11-05 10:48:04 +0000938 // Recognize function-like macro usages without trailing semicolon as
Daniel Jasper83709082015-02-18 17:14:05 +0000939 // well as free-standing macros like Q_OBJECT.
Daniel Jasper680b09b2014-11-05 10:48:04 +0000940 bool FunctionLike = FormatTok->is(tok::l_paren);
941 if (FunctionLike)
Alexander Kornienkode644272013-04-08 22:16:06 +0000942 parseParens();
Daniel Jaspere60cba12015-05-13 11:35:53 +0000943
944 bool FollowedByNewline =
945 CommentsBeforeNextToken.empty()
946 ? FormatTok->NewlinesBefore > 0
947 : CommentsBeforeNextToken.front()->NewlinesBefore > 0;
948
Daniel Jaspere6fcf7d2015-06-17 13:08:06 +0000949 if (FollowedByNewline && (Text.size() >= 5 || FunctionLike) &&
Daniel Jasper680b09b2014-11-05 10:48:04 +0000950 tokenCanStartNewLine(FormatTok->Tok) && Text == Text.upper()) {
Daniel Jasper40e19212013-05-29 13:16:10 +0000951 addUnwrappedLine();
Daniel Jasper41a0f782013-05-29 14:09:17 +0000952 return;
Alexander Kornienkode644272013-04-08 22:16:06 +0000953 }
Daniel Jasperf7935112012-12-03 18:12:45 +0000954 }
955 break;
Daniel Jasper40e19212013-05-29 13:16:10 +0000956 }
Daniel Jaspere25509f2012-12-17 11:29:41 +0000957 case tok::equal:
Manuel Klimek79e06082015-05-21 12:23:34 +0000958 // Fat arrows (=>) have tok::TokenKind tok::equal but TokenType
959 // TT_JsFatArrow. The always start an expression or a child block if
960 // followed by a curly.
961 if (FormatTok->is(TT_JsFatArrow)) {
962 nextToken();
Daniel Jasperbe520bd2015-05-31 08:51:54 +0000963 if (FormatTok->is(tok::l_brace))
Manuel Klimek79e06082015-05-21 12:23:34 +0000964 parseChildBlock();
Manuel Klimek79e06082015-05-21 12:23:34 +0000965 break;
966 }
967
Daniel Jaspere25509f2012-12-17 11:29:41 +0000968 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +0000969 if (FormatTok->Tok.is(tok::l_brace)) {
Manuel Klimek8e07a1b2013-01-10 11:52:21 +0000970 parseBracedList();
971 }
Daniel Jaspere25509f2012-12-17 11:29:41 +0000972 break;
Manuel Klimekffdeb592013-09-03 15:10:01 +0000973 case tok::l_square:
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000974 parseSquare();
Manuel Klimekffdeb592013-09-03 15:10:01 +0000975 break;
Daniel Jasper6acf5132015-03-12 14:44:29 +0000976 case tok::kw_new:
977 parseNew();
978 break;
Alexander Kornienkob7076a22012-12-04 14:46:19 +0000979 default:
980 nextToken();
981 break;
Daniel Jasperf7935112012-12-03 18:12:45 +0000982 }
983 } while (!eof());
984}
985
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000986bool UnwrappedLineParser::tryToParseLambda() {
Daniel Jasper1feab0f2015-06-02 15:31:37 +0000987 if (Style.Language != FormatStyle::LK_Cpp) {
988 nextToken();
989 return false;
990 }
Daniel Jasperbf02b2c12013-09-05 11:49:39 +0000991 // FIXME: This is a dirty way to access the previous token. Find a better
992 // solution.
Daniel Jasperb4b99982013-09-06 21:25:51 +0000993 if (!Line->Tokens.empty() &&
Daniel Jasper80222262014-11-02 22:46:42 +0000994 (Line->Tokens.back().Tok->isOneOf(tok::identifier, tok::kw_operator,
995 tok::kw_new, tok::kw_delete) ||
Daniel Jaspera58dd5d2014-03-11 10:03:33 +0000996 Line->Tokens.back().Tok->closesScope() ||
Daniel Jasper6b70ec02014-01-22 17:01:47 +0000997 Line->Tokens.back().Tok->isSimpleTypeSpecifier())) {
Daniel Jasperbf02b2c12013-09-05 11:49:39 +0000998 nextToken();
Daniel Jasperb88b25f2013-12-23 07:29:06 +0000999 return false;
Daniel Jasperbf02b2c12013-09-05 11:49:39 +00001000 }
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001001 assert(FormatTok->is(tok::l_square));
1002 FormatToken &LSquare = *FormatTok;
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001003 if (!tryToParseLambdaIntroducer())
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001004 return false;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001005
Alexander Kornienkoc2ee9cf2014-03-13 13:59:48 +00001006 while (FormatTok->isNot(tok::l_brace)) {
Daniel Jaspercb51cf42014-01-16 09:11:55 +00001007 if (FormatTok->isSimpleTypeSpecifier()) {
1008 nextToken();
1009 continue;
1010 }
Manuel Klimekffdeb592013-09-03 15:10:01 +00001011 switch (FormatTok->Tok.getKind()) {
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001012 case tok::l_brace:
1013 break;
1014 case tok::l_paren:
1015 parseParens();
1016 break;
Daniel Jasperbcb55ee2014-11-21 14:08:38 +00001017 case tok::amp:
1018 case tok::star:
1019 case tok::kw_const:
Daniel Jasper3431b752014-12-08 13:22:37 +00001020 case tok::comma:
Daniel Jaspercb51cf42014-01-16 09:11:55 +00001021 case tok::less:
1022 case tok::greater:
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001023 case tok::identifier:
Daniel Jasper5eaa0092015-08-13 13:37:08 +00001024 case tok::numeric_constant:
Daniel Jasper1067ab02014-02-11 10:16:55 +00001025 case tok::coloncolon:
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001026 case tok::kw_mutable:
Daniel Jasper81a20782014-03-10 10:02:02 +00001027 nextToken();
1028 break;
Daniel Jaspercb51cf42014-01-16 09:11:55 +00001029 case tok::arrow:
Daniel Jasper6f2b88a2015-06-05 13:18:09 +00001030 FormatTok->Type = TT_LambdaArrow;
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001031 nextToken();
1032 break;
1033 default:
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001034 return true;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001035 }
1036 }
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001037 LSquare.Type = TT_LambdaLSquare;
Manuel Klimek516e0542013-09-04 13:25:30 +00001038 parseChildBlock();
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001039 return true;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001040}
1041
1042bool UnwrappedLineParser::tryToParseLambdaIntroducer() {
1043 nextToken();
1044 if (FormatTok->is(tok::equal)) {
1045 nextToken();
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001046 if (FormatTok->is(tok::r_square)) {
1047 nextToken();
1048 return true;
1049 }
1050 if (FormatTok->isNot(tok::comma))
1051 return false;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001052 nextToken();
1053 } else if (FormatTok->is(tok::amp)) {
1054 nextToken();
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001055 if (FormatTok->is(tok::r_square)) {
1056 nextToken();
1057 return true;
1058 }
Manuel Klimekffdeb592013-09-03 15:10:01 +00001059 if (!FormatTok->isOneOf(tok::comma, tok::identifier)) {
1060 return false;
1061 }
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001062 if (FormatTok->is(tok::comma))
1063 nextToken();
Manuel Klimekffdeb592013-09-03 15:10:01 +00001064 } else if (FormatTok->is(tok::r_square)) {
1065 nextToken();
1066 return true;
1067 }
1068 do {
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001069 if (FormatTok->is(tok::amp))
1070 nextToken();
1071 if (!FormatTok->isOneOf(tok::identifier, tok::kw_this))
1072 return false;
Manuel Klimekffdeb592013-09-03 15:10:01 +00001073 nextToken();
Daniel Jasperda18fd82014-06-10 06:39:03 +00001074 if (FormatTok->is(tok::ellipsis))
1075 nextToken();
Manuel Klimekffdeb592013-09-03 15:10:01 +00001076 if (FormatTok->is(tok::comma)) {
1077 nextToken();
1078 } else if (FormatTok->is(tok::r_square)) {
1079 nextToken();
1080 return true;
1081 } else {
1082 return false;
1083 }
1084 } while (!eof());
1085 return false;
1086}
1087
Daniel Jasperc03e16a2014-05-08 09:25:39 +00001088void UnwrappedLineParser::tryToParseJSFunction() {
1089 nextToken();
Daniel Jasper5217a8b2014-06-13 07:02:04 +00001090
1091 // Consume function name.
1092 if (FormatTok->is(tok::identifier))
Daniel Jasperfca735c2015-02-19 16:14:18 +00001093 nextToken();
Daniel Jasper5217a8b2014-06-13 07:02:04 +00001094
Daniel Jasperc03e16a2014-05-08 09:25:39 +00001095 if (FormatTok->isNot(tok::l_paren))
1096 return;
Manuel Klimek79e06082015-05-21 12:23:34 +00001097
1098 // Parse formal parameter list.
Daniel Jasperbe520bd2015-05-31 08:51:54 +00001099 parseParens();
Manuel Klimek79e06082015-05-21 12:23:34 +00001100
1101 if (FormatTok->is(tok::colon)) {
1102 // Parse a type definition.
1103 nextToken();
1104
1105 // Eat the type declaration. For braced inline object types, balance braces,
1106 // otherwise just parse until finding an l_brace for the function body.
Daniel Jasperbe520bd2015-05-31 08:51:54 +00001107 if (FormatTok->is(tok::l_brace))
1108 tryToParseBracedList();
1109 else
Daniel Jaspere6fcf7d2015-06-17 13:08:06 +00001110 while (FormatTok->isNot(tok::l_brace) && !eof())
Manuel Klimek79e06082015-05-21 12:23:34 +00001111 nextToken();
Manuel Klimek79e06082015-05-21 12:23:34 +00001112 }
1113
1114 parseChildBlock();
1115}
1116
Daniel Jasper3c883d12015-05-18 14:49:19 +00001117bool UnwrappedLineParser::tryToParseBracedList() {
Daniel Jasperb1f74a82013-07-09 09:06:29 +00001118 if (FormatTok->BlockKind == BK_Unknown)
Daniel Jasper3c883d12015-05-18 14:49:19 +00001119 calculateBraceTypes();
Daniel Jasperb1f74a82013-07-09 09:06:29 +00001120 assert(FormatTok->BlockKind != BK_Unknown);
1121 if (FormatTok->BlockKind == BK_Block)
Manuel Klimekab419912013-05-23 09:41:43 +00001122 return false;
1123 parseBracedList();
1124 return true;
1125}
1126
Daniel Jasper015ed022013-09-13 09:20:45 +00001127bool UnwrappedLineParser::parseBracedList(bool ContinueOnSemicolons) {
1128 bool HasError = false;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001129 nextToken();
1130
Manuel Klimeka3ff45e2013-04-10 09:52:05 +00001131 // FIXME: Once we have an expression parser in the UnwrappedLineParser,
1132 // replace this by using parseAssigmentExpression() inside.
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001133 do {
Manuel Klimek79e06082015-05-21 12:23:34 +00001134 if (Style.Language == FormatStyle::LK_JavaScript) {
1135 if (FormatTok->is(Keywords.kw_function)) {
1136 tryToParseJSFunction();
1137 continue;
Daniel Jasperbe520bd2015-05-31 08:51:54 +00001138 }
1139 if (FormatTok->is(TT_JsFatArrow)) {
Manuel Klimek79e06082015-05-21 12:23:34 +00001140 nextToken();
1141 // Fat arrows can be followed by simple expressions or by child blocks
1142 // in curly braces.
Daniel Jaspere6fcf7d2015-06-17 13:08:06 +00001143 if (FormatTok->is(tok::l_brace)) {
Manuel Klimek79e06082015-05-21 12:23:34 +00001144 parseChildBlock();
1145 continue;
1146 }
1147 }
Daniel Jasperc03e16a2014-05-08 09:25:39 +00001148 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001149 switch (FormatTok->Tok.getKind()) {
Manuel Klimek516e0542013-09-04 13:25:30 +00001150 case tok::caret:
1151 nextToken();
1152 if (FormatTok->is(tok::l_brace)) {
1153 parseChildBlock();
1154 }
1155 break;
1156 case tok::l_square:
1157 tryToParseLambda();
1158 break;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001159 case tok::l_brace:
Manuel Klimekbab25fd2013-09-04 08:20:47 +00001160 // Assume there are no blocks inside a braced init list apart
1161 // from the ones we explicitly parse out (like lambdas).
1162 FormatTok->BlockKind = BK_BracedInit;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001163 parseBracedList();
1164 break;
Daniel Jaspera87af7a2015-06-30 11:32:22 +00001165 case tok::l_paren:
1166 parseParens();
Daniel Jasperf46dec82015-03-31 14:34:15 +00001167 // JavaScript can just have free standing methods and getters/setters in
1168 // object literals. Detect them by a "{" following ")".
1169 if (Style.Language == FormatStyle::LK_JavaScript) {
Daniel Jasperf46dec82015-03-31 14:34:15 +00001170 if (FormatTok->is(tok::l_brace))
1171 parseChildBlock();
1172 break;
1173 }
Daniel Jasperf46dec82015-03-31 14:34:15 +00001174 break;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001175 case tok::r_brace:
1176 nextToken();
Daniel Jasper015ed022013-09-13 09:20:45 +00001177 return !HasError;
Manuel Klimeka3ff45e2013-04-10 09:52:05 +00001178 case tok::semi:
Daniel Jasper015ed022013-09-13 09:20:45 +00001179 HasError = true;
1180 if (!ContinueOnSemicolons)
1181 return !HasError;
1182 nextToken();
1183 break;
Manuel Klimeka3ff45e2013-04-10 09:52:05 +00001184 case tok::comma:
1185 nextToken();
Manuel Klimeka3ff45e2013-04-10 09:52:05 +00001186 break;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001187 default:
1188 nextToken();
1189 break;
1190 }
1191 } while (!eof());
Daniel Jasper015ed022013-09-13 09:20:45 +00001192 return false;
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001193}
1194
Daniel Jasperf7935112012-12-03 18:12:45 +00001195void UnwrappedLineParser::parseParens() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001196 assert(FormatTok->Tok.is(tok::l_paren) && "'(' expected.");
Daniel Jasperf7935112012-12-03 18:12:45 +00001197 nextToken();
1198 do {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001199 switch (FormatTok->Tok.getKind()) {
Daniel Jasperf7935112012-12-03 18:12:45 +00001200 case tok::l_paren:
1201 parseParens();
Daniel Jasper5f1fa852015-01-04 20:40:51 +00001202 if (Style.Language == FormatStyle::LK_Java && FormatTok->is(tok::l_brace))
1203 parseChildBlock();
Daniel Jasperf7935112012-12-03 18:12:45 +00001204 break;
1205 case tok::r_paren:
1206 nextToken();
1207 return;
Daniel Jasper393564f2013-05-31 14:56:29 +00001208 case tok::r_brace:
1209 // A "}" inside parenthesis is an error if there wasn't a matching "{".
1210 return;
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001211 case tok::l_square:
1212 tryToParseLambda();
1213 break;
Daniel Jasper5f1fa852015-01-04 20:40:51 +00001214 case tok::l_brace:
Daniel Jasperadba2aa2015-05-18 12:52:00 +00001215 if (!tryToParseBracedList())
Manuel Klimekf017dc02013-09-04 13:34:14 +00001216 parseChildBlock();
Manuel Klimek8e07a1b2013-01-10 11:52:21 +00001217 break;
Nico Weber372d8dc2013-02-10 20:35:35 +00001218 case tok::at:
1219 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001220 if (FormatTok->Tok.is(tok::l_brace))
Nico Weber372d8dc2013-02-10 20:35:35 +00001221 parseBracedList();
1222 break;
Daniel Jasper3f69ba12014-09-05 08:42:27 +00001223 case tok::identifier:
1224 if (Style.Language == FormatStyle::LK_JavaScript &&
Daniel Jasperd0ec0d62014-11-04 12:41:02 +00001225 FormatTok->is(Keywords.kw_function))
Daniel Jasper3f69ba12014-09-05 08:42:27 +00001226 tryToParseJSFunction();
1227 else
1228 nextToken();
1229 break;
Daniel Jasperf7935112012-12-03 18:12:45 +00001230 default:
1231 nextToken();
1232 break;
1233 }
1234 } while (!eof());
1235}
1236
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001237void UnwrappedLineParser::parseSquare() {
1238 assert(FormatTok->Tok.is(tok::l_square) && "'[' expected.");
1239 if (tryToParseLambda())
1240 return;
1241 do {
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001242 switch (FormatTok->Tok.getKind()) {
1243 case tok::l_paren:
1244 parseParens();
1245 break;
1246 case tok::r_square:
1247 nextToken();
1248 return;
1249 case tok::r_brace:
1250 // A "}" inside parenthesis is an error if there wasn't a matching "{".
1251 return;
1252 case tok::l_square:
1253 parseSquare();
1254 break;
1255 case tok::l_brace: {
Daniel Jasperadba2aa2015-05-18 12:52:00 +00001256 if (!tryToParseBracedList())
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001257 parseChildBlock();
Daniel Jasperb88b25f2013-12-23 07:29:06 +00001258 break;
1259 }
1260 case tok::at:
1261 nextToken();
1262 if (FormatTok->Tok.is(tok::l_brace))
1263 parseBracedList();
1264 break;
1265 default:
1266 nextToken();
1267 break;
1268 }
1269 } while (!eof());
1270}
1271
Daniel Jasperf7935112012-12-03 18:12:45 +00001272void UnwrappedLineParser::parseIfThenElse() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001273 assert(FormatTok->Tok.is(tok::kw_if) && "'if' expected");
Daniel Jasperf7935112012-12-03 18:12:45 +00001274 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001275 if (FormatTok->Tok.is(tok::l_paren))
Manuel Klimekadededf2013-01-11 18:28:36 +00001276 parseParens();
Daniel Jasperf7935112012-12-03 18:12:45 +00001277 bool NeedsUnwrappedLine = false;
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001278 if (FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001279 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Nico Weber9096fc02013-06-26 00:30:14 +00001280 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001281 if (Style.BraceWrapping.BeforeElse)
Manuel Klimekd3ed59a2013-08-02 21:31:59 +00001282 addUnwrappedLine();
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001283 else
Manuel Klimekd3ed59a2013-08-02 21:31:59 +00001284 NeedsUnwrappedLine = true;
Daniel Jasperf7935112012-12-03 18:12:45 +00001285 } else {
1286 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +00001287 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001288 parseStructuralElement();
Manuel Klimek52b15152013-01-09 15:25:02 +00001289 --Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +00001290 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001291 if (FormatTok->Tok.is(tok::kw_else)) {
Daniel Jasperf7935112012-12-03 18:12:45 +00001292 nextToken();
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 Jasperf7935112012-12-03 18:12:45 +00001296 addUnwrappedLine();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001297 } else if (FormatTok->Tok.is(tok::kw_if)) {
Daniel Jasperf7935112012-12-03 18:12:45 +00001298 parseIfThenElse();
1299 } else {
1300 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +00001301 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001302 parseStructuralElement();
Manuel Klimek52b15152013-01-09 15:25:02 +00001303 --Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +00001304 }
1305 } else if (NeedsUnwrappedLine) {
1306 addUnwrappedLine();
1307 }
1308}
1309
Daniel Jasper04a71a42014-05-08 11:58:24 +00001310void UnwrappedLineParser::parseTryCatch() {
Nico Weberfac23712015-02-04 15:26:27 +00001311 assert(FormatTok->isOneOf(tok::kw_try, tok::kw___try) && "'try' expected");
Daniel Jasper04a71a42014-05-08 11:58:24 +00001312 nextToken();
1313 bool NeedsUnwrappedLine = false;
1314 if (FormatTok->is(tok::colon)) {
1315 // We are in a function try block, what comes is an initializer list.
1316 nextToken();
1317 while (FormatTok->is(tok::identifier)) {
1318 nextToken();
1319 if (FormatTok->is(tok::l_paren))
1320 parseParens();
Daniel Jasper04a71a42014-05-08 11:58:24 +00001321 if (FormatTok->is(tok::comma))
1322 nextToken();
1323 }
1324 }
Daniel Jaspere189d462015-01-14 10:48:41 +00001325 // Parse try with resource.
1326 if (Style.Language == FormatStyle::LK_Java && FormatTok->is(tok::l_paren)) {
1327 parseParens();
1328 }
Daniel Jasper04a71a42014-05-08 11:58:24 +00001329 if (FormatTok->is(tok::l_brace)) {
1330 CompoundStatementIndenter Indenter(this, Style, Line->Level);
1331 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001332 if (Style.BraceWrapping.BeforeCatch) {
Daniel Jasper04a71a42014-05-08 11:58:24 +00001333 addUnwrappedLine();
1334 } else {
1335 NeedsUnwrappedLine = true;
1336 }
1337 } else if (!FormatTok->is(tok::kw_catch)) {
1338 // The C++ standard requires a compound-statement after a try.
1339 // If there's none, we try to assume there's a structuralElement
1340 // and try to continue.
Daniel Jasper04a71a42014-05-08 11:58:24 +00001341 addUnwrappedLine();
1342 ++Line->Level;
1343 parseStructuralElement();
1344 --Line->Level;
1345 }
Nico Weber33381f52015-02-07 01:57:32 +00001346 while (1) {
1347 if (FormatTok->is(tok::at))
1348 nextToken();
1349 if (!(FormatTok->isOneOf(tok::kw_catch, Keywords.kw___except,
1350 tok::kw___finally) ||
1351 ((Style.Language == FormatStyle::LK_Java ||
1352 Style.Language == FormatStyle::LK_JavaScript) &&
1353 FormatTok->is(Keywords.kw_finally)) ||
1354 (FormatTok->Tok.isObjCAtKeyword(tok::objc_catch) ||
1355 FormatTok->Tok.isObjCAtKeyword(tok::objc_finally))))
1356 break;
Daniel Jasper04a71a42014-05-08 11:58:24 +00001357 nextToken();
1358 while (FormatTok->isNot(tok::l_brace)) {
1359 if (FormatTok->is(tok::l_paren)) {
1360 parseParens();
1361 continue;
1362 }
Daniel Jasper2bd7a642015-01-19 10:50:51 +00001363 if (FormatTok->isOneOf(tok::semi, tok::r_brace, tok::eof))
Daniel Jasper04a71a42014-05-08 11:58:24 +00001364 return;
1365 nextToken();
1366 }
1367 NeedsUnwrappedLine = false;
1368 CompoundStatementIndenter Indenter(this, Style, Line->Level);
1369 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001370 if (Style.BraceWrapping.BeforeCatch)
Daniel Jasper04a71a42014-05-08 11:58:24 +00001371 addUnwrappedLine();
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001372 else
Daniel Jasper04a71a42014-05-08 11:58:24 +00001373 NeedsUnwrappedLine = true;
Daniel Jasper04a71a42014-05-08 11:58:24 +00001374 }
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001375 if (NeedsUnwrappedLine)
Daniel Jasper04a71a42014-05-08 11:58:24 +00001376 addUnwrappedLine();
Daniel Jasper04a71a42014-05-08 11:58:24 +00001377}
1378
Alexander Kornienko578fdd82012-12-06 18:03:27 +00001379void UnwrappedLineParser::parseNamespace() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001380 assert(FormatTok->Tok.is(tok::kw_namespace) && "'namespace' expected");
Roman Kashitsyna043ced2014-08-11 12:18:01 +00001381
1382 const FormatToken &InitialToken = *FormatTok;
Alexander Kornienko578fdd82012-12-06 18:03:27 +00001383 nextToken();
Saleem Abdulrasool328085f2015-10-30 05:07:56 +00001384 while (FormatTok->isOneOf(tok::identifier, tok::coloncolon))
Alexander Kornienko578fdd82012-12-06 18:03:27 +00001385 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001386 if (FormatTok->Tok.is(tok::l_brace)) {
Roman Kashitsyna043ced2014-08-11 12:18:01 +00001387 if (ShouldBreakBeforeBrace(Style, InitialToken))
Manuel Klimeka8eb9142013-05-13 12:51:40 +00001388 addUnwrappedLine();
1389
Daniel Jasper65ee3472013-07-31 23:16:02 +00001390 bool AddLevel = Style.NamespaceIndentation == FormatStyle::NI_All ||
1391 (Style.NamespaceIndentation == FormatStyle::NI_Inner &&
1392 DeclarationScopeStack.size() > 1);
1393 parseBlock(/*MustBeDeclaration=*/true, AddLevel);
Manuel Klimek046b9302013-02-06 16:08:09 +00001394 // Munch the semicolon after a namespace. This is more common than one would
1395 // think. Puttin the semicolon into its own line is very ugly.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001396 if (FormatTok->Tok.is(tok::semi))
Manuel Klimek046b9302013-02-06 16:08:09 +00001397 nextToken();
Alexander Kornienko578fdd82012-12-06 18:03:27 +00001398 addUnwrappedLine();
1399 }
1400 // FIXME: Add error handling.
1401}
1402
Daniel Jasper6acf5132015-03-12 14:44:29 +00001403void UnwrappedLineParser::parseNew() {
1404 assert(FormatTok->is(tok::kw_new) && "'new' expected");
1405 nextToken();
1406 if (Style.Language != FormatStyle::LK_Java)
1407 return;
1408
1409 // In Java, we can parse everything up to the parens, which aren't optional.
1410 do {
1411 // There should not be a ;, { or } before the new's open paren.
1412 if (FormatTok->isOneOf(tok::semi, tok::l_brace, tok::r_brace))
1413 return;
1414
1415 // Consume the parens.
1416 if (FormatTok->is(tok::l_paren)) {
1417 parseParens();
1418
1419 // If there is a class body of an anonymous class, consume that as child.
1420 if (FormatTok->is(tok::l_brace))
1421 parseChildBlock();
1422 return;
1423 }
1424 nextToken();
1425 } while (!eof());
1426}
1427
Alexander Kornienko37d6c942012-12-05 15:06:06 +00001428void UnwrappedLineParser::parseForOrWhileLoop() {
Daniel Jasper66cb8c52015-05-04 09:22:29 +00001429 assert(FormatTok->isOneOf(tok::kw_for, tok::kw_while, TT_ForEachMacro) &&
Daniel Jaspere1e43192014-04-01 12:55:11 +00001430 "'for', 'while' or foreach macro expected");
Alexander Kornienko37d6c942012-12-05 15:06:06 +00001431 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001432 if (FormatTok->Tok.is(tok::l_paren))
Manuel Klimek9fa8d552013-01-11 19:23:05 +00001433 parseParens();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001434 if (FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001435 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Nico Weber9096fc02013-06-26 00:30:14 +00001436 parseBlock(/*MustBeDeclaration=*/false);
Alexander Kornienko37d6c942012-12-05 15:06:06 +00001437 addUnwrappedLine();
1438 } else {
1439 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +00001440 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001441 parseStructuralElement();
Manuel Klimek52b15152013-01-09 15:25:02 +00001442 --Line->Level;
Alexander Kornienko37d6c942012-12-05 15:06:06 +00001443 }
1444}
1445
Daniel Jasperf7935112012-12-03 18:12:45 +00001446void UnwrappedLineParser::parseDoWhile() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001447 assert(FormatTok->Tok.is(tok::kw_do) && "'do' expected");
Daniel Jasperf7935112012-12-03 18:12:45 +00001448 nextToken();
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);
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001452 if (Style.BraceWrapping.IndentBraces)
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001453 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +00001454 } else {
1455 addUnwrappedLine();
Manuel Klimek52b15152013-01-09 15:25:02 +00001456 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001457 parseStructuralElement();
Manuel Klimek52b15152013-01-09 15:25:02 +00001458 --Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +00001459 }
1460
Alexander Kornienko0ea8e102012-12-04 15:40:36 +00001461 // FIXME: Add error handling.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001462 if (!FormatTok->Tok.is(tok::kw_while)) {
Alexander Kornienko0ea8e102012-12-04 15:40:36 +00001463 addUnwrappedLine();
1464 return;
1465 }
1466
Daniel Jasperf7935112012-12-03 18:12:45 +00001467 nextToken();
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001468 parseStructuralElement();
Daniel Jasperf7935112012-12-03 18:12:45 +00001469}
1470
1471void UnwrappedLineParser::parseLabel() {
Daniel Jasperf7935112012-12-03 18:12:45 +00001472 nextToken();
Manuel Klimek52b15152013-01-09 15:25:02 +00001473 unsigned OldLineLevel = Line->Level;
Daniel Jaspera1275122013-03-20 10:23:53 +00001474 if (Line->Level > 1 || (!Line->InPPDirective && Line->Level > 0))
Manuel Klimek52b15152013-01-09 15:25:02 +00001475 --Line->Level;
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001476 if (CommentsBeforeNextToken.empty() && FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001477 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Nico Weber9096fc02013-06-26 00:30:14 +00001478 parseBlock(/*MustBeDeclaration=*/false);
Manuel Klimekd3ed59a2013-08-02 21:31:59 +00001479 if (FormatTok->Tok.is(tok::kw_break)) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001480 if (Style.BraceWrapping.AfterControlStatement)
Manuel Klimekd3ed59a2013-08-02 21:31:59 +00001481 addUnwrappedLine();
1482 parseStructuralElement();
1483 }
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001484 addUnwrappedLine();
1485 } else {
Daniel Jasper1fe0d5c2015-05-06 15:19:47 +00001486 if (FormatTok->is(tok::semi))
1487 nextToken();
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001488 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +00001489 }
Manuel Klimek52b15152013-01-09 15:25:02 +00001490 Line->Level = OldLineLevel;
Daniel Jasperf7935112012-12-03 18:12:45 +00001491}
1492
1493void UnwrappedLineParser::parseCaseLabel() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001494 assert(FormatTok->Tok.is(tok::kw_case) && "'case' expected");
Daniel Jasperf7935112012-12-03 18:12:45 +00001495 // FIXME: fix handling of complex expressions here.
1496 do {
1497 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001498 } while (!eof() && !FormatTok->Tok.is(tok::colon));
Daniel Jasperf7935112012-12-03 18:12:45 +00001499 parseLabel();
1500}
1501
1502void UnwrappedLineParser::parseSwitch() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001503 assert(FormatTok->Tok.is(tok::kw_switch) && "'switch' expected");
Daniel Jasperf7935112012-12-03 18:12:45 +00001504 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001505 if (FormatTok->Tok.is(tok::l_paren))
Manuel Klimek9fa8d552013-01-11 19:23:05 +00001506 parseParens();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001507 if (FormatTok->Tok.is(tok::l_brace)) {
Alexander Kornienko3a33f022013-12-12 09:49:52 +00001508 CompoundStatementIndenter Indenter(this, Style, Line->Level);
Daniel Jasper65ee3472013-07-31 23:16:02 +00001509 parseBlock(/*MustBeDeclaration=*/false);
Daniel Jasperf7935112012-12-03 18:12:45 +00001510 addUnwrappedLine();
1511 } else {
1512 addUnwrappedLine();
Daniel Jasper516d7972013-07-25 11:31:57 +00001513 ++Line->Level;
Manuel Klimek6b9eeba2013-01-07 14:56:16 +00001514 parseStructuralElement();
Daniel Jasper516d7972013-07-25 11:31:57 +00001515 --Line->Level;
Daniel Jasperf7935112012-12-03 18:12:45 +00001516 }
1517}
1518
1519void UnwrappedLineParser::parseAccessSpecifier() {
1520 nextToken();
Daniel Jasper84c47a12013-11-23 17:53:41 +00001521 // Understand Qt's slots.
Daniel Jasper53395402015-04-07 15:04:40 +00001522 if (FormatTok->isOneOf(Keywords.kw_slots, Keywords.kw_qslots))
Daniel Jasper84c47a12013-11-23 17:53:41 +00001523 nextToken();
Alexander Kornienko2ca766f2012-12-10 16:34:48 +00001524 // Otherwise, we don't know what it is, and we'd better keep the next token.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001525 if (FormatTok->Tok.is(tok::colon))
Alexander Kornienko2ca766f2012-12-10 16:34:48 +00001526 nextToken();
Daniel Jasperf7935112012-12-03 18:12:45 +00001527 addUnwrappedLine();
1528}
1529
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001530bool UnwrappedLineParser::parseEnum() {
Daniel Jasper6be0f552014-11-13 15:56:28 +00001531 // Won't be 'enum' for NS_ENUMs.
1532 if (FormatTok->Tok.is(tok::kw_enum))
Daniel Jasperccb68b42014-11-19 22:38:18 +00001533 nextToken();
Daniel Jasper6be0f552014-11-13 15:56:28 +00001534
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001535 // In TypeScript, "enum" can also be used as property name, e.g. in interface
1536 // declarations. An "enum" keyword followed by a colon would be a syntax
1537 // error and thus assume it is just an identifier.
1538 if (Style.Language == FormatStyle::LK_JavaScript && FormatTok->is(tok::colon))
1539 return false;
1540
Daniel Jasper2b41a822013-08-20 12:42:50 +00001541 // Eat up enum class ...
Daniel Jasperb05a81d2014-05-09 13:11:16 +00001542 if (FormatTok->Tok.is(tok::kw_class) || FormatTok->Tok.is(tok::kw_struct))
1543 nextToken();
Daniel Jasperb5a0b852015-06-19 08:17:32 +00001544
Daniel Jasper786a5502013-09-06 21:32:35 +00001545 while (FormatTok->Tok.getIdentifierInfo() ||
Daniel Jasperccb68b42014-11-19 22:38:18 +00001546 FormatTok->isOneOf(tok::colon, tok::coloncolon, tok::less,
1547 tok::greater, tok::comma, tok::question)) {
Manuel Klimek2cec0192013-01-21 19:17:52 +00001548 nextToken();
1549 // We can have macros or attributes in between 'enum' and the enum name.
Daniel Jasperccb68b42014-11-19 22:38:18 +00001550 if (FormatTok->is(tok::l_paren))
Alexander Kornienkob7076a22012-12-04 14:46:19 +00001551 parseParens();
Daniel Jasperb5a0b852015-06-19 08:17:32 +00001552 if (FormatTok->is(tok::identifier)) {
Manuel Klimek2cec0192013-01-21 19:17:52 +00001553 nextToken();
Daniel Jasperb5a0b852015-06-19 08:17:32 +00001554 // If there are two identifiers in a row, this is likely an elaborate
1555 // return type. In Java, this can be "implements", etc.
1556 if (Style.Language == FormatStyle::LK_Cpp &&
1557 FormatTok->is(tok::identifier))
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001558 return false;
Daniel Jasperb5a0b852015-06-19 08:17:32 +00001559 }
Manuel Klimek2cec0192013-01-21 19:17:52 +00001560 }
Daniel Jasper6be0f552014-11-13 15:56:28 +00001561
1562 // Just a declaration or something is wrong.
Daniel Jasperccb68b42014-11-19 22:38:18 +00001563 if (FormatTok->isNot(tok::l_brace))
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001564 return true;
Daniel Jasper6be0f552014-11-13 15:56:28 +00001565 FormatTok->BlockKind = BK_Block;
1566
1567 if (Style.Language == FormatStyle::LK_Java) {
1568 // Java enums are different.
1569 parseJavaEnumBody();
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001570 return true;
1571 }
1572 if (Style.Language == FormatStyle::LK_Proto) {
Daniel Jasperc6dd2732015-07-16 14:25:43 +00001573 parseBlock(/*MustBeDeclaration=*/true);
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001574 return true;
Manuel Klimek2cec0192013-01-21 19:17:52 +00001575 }
Daniel Jasper6be0f552014-11-13 15:56:28 +00001576
1577 // Parse enum body.
1578 bool HasError = !parseBracedList(/*ContinueOnSemicolons=*/true);
1579 if (HasError) {
1580 if (FormatTok->is(tok::semi))
1581 nextToken();
1582 addUnwrappedLine();
1583 }
Daniel Jasper6f5a1932015-12-29 08:54:23 +00001584 return true;
Daniel Jasper6be0f552014-11-13 15:56:28 +00001585
Daniel Jasper90cf3802015-06-17 09:44:02 +00001586 // There is no addUnwrappedLine() here so that we fall through to parsing a
1587 // structural element afterwards. Thus, in "enum A {} n, m;",
Manuel Klimek2cec0192013-01-21 19:17:52 +00001588 // "} n, m;" will end up in one unwrapped line.
Daniel Jasper6be0f552014-11-13 15:56:28 +00001589}
1590
1591void UnwrappedLineParser::parseJavaEnumBody() {
1592 // Determine whether the enum is simple, i.e. does not have a semicolon or
1593 // constants with class bodies. Simple enums can be formatted like braced
1594 // lists, contracted to a single line, etc.
1595 unsigned StoredPosition = Tokens->getPosition();
1596 bool IsSimple = true;
1597 FormatToken *Tok = Tokens->getNextToken();
1598 while (Tok) {
1599 if (Tok->is(tok::r_brace))
1600 break;
1601 if (Tok->isOneOf(tok::l_brace, tok::semi)) {
1602 IsSimple = false;
1603 break;
1604 }
1605 // FIXME: This will also mark enums with braces in the arguments to enum
1606 // constants as "not simple". This is probably fine in practice, though.
1607 Tok = Tokens->getNextToken();
1608 }
1609 FormatTok = Tokens->setPosition(StoredPosition);
1610
1611 if (IsSimple) {
1612 parseBracedList();
Daniel Jasperdf2ff002014-11-02 22:31:39 +00001613 addUnwrappedLine();
Daniel Jasper6be0f552014-11-13 15:56:28 +00001614 return;
1615 }
1616
1617 // Parse the body of a more complex enum.
1618 // First add a line for everything up to the "{".
1619 nextToken();
1620 addUnwrappedLine();
1621 ++Line->Level;
1622
1623 // Parse the enum constants.
1624 while (FormatTok) {
1625 if (FormatTok->is(tok::l_brace)) {
1626 // Parse the constant's class body.
1627 parseBlock(/*MustBeDeclaration=*/true, /*AddLevel=*/true,
1628 /*MunchSemi=*/false);
1629 } else if (FormatTok->is(tok::l_paren)) {
1630 parseParens();
1631 } else if (FormatTok->is(tok::comma)) {
1632 nextToken();
1633 addUnwrappedLine();
1634 } else if (FormatTok->is(tok::semi)) {
1635 nextToken();
1636 addUnwrappedLine();
1637 break;
1638 } else if (FormatTok->is(tok::r_brace)) {
1639 addUnwrappedLine();
1640 break;
1641 } else {
1642 nextToken();
1643 }
1644 }
1645
1646 // Parse the class body after the enum's ";" if any.
1647 parseLevel(/*HasOpeningBrace=*/true);
1648 nextToken();
1649 --Line->Level;
1650 addUnwrappedLine();
Daniel Jasperf7935112012-12-03 18:12:45 +00001651}
1652
Manuel Klimeke01bab52013-01-15 13:38:33 +00001653void UnwrappedLineParser::parseRecord() {
Roman Kashitsyna043ced2014-08-11 12:18:01 +00001654 const FormatToken &InitialToken = *FormatTok;
Manuel Klimek28cacc72013-01-07 18:10:23 +00001655 nextToken();
Daniel Jasper04785d02015-05-06 14:03:02 +00001656
Daniel Jasper04785d02015-05-06 14:03:02 +00001657 // The actual identifier can be a nested name specifier, and in macros
1658 // it is often token-pasted.
1659 while (FormatTok->isOneOf(tok::identifier, tok::coloncolon, tok::hashhash,
1660 tok::kw___attribute, tok::kw___declspec,
1661 tok::kw_alignas) ||
1662 ((Style.Language == FormatStyle::LK_Java ||
1663 Style.Language == FormatStyle::LK_JavaScript) &&
1664 FormatTok->isOneOf(tok::period, tok::comma))) {
1665 bool IsNonMacroIdentifier =
1666 FormatTok->is(tok::identifier) &&
1667 FormatTok->TokenText != FormatTok->TokenText.upper();
Manuel Klimeke01bab52013-01-15 13:38:33 +00001668 nextToken();
1669 // We can have macros or attributes in between 'class' and the class name.
Daniel Jasper04785d02015-05-06 14:03:02 +00001670 if (!IsNonMacroIdentifier && FormatTok->Tok.is(tok::l_paren))
Manuel Klimeke01bab52013-01-15 13:38:33 +00001671 parseParens();
Daniel Jasper04785d02015-05-06 14:03:02 +00001672 }
Manuel Klimeke01bab52013-01-15 13:38:33 +00001673
Daniel Jasper04785d02015-05-06 14:03:02 +00001674 // Note that parsing away template declarations here leads to incorrectly
1675 // accepting function declarations as record declarations.
1676 // In general, we cannot solve this problem. Consider:
1677 // class A<int> B() {}
1678 // which can be a function definition or a class definition when B() is a
1679 // macro. If we find enough real-world cases where this is a problem, we
1680 // can parse for the 'template' keyword in the beginning of the statement,
1681 // and thus rule out the record production in case there is no template
1682 // (this would still leave us with an ambiguity between template function
1683 // and class declarations).
Daniel Jasperadba2aa2015-05-18 12:52:00 +00001684 if (FormatTok->isOneOf(tok::colon, tok::less)) {
1685 while (!eof()) {
Daniel Jasper3c883d12015-05-18 14:49:19 +00001686 if (FormatTok->is(tok::l_brace)) {
1687 calculateBraceTypes(/*ExpectClassBody=*/true);
1688 if (!tryToParseBracedList())
1689 break;
1690 }
Daniel Jasper04785d02015-05-06 14:03:02 +00001691 if (FormatTok->Tok.is(tok::semi))
1692 return;
1693 nextToken();
Manuel Klimeke01bab52013-01-15 13:38:33 +00001694 }
1695 }
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001696 if (FormatTok->Tok.is(tok::l_brace)) {
Roman Kashitsyna043ced2014-08-11 12:18:01 +00001697 if (ShouldBreakBeforeBrace(Style, InitialToken))
Manuel Klimeka8eb9142013-05-13 12:51:40 +00001698 addUnwrappedLine();
1699
Daniel Jasper240dfda2014-03-31 14:23:49 +00001700 parseBlock(/*MustBeDeclaration=*/true, /*AddLevel=*/true,
Manuel Klimekb212f3b2013-10-12 22:46:56 +00001701 /*MunchSemi=*/false);
Manuel Klimeka8eb9142013-05-13 12:51:40 +00001702 }
Daniel Jasper90cf3802015-06-17 09:44:02 +00001703 // There is no addUnwrappedLine() here so that we fall through to parsing a
1704 // structural element afterwards. Thus, in "class A {} n, m;",
1705 // "} n, m;" will end up in one unwrapped line.
Manuel Klimek28cacc72013-01-07 18:10:23 +00001706}
1707
Nico Weber8696a8d2013-01-09 21:15:03 +00001708void UnwrappedLineParser::parseObjCProtocolList() {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001709 assert(FormatTok->Tok.is(tok::less) && "'<' expected.");
Nico Weber8696a8d2013-01-09 21:15:03 +00001710 do
1711 nextToken();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001712 while (!eof() && FormatTok->Tok.isNot(tok::greater));
Nico Weber8696a8d2013-01-09 21:15:03 +00001713 nextToken(); // Skip '>'.
1714}
1715
1716void UnwrappedLineParser::parseObjCUntilAtEnd() {
1717 do {
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001718 if (FormatTok->Tok.isObjCAtKeyword(tok::objc_end)) {
Nico Weber8696a8d2013-01-09 21:15:03 +00001719 nextToken();
1720 addUnwrappedLine();
1721 break;
1722 }
Daniel Jaspera15da302013-08-28 08:04:23 +00001723 if (FormatTok->is(tok::l_brace)) {
1724 parseBlock(/*MustBeDeclaration=*/false);
1725 // In ObjC interfaces, nothing should be following the "}".
1726 addUnwrappedLine();
Benjamin Kramere21cb742014-01-08 15:59:42 +00001727 } else if (FormatTok->is(tok::r_brace)) {
1728 // Ignore stray "}". parseStructuralElement doesn't consume them.
1729 nextToken();
1730 addUnwrappedLine();
Daniel Jaspera15da302013-08-28 08:04:23 +00001731 } else {
1732 parseStructuralElement();
1733 }
Nico Weber8696a8d2013-01-09 21:15:03 +00001734 } while (!eof());
1735}
1736
Nico Weber2ce0ac52013-01-09 23:25:37 +00001737void UnwrappedLineParser::parseObjCInterfaceOrImplementation() {
Nico Weber7eecf4b2013-01-09 20:25:35 +00001738 nextToken();
Daniel Jasperd1ae3582013-03-20 12:37:50 +00001739 nextToken(); // interface name
Nico Weber7eecf4b2013-01-09 20:25:35 +00001740
1741 // @interface can be followed by either a base class, or a category.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001742 if (FormatTok->Tok.is(tok::colon)) {
Nico Weber7eecf4b2013-01-09 20:25:35 +00001743 nextToken();
Daniel Jasperd1ae3582013-03-20 12:37:50 +00001744 nextToken(); // base class name
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001745 } else if (FormatTok->Tok.is(tok::l_paren))
Nico Weber7eecf4b2013-01-09 20:25:35 +00001746 // Skip category, if present.
1747 parseParens();
1748
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001749 if (FormatTok->Tok.is(tok::less))
Nico Weber8696a8d2013-01-09 21:15:03 +00001750 parseObjCProtocolList();
Nico Weber7eecf4b2013-01-09 20:25:35 +00001751
Dinesh Dwivediea3aca82014-05-02 17:01:46 +00001752 if (FormatTok->Tok.is(tok::l_brace)) {
Daniel Jasperc1bc38e2015-09-29 14:57:55 +00001753 if (Style.BraceWrapping.AfterObjCDeclaration)
Dinesh Dwivediea3aca82014-05-02 17:01:46 +00001754 addUnwrappedLine();
Nico Weber9096fc02013-06-26 00:30:14 +00001755 parseBlock(/*MustBeDeclaration=*/true);
Dinesh Dwivediea3aca82014-05-02 17:01:46 +00001756 }
Nico Weber7eecf4b2013-01-09 20:25:35 +00001757
1758 // With instance variables, this puts '}' on its own line. Without instance
1759 // variables, this ends the @interface line.
1760 addUnwrappedLine();
1761
Nico Weber8696a8d2013-01-09 21:15:03 +00001762 parseObjCUntilAtEnd();
1763}
Nico Weber7eecf4b2013-01-09 20:25:35 +00001764
Nico Weber8696a8d2013-01-09 21:15:03 +00001765void UnwrappedLineParser::parseObjCProtocol() {
1766 nextToken();
Daniel Jasperd1ae3582013-03-20 12:37:50 +00001767 nextToken(); // protocol name
Nico Weber8696a8d2013-01-09 21:15:03 +00001768
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001769 if (FormatTok->Tok.is(tok::less))
Nico Weber8696a8d2013-01-09 21:15:03 +00001770 parseObjCProtocolList();
1771
1772 // Check for protocol declaration.
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001773 if (FormatTok->Tok.is(tok::semi)) {
Nico Weber8696a8d2013-01-09 21:15:03 +00001774 nextToken();
1775 return addUnwrappedLine();
1776 }
1777
1778 addUnwrappedLine();
1779 parseObjCUntilAtEnd();
Nico Weber7eecf4b2013-01-09 20:25:35 +00001780}
1781
Daniel Jasperfca735c2015-02-19 16:14:18 +00001782void UnwrappedLineParser::parseJavaScriptEs6ImportExport() {
1783 assert(FormatTok->isOneOf(Keywords.kw_import, tok::kw_export));
Daniel Jasper354aa512015-02-19 16:07:32 +00001784 nextToken();
Daniel Jasperfca735c2015-02-19 16:14:18 +00001785
Daniel Jasperec05fc72015-05-11 09:14:50 +00001786 // Consume the "default" in "export default class/function".
Daniel Jasper668c7bb2015-05-11 09:03:10 +00001787 if (FormatTok->is(tok::kw_default))
1788 nextToken();
Daniel Jasperec05fc72015-05-11 09:14:50 +00001789
1790 // Consume "function" and "default function", so that these get parsed as
1791 // free-standing JS functions, i.e. do not require a trailing semicolon.
Daniel Jasper668c7bb2015-05-11 09:03:10 +00001792 if (FormatTok->is(Keywords.kw_function)) {
1793 nextToken();
1794 return;
1795 }
1796
Daniel Jasper216c9cd2015-06-12 05:08:18 +00001797 if (FormatTok->isOneOf(tok::kw_const, tok::kw_class, tok::kw_enum,
Daniel Jasper9f642f72015-09-28 14:28:08 +00001798 Keywords.kw_let, Keywords.kw_var))
Daniel Jasperfca735c2015-02-19 16:14:18 +00001799 return; // Fall through to parsing the corresponding structure.
1800
Daniel Jasperefc1a832016-01-07 08:53:35 +00001801 while (!eof() && FormatTok->isNot(tok::semi)) {
1802 if (FormatTok->is(tok::l_brace)) {
1803 FormatTok->BlockKind = BK_Block;
1804 parseBracedList();
1805 } else {
1806 nextToken();
1807 }
Daniel Jasper354aa512015-02-19 16:07:32 +00001808 }
1809}
1810
Daniel Jasper3b203a62013-09-05 16:05:56 +00001811LLVM_ATTRIBUTE_UNUSED static void printDebugInfo(const UnwrappedLine &Line,
1812 StringRef Prefix = "") {
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001813 llvm::dbgs() << Prefix << "Line(" << Line.Level << ")"
1814 << (Line.InPPDirective ? " MACRO" : "") << ": ";
1815 for (std::list<UnwrappedLineNode>::const_iterator I = Line.Tokens.begin(),
1816 E = Line.Tokens.end();
1817 I != E; ++I) {
Daniel Jasper9a8d48b2013-09-05 10:04:31 +00001818 llvm::dbgs() << I->Tok->Tok.getName() << "[" << I->Tok->Type << "] ";
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001819 }
1820 for (std::list<UnwrappedLineNode>::const_iterator I = Line.Tokens.begin(),
1821 E = Line.Tokens.end();
1822 I != E; ++I) {
1823 const UnwrappedLineNode &Node = *I;
1824 for (SmallVectorImpl<UnwrappedLine>::const_iterator
1825 I = Node.Children.begin(),
1826 E = Node.Children.end();
1827 I != E; ++I) {
1828 printDebugInfo(*I, "\nChild: ");
1829 }
1830 }
1831 llvm::dbgs() << "\n";
1832}
1833
Daniel Jasperf7935112012-12-03 18:12:45 +00001834void UnwrappedLineParser::addUnwrappedLine() {
Daniel Jasperdaffc0d2013-01-16 09:10:19 +00001835 if (Line->Tokens.empty())
Daniel Jasper7c85fde2013-01-08 14:56:18 +00001836 return;
Manuel Klimekab3dc002013-01-16 12:31:12 +00001837 DEBUG({
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001838 if (CurrentLines == &Lines)
1839 printDebugInfo(*Line);
Manuel Klimekab3dc002013-01-16 12:31:12 +00001840 });
Benjamin Kramerc7551a42015-05-31 11:18:05 +00001841 CurrentLines->push_back(std::move(*Line));
Daniel Jasperdaffc0d2013-01-16 09:10:19 +00001842 Line->Tokens.clear();
Manuel Klimekd3b92fa2013-01-18 14:04:34 +00001843 if (CurrentLines == &Lines && !PreprocessorDirectives.empty()) {
Benjamin Kramerc7551a42015-05-31 11:18:05 +00001844 CurrentLines->append(
1845 std::make_move_iterator(PreprocessorDirectives.begin()),
1846 std::make_move_iterator(PreprocessorDirectives.end()));
Manuel Klimekd3b92fa2013-01-18 14:04:34 +00001847 PreprocessorDirectives.clear();
1848 }
Daniel Jasperf7935112012-12-03 18:12:45 +00001849}
1850
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001851bool UnwrappedLineParser::eof() const { return FormatTok->Tok.is(tok::eof); }
Daniel Jasperf7935112012-12-03 18:12:45 +00001852
Daniel Jasperb05a81d2014-05-09 13:11:16 +00001853bool UnwrappedLineParser::isOnNewLine(const FormatToken &FormatTok) {
Manuel Klimek1fcbe672014-04-11 12:27:47 +00001854 return (Line->InPPDirective || FormatTok.HasUnescapedNewline) &&
1855 FormatTok.NewlinesBefore > 0;
1856}
1857
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001858void UnwrappedLineParser::flushComments(bool NewlineBeforeNext) {
1859 bool JustComments = Line->Tokens.empty();
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001860 for (SmallVectorImpl<FormatToken *>::const_iterator
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001861 I = CommentsBeforeNextToken.begin(),
1862 E = CommentsBeforeNextToken.end();
1863 I != E; ++I) {
Daniel Jaspere60cba12015-05-13 11:35:53 +00001864 if (isOnNewLine(**I) && JustComments)
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001865 addUnwrappedLine();
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001866 pushToken(*I);
1867 }
Daniel Jaspere60cba12015-05-13 11:35:53 +00001868 if (NewlineBeforeNext && JustComments)
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001869 addUnwrappedLine();
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001870 CommentsBeforeNextToken.clear();
1871}
1872
Daniel Jasperf7935112012-12-03 18:12:45 +00001873void UnwrappedLineParser::nextToken() {
1874 if (eof())
1875 return;
Manuel Klimek1fcbe672014-04-11 12:27:47 +00001876 flushComments(isOnNewLine(*FormatTok));
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001877 pushToken(FormatTok);
Manuel Klimek1abf7892013-01-04 23:34:14 +00001878 readToken();
1879}
1880
1881void UnwrappedLineParser::readToken() {
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001882 bool CommentsInCurrentLine = true;
1883 do {
1884 FormatTok = Tokens->getNextToken();
Alexander Kornienkoc2ee9cf2014-03-13 13:59:48 +00001885 assert(FormatTok);
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001886 while (!Line->InPPDirective && FormatTok->Tok.is(tok::hash) &&
1887 (FormatTok->HasUnescapedNewline || FormatTok->IsFirst)) {
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001888 // If there is an unfinished unwrapped line, we flush the preprocessor
1889 // directives only after that unwrapped line was finished later.
Daniel Jasper29d39d52015-02-08 09:34:49 +00001890 bool SwitchToPreprocessorLines = !Line->Tokens.empty();
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001891 ScopedLineState BlockState(*this, SwitchToPreprocessorLines);
Alexander Kornienkob1be9d62013-04-03 12:38:53 +00001892 // Comments stored before the preprocessor directive need to be output
1893 // before the preprocessor directive, at the same level as the
1894 // preprocessor directive, as we consider them to apply to the directive.
Manuel Klimek1fcbe672014-04-11 12:27:47 +00001895 flushComments(isOnNewLine(*FormatTok));
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001896 parsePPDirective();
1897 }
Manuel Klimek68b03042014-04-14 09:14:11 +00001898 while (FormatTok->Type == TT_ConflictStart ||
1899 FormatTok->Type == TT_ConflictEnd ||
1900 FormatTok->Type == TT_ConflictAlternative) {
1901 if (FormatTok->Type == TT_ConflictStart) {
1902 conditionalCompilationStart(/*Unreachable=*/false);
1903 } else if (FormatTok->Type == TT_ConflictAlternative) {
1904 conditionalCompilationAlternative();
Daniel Jasperb05a81d2014-05-09 13:11:16 +00001905 } else if (FormatTok->Type == TT_ConflictEnd) {
Manuel Klimek68b03042014-04-14 09:14:11 +00001906 conditionalCompilationEnd();
1907 }
1908 FormatTok = Tokens->getNextToken();
1909 FormatTok->MustBreakBefore = true;
1910 }
Alexander Kornienkof2e02122013-05-24 18:24:24 +00001911
1912 if (!PPStack.empty() && (PPStack.back() == PP_Unreachable) &&
1913 !Line->InPPDirective) {
1914 continue;
1915 }
1916
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001917 if (!FormatTok->Tok.is(tok::comment))
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001918 return;
Manuel Klimek1fcbe672014-04-11 12:27:47 +00001919 if (isOnNewLine(*FormatTok) || FormatTok->IsFirst) {
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001920 CommentsInCurrentLine = false;
1921 }
1922 if (CommentsInCurrentLine) {
1923 pushToken(FormatTok);
1924 } else {
1925 CommentsBeforeNextToken.push_back(FormatTok);
1926 }
1927 } while (!eof());
1928}
1929
Manuel Klimek15dfe7a2013-05-28 11:55:06 +00001930void UnwrappedLineParser::pushToken(FormatToken *Tok) {
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001931 Line->Tokens.push_back(UnwrappedLineNode(Tok));
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001932 if (MustBreakBeforeNextToken) {
Daniel Jasper9fe0e8d2013-09-05 09:29:45 +00001933 Line->Tokens.back().Tok->MustBreakBefore = true;
Manuel Klimekf92f7bc2013-01-22 16:31:55 +00001934 MustBreakBeforeNextToken = false;
Manuel Klimek1abf7892013-01-04 23:34:14 +00001935 }
Daniel Jasperf7935112012-12-03 18:12:45 +00001936}
1937
Daniel Jasper8d1832e2013-01-07 13:26:07 +00001938} // end namespace format
1939} // end namespace clang