blob: a72b02f045d44079a4da81dd5380ed096c0debcf [file] [log] [blame]
Ted Kremenek8e0ac172010-05-14 21:29:26 +00001//===- CXTypes.cpp - Implements 'CXTypes' aspect of libclang ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===--------------------------------------------------------------------===//
9//
10// This file implements the 'CXTypes' API hooks in the Clang-C library.
11//
12//===--------------------------------------------------------------------===//
13
14#include "CIndexer.h"
Ted Kremenek0a90d322010-11-17 23:24:11 +000015#include "CXTranslationUnit.h"
Ted Kremenek8e0ac172010-05-14 21:29:26 +000016#include "CXCursor.h"
Ted Kremeneked122732010-11-16 01:56:27 +000017#include "CXString.h"
Ted Kremenek95f33552010-08-26 01:42:22 +000018#include "CXType.h"
Ted Kremenek8e0ac172010-05-14 21:29:26 +000019#include "clang/AST/Expr.h"
20#include "clang/AST/Type.h"
21#include "clang/AST/Decl.h"
22#include "clang/AST/DeclObjC.h"
Douglas Gregor3f0fee32010-10-02 21:57:58 +000023#include "clang/AST/DeclTemplate.h"
Ted Kremenek8e0ac172010-05-14 21:29:26 +000024#include "clang/Frontend/ASTUnit.h"
25
26using namespace clang;
27
28static CXTypeKind GetBuiltinTypeKind(const BuiltinType *BT) {
29#define BTCASE(K) case BuiltinType::K: return CXType_##K
30 switch (BT->getKind()) {
31 BTCASE(Void);
32 BTCASE(Bool);
33 BTCASE(Char_U);
34 BTCASE(UChar);
35 BTCASE(Char16);
36 BTCASE(Char32);
37 BTCASE(UShort);
38 BTCASE(UInt);
39 BTCASE(ULong);
40 BTCASE(ULongLong);
41 BTCASE(UInt128);
42 BTCASE(Char_S);
43 BTCASE(SChar);
Chris Lattner3f59c972010-12-25 23:25:43 +000044 case BuiltinType::WChar_S: return CXType_WChar;
45 case BuiltinType::WChar_U: return CXType_WChar;
Ted Kremenek8e0ac172010-05-14 21:29:26 +000046 BTCASE(Short);
47 BTCASE(Int);
48 BTCASE(Long);
49 BTCASE(LongLong);
50 BTCASE(Int128);
51 BTCASE(Float);
52 BTCASE(Double);
53 BTCASE(LongDouble);
54 BTCASE(NullPtr);
55 BTCASE(Overload);
56 BTCASE(Dependent);
57 BTCASE(ObjCId);
58 BTCASE(ObjCClass);
59 BTCASE(ObjCSel);
60 default:
61 return CXType_Unexposed;
62 }
63#undef BTCASE
64}
65
66static CXTypeKind GetTypeKind(QualType T) {
Douglas Gregor1ab55e92010-12-10 17:03:06 +000067 Type *TP = T.getTypePtrOrNull();
Ted Kremenek8e0ac172010-05-14 21:29:26 +000068 if (!TP)
69 return CXType_Invalid;
70
71#define TKCASE(K) case Type::K: return CXType_##K
72 switch (TP->getTypeClass()) {
73 case Type::Builtin:
74 return GetBuiltinTypeKind(cast<BuiltinType>(TP));
75 TKCASE(Complex);
76 TKCASE(Pointer);
77 TKCASE(BlockPointer);
78 TKCASE(LValueReference);
79 TKCASE(RValueReference);
80 TKCASE(Record);
81 TKCASE(Enum);
82 TKCASE(Typedef);
83 TKCASE(ObjCInterface);
84 TKCASE(ObjCObjectPointer);
Ted Kremenek04c3cf32010-06-21 20:15:39 +000085 TKCASE(FunctionNoProto);
86 TKCASE(FunctionProto);
Ted Kremenek8e0ac172010-05-14 21:29:26 +000087 default:
88 return CXType_Unexposed;
89 }
90#undef TKCASE
91}
92
Ted Kremenek95f33552010-08-26 01:42:22 +000093
Ted Kremeneka60ed472010-11-16 08:15:36 +000094CXType cxtype::MakeCXType(QualType T, CXTranslationUnit TU) {
Ted Kremenek8e0ac172010-05-14 21:29:26 +000095 CXTypeKind TK = GetTypeKind(T);
96 CXType CT = { TK, { TK == CXType_Invalid ? 0 : T.getAsOpaquePtr(), TU }};
97 return CT;
98}
99
Ted Kremenek95f33552010-08-26 01:42:22 +0000100using cxtype::MakeCXType;
101
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000102static inline QualType GetQualType(CXType CT) {
103 return QualType::getFromOpaquePtr(CT.data[0]);
104}
105
Ted Kremeneka60ed472010-11-16 08:15:36 +0000106static inline CXTranslationUnit GetTU(CXType CT) {
107 return static_cast<CXTranslationUnit>(CT.data[1]);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000108}
109
110extern "C" {
111
112CXType clang_getCursorType(CXCursor C) {
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000113 using namespace cxcursor;
114
Ted Kremeneka60ed472010-11-16 08:15:36 +0000115 CXTranslationUnit TU = cxcursor::getCursorTU(C);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000116 if (clang_isExpression(C.kind)) {
117 QualType T = cxcursor::getCursorExpr(C)->getType();
Ted Kremeneka60ed472010-11-16 08:15:36 +0000118 return MakeCXType(T, TU);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000119 }
120
121 if (clang_isDeclaration(C.kind)) {
122 Decl *D = cxcursor::getCursorDecl(C);
123
124 if (TypeDecl *TD = dyn_cast<TypeDecl>(D))
Ted Kremeneka60ed472010-11-16 08:15:36 +0000125 return MakeCXType(QualType(TD->getTypeForDecl(), 0), TU);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000126 if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D))
Ted Kremeneka60ed472010-11-16 08:15:36 +0000127 return MakeCXType(QualType(ID->getTypeForDecl(), 0), TU);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000128 if (ValueDecl *VD = dyn_cast<ValueDecl>(D))
Ted Kremeneka60ed472010-11-16 08:15:36 +0000129 return MakeCXType(VD->getType(), TU);
Ted Kremenek0d32a682010-06-21 19:41:40 +0000130 if (ObjCPropertyDecl *PD = dyn_cast<ObjCPropertyDecl>(D))
Ted Kremeneka60ed472010-11-16 08:15:36 +0000131 return MakeCXType(PD->getType(), TU);
Ted Kremenek04c3cf32010-06-21 20:15:39 +0000132 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
Ted Kremeneka60ed472010-11-16 08:15:36 +0000133 return MakeCXType(FD->getType(), TU);
134 return MakeCXType(QualType(), TU);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000135 }
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000136
137 if (clang_isReference(C.kind)) {
138 switch (C.kind) {
139 case CXCursor_ObjCSuperClassRef:
140 return MakeCXType(
141 QualType(getCursorObjCSuperClassRef(C).first->getTypeForDecl(),
142 0),
Ted Kremeneka60ed472010-11-16 08:15:36 +0000143 TU);
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000144
145 case CXCursor_ObjCClassRef:
146 return MakeCXType(
147 QualType(getCursorObjCClassRef(C).first->getTypeForDecl(),
148 0),
Ted Kremeneka60ed472010-11-16 08:15:36 +0000149 TU);
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000150
151 case CXCursor_TypeRef:
152 return MakeCXType(QualType(getCursorTypeRef(C).first->getTypeForDecl(),
153 0),
Ted Kremeneka60ed472010-11-16 08:15:36 +0000154 TU);
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000155
156 case CXCursor_CXXBaseSpecifier:
Ted Kremeneka60ed472010-11-16 08:15:36 +0000157 return cxtype::MakeCXType(getCursorCXXBaseSpecifier(C)->getType(), TU);
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000158
159 case CXCursor_ObjCProtocolRef:
160 case CXCursor_TemplateRef:
161 case CXCursor_NamespaceRef:
162 case CXCursor_MemberRef:
163 case CXCursor_OverloadedDeclRef:
164 default:
165 break;
166 }
167
Ted Kremeneka60ed472010-11-16 08:15:36 +0000168 return MakeCXType(QualType(), TU);
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000169 }
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000170
Ted Kremeneka60ed472010-11-16 08:15:36 +0000171 return MakeCXType(QualType(), TU);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000172}
173
174CXType clang_getCanonicalType(CXType CT) {
175 if (CT.kind == CXType_Invalid)
176 return CT;
177
178 QualType T = GetQualType(CT);
Ted Kremeneka60ed472010-11-16 08:15:36 +0000179 CXTranslationUnit TU = GetTU(CT);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000180
181 if (T.isNull())
Ted Kremeneka60ed472010-11-16 08:15:36 +0000182 return MakeCXType(QualType(), GetTU(CT));
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000183
Ted Kremeneka60ed472010-11-16 08:15:36 +0000184 ASTUnit *AU = static_cast<ASTUnit*>(TU->TUData);
185 return MakeCXType(AU->getASTContext().getCanonicalType(T), TU);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000186}
187
188CXType clang_getPointeeType(CXType CT) {
189 QualType T = GetQualType(CT);
Douglas Gregor1ab55e92010-12-10 17:03:06 +0000190 Type *TP = T.getTypePtrOrNull();
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000191
192 if (!TP)
Ted Kremeneka60ed472010-11-16 08:15:36 +0000193 return MakeCXType(QualType(), GetTU(CT));
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000194
195 switch (TP->getTypeClass()) {
196 case Type::Pointer:
197 T = cast<PointerType>(TP)->getPointeeType();
198 break;
199 case Type::BlockPointer:
200 T = cast<BlockPointerType>(TP)->getPointeeType();
201 break;
202 case Type::LValueReference:
203 case Type::RValueReference:
204 T = cast<ReferenceType>(TP)->getPointeeType();
205 break;
206 case Type::ObjCObjectPointer:
207 T = cast<ObjCObjectPointerType>(TP)->getPointeeType();
208 break;
209 default:
210 T = QualType();
211 break;
212 }
Ted Kremeneka60ed472010-11-16 08:15:36 +0000213 return MakeCXType(T, GetTU(CT));
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000214}
215
216CXCursor clang_getTypeDeclaration(CXType CT) {
Ted Kremenekb3da5392010-05-29 20:01:52 +0000217 if (CT.kind == CXType_Invalid)
218 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
219
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000220 QualType T = GetQualType(CT);
Douglas Gregor1ab55e92010-12-10 17:03:06 +0000221 Type *TP = T.getTypePtrOrNull();
Ted Kremenekb3da5392010-05-29 20:01:52 +0000222
223 if (!TP)
224 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
225
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000226 Decl *D = 0;
227
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000228try_again:
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000229 switch (TP->getTypeClass()) {
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000230 case Type::Typedef:
231 D = cast<TypedefType>(TP)->getDecl();
232 break;
233 case Type::ObjCObject:
234 D = cast<ObjCObjectType>(TP)->getInterface();
235 break;
236 case Type::ObjCInterface:
237 D = cast<ObjCInterfaceType>(TP)->getDecl();
238 break;
239 case Type::Record:
240 case Type::Enum:
241 D = cast<TagType>(TP)->getDecl();
242 break;
243 case Type::TemplateSpecialization:
244 if (const RecordType *Record = TP->getAs<RecordType>())
245 D = Record->getDecl();
246 else
247 D = cast<TemplateSpecializationType>(TP)->getTemplateName()
248 .getAsTemplateDecl();
249 break;
250
251 case Type::InjectedClassName:
252 D = cast<InjectedClassNameType>(TP)->getDecl();
253 break;
254
255 // FIXME: Template type parameters!
256
257 case Type::Elaborated:
Douglas Gregor1ab55e92010-12-10 17:03:06 +0000258 TP = cast<ElaboratedType>(TP)->getNamedType().getTypePtrOrNull();
Douglas Gregor3f0fee32010-10-02 21:57:58 +0000259 goto try_again;
260
261 default:
262 break;
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000263 }
264
265 if (!D)
266 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
267
Ted Kremeneka60ed472010-11-16 08:15:36 +0000268 return cxcursor::MakeCXCursor(D, GetTU(CT));
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000269}
270
271CXString clang_getTypeKindSpelling(enum CXTypeKind K) {
272 const char *s = 0;
273#define TKIND(X) case CXType_##X: s = "" #X ""; break
274 switch (K) {
275 TKIND(Invalid);
276 TKIND(Unexposed);
277 TKIND(Void);
278 TKIND(Bool);
279 TKIND(Char_U);
280 TKIND(UChar);
281 TKIND(Char16);
282 TKIND(Char32);
283 TKIND(UShort);
284 TKIND(UInt);
285 TKIND(ULong);
286 TKIND(ULongLong);
287 TKIND(UInt128);
288 TKIND(Char_S);
289 TKIND(SChar);
Chris Lattner3f59c972010-12-25 23:25:43 +0000290 case CXType_WChar: s = "WChar"; break;
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000291 TKIND(Short);
292 TKIND(Int);
293 TKIND(Long);
294 TKIND(LongLong);
295 TKIND(Int128);
296 TKIND(Float);
297 TKIND(Double);
298 TKIND(LongDouble);
299 TKIND(NullPtr);
300 TKIND(Overload);
301 TKIND(Dependent);
302 TKIND(ObjCId);
303 TKIND(ObjCClass);
304 TKIND(ObjCSel);
305 TKIND(Complex);
306 TKIND(Pointer);
307 TKIND(BlockPointer);
308 TKIND(LValueReference);
309 TKIND(RValueReference);
310 TKIND(Record);
311 TKIND(Enum);
312 TKIND(Typedef);
313 TKIND(ObjCInterface);
314 TKIND(ObjCObjectPointer);
Ted Kremenek04c3cf32010-06-21 20:15:39 +0000315 TKIND(FunctionNoProto);
316 TKIND(FunctionProto);
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000317 }
318#undef TKIND
319 return cxstring::createCXString(s);
320}
321
322unsigned clang_equalTypes(CXType A, CXType B) {
323 return A.data[0] == B.data[0] && A.data[1] == B.data[1];;
324}
325
Ted Kremenek04c3cf32010-06-21 20:15:39 +0000326CXType clang_getResultType(CXType X) {
327 QualType T = GetQualType(X);
Douglas Gregor1ab55e92010-12-10 17:03:06 +0000328 if (!T.getTypePtrOrNull())
Ted Kremeneka60ed472010-11-16 08:15:36 +0000329 return MakeCXType(QualType(), GetTU(X));
Ted Kremenek04c3cf32010-06-21 20:15:39 +0000330
331 if (const FunctionType *FD = T->getAs<FunctionType>())
Ted Kremeneka60ed472010-11-16 08:15:36 +0000332 return MakeCXType(FD->getResultType(), GetTU(X));
Ted Kremenek04c3cf32010-06-21 20:15:39 +0000333
Ted Kremeneka60ed472010-11-16 08:15:36 +0000334 return MakeCXType(QualType(), GetTU(X));
Ted Kremenek04c3cf32010-06-21 20:15:39 +0000335}
336
Ted Kremenek9a140842010-06-21 20:48:56 +0000337CXType clang_getCursorResultType(CXCursor C) {
338 if (clang_isDeclaration(C.kind)) {
339 Decl *D = cxcursor::getCursorDecl(C);
340 if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D))
Ted Kremeneka60ed472010-11-16 08:15:36 +0000341 return MakeCXType(MD->getResultType(), cxcursor::getCursorTU(C));
Ted Kremenek9a140842010-06-21 20:48:56 +0000342
343 return clang_getResultType(clang_getCursorType(C));
344 }
345
Ted Kremeneka60ed472010-11-16 08:15:36 +0000346 return MakeCXType(QualType(), cxcursor::getCursorTU(C));
Ted Kremenek9a140842010-06-21 20:48:56 +0000347}
348
Ted Kremenek3ce9e7d2010-07-30 00:14:11 +0000349unsigned clang_isPODType(CXType X) {
350 QualType T = GetQualType(X);
Douglas Gregor1ab55e92010-12-10 17:03:06 +0000351 if (!T.getTypePtrOrNull())
Ted Kremenek3ce9e7d2010-07-30 00:14:11 +0000352 return 0;
353 return T->isPODType() ? 1 : 0;
354}
355
David Chisnall5389f482010-12-30 14:05:53 +0000356CXString clang_getDeclObjCTypeEncoding(CXCursor C) {
357 if ((C.kind < CXCursor_FirstDecl) || (C.kind > CXCursor_LastDecl))
358 return cxstring::createCXString("");
359
360 Decl *D = static_cast<Decl*>(C.data[0]);
361 CXTranslationUnit TU = static_cast<CXTranslationUnit>(C.data[2]);
362 ASTUnit *AU = static_cast<ASTUnit*>(TU->TUData);
363 ASTContext &Ctx = AU->getASTContext();
364 std::string encoding;
365
366 if (ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D))
367 Ctx.getObjCEncodingForMethodDecl(OMD, encoding);
368 else if (ObjCPropertyDecl *OPD = dyn_cast<ObjCPropertyDecl>(D))
369 Ctx.getObjCEncodingForPropertyDecl(OPD, NULL, encoding);
370 else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
371 Ctx.getObjCEncodingForFunctionDecl(FD, encoding);
372 else {
373 QualType Ty;
374 if (TypeDecl *TD = dyn_cast<TypeDecl>(D))
375 Ty = QualType(TD->getTypeForDecl(), 0);
376 if (ValueDecl *VD = dyn_cast<ValueDecl>(D))
377 Ty = VD->getType();
378 else return cxstring::createCXString("?");
379 Ctx.getObjCEncodingForType(Ty, encoding);
380 }
381
382 return cxstring::createCXString(encoding);
383}
384
Ted Kremenek8e0ac172010-05-14 21:29:26 +0000385} // end: extern "C"