blob: 5c1f8b46fe423aa1a6f1549db1b95646f139ee54 [file] [log] [blame]
//===--- SourceCode.cpp - Source code manipulation routines -----*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file provides functions that simplify extraction of source code.
//
//===----------------------------------------------------------------------===//
#include "clang/Tooling/Transformer/SourceCode.h"
#include "clang/Lex/Lexer.h"
#include "llvm/Support/Errc.h"
using namespace clang;
using llvm::errc;
using llvm::StringError;
StringRef clang::tooling::getText(CharSourceRange Range,
const ASTContext &Context) {
return Lexer::getSourceText(Range, Context.getSourceManager(),
Context.getLangOpts());
}
CharSourceRange clang::tooling::maybeExtendRange(CharSourceRange Range,
tok::TokenKind Next,
ASTContext &Context) {
Optional<Token> Tok = Lexer::findNextToken(
Range.getEnd(), Context.getSourceManager(), Context.getLangOpts());
if (!Tok || !Tok->is(Next))
return Range;
return CharSourceRange::getTokenRange(Range.getBegin(), Tok->getLocation());
}
llvm::Error clang::tooling::validateEditRange(const CharSourceRange &Range,
const SourceManager &SM) {
if (Range.isInvalid())
return llvm::make_error<StringError>(errc::invalid_argument,
"Invalid range");
if (Range.getBegin().isMacroID() || Range.getEnd().isMacroID())
return llvm::make_error<StringError>(
errc::invalid_argument, "Range starts or ends in a macro expansion");
if (SM.isInSystemHeader(Range.getBegin()) ||
SM.isInSystemHeader(Range.getEnd()))
return llvm::make_error<StringError>(errc::invalid_argument,
"Range is in system header");
std::pair<FileID, unsigned> BeginInfo = SM.getDecomposedLoc(Range.getBegin());
std::pair<FileID, unsigned> EndInfo = SM.getDecomposedLoc(Range.getEnd());
if (BeginInfo.first != EndInfo.first)
return llvm::make_error<StringError>(
errc::invalid_argument, "Range begins and ends in different files");
if (BeginInfo.second > EndInfo.second)
return llvm::make_error<StringError>(
errc::invalid_argument, "Range's begin is past its end");
return llvm::Error::success();
}
llvm::Optional<CharSourceRange>
clang::tooling::getRangeForEdit(const CharSourceRange &EditRange,
const SourceManager &SM,
const LangOptions &LangOpts) {
// FIXME: makeFileCharRange() has the disadvantage of stripping off "identity"
// macros. For example, if we're looking to rewrite the int literal 3 to 6,
// and we have the following definition:
// #define DO_NOTHING(x) x
// then
// foo(DO_NOTHING(3))
// will be rewritten to
// foo(6)
// rather than the arguably better
// foo(DO_NOTHING(6))
// Decide whether the current behavior is desirable and modify if not.
CharSourceRange Range = Lexer::makeFileCharRange(EditRange, SM, LangOpts);
bool IsInvalid = llvm::errorToBool(validateEditRange(Range, SM));
if (IsInvalid)
return llvm::None;
return Range;
}