Clang Tool: переписать ObjCMessageExpr

Я хочу переписать все сообщения в моем коде, Мне нужно заменить только селекторы, но мне нужно иметь возможность заменить вложенные выражения е. е.

[super foo:[someInstance someMessage:@""] foo2:[someInstance someMessage2]];

Я попытался сделать это с помощью clang::Rewriter replaceText и просто сгенерировать новую строку, но есть проблема: это не будет работать, если я изменю длину селекторов, потому что я заменяю вложенные сообщения теми старыми позициями.

Итак, я предположил, что мне нужно использовать clang::Rewriter ReplaceStmt(originalStatement, newStatement);

Я использую RecursiveASTVisitor для просмотра всех сообщений, и я хочу скопировать эти объекты сообщений и заменить селектор:

Как я могу это сделать?

Я пробовал использовать ObjCMessageExpr::Create, но есть такие сложные аргументы, я не знаю, как получить параметры ASTContext &Context and ArrayRef<SourceLocation> SeLocs и Expr *Receiver из исходного сообщения.

Каков правильный способ замены селекторов во вложенных сообщениях с помощью инструмента clang (интерфейс инструментальных инструментов clang)?

Update:

Должен ли я использовать обратный вызов ReplaceStmtWithStmt и ASTMatchFinder?

Update:

Я использую следующую функцию для перезаписи текста в файле:

void ReplaceText(SourceLocation start, unsigned originalLength, StringRef string) { 
    m_rewriter.ReplaceText(start, originalLength, string); 
    m_rewriter.overwriteChangedFiles(); 
}

И я хочу заменить все messageExpr в коде новым селектором f.e: как это было:

[object someMessage:[object2 someMessage:obj3 calculate:obj4]];

как это должно быть:

[object newSelector:[object2 newSelector:obj3 newSelector:obj4]];

Я использую ReqoursiveASTVisitor:

bool VisitStmt(Stmt *statement) { 
    if (ObjCMessageExpr *messageExpr = dyn_cast<ObjCMessageExpr>(statement)) { 
         ReplaceMessage(*messageExpr) 
    } 
    return true; 
}

Я создал метод для генерации новой строки expr:

string StringFromObjCMessageExpr(ObjCMessageExpr& messageExpression) { 
    std::ostringstream stringStream; 
    const string selectorString = messageExpression.getSelector().getAsString(); 
    cout << selectorString << endl; 
    vector<string> methodParts; 
    split(selectorString, ParametersDelimiter, methodParts); 
    stringStream << "[" ; 
    const string receiver = GetStringFromLocations(m_compiler, messageExpression.getReceiverRange().getBegin(), messageExpression.getSelectorStartLoc()); 
    stringStream << receiver; 
    clang::ObjCMessageExpr::arg_iterator argIterator = messageExpression.arg_begin(); 
    for (vector<string>::const_iterator partsIterator = methodParts.begin(); 
         partsIterator != methodParts.end(); 
         ++partsIterator) { 
        stringStream << "newSelector"; 
        if (messageExpression.getNumArgs() != 0) { 
            const clang::Stmt *argument = *argIterator; 
            stringStream << ":" << GetStatementString(*argument) << " "; 
            ++argIterator; 
        } 
    } 
    stringStream << "]"; 
    return stringStream.str(); 
} 

void ReplaceMessage(ObjCMessageExpr& messageExpression) { 
    SourceLocation locStart = messageExpression.getLocStart(); 
    SourceLocation locEnd = messageExpression.getLocEnd(); 
    string newExpr = StringFromObjCMessageExpr(messageExpression); 
    const int exprStringLegth = m_rewriter.getRangeSize(SourceRange(locStart, locEnd)); 
    ReplaceText(locStart, exprStringLegth, newExpr); 
}

Проблема возникает, когда я пытаюсь заменить вложенные сообщения, например:

[simpleClass doSomeActionWithString:string3 andAnotherString:string4]; 
[simpleClass doSomeActionWithString:str andAnotherString:str2]; 
[simpleClass doSomeActionWithString:@"" andAnotherString:@"asdasdsad"]; 
[simpleClass setSimpleClassZAZAZAZAZAZAZAZA:[simpleClass getSimpleClassZAZAZAZAZAZAZAZA]];

результат:

[simpleClass newSelector:string3 newSelector:string4 ]; 
[simpleClass newSelector:str newSelector:str2 ]; 
[simpleClass newSelector:@"" newSelector:@"asdasdsad" ]; 
[simpleClass newSelector:[simpleClass getSimp[simpleClass newSelector]];

потому что messageExpression имеет "старое" значение getLocStart(); и getLocEnd(); Как его исправить?

Ответ 1

Вы можете переписать имя селектора, заменив только непрерывные части имени селектора. Например, замените только подчеркнутые части

[object someMessage:[object2 someMessage:obj3 calculate:obj4]];
        ^~~~~~~~~~~          ^~~~~~~~~~~      ^~~~~~~~~

Для этого вам требуется только

количество частей селектора - ObjCMessageExpr::getNumSelectorLocs()
их расположение - ObjCMessageExpr::getSelectorLoc(index)
их длины - ObjCMessageExpr::getSelector().getNameForSlot(index).size().

В целом вы можете переписать ObjCMessageExpr со следующим RecursiveASTVisitor:

#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/Rewrite/Core/Rewriter.h"

namespace clang_tooling
{

using clang::SourceLocation;

class RewritingVisitor : public clang::ASTConsumer,
                         public clang::RecursiveASTVisitor<RewritingVisitor>
{
public:
    // You can obtain SourceManager and LangOptions from CompilerInstance when
    // you are creating visitor (which is also ASTConsumer) in
    // clang::ASTFrontendAction::CreateASTConsumer.
    RewritingVisitor(clang::SourceManager &sourceManager,
                     const clang::LangOptions &langOptions)
        : _sourceManager(sourceManager), _rewriter(sourceManager, langOptions)
    {}

    virtual void HandleTranslationUnit(clang::ASTContext &context)
    {
        TraverseDecl(context.getTranslationUnitDecl());
        _rewriter.overwriteChangedFiles();
    }

    bool VisitObjCMessageExpr(clang::ObjCMessageExpr *messageExpr)
    {
        if (_sourceManager.isInMainFile(messageExpr->getLocStart()))
        {
            clang::Selector selector = messageExpr->getSelector();
            for (unsigned i = 0, end = messageExpr->getNumSelectorLocs();
                 i < end; ++i)
            {
                SourceLocation selectorLoc = messageExpr->getSelectorLoc(i);
                _rewriter.ReplaceText(selectorLoc,
                                      selector.getNameForSlot(i).size(),
                                      "newSelector");
            }
        }
        return Base::VisitObjCMessageExpr(messageExpr);
    }

private:
    typedef clang::RecursiveASTVisitor<RewritingVisitor> Base;

    clang::SourceManager &_sourceManager;
    clang::Rewriter _rewriter;
};

} // end namespace clang_tooling

Ответ 2

Я уверен, что то, что вы хотите, может быть как-то сделано непосредственно с clang, но я не эксперт в этом. Это хороший старт, если вы можете обнаружить все сообщения. Если бы я был вами, я бы больше не сражался. Я рекомендую вам, если вы не получите правильный ответ на свой исходный вопрос, чтобы решить эту проблему, используя clang только для синтаксического анализа, обнаружения точных положений сообщений и замены самостоятельно. Все, что вам нужно сделать, это поддерживать смещение столбца при выполнении замен и корректировать исходные позиции. НТН