1 //===- CXTypes.cpp - Implements 'CXTypes' aspect of libclang ------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===--------------------------------------------------------------------===//
10 // This file implements the 'CXTypes' API hooks in the Clang-C library.
12 //===--------------------------------------------------------------------===//
15 #include "CXTranslationUnit.h"
19 #include "clang/AST/Expr.h"
20 #include "clang/AST/Type.h"
21 #include "clang/AST/Decl.h"
22 #include "clang/AST/DeclObjC.h"
23 #include "clang/AST/DeclTemplate.h"
24 #include "clang/Frontend/ASTUnit.h"
26 using namespace clang;
28 static CXTypeKind GetBuiltinTypeKind(const BuiltinType *BT) {
29 #define BTCASE(K) case BuiltinType::K: return CXType_##K
30 switch (BT->getKind()) {
44 case BuiltinType::WChar_S: return CXType_WChar;
45 case BuiltinType::WChar_U: return CXType_WChar;
61 return CXType_Unexposed;
66 static CXTypeKind GetTypeKind(QualType T) {
67 const Type *TP = T.getTypePtrOrNull();
69 return CXType_Invalid;
71 #define TKCASE(K) case Type::K: return CXType_##K
72 switch (TP->getTypeClass()) {
74 return GetBuiltinTypeKind(cast<BuiltinType>(TP));
78 TKCASE(LValueReference);
79 TKCASE(RValueReference);
83 TKCASE(ObjCInterface);
84 TKCASE(ObjCObjectPointer);
85 TKCASE(FunctionNoProto);
86 TKCASE(FunctionProto);
88 return CXType_Unexposed;
94 CXType cxtype::MakeCXType(QualType T, CXTranslationUnit TU) {
95 CXTypeKind TK = GetTypeKind(T);
96 CXType CT = { TK, { TK == CXType_Invalid ? 0 : T.getAsOpaquePtr(), TU }};
100 using cxtype::MakeCXType;
102 static inline QualType GetQualType(CXType CT) {
103 return QualType::getFromOpaquePtr(CT.data[0]);
106 static inline CXTranslationUnit GetTU(CXType CT) {
107 return static_cast<CXTranslationUnit>(CT.data[1]);
112 CXType clang_getCursorType(CXCursor C) {
113 using namespace cxcursor;
115 CXTranslationUnit TU = cxcursor::getCursorTU(C);
116 ASTContext &Context = static_cast<ASTUnit *>(TU->TUData)->getASTContext();
117 if (clang_isExpression(C.kind)) {
118 QualType T = cxcursor::getCursorExpr(C)->getType();
119 return MakeCXType(T, TU);
122 if (clang_isDeclaration(C.kind)) {
123 Decl *D = cxcursor::getCursorDecl(C);
125 if (TypeDecl *TD = dyn_cast<TypeDecl>(D))
126 return MakeCXType(Context.getTypeDeclType(TD), TU);
127 if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D))
128 return MakeCXType(Context.getObjCInterfaceType(ID), TU);
129 if (ValueDecl *VD = dyn_cast<ValueDecl>(D))
130 return MakeCXType(VD->getType(), TU);
131 if (ObjCPropertyDecl *PD = dyn_cast<ObjCPropertyDecl>(D))
132 return MakeCXType(PD->getType(), TU);
133 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
134 return MakeCXType(FD->getType(), TU);
135 return MakeCXType(QualType(), TU);
138 if (clang_isReference(C.kind)) {
140 case CXCursor_ObjCSuperClassRef: {
142 = Context.getObjCInterfaceType(getCursorObjCSuperClassRef(C).first);
143 return MakeCXType(T, TU);
146 case CXCursor_ObjCClassRef: {
147 QualType T = Context.getObjCInterfaceType(getCursorObjCClassRef(C).first);
148 return MakeCXType(T, TU);
151 case CXCursor_TypeRef: {
152 QualType T = Context.getTypeDeclType(getCursorTypeRef(C).first);
153 return MakeCXType(T, TU);
157 case CXCursor_CXXBaseSpecifier:
158 return cxtype::MakeCXType(getCursorCXXBaseSpecifier(C)->getType(), TU);
160 case CXCursor_ObjCProtocolRef:
161 case CXCursor_TemplateRef:
162 case CXCursor_NamespaceRef:
163 case CXCursor_MemberRef:
164 case CXCursor_OverloadedDeclRef:
169 return MakeCXType(QualType(), TU);
172 return MakeCXType(QualType(), TU);
175 CXType clang_getCanonicalType(CXType CT) {
176 if (CT.kind == CXType_Invalid)
179 QualType T = GetQualType(CT);
180 CXTranslationUnit TU = GetTU(CT);
183 return MakeCXType(QualType(), GetTU(CT));
185 ASTUnit *AU = static_cast<ASTUnit*>(TU->TUData);
186 return MakeCXType(AU->getASTContext().getCanonicalType(T), TU);
189 unsigned clang_isConstQualifiedType(CXType CT) {
190 QualType T = GetQualType(CT);
191 return T.isLocalConstQualified();
194 unsigned clang_isVolatileQualifiedType(CXType CT) {
195 QualType T = GetQualType(CT);
196 return T.isLocalVolatileQualified();
199 unsigned clang_isRestrictQualifiedType(CXType CT) {
200 QualType T = GetQualType(CT);
201 return T.isLocalRestrictQualified();
204 CXType clang_getPointeeType(CXType CT) {
205 QualType T = GetQualType(CT);
206 const Type *TP = T.getTypePtrOrNull();
209 return MakeCXType(QualType(), GetTU(CT));
211 switch (TP->getTypeClass()) {
213 T = cast<PointerType>(TP)->getPointeeType();
215 case Type::BlockPointer:
216 T = cast<BlockPointerType>(TP)->getPointeeType();
218 case Type::LValueReference:
219 case Type::RValueReference:
220 T = cast<ReferenceType>(TP)->getPointeeType();
222 case Type::ObjCObjectPointer:
223 T = cast<ObjCObjectPointerType>(TP)->getPointeeType();
229 return MakeCXType(T, GetTU(CT));
232 CXCursor clang_getTypeDeclaration(CXType CT) {
233 if (CT.kind == CXType_Invalid)
234 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
236 QualType T = GetQualType(CT);
237 const Type *TP = T.getTypePtrOrNull();
240 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
245 switch (TP->getTypeClass()) {
247 D = cast<TypedefType>(TP)->getDecl();
249 case Type::ObjCObject:
250 D = cast<ObjCObjectType>(TP)->getInterface();
252 case Type::ObjCInterface:
253 D = cast<ObjCInterfaceType>(TP)->getDecl();
257 D = cast<TagType>(TP)->getDecl();
259 case Type::TemplateSpecialization:
260 if (const RecordType *Record = TP->getAs<RecordType>())
261 D = Record->getDecl();
263 D = cast<TemplateSpecializationType>(TP)->getTemplateName()
264 .getAsTemplateDecl();
267 case Type::InjectedClassName:
268 D = cast<InjectedClassNameType>(TP)->getDecl();
271 // FIXME: Template type parameters!
273 case Type::Elaborated:
274 TP = cast<ElaboratedType>(TP)->getNamedType().getTypePtrOrNull();
282 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
284 return cxcursor::MakeCXCursor(D, GetTU(CT));
287 CXString clang_getTypeKindSpelling(enum CXTypeKind K) {
289 #define TKIND(X) case CXType_##X: s = "" #X ""; break
306 case CXType_WChar: s = "WChar"; break;
324 TKIND(LValueReference);
325 TKIND(RValueReference);
329 TKIND(ObjCInterface);
330 TKIND(ObjCObjectPointer);
331 TKIND(FunctionNoProto);
332 TKIND(FunctionProto);
335 return cxstring::createCXString(s);
338 unsigned clang_equalTypes(CXType A, CXType B) {
339 return A.data[0] == B.data[0] && A.data[1] == B.data[1];;
342 CXType clang_getResultType(CXType X) {
343 QualType T = GetQualType(X);
344 if (!T.getTypePtrOrNull())
345 return MakeCXType(QualType(), GetTU(X));
347 if (const FunctionType *FD = T->getAs<FunctionType>())
348 return MakeCXType(FD->getResultType(), GetTU(X));
350 return MakeCXType(QualType(), GetTU(X));
353 CXType clang_getCursorResultType(CXCursor C) {
354 if (clang_isDeclaration(C.kind)) {
355 Decl *D = cxcursor::getCursorDecl(C);
356 if (const ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D))
357 return MakeCXType(MD->getResultType(), cxcursor::getCursorTU(C));
359 return clang_getResultType(clang_getCursorType(C));
362 return MakeCXType(QualType(), cxcursor::getCursorTU(C));
365 unsigned clang_isPODType(CXType X) {
366 QualType T = GetQualType(X);
367 if (!T.getTypePtrOrNull())
369 return T->isPODType() ? 1 : 0;
372 CXString clang_getDeclObjCTypeEncoding(CXCursor C) {
373 if ((C.kind < CXCursor_FirstDecl) || (C.kind > CXCursor_LastDecl))
374 return cxstring::createCXString("");
376 Decl *D = static_cast<Decl*>(C.data[0]);
377 CXTranslationUnit TU = static_cast<CXTranslationUnit>(C.data[2]);
378 ASTUnit *AU = static_cast<ASTUnit*>(TU->TUData);
379 ASTContext &Ctx = AU->getASTContext();
380 std::string encoding;
382 if (ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D)) {
383 if (Ctx.getObjCEncodingForMethodDecl(OMD, encoding))
384 return cxstring::createCXString("?");
385 } else if (ObjCPropertyDecl *OPD = dyn_cast<ObjCPropertyDecl>(D))
386 Ctx.getObjCEncodingForPropertyDecl(OPD, NULL, encoding);
387 else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
388 Ctx.getObjCEncodingForFunctionDecl(FD, encoding);
391 if (TypeDecl *TD = dyn_cast<TypeDecl>(D))
392 Ty = Ctx.getTypeDeclType(TD);
393 if (ValueDecl *VD = dyn_cast<ValueDecl>(D))
395 else return cxstring::createCXString("?");
396 Ctx.getObjCEncodingForType(Ty, encoding);
399 return cxstring::createCXString(encoding);