blob: 0f9f79da69d0495453a030e43907646cd0c01c9d [file] [log] [blame]
Ted Kremenek16c440a2010-01-15 20:35:54 +00001//===- CXCursor.cpp - Routines for manipulating CXCursors -----------------===//
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//
Douglas Gregor2e331b92010-01-16 14:00:32 +000010// This file defines routines for manipulating CXCursors. It should be the
11// only file that has internal knowledge of the encoding of the data in
12// CXCursor.
Ted Kremenek16c440a2010-01-15 20:35:54 +000013//
14//===----------------------------------------------------------------------===//
15
16#include "CXCursor.h"
Douglas Gregor7eaa8ae2010-01-20 00:23:15 +000017#include "clang/Frontend/ASTUnit.h"
Ted Kremenek16c440a2010-01-15 20:35:54 +000018#include "clang/AST/Decl.h"
Douglas Gregor283cae32010-01-15 21:56:13 +000019#include "clang/AST/DeclObjC.h"
20#include "clang/AST/Expr.h"
Ted Kremenekedc8aa62010-01-16 00:36:30 +000021#include "llvm/Support/ErrorHandling.h"
Ted Kremenek16c440a2010-01-15 20:35:54 +000022
23using namespace clang;
24
Douglas Gregor5bfb8c12010-01-20 23:34:41 +000025CXCursor cxcursor::MakeCXCursorInvalid(CXCursorKind K) {
26 assert(K >= CXCursor_FirstInvalid && K <= CXCursor_LastInvalid);
27 CXCursor C = { K, { 0, 0, 0 } };
28 return C;
Ted Kremenek16c440a2010-01-15 20:35:54 +000029}
30
Ted Kremenekedc8aa62010-01-16 00:36:30 +000031static CXCursorKind GetCursorKind(Decl *D) {
Daniel Dunbar54d67ca2010-01-25 00:40:30 +000032 assert(D && "Invalid arguments!");
Ted Kremenekedc8aa62010-01-16 00:36:30 +000033 switch (D->getKind()) {
Ted Kremenek70ee5422010-01-16 01:44:12 +000034 case Decl::Enum: return CXCursor_EnumDecl;
35 case Decl::EnumConstant: return CXCursor_EnumConstantDecl;
36 case Decl::Field: return CXCursor_FieldDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000037 case Decl::Function:
Douglas Gregorb6998662010-01-19 19:34:47 +000038 return CXCursor_FunctionDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000039 case Decl::ObjCCategory: return CXCursor_ObjCCategoryDecl;
Douglas Gregorb6998662010-01-19 19:34:47 +000040 case Decl::ObjCCategoryImpl: return CXCursor_ObjCCategoryImplDecl;
Ted Kremenek70ee5422010-01-16 01:44:12 +000041 case Decl::ObjCClass:
42 // FIXME
Douglas Gregor30122132010-01-19 22:07:56 +000043 return CXCursor_UnexposedDecl;
Ted Kremenek6483a772010-01-18 22:07:45 +000044 case Decl::ObjCForwardProtocol:
45 // FIXME
Douglas Gregor30122132010-01-19 22:07:56 +000046 return CXCursor_UnexposedDecl;
Douglas Gregorb6998662010-01-19 19:34:47 +000047 case Decl::ObjCImplementation: return CXCursor_ObjCImplementationDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000048 case Decl::ObjCInterface: return CXCursor_ObjCInterfaceDecl;
Ted Kremenek70ee5422010-01-16 01:44:12 +000049 case Decl::ObjCIvar: return CXCursor_ObjCIvarDecl;
50 case Decl::ObjCMethod:
51 return cast<ObjCMethodDecl>(D)->isInstanceMethod()
52 ? CXCursor_ObjCInstanceMethodDecl : CXCursor_ObjCClassMethodDecl;
Ted Kremenek8bd5a692010-04-13 23:39:06 +000053 case Decl::CXXMethod: return CXCursor_CXXMethod;
Ted Kremenek10fa3cc2010-01-16 02:08:29 +000054 case Decl::ObjCProperty: return CXCursor_ObjCPropertyDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000055 case Decl::ObjCProtocol: return CXCursor_ObjCProtocolDecl;
Ted Kremenek70ee5422010-01-16 01:44:12 +000056 case Decl::ParmVar: return CXCursor_ParmDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000057 case Decl::Typedef: return CXCursor_TypedefDecl;
58 case Decl::Var: return CXCursor_VarDecl;
Ted Kremenek8f06e0e2010-05-06 23:38:21 +000059 case Decl::Namespace: return CXCursor_Namespace;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000060 default:
61 if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
62 switch (TD->getTagKind()) {
Abramo Bagnara465d41b2010-05-11 21:36:43 +000063 case TTK_Struct: return CXCursor_StructDecl;
64 case TTK_Class: return CXCursor_ClassDecl;
65 case TTK_Union: return CXCursor_UnionDecl;
66 case TTK_Enum: return CXCursor_EnumDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000067 }
68 }
Douglas Gregor30122132010-01-19 22:07:56 +000069
70 return CXCursor_UnexposedDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000071 }
72
73 llvm_unreachable("Invalid Decl");
74 return CXCursor_NotImplemented;
75}
76
Ted Kremeneke77f4432010-02-18 03:09:07 +000077static CXCursorKind GetCursorKind(const Attr *A) {
78 assert(A && "Invalid arguments!");
79 switch (A->getKind()) {
80 default: break;
Sean Hunt387475d2010-06-16 23:43:53 +000081 case attr::IBAction: return CXCursor_IBActionAttr;
82 case attr::IBOutlet: return CXCursor_IBOutletAttr;
83 case attr::IBOutletCollection: return CXCursor_IBOutletCollectionAttr;
Ted Kremeneke77f4432010-02-18 03:09:07 +000084 }
85
86 return CXCursor_UnexposedAttr;
87}
88
89CXCursor cxcursor::MakeCXCursor(const Attr *A, Decl *Parent, ASTUnit *TU) {
90 assert(A && Parent && TU && "Invalid arguments!");
91 CXCursor C = { GetCursorKind(A), { Parent, (void*)A, TU } };
92 return C;
93}
94
Douglas Gregorb2cd4872010-01-20 23:57:43 +000095CXCursor cxcursor::MakeCXCursor(Decl *D, ASTUnit *TU) {
Daniel Dunbar54d67ca2010-01-25 00:40:30 +000096 assert(D && TU && "Invalid arguments!");
Douglas Gregorb2cd4872010-01-20 23:57:43 +000097 CXCursor C = { GetCursorKind(D), { D, 0, TU } };
Douglas Gregor5bfb8c12010-01-20 23:34:41 +000098 return C;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000099}
100
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000101CXCursor cxcursor::MakeCXCursor(Stmt *S, Decl *Parent, ASTUnit *TU) {
Daniel Dunbar54d67ca2010-01-25 00:40:30 +0000102 assert(S && TU && "Invalid arguments!");
Douglas Gregor97b98722010-01-19 23:20:36 +0000103 CXCursorKind K = CXCursor_NotImplemented;
104
105 switch (S->getStmtClass()) {
106 case Stmt::NoStmtClass:
107 break;
108
109 case Stmt::NullStmtClass:
110 case Stmt::CompoundStmtClass:
111 case Stmt::CaseStmtClass:
112 case Stmt::DefaultStmtClass:
113 case Stmt::LabelStmtClass:
114 case Stmt::IfStmtClass:
115 case Stmt::SwitchStmtClass:
116 case Stmt::WhileStmtClass:
117 case Stmt::DoStmtClass:
118 case Stmt::ForStmtClass:
119 case Stmt::GotoStmtClass:
120 case Stmt::IndirectGotoStmtClass:
121 case Stmt::ContinueStmtClass:
122 case Stmt::BreakStmtClass:
123 case Stmt::ReturnStmtClass:
124 case Stmt::DeclStmtClass:
125 case Stmt::SwitchCaseClass:
126 case Stmt::AsmStmtClass:
127 case Stmt::ObjCAtTryStmtClass:
128 case Stmt::ObjCAtCatchStmtClass:
129 case Stmt::ObjCAtFinallyStmtClass:
130 case Stmt::ObjCAtThrowStmtClass:
131 case Stmt::ObjCAtSynchronizedStmtClass:
132 case Stmt::ObjCForCollectionStmtClass:
133 case Stmt::CXXCatchStmtClass:
134 case Stmt::CXXTryStmtClass:
135 K = CXCursor_UnexposedStmt;
136 break;
137
Douglas Gregor97b98722010-01-19 23:20:36 +0000138 case Stmt::PredefinedExprClass:
139 case Stmt::IntegerLiteralClass:
140 case Stmt::FloatingLiteralClass:
141 case Stmt::ImaginaryLiteralClass:
142 case Stmt::StringLiteralClass:
143 case Stmt::CharacterLiteralClass:
144 case Stmt::ParenExprClass:
Douglas Gregor8ecdb652010-04-28 22:16:22 +0000145 case Stmt::UnaryOperatorClass:
146 case Stmt::OffsetOfExprClass:
Douglas Gregor97b98722010-01-19 23:20:36 +0000147 case Stmt::SizeOfAlignOfExprClass:
148 case Stmt::ArraySubscriptExprClass:
Douglas Gregor97b98722010-01-19 23:20:36 +0000149 case Stmt::BinaryOperatorClass:
150 case Stmt::CompoundAssignOperatorClass:
151 case Stmt::ConditionalOperatorClass:
152 case Stmt::ImplicitCastExprClass:
Douglas Gregor97b98722010-01-19 23:20:36 +0000153 case Stmt::CStyleCastExprClass:
154 case Stmt::CompoundLiteralExprClass:
155 case Stmt::ExtVectorElementExprClass:
156 case Stmt::InitListExprClass:
157 case Stmt::DesignatedInitExprClass:
158 case Stmt::ImplicitValueInitExprClass:
159 case Stmt::ParenListExprClass:
160 case Stmt::VAArgExprClass:
161 case Stmt::AddrLabelExprClass:
162 case Stmt::StmtExprClass:
163 case Stmt::TypesCompatibleExprClass:
164 case Stmt::ChooseExprClass:
165 case Stmt::GNUNullExprClass:
Douglas Gregor97b98722010-01-19 23:20:36 +0000166 case Stmt::CXXStaticCastExprClass:
167 case Stmt::CXXDynamicCastExprClass:
168 case Stmt::CXXReinterpretCastExprClass:
169 case Stmt::CXXConstCastExprClass:
170 case Stmt::CXXFunctionalCastExprClass:
171 case Stmt::CXXTypeidExprClass:
172 case Stmt::CXXBoolLiteralExprClass:
173 case Stmt::CXXNullPtrLiteralExprClass:
174 case Stmt::CXXThisExprClass:
175 case Stmt::CXXThrowExprClass:
176 case Stmt::CXXDefaultArgExprClass:
177 case Stmt::CXXZeroInitValueExprClass:
178 case Stmt::CXXNewExprClass:
179 case Stmt::CXXDeleteExprClass:
180 case Stmt::CXXPseudoDestructorExprClass:
181 case Stmt::UnresolvedLookupExprClass:
182 case Stmt::UnaryTypeTraitExprClass:
183 case Stmt::DependentScopeDeclRefExprClass:
184 case Stmt::CXXBindTemporaryExprClass:
Anders Carlssoneb60edf2010-01-29 02:39:32 +0000185 case Stmt::CXXBindReferenceExprClass:
Douglas Gregor97b98722010-01-19 23:20:36 +0000186 case Stmt::CXXExprWithTemporariesClass:
187 case Stmt::CXXUnresolvedConstructExprClass:
188 case Stmt::CXXDependentScopeMemberExprClass:
189 case Stmt::UnresolvedMemberExprClass:
190 case Stmt::ObjCStringLiteralClass:
191 case Stmt::ObjCEncodeExprClass:
192 case Stmt::ObjCSelectorExprClass:
193 case Stmt::ObjCProtocolExprClass:
194 case Stmt::ObjCImplicitSetterGetterRefExprClass:
195 case Stmt::ObjCSuperExprClass:
196 case Stmt::ObjCIsaExprClass:
197 case Stmt::ShuffleVectorExprClass:
198 case Stmt::BlockExprClass:
199 K = CXCursor_UnexposedExpr;
200 break;
201 case Stmt::DeclRefExprClass:
202 case Stmt::BlockDeclRefExprClass:
203 // FIXME: UnresolvedLookupExpr?
204 // FIXME: DependentScopeDeclRefExpr?
205 K = CXCursor_DeclRefExpr;
206 break;
207
208 case Stmt::MemberExprClass:
209 case Stmt::ObjCIvarRefExprClass:
210 case Stmt::ObjCPropertyRefExprClass:
211 // FIXME: UnresolvedMemberExpr?
212 // FIXME: CXXDependentScopeMemberExpr?
213 K = CXCursor_MemberRefExpr;
214 break;
215
216 case Stmt::CallExprClass:
217 case Stmt::CXXOperatorCallExprClass:
218 case Stmt::CXXMemberCallExprClass:
219 case Stmt::CXXConstructExprClass:
220 case Stmt::CXXTemporaryObjectExprClass:
221 // FIXME: CXXUnresolvedConstructExpr
222 // FIXME: ObjCImplicitSetterGetterRefExpr?
223 K = CXCursor_CallExpr;
224 break;
225
226 case Stmt::ObjCMessageExprClass:
227 K = CXCursor_ObjCMessageExpr;
228 break;
229 }
230
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000231 CXCursor C = { K, { Parent, S, TU } };
Douglas Gregor97b98722010-01-19 23:20:36 +0000232 return C;
233}
234
Douglas Gregor2e331b92010-01-16 14:00:32 +0000235CXCursor cxcursor::MakeCursorObjCSuperClassRef(ObjCInterfaceDecl *Super,
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000236 SourceLocation Loc,
237 ASTUnit *TU) {
Daniel Dunbar54d67ca2010-01-25 00:40:30 +0000238 assert(Super && TU && "Invalid arguments!");
Douglas Gregor2e331b92010-01-16 14:00:32 +0000239 void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000240 CXCursor C = { CXCursor_ObjCSuperClassRef, { Super, RawLoc, TU } };
Douglas Gregor2e331b92010-01-16 14:00:32 +0000241 return C;
242}
243
244std::pair<ObjCInterfaceDecl *, SourceLocation>
245cxcursor::getCursorObjCSuperClassRef(CXCursor C) {
246 assert(C.kind == CXCursor_ObjCSuperClassRef);
247 return std::make_pair(static_cast<ObjCInterfaceDecl *>(C.data[0]),
248 SourceLocation::getFromRawEncoding(
249 reinterpret_cast<uintptr_t>(C.data[1])));
250}
251
Douglas Gregor78db0cd2010-01-16 15:44:18 +0000252CXCursor cxcursor::MakeCursorObjCProtocolRef(ObjCProtocolDecl *Super,
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000253 SourceLocation Loc,
254 ASTUnit *TU) {
Daniel Dunbar54d67ca2010-01-25 00:40:30 +0000255 assert(Super && TU && "Invalid arguments!");
Douglas Gregor78db0cd2010-01-16 15:44:18 +0000256 void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000257 CXCursor C = { CXCursor_ObjCProtocolRef, { Super, RawLoc, TU } };
Douglas Gregor78db0cd2010-01-16 15:44:18 +0000258 return C;
259}
260
261std::pair<ObjCProtocolDecl *, SourceLocation>
262cxcursor::getCursorObjCProtocolRef(CXCursor C) {
263 assert(C.kind == CXCursor_ObjCProtocolRef);
264 return std::make_pair(static_cast<ObjCProtocolDecl *>(C.data[0]),
265 SourceLocation::getFromRawEncoding(
266 reinterpret_cast<uintptr_t>(C.data[1])));
267}
268
Douglas Gregor1adb0822010-01-16 17:14:40 +0000269CXCursor cxcursor::MakeCursorObjCClassRef(ObjCInterfaceDecl *Class,
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000270 SourceLocation Loc,
271 ASTUnit *TU) {
Ted Kremenekebfa3392010-03-19 20:39:03 +0000272 // 'Class' can be null for invalid code.
273 if (!Class)
274 return MakeCXCursorInvalid(CXCursor_InvalidCode);
275 assert(TU && "Invalid arguments!");
Douglas Gregor1adb0822010-01-16 17:14:40 +0000276 void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000277 CXCursor C = { CXCursor_ObjCClassRef, { Class, RawLoc, TU } };
Douglas Gregor1adb0822010-01-16 17:14:40 +0000278 return C;
279}
280
281std::pair<ObjCInterfaceDecl *, SourceLocation>
282cxcursor::getCursorObjCClassRef(CXCursor C) {
283 assert(C.kind == CXCursor_ObjCClassRef);
284 return std::make_pair(static_cast<ObjCInterfaceDecl *>(C.data[0]),
285 SourceLocation::getFromRawEncoding(
286 reinterpret_cast<uintptr_t>(C.data[1])));
287}
288
Douglas Gregor7d0d40e2010-01-21 16:28:34 +0000289CXCursor cxcursor::MakeCursorTypeRef(TypeDecl *Type, SourceLocation Loc,
290 ASTUnit *TU) {
Daniel Dunbar54d67ca2010-01-25 00:40:30 +0000291 assert(Type && TU && "Invalid arguments!");
Douglas Gregor7d0d40e2010-01-21 16:28:34 +0000292 void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
293 CXCursor C = { CXCursor_TypeRef, { Type, RawLoc, TU } };
294 return C;
295}
296
297std::pair<TypeDecl *, SourceLocation>
298cxcursor::getCursorTypeRef(CXCursor C) {
299 assert(C.kind == CXCursor_TypeRef);
300 return std::make_pair(static_cast<TypeDecl *>(C.data[0]),
301 SourceLocation::getFromRawEncoding(
302 reinterpret_cast<uintptr_t>(C.data[1])));
303}
304
Douglas Gregor9f1e3ff2010-03-18 00:42:48 +0000305CXCursor cxcursor::MakePreprocessingDirectiveCursor(SourceRange Range,
306 ASTUnit *TU) {
307 CXCursor C = { CXCursor_PreprocessingDirective,
308 { reinterpret_cast<void *>(Range.getBegin().getRawEncoding()),
309 reinterpret_cast<void *>(Range.getEnd().getRawEncoding()),
310 TU }
311 };
312 return C;
313}
314
315SourceRange cxcursor::getCursorPreprocessingDirective(CXCursor C) {
316 assert(C.kind == CXCursor_PreprocessingDirective);
317 return SourceRange(SourceLocation::getFromRawEncoding(
318 reinterpret_cast<uintptr_t> (C.data[0])),
319 SourceLocation::getFromRawEncoding(
320 reinterpret_cast<uintptr_t> (C.data[1])));
321}
322
Douglas Gregor572feb22010-03-18 18:04:21 +0000323CXCursor cxcursor::MakeMacroDefinitionCursor(MacroDefinition *MI, ASTUnit *TU) {
324 CXCursor C = { CXCursor_MacroDefinition, { MI, 0, TU } };
325 return C;
326}
327
328MacroDefinition *cxcursor::getCursorMacroDefinition(CXCursor C) {
329 assert(C.kind == CXCursor_MacroDefinition);
330 return static_cast<MacroDefinition *>(C.data[0]);
331}
332
Douglas Gregor4ae8f292010-03-18 17:52:52 +0000333CXCursor cxcursor::MakeMacroInstantiationCursor(MacroInstantiation *MI,
Douglas Gregor48072312010-03-18 15:23:44 +0000334 ASTUnit *TU) {
Douglas Gregor4ae8f292010-03-18 17:52:52 +0000335 CXCursor C = { CXCursor_MacroInstantiation, { MI, 0, TU } };
Douglas Gregor48072312010-03-18 15:23:44 +0000336 return C;
337}
338
Douglas Gregor4ae8f292010-03-18 17:52:52 +0000339MacroInstantiation *cxcursor::getCursorMacroInstantiation(CXCursor C) {
Douglas Gregor48072312010-03-18 15:23:44 +0000340 assert(C.kind == CXCursor_MacroInstantiation);
Douglas Gregor4ae8f292010-03-18 17:52:52 +0000341 return static_cast<MacroInstantiation *>(C.data[0]);
Douglas Gregor48072312010-03-18 15:23:44 +0000342}
343
Douglas Gregor283cae32010-01-15 21:56:13 +0000344Decl *cxcursor::getCursorDecl(CXCursor Cursor) {
345 return (Decl *)Cursor.data[0];
346}
347
348Expr *cxcursor::getCursorExpr(CXCursor Cursor) {
349 return dyn_cast_or_null<Expr>(getCursorStmt(Cursor));
350}
351
352Stmt *cxcursor::getCursorStmt(CXCursor Cursor) {
Douglas Gregor78db0cd2010-01-16 15:44:18 +0000353 if (Cursor.kind == CXCursor_ObjCSuperClassRef ||
Douglas Gregor1adb0822010-01-16 17:14:40 +0000354 Cursor.kind == CXCursor_ObjCProtocolRef ||
355 Cursor.kind == CXCursor_ObjCClassRef)
Douglas Gregor2e331b92010-01-16 14:00:32 +0000356 return 0;
357
Douglas Gregor283cae32010-01-15 21:56:13 +0000358 return (Stmt *)Cursor.data[1];
359}
360
Douglas Gregorf46034a2010-01-18 23:41:10 +0000361ASTContext &cxcursor::getCursorContext(CXCursor Cursor) {
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000362 return getCursorASTUnit(Cursor)->getASTContext();
363}
Douglas Gregorf46034a2010-01-18 23:41:10 +0000364
Douglas Gregorb2cd4872010-01-20 23:57:43 +0000365ASTUnit *cxcursor::getCursorASTUnit(CXCursor Cursor) {
366 return static_cast<ASTUnit *>(Cursor.data[2]);
Douglas Gregor283cae32010-01-15 21:56:13 +0000367}
368
Douglas Gregor283cae32010-01-15 21:56:13 +0000369bool cxcursor::operator==(CXCursor X, CXCursor Y) {
370 return X.kind == Y.kind && X.data[0] == Y.data[0] && X.data[1] == Y.data[1] &&
371 X.data[2] == Y.data[2];
Douglas Gregor2e331b92010-01-16 14:00:32 +0000372}