1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
/*
This file is part of the clazy static checker.
Copyright (C) 2016 Sergio Martins <smartins@kde.org>
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Library General Public
License as published by the Free Software Foundation; either
version 2 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Library General Public License for more details.
You should have received a copy of the GNU Library General Public License
along with this library; see the file COPYING.LIB. If not, write to
the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
Boston, MA 02110-1301, USA.
*/
#include "TemplateUtils.h"
#include "StringUtils.h"
#include <clang/AST/DeclCXX.h>
#include <clang/AST/DeclTemplate.h>
using namespace std;
using namespace clang;
static vector<QualType> typesFromTemplateArguments(const TemplateArgumentList *templateArgs)
{
vector<QualType> result;
const int numArgs = templateArgs->size();
result.reserve(numArgs);
for (int i = 0; i < numArgs; ++i) {
const TemplateArgument &arg = templateArgs->get(i);
if (arg.getKind() == TemplateArgument::Type)
result.push_back(arg.getAsType());
}
return result;
}
vector<QualType> clazy::getTemplateArgumentsTypes(CXXMethodDecl *method)
{
if (!method)
return {};
FunctionTemplateSpecializationInfo *specializationInfo = method->getTemplateSpecializationInfo();
if (!specializationInfo || !specializationInfo->TemplateArguments)
return {};
return typesFromTemplateArguments(specializationInfo->TemplateArguments);
}
std::vector<clang::QualType> clazy::getTemplateArgumentsTypes(CXXRecordDecl *record)
{
if (!record)
return {};
ClassTemplateSpecializationDecl *templateDecl = dyn_cast<ClassTemplateSpecializationDecl>(record);
if (!templateDecl)
return {};
return typesFromTemplateArguments(&(templateDecl->getTemplateInstantiationArgs()));
}
ClassTemplateSpecializationDecl *clazy::templateDecl(Decl *decl)
{
if (isa<ClassTemplateSpecializationDecl>(decl))
return dyn_cast<ClassTemplateSpecializationDecl>(decl);
VarDecl *varDecl = dyn_cast<VarDecl>(decl);
if (!varDecl) return nullptr;
QualType qt = varDecl->getType();
const Type *t = qt.getTypePtrOrNull();
if (!t) return nullptr;
CXXRecordDecl *classDecl = t->getAsCXXRecordDecl();
if (!classDecl) return nullptr;
return dyn_cast<ClassTemplateSpecializationDecl>(classDecl);
}
string clazy::getTemplateArgumentTypeStr(ClassTemplateSpecializationDecl *specialization,
unsigned int index, const LangOptions &lo, bool recordOnly)
{
if (!specialization)
return {};
auto &args = specialization->getTemplateArgs();
if (args.size() <= index)
return {};
QualType qt = args[index].getAsType();
if (recordOnly) {
const Type *t = qt.getTypePtrOrNull();
if (!t || !t->getAsCXXRecordDecl())
return {};
}
return clazy::simpleTypeName(args[index].getAsType(), lo);
}
clang::QualType clazy::getTemplateArgumentType(ClassTemplateSpecializationDecl *specialization, unsigned int index)
{
if (!specialization)
return {};
auto &args = specialization->getTemplateArgs();
if (args.size() <= index)
return {};
return args[index].getAsType();
}
|
