10#include "clang/AST/AST.h"
11#include "clang/Basic/SourceManager.h"
17std::pair<Token, SourceLocation>
19 const LangOptions &LangOpts,
bool SkipComments) {
20 const std::optional<Token> Tok =
21 Lexer::findPreviousToken(
Location, SM, LangOpts, !SkipComments);
23 if (Tok.has_value()) {
24 return {*Tok, Lexer::GetBeginningOfToken(Tok->getLocation(), SM, LangOpts)};
28 Token.setKind(tok::unknown);
29 return {Token, SourceLocation()};
33 const LangOptions &LangOpts,
bool SkipComments) {
40 const SourceManager &SM,
41 const LangOptions &LangOpts) {
42 if (Start.isInvalid() || Start.isMacroID())
45 const SourceLocation BeforeStart = Start.getLocWithOffset(-1);
46 if (BeforeStart.isInvalid() || BeforeStart.isMacroID())
49 return Lexer::GetBeginningOfToken(BeforeStart, SM, LangOpts);
53 const SourceManager &SM,
54 const LangOptions &LangOpts,
56 if (Start.isInvalid() || Start.isMacroID())
61 if (L.isInvalid() || L.isMacroID())
65 if (Lexer::getRawToken(L, T, SM, LangOpts,
true))
69 return T.getLocation();
76 const LangOptions &LangOpts) {
82 const LangOptions &LangOpts) {
83 while (Start.isValid()) {
84 std::optional<Token> CurrentToken =
85 Lexer::findNextToken(Start, SM, LangOpts);
86 if (!CurrentToken || !CurrentToken->is(tok::comment))
89 Start = CurrentToken->getLocation();
96 const SourceManager &SM,
97 const LangOptions &LangOpts) {
98 assert(Range.isValid() &&
"Invalid Range for relexing provided");
99 SourceLocation Loc = Range.getBegin();
101 while (Loc <= Range.getEnd()) {
105 std::optional<Token> Tok = Lexer::findNextToken(Loc, SM, LangOpts);
110 if (Tok->is(tok::hash))
113 Loc = Tok->getLocation();
120 CharSourceRange Range,
121 const ASTContext &Context,
122 const SourceManager &SM) {
123 assert((TK == tok::kw_const || TK == tok::kw_volatile ||
124 TK == tok::kw_restrict) &&
125 "TK is not a qualifier keyword");
126 const std::pair<FileID, unsigned> LocInfo =
127 SM.getDecomposedLoc(Range.getBegin());
128 const StringRef File = SM.getBufferData(LocInfo.first);
129 Lexer RawLexer(SM.getLocForStartOfFile(LocInfo.first), Context.getLangOpts(),
130 File.begin(), File.data() + LocInfo.second, File.end());
131 std::optional<Token> LastMatchBeforeTemplate;
132 std::optional<Token> LastMatchAfterTemplate;
133 bool SawTemplate =
false;
135 while (!RawLexer.LexFromRawLexer(Tok) &&
136 Range.getEnd() != Tok.getLocation() &&
137 !SM.isBeforeInTranslationUnit(Range.getEnd(), Tok.getLocation())) {
138 if (Tok.is(tok::raw_identifier)) {
139 IdentifierInfo &Info = Context.Idents.get(
140 StringRef(SM.getCharacterData(Tok.getLocation()), Tok.getLength()));
141 Tok.setIdentifierInfo(&Info);
142 Tok.setKind(Info.getTokenID());
144 if (Tok.is(tok::less))
146 else if (Tok.isOneOf(tok::greater, tok::greatergreater))
147 LastMatchAfterTemplate = std::nullopt;
148 else if (Tok.is(TK)) {
150 LastMatchAfterTemplate = Tok;
152 LastMatchBeforeTemplate = Tok;
155 return LastMatchAfterTemplate != std::nullopt ? LastMatchAfterTemplate
156 : LastMatchBeforeTemplate;
160 return isa<CompoundStmt, DeclStmt, NullStmt>(S);
164 return isa<Expr, DoStmt, ReturnStmt, BreakStmt, ContinueStmt, GotoStmt,
171 const SourceManager &SM,
172 const LangOptions &LangOpts) {
174 if (EndLoc.isMacroID()) {
180 const SourceLocation SpellingLoc = SM.getSpellingLoc(EndLoc);
181 std::optional<Token> NextTok =
186 if (NextTok && NextTok->is(tok::TokenKind::semi)) {
189 return NextTok->getLocation();
197 std::optional<Token> NextTok =
201 if (NextTok && NextTok->is(tok::TokenKind::semi))
202 return NextTok->getLocation();
208 const LangOptions &LangOpts) {
210 const Stmt *LastChild = &S;
213 for (
const Stmt *Child : LastChild->children())
220 return S.getEndLoc();
224 const SourceManager &SM) {
228 const LangOptions &LangOpts =
FuncDecl->getLangOpts();
230 if (
FuncDecl->getNumParams() == 0) {
234 SourceLocation CurrentLocation =
FuncDecl->getBeginLoc();
235 while (!Lexer::getRawToken(CurrentLocation, CurrentToken, SM, LangOpts,
237 if (CurrentToken.is(tok::r_paren))
238 return CurrentLocation.getLocWithOffset(1);
240 CurrentLocation = CurrentToken.getEndLoc();
249 const SourceLocation NoexceptLoc =
251 if (NoexceptLoc.isValid())
252 return Lexer::findLocationAfterToken(
253 NoexceptLoc, tok::r_paren, SM, LangOpts,
SourceLocation getLocationForNoexceptSpecifier(const FunctionDecl *FuncDecl, const SourceManager &SM)
For a given FunctionDecl returns the location where you would need to place the noexcept specifier.
std::pair< Token, SourceLocation > getPreviousTokenAndStart(SourceLocation Location, const SourceManager &SM, const LangOptions &LangOpts, bool SkipComments)
SourceLocation getUnifiedEndLoc(const Stmt &S, const SourceManager &SM, const LangOptions &LangOpts)
Stmt->getEndLoc does not always behave the same way depending on Token type.
bool rangeContainsExpansionsOrDirectives(SourceRange Range, const SourceManager &SM, const LangOptions &LangOpts)
Re-lex the provide Range and return false if either a macro spans multiple tokens,...
SourceLocation findNextTerminator(SourceLocation Start, const SourceManager &SM, const LangOptions &LangOpts)
SourceLocation findNextAnyTokenKind(SourceLocation Start, const SourceManager &SM, const LangOptions &LangOpts, TokenKind TK, TokenKinds... TKs)
Token getPreviousToken(SourceLocation Location, const SourceManager &SM, const LangOptions &LangOpts, bool SkipComments)
Returns previous token or tok::unknown if not found.
std::optional< Token > findNextTokenSkippingComments(SourceLocation Start, const SourceManager &SM, const LangOptions &LangOpts)
SourceLocation findPreviousTokenStart(SourceLocation Start, const SourceManager &SM, const LangOptions &LangOpts)
static SourceLocation getSemicolonAfterStmtEndLoc(const SourceLocation &EndLoc, const SourceManager &SM, const LangOptions &LangOpts)
static bool breakAndReturnEndPlus1Token(const Stmt &S)
static bool breakAndReturnEnd(const Stmt &S)
SourceLocation findPreviousTokenKind(SourceLocation Start, const SourceManager &SM, const LangOptions &LangOpts, tok::TokenKind TK)
std::optional< Token > getQualifyingToken(tok::TokenKind TK, CharSourceRange Range, const ASTContext &Context, const SourceManager &SM)
Assuming that Range spans a CVR-qualified type, returns the token in Range that is responsible for th...
static constexpr const char FuncDecl[]