使用libclang检查通用属性

时间:2013-10-29 09:04:00

标签: c++ clang abstract-syntax-tree libclang

我想在下面的例子中解析类成员函数的通用属性:

class Foo
{
public:
    void foo [[interesting]] ();
    void bar ();
};

使用libclang C API,我想在源代码中区分foobar(并且知道foo具有interesting属性)。这可能吗?我很难找到解释API中使用的概念的示例或文档(我找到了一个参考,但是当没有解释这些概念时,这很难使用。)

2 个答案:

答案 0 :(得分:3)

虽然我无法在AST中找到广义属性(看起来它们在构建AST时或之前被删除,而不是在它之后),但我确实找到了解决方法。

以下形式有一个annotate clang属性:

__attribute__((annotate("something")))

使用宏我可以得到一个合理的语法和一个在AST中可见的注释:

#define INTERESTING __attribute__((annotate("interesting")))

class Foo
{
public:
    INTERESTING void foo();
    void bar();
};

该属性将是方法节点的子节点,其display_name是注释字符串。可能的AST转储:

 <CursorKind.TRANSLATION_UNIT>
  "test.h"
{
  __builtin_va_list <CursorKind.TYPEDEF_DECL>
    "__builtin_va_list"
  type_info <CursorKind.CLASS_DECL>
    "type_info"
  Foo <CursorKind.CLASS_DECL>
    "Foo"
  {
     <CursorKind.CXX_ACCESS_SPEC_DECL>
      ""
    foo <CursorKind.CXX_METHOD>
      "foo()"
    {
       <CursorKind.ANNOTATE_ATTR>
        "interesting"
    }
    bar <CursorKind.CXX_METHOD>
      "bar()"
  }
}

它也会产生与void foo INTERESTING ();相同的输出。

答案 1 :(得分:2)

类似下面的first_attr函数将获取传递的游标的第一个属性的游标(如果存在),或者如果不存在则获取空游标(未经测试的代码......警告文件)

CXChildVisitResult attr_visit(CXCursor cursor, CXCursor parent, CXClientData data) {
    if (clang_isAttribute(cursor)) {
        *data = cursor;
        return CXChildVisit_Break;
    }
    return CXChildVisit_Continue;
}

CXCursor first_attr(const CXCursor& c) {
    CXCursor attr;
    unsigned visit_result = clang_visitChildren(c, attr_visit, &attr);
    if (!visit_result) // attribute not found
        attr = clang_getNullCursor();
    return attr;
}

至于找到游标a所代表的特定属性,clang_getCursorKind(a)的结果可以提供帮助,但是公开的唯一属性是:

CXCursor_IBActionAttr
CXCursor_IBOutletAttr
CXCursor_IBOutletCollectionAttr
CXCursor_CXXFinalAttr
CXCursor_CXXOverrideAttr
CXCursor_AnnotateAttr
CXCursor_AsmLabelAttr

其他所有内容都是CXCursor_UnexposedAttr,我能想到的唯一方法就是检查clang_getCursorExtent(a)(即阅读源代码;参见clang_tokenize )。在注释的情况下,使用的特定注释可通过clang_getCursorDisplayName获得。