Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 1 | //===--- FormatToken.h - Format C++ code ------------------------*- C++ -*-===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | /// |
| 9 | /// \file |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 10 | /// This file contains the declaration of the FormatToken, a wrapper |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 11 | /// around Token with additional information related to formatting. |
| 12 | /// |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Benjamin Kramer | 2f5db8b | 2014-08-13 16:25:19 +0000 | [diff] [blame] | 15 | #ifndef LLVM_CLANG_LIB_FORMAT_FORMATTOKEN_H |
| 16 | #define LLVM_CLANG_LIB_FORMAT_FORMATTOKEN_H |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 17 | |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 18 | #include "clang/Basic/IdentifierTable.h" |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 19 | #include "clang/Basic/OperatorPrecedence.h" |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 20 | #include "clang/Format/Format.h" |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 21 | #include "clang/Lex/Lexer.h" |
Ahmed Charles | dfca6f9 | 2014-03-09 11:36:40 +0000 | [diff] [blame] | 22 | #include <memory> |
Martin Probst | 37a7f91 | 2017-07-04 15:30:21 +0000 | [diff] [blame] | 23 | #include <unordered_set> |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 24 | |
| 25 | namespace clang { |
| 26 | namespace format { |
| 27 | |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 28 | #define LIST_TOKEN_TYPES \ |
| 29 | TYPE(ArrayInitializerLSquare) \ |
| 30 | TYPE(ArraySubscriptLSquare) \ |
Ben Hamilton | b060ad8 | 2018-03-12 15:42:38 +0000 | [diff] [blame] | 31 | TYPE(AttributeColon) \ |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 32 | TYPE(AttributeParen) \ |
Ben Hamilton | b060ad8 | 2018-03-12 15:42:38 +0000 | [diff] [blame] | 33 | TYPE(AttributeSquare) \ |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 34 | TYPE(BinaryOperator) \ |
| 35 | TYPE(BitFieldColon) \ |
| 36 | TYPE(BlockComment) \ |
| 37 | TYPE(CastRParen) \ |
| 38 | TYPE(ConditionalExpr) \ |
| 39 | TYPE(ConflictAlternative) \ |
| 40 | TYPE(ConflictEnd) \ |
| 41 | TYPE(ConflictStart) \ |
| 42 | TYPE(CtorInitializerColon) \ |
| 43 | TYPE(CtorInitializerComma) \ |
| 44 | TYPE(DesignatedInitializerLSquare) \ |
| 45 | TYPE(DesignatedInitializerPeriod) \ |
| 46 | TYPE(DictLiteral) \ |
| 47 | TYPE(ForEachMacro) \ |
| 48 | TYPE(FunctionAnnotationRParen) \ |
| 49 | TYPE(FunctionDeclarationName) \ |
| 50 | TYPE(FunctionLBrace) \ |
| 51 | TYPE(FunctionTypeLParen) \ |
| 52 | TYPE(ImplicitStringLiteral) \ |
| 53 | TYPE(InheritanceColon) \ |
| 54 | TYPE(InheritanceComma) \ |
| 55 | TYPE(InlineASMBrace) \ |
| 56 | TYPE(InlineASMColon) \ |
| 57 | TYPE(JavaAnnotation) \ |
| 58 | TYPE(JsComputedPropertyName) \ |
| 59 | TYPE(JsExponentiation) \ |
| 60 | TYPE(JsExponentiationEqual) \ |
| 61 | TYPE(JsFatArrow) \ |
| 62 | TYPE(JsNonNullAssertion) \ |
Martin Probst | 26a484f4 | 2019-03-19 12:28:41 +0000 | [diff] [blame] | 63 | TYPE(JsPrivateIdentifier) \ |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 64 | TYPE(JsTypeColon) \ |
| 65 | TYPE(JsTypeOperator) \ |
| 66 | TYPE(JsTypeOptionalQuestion) \ |
| 67 | TYPE(LambdaArrow) \ |
Ronald Wampler | a83e2db | 2019-03-26 20:18:14 +0000 | [diff] [blame] | 68 | TYPE(LambdaLBrace) \ |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 69 | TYPE(LambdaLSquare) \ |
| 70 | TYPE(LeadingJavaAnnotation) \ |
| 71 | TYPE(LineComment) \ |
| 72 | TYPE(MacroBlockBegin) \ |
| 73 | TYPE(MacroBlockEnd) \ |
| 74 | TYPE(ObjCBlockLBrace) \ |
| 75 | TYPE(ObjCBlockLParen) \ |
| 76 | TYPE(ObjCDecl) \ |
| 77 | TYPE(ObjCForIn) \ |
| 78 | TYPE(ObjCMethodExpr) \ |
| 79 | TYPE(ObjCMethodSpecifier) \ |
| 80 | TYPE(ObjCProperty) \ |
| 81 | TYPE(ObjCStringLiteral) \ |
| 82 | TYPE(OverloadedOperator) \ |
| 83 | TYPE(OverloadedOperatorLParen) \ |
| 84 | TYPE(PointerOrReference) \ |
| 85 | TYPE(PureVirtualSpecifier) \ |
| 86 | TYPE(RangeBasedForLoopColon) \ |
| 87 | TYPE(RegexLiteral) \ |
| 88 | TYPE(SelectorName) \ |
| 89 | TYPE(StartOfName) \ |
Francois Ferrand | 6f40e21 | 2018-10-02 16:37:51 +0000 | [diff] [blame] | 90 | TYPE(StatementMacro) \ |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 91 | TYPE(StructuredBindingLSquare) \ |
| 92 | TYPE(TemplateCloser) \ |
| 93 | TYPE(TemplateOpener) \ |
| 94 | TYPE(TemplateString) \ |
Krasimir Georgiev | 4e290648 | 2018-02-13 10:20:39 +0000 | [diff] [blame] | 95 | TYPE(ProtoExtensionLSquare) \ |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 96 | TYPE(TrailingAnnotation) \ |
| 97 | TYPE(TrailingReturnArrow) \ |
| 98 | TYPE(TrailingUnaryOperator) \ |
| 99 | TYPE(UnaryOperator) \ |
Paul Hoad | cbb726d | 2019-03-21 13:09:22 +0000 | [diff] [blame] | 100 | TYPE(CSharpStringLiteral) \ |
| 101 | TYPE(CSharpNullCoalescing) \ |
Birunthan Mohanathas | 67d81c8 | 2015-07-13 16:19:34 +0000 | [diff] [blame] | 102 | TYPE(Unknown) |
| 103 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 104 | enum TokenType { |
Birunthan Mohanathas | 67d81c8 | 2015-07-13 16:19:34 +0000 | [diff] [blame] | 105 | #define TYPE(X) TT_##X, |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 106 | LIST_TOKEN_TYPES |
Birunthan Mohanathas | 67d81c8 | 2015-07-13 16:19:34 +0000 | [diff] [blame] | 107 | #undef TYPE |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 108 | NUM_TOKEN_TYPES |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 109 | }; |
| 110 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 111 | /// Determines the name of a token type. |
Birunthan Mohanathas | 67d81c8 | 2015-07-13 16:19:34 +0000 | [diff] [blame] | 112 | const char *getTokenTypeName(TokenType Type); |
| 113 | |
Daniel Jasper | b1f74a8 | 2013-07-09 09:06:29 +0000 | [diff] [blame] | 114 | // Represents what type of block a set of braces open. |
Daniel Jasper | e6fcf7d | 2015-06-17 13:08:06 +0000 | [diff] [blame] | 115 | enum BraceBlockKind { BK_Unknown, BK_Block, BK_BracedInit }; |
Daniel Jasper | b1f74a8 | 2013-07-09 09:06:29 +0000 | [diff] [blame] | 116 | |
Daniel Jasper | b10cbc4 | 2013-07-10 14:02:49 +0000 | [diff] [blame] | 117 | // The packing kind of a function's parameters. |
Daniel Jasper | e6fcf7d | 2015-06-17 13:08:06 +0000 | [diff] [blame] | 118 | enum ParameterPackingKind { PPK_BinPacked, PPK_OnePerLine, PPK_Inconclusive }; |
Daniel Jasper | b10cbc4 | 2013-07-10 14:02:49 +0000 | [diff] [blame] | 119 | |
Daniel Jasper | e6fcf7d | 2015-06-17 13:08:06 +0000 | [diff] [blame] | 120 | enum FormatDecision { FD_Unformatted, FD_Continue, FD_Break }; |
Manuel Klimek | 71814b4 | 2013-10-11 21:25:45 +0000 | [diff] [blame] | 121 | |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 122 | class TokenRole; |
Daniel Jasper | 9fe0e8d | 2013-09-05 09:29:45 +0000 | [diff] [blame] | 123 | class AnnotatedLine; |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 124 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 125 | /// A wrapper around a \c Token storing information about the |
Alp Toker | f6a24ce | 2013-12-05 16:25:25 +0000 | [diff] [blame] | 126 | /// whitespace characters preceding it. |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 127 | struct FormatToken { |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 128 | FormatToken() {} |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 129 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 130 | /// The \c Token. |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 131 | Token Tok; |
| 132 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 133 | /// The number of newlines immediately before the \c Token. |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 134 | /// |
| 135 | /// This can be used to determine what the user wrote in the original code |
| 136 | /// and thereby e.g. leave an empty line between two function definitions. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 137 | unsigned NewlinesBefore = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 138 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 139 | /// Whether there is at least one unescaped newline before the \c |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 140 | /// Token. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 141 | bool HasUnescapedNewline = false; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 142 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 143 | /// The range of the whitespace immediately preceding the \c Token. |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 144 | SourceRange WhitespaceRange; |
| 145 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 146 | /// The offset just past the last '\n' in this token's leading |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 147 | /// whitespace (relative to \c WhiteSpaceStart). 0 if there is no '\n'. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 148 | unsigned LastNewlineOffset = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 149 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 150 | /// The width of the non-whitespace parts of the token (or its first |
Alexander Kornienko | 39856b7 | 2013-09-10 09:38:25 +0000 | [diff] [blame] | 151 | /// line for multi-line tokens) in columns. |
Alexander Kornienko | ffcc010 | 2013-06-05 14:09:10 +0000 | [diff] [blame] | 152 | /// We need this to correctly measure number of columns a token spans. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 153 | unsigned ColumnWidth = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 154 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 155 | /// Contains the width in columns of the last line of a multi-line |
Alexander Kornienko | 632abb9 | 2013-09-02 13:58:14 +0000 | [diff] [blame] | 156 | /// token. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 157 | unsigned LastLineColumnWidth = 0; |
Alexander Kornienko | 632abb9 | 2013-09-02 13:58:14 +0000 | [diff] [blame] | 158 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 159 | /// Whether the token text contains newlines (escaped or not). |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 160 | bool IsMultiline = false; |
Alexander Kornienko | 632abb9 | 2013-09-02 13:58:14 +0000 | [diff] [blame] | 161 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 162 | /// Indicates that this is the first token of the file. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 163 | bool IsFirst = false; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 164 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 165 | /// Whether there must be a line break before this token. |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 166 | /// |
| 167 | /// This happens for example when a preprocessor directive ended directly |
| 168 | /// before the token. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 169 | bool MustBreakBefore = false; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 170 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 171 | /// The raw text of the token. |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 172 | /// |
| 173 | /// Contains the raw token text without leading whitespace and without leading |
| 174 | /// escaped newlines. |
| 175 | StringRef TokenText; |
| 176 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 177 | /// Set to \c true if this token is an unterminated literal. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 178 | bool IsUnterminatedLiteral = 0; |
Daniel Jasper | 8369aa5 | 2013-07-16 20:28:33 +0000 | [diff] [blame] | 179 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 180 | /// Contains the kind of block if this token is a brace. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 181 | BraceBlockKind BlockKind = BK_Unknown; |
Daniel Jasper | b1f74a8 | 2013-07-09 09:06:29 +0000 | [diff] [blame] | 182 | |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 183 | TokenType Type = TT_Unknown; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 184 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 185 | /// The number of spaces that should be inserted before this token. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 186 | unsigned SpacesRequiredBefore = 0; |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 187 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 188 | /// \c true if it is allowed to break before this token. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 189 | bool CanBreakBefore = false; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 190 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 191 | /// \c true if this is the ">" of "template<..>". |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 192 | bool ClosesTemplateDeclaration = false; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 193 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 194 | /// Number of parameters, if this is "(", "[" or "<". |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 195 | unsigned ParameterCount = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 196 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 197 | /// Number of parameters that are nested blocks, |
Daniel Jasper | 114a2bc | 2014-06-03 12:02:45 +0000 | [diff] [blame] | 198 | /// if this is "(", "[" or "<". |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 199 | unsigned BlockParameterCount = 0; |
Daniel Jasper | 114a2bc | 2014-06-03 12:02:45 +0000 | [diff] [blame] | 200 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 201 | /// If this is a bracket ("<", "(", "[" or "{"), contains the kind of |
Daniel Jasper | de7ca75 | 2015-05-04 07:39:00 +0000 | [diff] [blame] | 202 | /// the surrounding bracket. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 203 | tok::TokenKind ParentBracket = tok::unknown; |
Daniel Jasper | de7ca75 | 2015-05-04 07:39:00 +0000 | [diff] [blame] | 204 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 205 | /// A token can have a special role that can carry extra information |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 206 | /// about the token's formatting. |
Ahmed Charles | b898432 | 2014-03-07 20:03:18 +0000 | [diff] [blame] | 207 | std::unique_ptr<TokenRole> Role; |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 208 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 209 | /// If this is an opening parenthesis, how are the parameters packed? |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 210 | ParameterPackingKind PackingKind = PPK_Inconclusive; |
Daniel Jasper | b10cbc4 | 2013-07-10 14:02:49 +0000 | [diff] [blame] | 211 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 212 | /// The total length of the unwrapped line up to and including this |
Manuel Klimek | 31c8592 | 2013-08-29 15:21:40 +0000 | [diff] [blame] | 213 | /// token. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 214 | unsigned TotalLength = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 215 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 216 | /// The original 0-based column of this token, including expanded tabs. |
Alexander Kornienko | 39856b7 | 2013-09-10 09:38:25 +0000 | [diff] [blame] | 217 | /// The configured TabWidth is used as tab width. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 218 | unsigned OriginalColumn = 0; |
Manuel Klimek | 31c8592 | 2013-08-29 15:21:40 +0000 | [diff] [blame] | 219 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 220 | /// The length of following tokens until the next natural split point, |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 221 | /// or the next token that can be broken. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 222 | unsigned UnbreakableTailLength = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 223 | |
| 224 | // FIXME: Come up with a 'cleaner' concept. |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 225 | /// The binding strength of a token. This is a combined value of |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 226 | /// operator precedence, parenthesis nesting, etc. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 227 | unsigned BindingStrength = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 228 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 229 | /// The nesting level of this token, i.e. the number of surrounding (), |
Daniel Jasper | 63af7c4 | 2013-12-09 14:40:19 +0000 | [diff] [blame] | 230 | /// [], {} or <>. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 231 | unsigned NestingLevel = 0; |
Daniel Jasper | 63af7c4 | 2013-12-09 14:40:19 +0000 | [diff] [blame] | 232 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 233 | /// The indent level of this token. Copied from the surrounding line. |
Daniel Jasper | 7d42f3f | 2017-01-31 11:25:01 +0000 | [diff] [blame] | 234 | unsigned IndentLevel = 0; |
| 235 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 236 | /// Penalty for inserting a line break before this token. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 237 | unsigned SplitPenalty = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 238 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 239 | /// If this is the first ObjC selector name in an ObjC method |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 240 | /// definition or call, this contains the length of the longest name. |
Daniel Jasper | b88b25f | 2013-12-23 07:29:06 +0000 | [diff] [blame] | 241 | /// |
| 242 | /// This being set to 0 means that the selectors should not be colon-aligned, |
| 243 | /// e.g. because several of them are block-type. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 244 | unsigned LongestObjCSelectorName = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 245 | |
Jacek Olesiak | 27a5579 | 2018-07-09 05:58:51 +0000 | [diff] [blame] | 246 | /// If this is the first ObjC selector name in an ObjC method |
| 247 | /// definition or call, this contains the number of parts that the whole |
| 248 | /// selector consist of. |
Jacek Olesiak | fb7f5c0 | 2018-02-07 10:35:08 +0000 | [diff] [blame] | 249 | unsigned ObjCSelectorNameParts = 0; |
| 250 | |
Jacek Olesiak | 6b475b7 | 2018-07-09 06:54:52 +0000 | [diff] [blame] | 251 | /// The 0-based index of the parameter/argument. For ObjC it is set |
| 252 | /// for the selector name token. |
| 253 | /// For now calculated only for ObjC. |
| 254 | unsigned ParameterIndex = 0; |
| 255 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 256 | /// Stores the number of required fake parentheses and the |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 257 | /// corresponding operator precedence. |
| 258 | /// |
| 259 | /// If multiple fake parentheses start at a token, this vector stores them in |
| 260 | /// reverse order, i.e. inner fake parenthesis first. |
| 261 | SmallVector<prec::Level, 4> FakeLParens; |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 262 | /// Insert this many fake ) after this token for correct indentation. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 263 | unsigned FakeRParens = 0; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 264 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 265 | /// \c true if this token starts a binary expression, i.e. has at least |
Daniel Jasper | 562ecd4 | 2013-09-06 08:08:14 +0000 | [diff] [blame] | 266 | /// one fake l_paren with a precedence greater than prec::Unknown. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 267 | bool StartsBinaryExpression = false; |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 268 | /// \c true if this token ends a binary expression. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 269 | bool EndsBinaryExpression = false; |
Daniel Jasper | 562ecd4 | 2013-09-06 08:08:14 +0000 | [diff] [blame] | 270 | |
Krasimir Georgiev | 54ff0df | 2018-10-01 18:18:00 +0000 | [diff] [blame] | 271 | /// If this is an operator (or "."/"->") in a sequence of operators |
Daniel Jasper | 0e61784 | 2014-04-16 12:26:54 +0000 | [diff] [blame] | 272 | /// with the same precedence, contains the 0-based operator index. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 273 | unsigned OperatorIndex = 0; |
Daniel Jasper | 0e61784 | 2014-04-16 12:26:54 +0000 | [diff] [blame] | 274 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 275 | /// If this is an operator (or "."/"->") in a sequence of operators |
Daniel Jasper | 00492f9 | 2016-01-05 13:03:50 +0000 | [diff] [blame] | 276 | /// with the same precedence, points to the next operator. |
| 277 | FormatToken *NextOperator = nullptr; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 278 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 279 | /// Is this token part of a \c DeclStmt defining multiple variables? |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 280 | /// |
| 281 | /// Only set if \c Type == \c TT_StartOfName. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 282 | bool PartOfMultiVariableDeclStmt = false; |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 283 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 284 | /// Does this line comment continue a line comment section? |
Krasimir Georgiev | b6ccd38 | 2017-02-02 14:36:50 +0000 | [diff] [blame] | 285 | /// |
| 286 | /// Only set to true if \c Type == \c TT_LineComment. |
| 287 | bool ContinuesLineCommentSection = false; |
| 288 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 289 | /// If this is a bracket, this points to the matching one. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 290 | FormatToken *MatchingParen = nullptr; |
| 291 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 292 | /// The previous token in the unwrapped line. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 293 | FormatToken *Previous = nullptr; |
| 294 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 295 | /// The next token in the unwrapped line. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 296 | FormatToken *Next = nullptr; |
| 297 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 298 | /// If this token starts a block, this contains all the unwrapped lines |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 299 | /// in it. |
| 300 | SmallVector<AnnotatedLine *, 1> Children; |
| 301 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 302 | /// Stores the formatting decision for the token once it was made. |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 303 | FormatDecision Decision = FD_Unformatted; |
| 304 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 305 | /// If \c true, this token has been fully formatted (indented and |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 306 | /// potentially re-formatted inside), and we do not allow further formatting |
| 307 | /// changes. |
| 308 | bool Finalized = false; |
Daniel Jasper | e1e4319 | 2014-04-01 12:55:11 +0000 | [diff] [blame] | 309 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 310 | bool is(tok::TokenKind Kind) const { return Tok.is(Kind); } |
Daniel Jasper | 8354ea8 | 2014-11-21 12:14:12 +0000 | [diff] [blame] | 311 | bool is(TokenType TT) const { return Type == TT; } |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 312 | bool is(const IdentifierInfo *II) const { |
| 313 | return II && II == Tok.getIdentifierInfo(); |
| 314 | } |
Daniel Jasper | d788457 | 2015-08-14 12:44:06 +0000 | [diff] [blame] | 315 | bool is(tok::PPKeywordKind Kind) const { |
| 316 | return Tok.getIdentifierInfo() && |
| 317 | Tok.getIdentifierInfo()->getPPKeywordID() == Kind; |
| 318 | } |
Daniel Jasper | a98b7b0 | 2014-11-25 10:05:17 +0000 | [diff] [blame] | 319 | template <typename A, typename B> bool isOneOf(A K1, B K2) const { |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 320 | return is(K1) || is(K2); |
| 321 | } |
Benjamin Kramer | c5bc3cd | 2015-02-15 20:11:14 +0000 | [diff] [blame] | 322 | template <typename A, typename B, typename... Ts> |
| 323 | bool isOneOf(A K1, B K2, Ts... Ks) const { |
| 324 | return is(K1) || isOneOf(K2, Ks...); |
Aaron Ballman | 484ee9b | 2014-11-24 15:42:34 +0000 | [diff] [blame] | 325 | } |
Daniel Jasper | a98b7b0 | 2014-11-25 10:05:17 +0000 | [diff] [blame] | 326 | template <typename T> bool isNot(T Kind) const { return !is(Kind); } |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 327 | |
Ilya Biryukov | 370eff8 | 2018-09-17 07:46:20 +0000 | [diff] [blame] | 328 | bool closesScopeAfterBlock() const { |
| 329 | if (BlockKind == BK_Block) |
| 330 | return true; |
| 331 | if (closesScope()) |
| 332 | return Previous->closesScopeAfterBlock(); |
| 333 | return false; |
| 334 | } |
| 335 | |
Martin Probst | 1244ecb | 2016-05-29 14:41:02 +0000 | [diff] [blame] | 336 | /// \c true if this token starts a sequence with the given tokens in order, |
| 337 | /// following the ``Next`` pointers, ignoring comments. |
| 338 | template <typename A, typename... Ts> |
| 339 | bool startsSequence(A K1, Ts... Tokens) const { |
| 340 | return startsSequenceInternal(K1, Tokens...); |
| 341 | } |
| 342 | |
| 343 | /// \c true if this token ends a sequence with the given tokens in order, |
| 344 | /// following the ``Previous`` pointers, ignoring comments. |
| 345 | template <typename A, typename... Ts> |
| 346 | bool endsSequence(A K1, Ts... Tokens) const { |
| 347 | return endsSequenceInternal(K1, Tokens...); |
| 348 | } |
| 349 | |
Daniel Jasper | 04b6a08 | 2013-12-20 06:22:01 +0000 | [diff] [blame] | 350 | bool isStringLiteral() const { return tok::isStringLiteral(Tok.getKind()); } |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 351 | |
| 352 | bool isObjCAtKeyword(tok::ObjCKeywordKind Kind) const { |
| 353 | return Tok.isObjCAtKeyword(Kind); |
| 354 | } |
| 355 | |
| 356 | bool isAccessSpecifier(bool ColonRequired = true) const { |
| 357 | return isOneOf(tok::kw_public, tok::kw_protected, tok::kw_private) && |
| 358 | (!ColonRequired || (Next && Next->is(tok::colon))); |
| 359 | } |
| 360 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 361 | /// Determine whether the token is a simple-type-specifier. |
Daniel Jasper | cb51cf4 | 2014-01-16 09:11:55 +0000 | [diff] [blame] | 362 | bool isSimpleTypeSpecifier() const; |
| 363 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 364 | bool isObjCAccessSpecifier() const { |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 365 | return is(tok::at) && Next && |
| 366 | (Next->isObjCAtKeyword(tok::objc_public) || |
| 367 | Next->isObjCAtKeyword(tok::objc_protected) || |
| 368 | Next->isObjCAtKeyword(tok::objc_package) || |
| 369 | Next->isObjCAtKeyword(tok::objc_private)); |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 370 | } |
| 371 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 372 | /// Returns whether \p Tok is ([{ or an opening < of a template or in |
Krasimir Georgiev | a79d62d | 2018-02-06 11:34:34 +0000 | [diff] [blame] | 373 | /// protos. |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 374 | bool opensScope() const { |
Daniel Jasper | 24de6fb | 2017-01-31 13:03:07 +0000 | [diff] [blame] | 375 | if (is(TT_TemplateString) && TokenText.endswith("${")) |
| 376 | return true; |
Krasimir Georgiev | a79d62d | 2018-02-06 11:34:34 +0000 | [diff] [blame] | 377 | if (is(TT_DictLiteral) && is(tok::less)) |
| 378 | return true; |
Daniel Jasper | a98b7b0 | 2014-11-25 10:05:17 +0000 | [diff] [blame] | 379 | return isOneOf(tok::l_paren, tok::l_brace, tok::l_square, |
| 380 | TT_TemplateOpener); |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 381 | } |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 382 | /// Returns whether \p Tok is )]} or a closing > of a template or in |
Krasimir Georgiev | a79d62d | 2018-02-06 11:34:34 +0000 | [diff] [blame] | 383 | /// protos. |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 384 | bool closesScope() const { |
Daniel Jasper | 24de6fb | 2017-01-31 13:03:07 +0000 | [diff] [blame] | 385 | if (is(TT_TemplateString) && TokenText.startswith("}")) |
| 386 | return true; |
Krasimir Georgiev | a79d62d | 2018-02-06 11:34:34 +0000 | [diff] [blame] | 387 | if (is(TT_DictLiteral) && is(tok::greater)) |
| 388 | return true; |
Daniel Jasper | a98b7b0 | 2014-11-25 10:05:17 +0000 | [diff] [blame] | 389 | return isOneOf(tok::r_paren, tok::r_brace, tok::r_square, |
| 390 | TT_TemplateCloser); |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 391 | } |
| 392 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 393 | /// Returns \c true if this is a "." or "->" accessing a member. |
Daniel Jasper | 4c6e005 | 2013-08-27 14:24:43 +0000 | [diff] [blame] | 394 | bool isMemberAccess() const { |
Daniel Jasper | 85bcadc | 2014-07-09 13:07:57 +0000 | [diff] [blame] | 395 | return isOneOf(tok::arrow, tok::period, tok::arrowstar) && |
Daniel Jasper | 05cd929 | 2015-03-26 18:46:28 +0000 | [diff] [blame] | 396 | !isOneOf(TT_DesignatedInitializerPeriod, TT_TrailingReturnArrow, |
| 397 | TT_LambdaArrow); |
Daniel Jasper | 4c6e005 | 2013-08-27 14:24:43 +0000 | [diff] [blame] | 398 | } |
| 399 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 400 | bool isUnaryOperator() const { |
| 401 | switch (Tok.getKind()) { |
| 402 | case tok::plus: |
| 403 | case tok::plusplus: |
| 404 | case tok::minus: |
| 405 | case tok::minusminus: |
| 406 | case tok::exclaim: |
| 407 | case tok::tilde: |
| 408 | case tok::kw_sizeof: |
| 409 | case tok::kw_alignof: |
| 410 | return true; |
| 411 | default: |
| 412 | return false; |
| 413 | } |
| 414 | } |
Daniel Jasper | 4c6e005 | 2013-08-27 14:24:43 +0000 | [diff] [blame] | 415 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 416 | bool isBinaryOperator() const { |
| 417 | // Comma is a binary operator, but does not behave as such wrt. formatting. |
| 418 | return getPrecedence() > prec::Comma; |
| 419 | } |
Daniel Jasper | 4c6e005 | 2013-08-27 14:24:43 +0000 | [diff] [blame] | 420 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 421 | bool isTrailingComment() const { |
Daniel Jasper | 610381f | 2014-08-26 09:37:52 +0000 | [diff] [blame] | 422 | return is(tok::comment) && |
Daniel Jasper | a98b7b0 | 2014-11-25 10:05:17 +0000 | [diff] [blame] | 423 | (is(TT_LineComment) || !Next || Next->NewlinesBefore > 0); |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 424 | } |
| 425 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 426 | /// Returns \c true if this is a keyword that can be used |
Daniel Jasper | 78b19499 | 2014-08-06 14:15:41 +0000 | [diff] [blame] | 427 | /// like a function call (e.g. sizeof, typeid, ...). |
| 428 | bool isFunctionLikeKeyword() const { |
| 429 | switch (Tok.getKind()) { |
| 430 | case tok::kw_throw: |
| 431 | case tok::kw_typeid: |
| 432 | case tok::kw_return: |
| 433 | case tok::kw_sizeof: |
| 434 | case tok::kw_alignof: |
| 435 | case tok::kw_alignas: |
| 436 | case tok::kw_decltype: |
| 437 | case tok::kw_noexcept: |
| 438 | case tok::kw_static_assert: |
| 439 | case tok::kw___attribute: |
| 440 | return true; |
| 441 | default: |
| 442 | return false; |
| 443 | } |
| 444 | } |
| 445 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 446 | /// Returns \c true if this is a string literal that's like a label, |
Daniel Jasper | 7209bb9 | 2016-12-13 11:16:42 +0000 | [diff] [blame] | 447 | /// e.g. ends with "=" or ":". |
| 448 | bool isLabelString() const { |
| 449 | if (!is(tok::string_literal)) |
| 450 | return false; |
| 451 | StringRef Content = TokenText; |
| 452 | if (Content.startswith("\"") || Content.startswith("'")) |
| 453 | Content = Content.drop_front(1); |
| 454 | if (Content.endswith("\"") || Content.endswith("'")) |
| 455 | Content = Content.drop_back(1); |
| 456 | Content = Content.trim(); |
| 457 | return Content.size() > 1 && |
| 458 | (Content.back() == ':' || Content.back() == '='); |
| 459 | } |
| 460 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 461 | /// Returns actual token start location without leading escaped |
Daniel Jasper | 3cea45d | 2015-05-04 08:51:40 +0000 | [diff] [blame] | 462 | /// newlines and whitespace. |
| 463 | /// |
| 464 | /// This can be different to Tok.getLocation(), which includes leading escaped |
| 465 | /// newlines. |
| 466 | SourceLocation getStartOfNonWhitespace() const { |
| 467 | return WhitespaceRange.getEnd(); |
| 468 | } |
| 469 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 470 | prec::Level getPrecedence() const { |
Nico Weber | 47867e3 | 2018-01-23 17:29:41 +0000 | [diff] [blame] | 471 | return getBinOpPrecedence(Tok.getKind(), /*GreaterThanIsOperator=*/true, |
| 472 | /*CPlusPlus11=*/true); |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 473 | } |
| 474 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 475 | /// Returns the previous token ignoring comments. |
Alexander Kornienko | 1efe0a0 | 2013-07-04 14:47:51 +0000 | [diff] [blame] | 476 | FormatToken *getPreviousNonComment() const { |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 477 | FormatToken *Tok = Previous; |
Craig Topper | 2145bc0 | 2014-05-09 08:15:10 +0000 | [diff] [blame] | 478 | while (Tok && Tok->is(tok::comment)) |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 479 | Tok = Tok->Previous; |
| 480 | return Tok; |
| 481 | } |
| 482 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 483 | /// Returns the next token ignoring comments. |
Alexander Kornienko | 1efe0a0 | 2013-07-04 14:47:51 +0000 | [diff] [blame] | 484 | const FormatToken *getNextNonComment() const { |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 485 | const FormatToken *Tok = Next; |
Craig Topper | 2145bc0 | 2014-05-09 08:15:10 +0000 | [diff] [blame] | 486 | while (Tok && Tok->is(tok::comment)) |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 487 | Tok = Tok->Next; |
| 488 | return Tok; |
| 489 | } |
| 490 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 491 | /// Returns \c true if this tokens starts a block-type list, i.e. a |
Daniel Jasper | b8f6168 | 2013-10-22 15:45:58 +0000 | [diff] [blame] | 492 | /// list that should be indented with a block indent. |
Daniel Jasper | bd73bcf | 2015-10-27 13:42:08 +0000 | [diff] [blame] | 493 | bool opensBlockOrBlockTypeList(const FormatStyle &Style) const { |
Daniel Jasper | 98e0b12 | 2017-02-20 14:51:16 +0000 | [diff] [blame] | 494 | if (is(TT_TemplateString) && opensScope()) |
| 495 | return true; |
Paul Hoad | 5bcf99b | 2019-03-01 09:09:54 +0000 | [diff] [blame] | 496 | return is(TT_ArrayInitializerLSquare) || is(TT_ProtoExtensionLSquare) || |
Daniel Jasper | 11a0ac6 | 2014-12-12 09:40:58 +0000 | [diff] [blame] | 497 | (is(tok::l_brace) && |
| 498 | (BlockKind == BK_Block || is(TT_DictLiteral) || |
Krasimir Georgiev | ff747be | 2017-06-27 13:43:07 +0000 | [diff] [blame] | 499 | (!Style.Cpp11BracedListStyle && NestingLevel == 0))) || |
Krasimir Georgiev | 26b144c | 2017-07-03 15:05:14 +0000 | [diff] [blame] | 500 | (is(tok::less) && (Style.Language == FormatStyle::LK_Proto || |
| 501 | Style.Language == FormatStyle::LK_TextProto)); |
Daniel Jasper | b8f6168 | 2013-10-22 15:45:58 +0000 | [diff] [blame] | 502 | } |
| 503 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 504 | /// Returns whether the token is the left square bracket of a C++ |
Manuel Klimek | e411aa8 | 2017-09-20 09:29:37 +0000 | [diff] [blame] | 505 | /// structured binding declaration. |
| 506 | bool isCppStructuredBinding(const FormatStyle &Style) const { |
| 507 | if (!Style.isCpp() || isNot(tok::l_square)) |
| 508 | return false; |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 509 | const FormatToken *T = this; |
Manuel Klimek | e411aa8 | 2017-09-20 09:29:37 +0000 | [diff] [blame] | 510 | do { |
| 511 | T = T->getPreviousNonComment(); |
| 512 | } while (T && T->isOneOf(tok::kw_const, tok::kw_volatile, tok::amp, |
| 513 | tok::ampamp)); |
| 514 | return T && T->is(tok::kw_auto); |
| 515 | } |
| 516 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 517 | /// Same as opensBlockOrBlockTypeList, but for the closing token. |
Daniel Jasper | bd73bcf | 2015-10-27 13:42:08 +0000 | [diff] [blame] | 518 | bool closesBlockOrBlockTypeList(const FormatStyle &Style) const { |
Daniel Jasper | 98e0b12 | 2017-02-20 14:51:16 +0000 | [diff] [blame] | 519 | if (is(TT_TemplateString) && closesScope()) |
| 520 | return true; |
Daniel Jasper | bd73bcf | 2015-10-27 13:42:08 +0000 | [diff] [blame] | 521 | return MatchingParen && MatchingParen->opensBlockOrBlockTypeList(Style); |
Daniel Jasper | 1db6c38 | 2013-10-22 15:30:28 +0000 | [diff] [blame] | 522 | } |
| 523 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 524 | /// Return the actual namespace token, if this token starts a namespace |
Francois Ferrand | ad72256 | 2017-06-30 20:25:55 +0000 | [diff] [blame] | 525 | /// block. |
| 526 | const FormatToken *getNamespaceToken() const { |
| 527 | const FormatToken *NamespaceTok = this; |
| 528 | if (is(tok::comment)) |
| 529 | NamespaceTok = NamespaceTok->getNextNonComment(); |
Sam McCall | 6f3778c | 2018-09-05 07:44:02 +0000 | [diff] [blame] | 530 | // Detect "(inline|export)? namespace" in the beginning of a line. |
| 531 | if (NamespaceTok && NamespaceTok->isOneOf(tok::kw_inline, tok::kw_export)) |
Francois Ferrand | ad72256 | 2017-06-30 20:25:55 +0000 | [diff] [blame] | 532 | NamespaceTok = NamespaceTok->getNextNonComment(); |
| 533 | return NamespaceTok && NamespaceTok->is(tok::kw_namespace) ? NamespaceTok |
| 534 | : nullptr; |
| 535 | } |
| 536 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 537 | private: |
| 538 | // Disallow copying. |
Aaron Ballman | abc1892 | 2015-02-15 22:54:08 +0000 | [diff] [blame] | 539 | FormatToken(const FormatToken &) = delete; |
| 540 | void operator=(const FormatToken &) = delete; |
Martin Probst | 1244ecb | 2016-05-29 14:41:02 +0000 | [diff] [blame] | 541 | |
| 542 | template <typename A, typename... Ts> |
| 543 | bool startsSequenceInternal(A K1, Ts... Tokens) const { |
| 544 | if (is(tok::comment) && Next) |
| 545 | return Next->startsSequenceInternal(K1, Tokens...); |
| 546 | return is(K1) && Next && Next->startsSequenceInternal(Tokens...); |
| 547 | } |
| 548 | |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 549 | template <typename A> bool startsSequenceInternal(A K1) const { |
Martin Probst | 1244ecb | 2016-05-29 14:41:02 +0000 | [diff] [blame] | 550 | if (is(tok::comment) && Next) |
| 551 | return Next->startsSequenceInternal(K1); |
| 552 | return is(K1); |
| 553 | } |
| 554 | |
Manuel Klimek | 89628f6 | 2017-09-20 09:51:03 +0000 | [diff] [blame] | 555 | template <typename A, typename... Ts> bool endsSequenceInternal(A K1) const { |
Martin Probst | 1244ecb | 2016-05-29 14:41:02 +0000 | [diff] [blame] | 556 | if (is(tok::comment) && Previous) |
| 557 | return Previous->endsSequenceInternal(K1); |
| 558 | return is(K1); |
| 559 | } |
| 560 | |
| 561 | template <typename A, typename... Ts> |
| 562 | bool endsSequenceInternal(A K1, Ts... Tokens) const { |
| 563 | if (is(tok::comment) && Previous) |
| 564 | return Previous->endsSequenceInternal(K1, Tokens...); |
| 565 | return is(K1) && Previous && Previous->endsSequenceInternal(Tokens...); |
| 566 | } |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 567 | }; |
| 568 | |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 569 | class ContinuationIndenter; |
| 570 | struct LineState; |
| 571 | |
| 572 | class TokenRole { |
| 573 | public: |
| 574 | TokenRole(const FormatStyle &Style) : Style(Style) {} |
| 575 | virtual ~TokenRole(); |
| 576 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 577 | /// After the \c TokenAnnotator has finished annotating all the tokens, |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 578 | /// this function precomputes required information for formatting. |
| 579 | virtual void precomputeFormattingInfos(const FormatToken *Token); |
| 580 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 581 | /// Apply the special formatting that the given role demands. |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 582 | /// |
Daniel Jasper | 0160347 | 2014-01-09 13:42:56 +0000 | [diff] [blame] | 583 | /// Assumes that the token having this role is already formatted. |
| 584 | /// |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 585 | /// Continues formatting from \p State leaving indentation to \p Indenter and |
| 586 | /// returns the total penalty that this formatting incurs. |
Daniel Jasper | 0160347 | 2014-01-09 13:42:56 +0000 | [diff] [blame] | 587 | virtual unsigned formatFromToken(LineState &State, |
| 588 | ContinuationIndenter *Indenter, |
| 589 | bool DryRun) { |
| 590 | return 0; |
| 591 | } |
| 592 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 593 | /// Same as \c formatFromToken, but assumes that the first token has |
Daniel Jasper | 0160347 | 2014-01-09 13:42:56 +0000 | [diff] [blame] | 594 | /// already been set thereby deciding on the first line break. |
| 595 | virtual unsigned formatAfterToken(LineState &State, |
| 596 | ContinuationIndenter *Indenter, |
| 597 | bool DryRun) { |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 598 | return 0; |
| 599 | } |
| 600 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 601 | /// Notifies the \c Role that a comma was found. |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 602 | virtual void CommaFound(const FormatToken *Token) {} |
| 603 | |
Krasimir Georgiev | 5528cac | 2018-10-31 17:56:57 +0000 | [diff] [blame] | 604 | virtual const FormatToken *lastComma() { return nullptr; } |
| 605 | |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 606 | protected: |
| 607 | const FormatStyle &Style; |
| 608 | }; |
| 609 | |
| 610 | class CommaSeparatedList : public TokenRole { |
| 611 | public: |
Daniel Jasper | 0160347 | 2014-01-09 13:42:56 +0000 | [diff] [blame] | 612 | CommaSeparatedList(const FormatStyle &Style) |
| 613 | : TokenRole(Style), HasNestedBracedList(false) {} |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 614 | |
Craig Topper | fb6b25b | 2014-03-15 04:29:04 +0000 | [diff] [blame] | 615 | void precomputeFormattingInfos(const FormatToken *Token) override; |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 616 | |
Craig Topper | fb6b25b | 2014-03-15 04:29:04 +0000 | [diff] [blame] | 617 | unsigned formatAfterToken(LineState &State, ContinuationIndenter *Indenter, |
| 618 | bool DryRun) override; |
Daniel Jasper | 0160347 | 2014-01-09 13:42:56 +0000 | [diff] [blame] | 619 | |
Craig Topper | fb6b25b | 2014-03-15 04:29:04 +0000 | [diff] [blame] | 620 | unsigned formatFromToken(LineState &State, ContinuationIndenter *Indenter, |
| 621 | bool DryRun) override; |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 622 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 623 | /// Adds \p Token as the next comma to the \c CommaSeparated list. |
Daniel Jasper | b05a81d | 2014-05-09 13:11:16 +0000 | [diff] [blame] | 624 | void CommaFound(const FormatToken *Token) override { |
| 625 | Commas.push_back(Token); |
| 626 | } |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 627 | |
Krasimir Georgiev | 5528cac | 2018-10-31 17:56:57 +0000 | [diff] [blame] | 628 | const FormatToken *lastComma() override { |
| 629 | if (Commas.empty()) |
| 630 | return nullptr; |
| 631 | return Commas.back(); |
| 632 | } |
| 633 | |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 634 | private: |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 635 | /// A struct that holds information on how to format a given list with |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 636 | /// a specific number of columns. |
| 637 | struct ColumnFormat { |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 638 | /// The number of columns to use. |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 639 | unsigned Columns; |
| 640 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 641 | /// The total width in characters. |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 642 | unsigned TotalWidth; |
| 643 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 644 | /// The number of lines required for this format. |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 645 | unsigned LineCount; |
| 646 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 647 | /// The size of each column in characters. |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 648 | SmallVector<unsigned, 8> ColumnSizes; |
| 649 | }; |
| 650 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 651 | /// Calculate which \c ColumnFormat fits best into |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 652 | /// \p RemainingCharacters. |
| 653 | const ColumnFormat *getColumnFormat(unsigned RemainingCharacters) const; |
| 654 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 655 | /// The ordered \c FormatTokens making up the commas of this list. |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 656 | SmallVector<const FormatToken *, 8> Commas; |
| 657 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 658 | /// The length of each of the list's items in characters including the |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 659 | /// trailing comma. |
| 660 | SmallVector<unsigned, 8> ItemLengths; |
| 661 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 662 | /// Precomputed formats that can be used for this list. |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 663 | SmallVector<ColumnFormat, 4> Formats; |
Daniel Jasper | 0160347 | 2014-01-09 13:42:56 +0000 | [diff] [blame] | 664 | |
| 665 | bool HasNestedBracedList; |
Daniel Jasper | 8de9ed0 | 2013-08-22 15:00:41 +0000 | [diff] [blame] | 666 | }; |
| 667 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 668 | /// Encapsulates keywords that are context sensitive or for languages not |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 669 | /// properly supported by Clang's lexer. |
| 670 | struct AdditionalKeywords { |
| 671 | AdditionalKeywords(IdentifierTable &IdentTable) { |
Daniel Jasper | 5d7f06f | 2015-08-24 14:28:08 +0000 | [diff] [blame] | 672 | kw_final = &IdentTable.get("final"); |
| 673 | kw_override = &IdentTable.get("override"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 674 | kw_in = &IdentTable.get("in"); |
Daniel Jasper | b7fda11 | 2016-02-11 13:24:15 +0000 | [diff] [blame] | 675 | kw_of = &IdentTable.get("of"); |
Daniel Jasper | 31f6c54 | 2014-12-05 10:42:21 +0000 | [diff] [blame] | 676 | kw_CF_ENUM = &IdentTable.get("CF_ENUM"); |
| 677 | kw_CF_OPTIONS = &IdentTable.get("CF_OPTIONS"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 678 | kw_NS_ENUM = &IdentTable.get("NS_ENUM"); |
Daniel Jasper | 31f6c54 | 2014-12-05 10:42:21 +0000 | [diff] [blame] | 679 | kw_NS_OPTIONS = &IdentTable.get("NS_OPTIONS"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 680 | |
Martin Probst | c4a0dd4 | 2016-05-20 11:24:24 +0000 | [diff] [blame] | 681 | kw_as = &IdentTable.get("as"); |
Martin Probst | 5f8445b | 2016-04-24 22:05:09 +0000 | [diff] [blame] | 682 | kw_async = &IdentTable.get("async"); |
| 683 | kw_await = &IdentTable.get("await"); |
Martin Probst | 72fd75a | 2016-11-10 16:20:58 +0000 | [diff] [blame] | 684 | kw_declare = &IdentTable.get("declare"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 685 | kw_finally = &IdentTable.get("finally"); |
Daniel Jasper | 8fc7a1e | 2016-03-22 14:32:20 +0000 | [diff] [blame] | 686 | kw_from = &IdentTable.get("from"); |
Martin Probst | 5f8445b | 2016-04-24 22:05:09 +0000 | [diff] [blame] | 687 | kw_function = &IdentTable.get("function"); |
Martin Probst | 19c7de0 | 2017-04-26 12:34:15 +0000 | [diff] [blame] | 688 | kw_get = &IdentTable.get("get"); |
Daniel Jasper | 354aa51 | 2015-02-19 16:07:32 +0000 | [diff] [blame] | 689 | kw_import = &IdentTable.get("import"); |
Martin Probst | 3315aed | 2018-09-27 06:48:13 +0000 | [diff] [blame] | 690 | kw_infer = &IdentTable.get("infer"); |
Daniel Jasper | 779c66f | 2015-12-30 08:00:58 +0000 | [diff] [blame] | 691 | kw_is = &IdentTable.get("is"); |
Daniel Jasper | 9f642f7 | 2015-09-28 14:28:08 +0000 | [diff] [blame] | 692 | kw_let = &IdentTable.get("let"); |
Martin Probst | 72fd75a | 2016-11-10 16:20:58 +0000 | [diff] [blame] | 693 | kw_module = &IdentTable.get("module"); |
Martin Probst | a81dd0b | 2017-07-07 13:17:10 +0000 | [diff] [blame] | 694 | kw_readonly = &IdentTable.get("readonly"); |
Martin Probst | 19c7de0 | 2017-04-26 12:34:15 +0000 | [diff] [blame] | 695 | kw_set = &IdentTable.get("set"); |
Martin Probst | 1b7f980 | 2016-06-23 19:52:32 +0000 | [diff] [blame] | 696 | kw_type = &IdentTable.get("type"); |
Martin Probst | 9926abb | 2017-08-01 17:42:16 +0000 | [diff] [blame] | 697 | kw_typeof = &IdentTable.get("typeof"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 698 | kw_var = &IdentTable.get("var"); |
Martin Probst | 5f8445b | 2016-04-24 22:05:09 +0000 | [diff] [blame] | 699 | kw_yield = &IdentTable.get("yield"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 700 | |
Daniel Jasper | 82c9275 | 2014-11-21 12:19:07 +0000 | [diff] [blame] | 701 | kw_abstract = &IdentTable.get("abstract"); |
Nico Weber | 4f11349 | 2015-09-15 23:48:17 +0000 | [diff] [blame] | 702 | kw_assert = &IdentTable.get("assert"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 703 | kw_extends = &IdentTable.get("extends"); |
| 704 | kw_implements = &IdentTable.get("implements"); |
Daniel Jasper | a98b7b0 | 2014-11-25 10:05:17 +0000 | [diff] [blame] | 705 | kw_instanceof = &IdentTable.get("instanceof"); |
Nico Weber | a644d7f | 2014-11-10 16:30:02 +0000 | [diff] [blame] | 706 | kw_interface = &IdentTable.get("interface"); |
Nico Weber | ed50166 | 2015-01-13 22:32:50 +0000 | [diff] [blame] | 707 | kw_native = &IdentTable.get("native"); |
Daniel Jasper | 9b9e076 | 2014-11-26 18:03:42 +0000 | [diff] [blame] | 708 | kw_package = &IdentTable.get("package"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 709 | kw_synchronized = &IdentTable.get("synchronized"); |
| 710 | kw_throws = &IdentTable.get("throws"); |
Nico Weber | fac2371 | 2015-02-04 15:26:27 +0000 | [diff] [blame] | 711 | kw___except = &IdentTable.get("__except"); |
Nico Weber | 2108880 | 2017-02-10 19:36:52 +0000 | [diff] [blame] | 712 | kw___has_include = &IdentTable.get("__has_include"); |
| 713 | kw___has_include_next = &IdentTable.get("__has_include_next"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 714 | |
Daniel Jasper | ee4a8a1 | 2015-04-22 09:45:42 +0000 | [diff] [blame] | 715 | kw_mark = &IdentTable.get("mark"); |
| 716 | |
Daniel Jasper | d8d9839 | 2015-11-20 14:32:54 +0000 | [diff] [blame] | 717 | kw_extend = &IdentTable.get("extend"); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 718 | kw_option = &IdentTable.get("option"); |
| 719 | kw_optional = &IdentTable.get("optional"); |
| 720 | kw_repeated = &IdentTable.get("repeated"); |
| 721 | kw_required = &IdentTable.get("required"); |
| 722 | kw_returns = &IdentTable.get("returns"); |
Daniel Jasper | 5339540 | 2015-04-07 15:04:40 +0000 | [diff] [blame] | 723 | |
| 724 | kw_signals = &IdentTable.get("signals"); |
Daniel Jasper | a00de63 | 2015-12-01 12:05:04 +0000 | [diff] [blame] | 725 | kw_qsignals = &IdentTable.get("Q_SIGNALS"); |
Daniel Jasper | 5339540 | 2015-04-07 15:04:40 +0000 | [diff] [blame] | 726 | kw_slots = &IdentTable.get("slots"); |
| 727 | kw_qslots = &IdentTable.get("Q_SLOTS"); |
Krasimir Georgiev | 835ac9b | 2017-07-05 12:24:01 +0000 | [diff] [blame] | 728 | |
Paul Hoad | cbb726d | 2019-03-21 13:09:22 +0000 | [diff] [blame] | 729 | // C# keywords |
| 730 | kw_dollar = &IdentTable.get("dollar"); |
| 731 | kw_base = &IdentTable.get("base"); |
| 732 | kw_byte = &IdentTable.get("byte"); |
| 733 | kw_checked = &IdentTable.get("checked"); |
| 734 | kw_decimal = &IdentTable.get("decimal"); |
| 735 | kw_delegate = &IdentTable.get("delegate"); |
| 736 | kw_event = &IdentTable.get("event"); |
| 737 | kw_fixed = &IdentTable.get("fixed"); |
| 738 | kw_foreach = &IdentTable.get("foreach"); |
| 739 | kw_implicit = &IdentTable.get("implicit"); |
| 740 | kw_internal = &IdentTable.get("internal"); |
| 741 | kw_lock = &IdentTable.get("lock"); |
| 742 | kw_null = &IdentTable.get("null"); |
| 743 | kw_object = &IdentTable.get("object"); |
| 744 | kw_out = &IdentTable.get("out"); |
| 745 | kw_params = &IdentTable.get("params"); |
| 746 | kw_ref = &IdentTable.get("ref"); |
| 747 | kw_string = &IdentTable.get("string"); |
| 748 | kw_stackalloc = &IdentTable.get("stackalloc"); |
| 749 | kw_sbyte = &IdentTable.get("sbyte"); |
| 750 | kw_sealed = &IdentTable.get("sealed"); |
| 751 | kw_uint = &IdentTable.get("uint"); |
| 752 | kw_ulong = &IdentTable.get("ulong"); |
| 753 | kw_unchecked = &IdentTable.get("unchecked"); |
| 754 | kw_unsafe = &IdentTable.get("unsafe"); |
| 755 | kw_ushort = &IdentTable.get("ushort"); |
| 756 | |
| 757 | // Keep this at the end of the constructor to make sure everything here |
| 758 | // is |
Krasimir Georgiev | 835ac9b | 2017-07-05 12:24:01 +0000 | [diff] [blame] | 759 | // already initialized. |
| 760 | JsExtraKeywords = std::unordered_set<IdentifierInfo *>( |
| 761 | {kw_as, kw_async, kw_await, kw_declare, kw_finally, kw_from, |
Martin Probst | a81dd0b | 2017-07-07 13:17:10 +0000 | [diff] [blame] | 762 | kw_function, kw_get, kw_import, kw_is, kw_let, kw_module, kw_readonly, |
Martin Probst | 9926abb | 2017-08-01 17:42:16 +0000 | [diff] [blame] | 763 | kw_set, kw_type, kw_typeof, kw_var, kw_yield, |
Krasimir Georgiev | 835ac9b | 2017-07-05 12:24:01 +0000 | [diff] [blame] | 764 | // Keywords from the Java section. |
| 765 | kw_abstract, kw_extends, kw_implements, kw_instanceof, kw_interface}); |
Paul Hoad | cbb726d | 2019-03-21 13:09:22 +0000 | [diff] [blame] | 766 | |
| 767 | CSharpExtraKeywords = std::unordered_set<IdentifierInfo *>( |
| 768 | {kw_base, kw_byte, kw_checked, kw_decimal, kw_delegate, kw_event, |
| 769 | kw_fixed, kw_foreach, kw_implicit, kw_in, kw_interface, kw_internal, |
| 770 | kw_is, kw_lock, kw_null, kw_object, kw_out, kw_override, kw_params, |
| 771 | kw_readonly, kw_ref, kw_string, kw_stackalloc, kw_sbyte, kw_sealed, |
| 772 | kw_uint, kw_ulong, kw_unchecked, kw_unsafe, kw_ushort, |
| 773 | // Keywords from the JavaScript section. |
| 774 | kw_as, kw_async, kw_await, kw_declare, kw_finally, kw_from, |
| 775 | kw_function, kw_get, kw_import, kw_is, kw_let, kw_module, kw_readonly, |
| 776 | kw_set, kw_type, kw_typeof, kw_var, kw_yield, |
| 777 | // Keywords from the Java section. |
| 778 | kw_abstract, kw_extends, kw_implements, kw_instanceof, kw_interface}); |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 779 | } |
| 780 | |
Nico Weber | fac2371 | 2015-02-04 15:26:27 +0000 | [diff] [blame] | 781 | // Context sensitive keywords. |
Daniel Jasper | 5d7f06f | 2015-08-24 14:28:08 +0000 | [diff] [blame] | 782 | IdentifierInfo *kw_final; |
| 783 | IdentifierInfo *kw_override; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 784 | IdentifierInfo *kw_in; |
Daniel Jasper | b7fda11 | 2016-02-11 13:24:15 +0000 | [diff] [blame] | 785 | IdentifierInfo *kw_of; |
Daniel Jasper | 31f6c54 | 2014-12-05 10:42:21 +0000 | [diff] [blame] | 786 | IdentifierInfo *kw_CF_ENUM; |
| 787 | IdentifierInfo *kw_CF_OPTIONS; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 788 | IdentifierInfo *kw_NS_ENUM; |
Daniel Jasper | 31f6c54 | 2014-12-05 10:42:21 +0000 | [diff] [blame] | 789 | IdentifierInfo *kw_NS_OPTIONS; |
Nico Weber | fac2371 | 2015-02-04 15:26:27 +0000 | [diff] [blame] | 790 | IdentifierInfo *kw___except; |
Nico Weber | 2108880 | 2017-02-10 19:36:52 +0000 | [diff] [blame] | 791 | IdentifierInfo *kw___has_include; |
| 792 | IdentifierInfo *kw___has_include_next; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 793 | |
| 794 | // JavaScript keywords. |
Martin Probst | c4a0dd4 | 2016-05-20 11:24:24 +0000 | [diff] [blame] | 795 | IdentifierInfo *kw_as; |
Martin Probst | 5f8445b | 2016-04-24 22:05:09 +0000 | [diff] [blame] | 796 | IdentifierInfo *kw_async; |
| 797 | IdentifierInfo *kw_await; |
Martin Probst | 72fd75a | 2016-11-10 16:20:58 +0000 | [diff] [blame] | 798 | IdentifierInfo *kw_declare; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 799 | IdentifierInfo *kw_finally; |
Daniel Jasper | 8fc7a1e | 2016-03-22 14:32:20 +0000 | [diff] [blame] | 800 | IdentifierInfo *kw_from; |
Martin Probst | 5f8445b | 2016-04-24 22:05:09 +0000 | [diff] [blame] | 801 | IdentifierInfo *kw_function; |
Martin Probst | 19c7de0 | 2017-04-26 12:34:15 +0000 | [diff] [blame] | 802 | IdentifierInfo *kw_get; |
Daniel Jasper | 354aa51 | 2015-02-19 16:07:32 +0000 | [diff] [blame] | 803 | IdentifierInfo *kw_import; |
Martin Probst | 3315aed | 2018-09-27 06:48:13 +0000 | [diff] [blame] | 804 | IdentifierInfo *kw_infer; |
Daniel Jasper | 779c66f | 2015-12-30 08:00:58 +0000 | [diff] [blame] | 805 | IdentifierInfo *kw_is; |
Daniel Jasper | 9f642f7 | 2015-09-28 14:28:08 +0000 | [diff] [blame] | 806 | IdentifierInfo *kw_let; |
Martin Probst | 72fd75a | 2016-11-10 16:20:58 +0000 | [diff] [blame] | 807 | IdentifierInfo *kw_module; |
Martin Probst | a81dd0b | 2017-07-07 13:17:10 +0000 | [diff] [blame] | 808 | IdentifierInfo *kw_readonly; |
Martin Probst | 19c7de0 | 2017-04-26 12:34:15 +0000 | [diff] [blame] | 809 | IdentifierInfo *kw_set; |
Martin Probst | 1b7f980 | 2016-06-23 19:52:32 +0000 | [diff] [blame] | 810 | IdentifierInfo *kw_type; |
Martin Probst | 9926abb | 2017-08-01 17:42:16 +0000 | [diff] [blame] | 811 | IdentifierInfo *kw_typeof; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 812 | IdentifierInfo *kw_var; |
Martin Probst | 5f8445b | 2016-04-24 22:05:09 +0000 | [diff] [blame] | 813 | IdentifierInfo *kw_yield; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 814 | |
| 815 | // Java keywords. |
Daniel Jasper | 82c9275 | 2014-11-21 12:19:07 +0000 | [diff] [blame] | 816 | IdentifierInfo *kw_abstract; |
Nico Weber | 4f11349 | 2015-09-15 23:48:17 +0000 | [diff] [blame] | 817 | IdentifierInfo *kw_assert; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 818 | IdentifierInfo *kw_extends; |
| 819 | IdentifierInfo *kw_implements; |
Daniel Jasper | a98b7b0 | 2014-11-25 10:05:17 +0000 | [diff] [blame] | 820 | IdentifierInfo *kw_instanceof; |
Nico Weber | a644d7f | 2014-11-10 16:30:02 +0000 | [diff] [blame] | 821 | IdentifierInfo *kw_interface; |
Nico Weber | ed50166 | 2015-01-13 22:32:50 +0000 | [diff] [blame] | 822 | IdentifierInfo *kw_native; |
Daniel Jasper | 9b9e076 | 2014-11-26 18:03:42 +0000 | [diff] [blame] | 823 | IdentifierInfo *kw_package; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 824 | IdentifierInfo *kw_synchronized; |
| 825 | IdentifierInfo *kw_throws; |
| 826 | |
Daniel Jasper | ee4a8a1 | 2015-04-22 09:45:42 +0000 | [diff] [blame] | 827 | // Pragma keywords. |
| 828 | IdentifierInfo *kw_mark; |
| 829 | |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 830 | // Proto keywords. |
Daniel Jasper | d8d9839 | 2015-11-20 14:32:54 +0000 | [diff] [blame] | 831 | IdentifierInfo *kw_extend; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 832 | IdentifierInfo *kw_option; |
| 833 | IdentifierInfo *kw_optional; |
| 834 | IdentifierInfo *kw_repeated; |
| 835 | IdentifierInfo *kw_required; |
| 836 | IdentifierInfo *kw_returns; |
Daniel Jasper | 5339540 | 2015-04-07 15:04:40 +0000 | [diff] [blame] | 837 | |
| 838 | // QT keywords. |
| 839 | IdentifierInfo *kw_signals; |
Daniel Jasper | a00de63 | 2015-12-01 12:05:04 +0000 | [diff] [blame] | 840 | IdentifierInfo *kw_qsignals; |
Daniel Jasper | 5339540 | 2015-04-07 15:04:40 +0000 | [diff] [blame] | 841 | IdentifierInfo *kw_slots; |
| 842 | IdentifierInfo *kw_qslots; |
Martin Probst | 37a7f91 | 2017-07-04 15:30:21 +0000 | [diff] [blame] | 843 | |
Paul Hoad | cbb726d | 2019-03-21 13:09:22 +0000 | [diff] [blame] | 844 | // C# keywords |
| 845 | IdentifierInfo *kw_dollar; |
| 846 | IdentifierInfo *kw_base; |
| 847 | IdentifierInfo *kw_byte; |
| 848 | IdentifierInfo *kw_checked; |
| 849 | IdentifierInfo *kw_decimal; |
| 850 | IdentifierInfo *kw_delegate; |
| 851 | IdentifierInfo *kw_event; |
| 852 | IdentifierInfo *kw_fixed; |
| 853 | IdentifierInfo *kw_foreach; |
| 854 | IdentifierInfo *kw_implicit; |
| 855 | IdentifierInfo *kw_internal; |
| 856 | |
| 857 | IdentifierInfo *kw_lock; |
| 858 | IdentifierInfo *kw_null; |
| 859 | IdentifierInfo *kw_object; |
| 860 | IdentifierInfo *kw_out; |
| 861 | |
| 862 | IdentifierInfo *kw_params; |
| 863 | |
| 864 | IdentifierInfo *kw_ref; |
| 865 | IdentifierInfo *kw_string; |
| 866 | IdentifierInfo *kw_stackalloc; |
| 867 | IdentifierInfo *kw_sbyte; |
| 868 | IdentifierInfo *kw_sealed; |
| 869 | IdentifierInfo *kw_uint; |
| 870 | IdentifierInfo *kw_ulong; |
| 871 | IdentifierInfo *kw_unchecked; |
| 872 | IdentifierInfo *kw_unsafe; |
| 873 | IdentifierInfo *kw_ushort; |
| 874 | |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 875 | /// Returns \c true if \p Tok is a true JavaScript identifier, returns |
Martin Probst | 37a7f91 | 2017-07-04 15:30:21 +0000 | [diff] [blame] | 876 | /// \c false if it is a keyword or a pseudo keyword. |
| 877 | bool IsJavaScriptIdentifier(const FormatToken &Tok) const { |
| 878 | return Tok.is(tok::identifier) && |
| 879 | JsExtraKeywords.find(Tok.Tok.getIdentifierInfo()) == |
| 880 | JsExtraKeywords.end(); |
| 881 | } |
| 882 | |
Paul Hoad | cbb726d | 2019-03-21 13:09:22 +0000 | [diff] [blame] | 883 | /// Returns \c true if \p Tok is a C# keyword, returns |
| 884 | /// \c false if it is a anything else. |
| 885 | bool isCSharpKeyword(const FormatToken &Tok) const { |
| 886 | switch (Tok.Tok.getKind()) { |
| 887 | case tok::kw_bool: |
| 888 | case tok::kw_break: |
| 889 | case tok::kw_case: |
| 890 | case tok::kw_catch: |
| 891 | case tok::kw_char: |
| 892 | case tok::kw_class: |
| 893 | case tok::kw_const: |
| 894 | case tok::kw_continue: |
| 895 | case tok::kw_default: |
| 896 | case tok::kw_do: |
| 897 | case tok::kw_double: |
| 898 | case tok::kw_else: |
| 899 | case tok::kw_enum: |
| 900 | case tok::kw_explicit: |
| 901 | case tok::kw_extern: |
| 902 | case tok::kw_false: |
| 903 | case tok::kw_float: |
| 904 | case tok::kw_for: |
| 905 | case tok::kw_goto: |
| 906 | case tok::kw_if: |
| 907 | case tok::kw_int: |
| 908 | case tok::kw_long: |
| 909 | case tok::kw_namespace: |
| 910 | case tok::kw_new: |
| 911 | case tok::kw_operator: |
| 912 | case tok::kw_private: |
| 913 | case tok::kw_protected: |
| 914 | case tok::kw_public: |
| 915 | case tok::kw_return: |
| 916 | case tok::kw_short: |
| 917 | case tok::kw_sizeof: |
| 918 | case tok::kw_static: |
| 919 | case tok::kw_struct: |
| 920 | case tok::kw_switch: |
| 921 | case tok::kw_this: |
| 922 | case tok::kw_throw: |
| 923 | case tok::kw_true: |
| 924 | case tok::kw_try: |
| 925 | case tok::kw_typeof: |
| 926 | case tok::kw_using: |
| 927 | case tok::kw_virtual: |
| 928 | case tok::kw_void: |
| 929 | case tok::kw_volatile: |
| 930 | case tok::kw_while: |
| 931 | return true; |
| 932 | default: |
| 933 | return Tok.is(tok::identifier) && |
| 934 | CSharpExtraKeywords.find(Tok.Tok.getIdentifierInfo()) == |
| 935 | CSharpExtraKeywords.end(); |
| 936 | } |
| 937 | } |
| 938 | |
Martin Probst | 37a7f91 | 2017-07-04 15:30:21 +0000 | [diff] [blame] | 939 | private: |
Adrian Prantl | 9fc8faf | 2018-05-09 01:00:01 +0000 | [diff] [blame] | 940 | /// The JavaScript keywords beyond the C++ keyword set. |
Martin Probst | 37a7f91 | 2017-07-04 15:30:21 +0000 | [diff] [blame] | 941 | std::unordered_set<IdentifierInfo *> JsExtraKeywords; |
Paul Hoad | cbb726d | 2019-03-21 13:09:22 +0000 | [diff] [blame] | 942 | |
| 943 | /// The C# keywords beyond the C++ keyword set |
| 944 | std::unordered_set<IdentifierInfo *> CSharpExtraKeywords; |
Daniel Jasper | d0ec0d6 | 2014-11-04 12:41:02 +0000 | [diff] [blame] | 945 | }; |
| 946 | |
Alexander Kornienko | 4b67207 | 2013-06-03 16:45:03 +0000 | [diff] [blame] | 947 | } // namespace format |
| 948 | } // namespace clang |
| 949 | |
Benjamin Kramer | 2f5db8b | 2014-08-13 16:25:19 +0000 | [diff] [blame] | 950 | #endif |