blob: 7dd3ae9cc001c2a080e360e6388998e08521b24e [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
25CXCursor cxcursor::MakeCXCursor(CXCursorKind K, Decl *D) {
Douglas Gregor283cae32010-01-15 21:56:13 +000026 CXCursor C = { K, { D, 0, 0 } };
Ted Kremenek16c440a2010-01-15 20:35:54 +000027 return C;
28}
29
Douglas Gregorf46034a2010-01-18 23:41:10 +000030CXCursor cxcursor::MakeCXCursor(CXCursorKind K, Decl *D, Stmt *S,
31 ASTContext &Context) {
Ted Kremenek16c440a2010-01-15 20:35:54 +000032 assert(clang_isReference(K));
Douglas Gregorf46034a2010-01-18 23:41:10 +000033 CXCursor C = { K, { D, S, &Context } };
Ted Kremenek16c440a2010-01-15 20:35:54 +000034 return C;
35}
36
Ted Kremenekedc8aa62010-01-16 00:36:30 +000037static CXCursorKind GetCursorKind(Decl *D) {
38 switch (D->getKind()) {
Ted Kremenek70ee5422010-01-16 01:44:12 +000039 case Decl::Enum: return CXCursor_EnumDecl;
40 case Decl::EnumConstant: return CXCursor_EnumConstantDecl;
41 case Decl::Field: return CXCursor_FieldDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000042 case Decl::Function:
Douglas Gregorb6998662010-01-19 19:34:47 +000043 return CXCursor_FunctionDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000044 case Decl::ObjCCategory: return CXCursor_ObjCCategoryDecl;
Douglas Gregorb6998662010-01-19 19:34:47 +000045 case Decl::ObjCCategoryImpl: return CXCursor_ObjCCategoryImplDecl;
Ted Kremenek70ee5422010-01-16 01:44:12 +000046 case Decl::ObjCClass:
47 // FIXME
Douglas Gregor30122132010-01-19 22:07:56 +000048 return CXCursor_UnexposedDecl;
Ted Kremenek6483a772010-01-18 22:07:45 +000049 case Decl::ObjCForwardProtocol:
50 // FIXME
Douglas Gregor30122132010-01-19 22:07:56 +000051 return CXCursor_UnexposedDecl;
Douglas Gregorb6998662010-01-19 19:34:47 +000052 case Decl::ObjCImplementation: return CXCursor_ObjCImplementationDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000053 case Decl::ObjCInterface: return CXCursor_ObjCInterfaceDecl;
Ted Kremenek70ee5422010-01-16 01:44:12 +000054 case Decl::ObjCIvar: return CXCursor_ObjCIvarDecl;
55 case Decl::ObjCMethod:
56 return cast<ObjCMethodDecl>(D)->isInstanceMethod()
57 ? CXCursor_ObjCInstanceMethodDecl : CXCursor_ObjCClassMethodDecl;
Ted Kremenek10fa3cc2010-01-16 02:08:29 +000058 case Decl::ObjCProperty: return CXCursor_ObjCPropertyDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000059 case Decl::ObjCProtocol: return CXCursor_ObjCProtocolDecl;
Ted Kremenek70ee5422010-01-16 01:44:12 +000060 case Decl::ParmVar: return CXCursor_ParmDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000061 case Decl::Typedef: return CXCursor_TypedefDecl;
62 case Decl::Var: return CXCursor_VarDecl;
63 default:
64 if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
65 switch (TD->getTagKind()) {
66 case TagDecl::TK_struct: return CXCursor_StructDecl;
67 case TagDecl::TK_class: return CXCursor_ClassDecl;
68 case TagDecl::TK_union: return CXCursor_UnionDecl;
69 case TagDecl::TK_enum: return CXCursor_EnumDecl;
70 }
71 }
Douglas Gregor30122132010-01-19 22:07:56 +000072
73 return CXCursor_UnexposedDecl;
Ted Kremenekedc8aa62010-01-16 00:36:30 +000074 }
75
76 llvm_unreachable("Invalid Decl");
77 return CXCursor_NotImplemented;
78}
79
80CXCursor cxcursor::MakeCXCursor(Decl *D) {
81 return MakeCXCursor(GetCursorKind(D), D);
82}
83
Douglas Gregor97b98722010-01-19 23:20:36 +000084CXCursor cxcursor::MakeCXCursor(Stmt *S, Decl *Parent) {
85 CXCursorKind K = CXCursor_NotImplemented;
86
87 switch (S->getStmtClass()) {
88 case Stmt::NoStmtClass:
89 break;
90
91 case Stmt::NullStmtClass:
92 case Stmt::CompoundStmtClass:
93 case Stmt::CaseStmtClass:
94 case Stmt::DefaultStmtClass:
95 case Stmt::LabelStmtClass:
96 case Stmt::IfStmtClass:
97 case Stmt::SwitchStmtClass:
98 case Stmt::WhileStmtClass:
99 case Stmt::DoStmtClass:
100 case Stmt::ForStmtClass:
101 case Stmt::GotoStmtClass:
102 case Stmt::IndirectGotoStmtClass:
103 case Stmt::ContinueStmtClass:
104 case Stmt::BreakStmtClass:
105 case Stmt::ReturnStmtClass:
106 case Stmt::DeclStmtClass:
107 case Stmt::SwitchCaseClass:
108 case Stmt::AsmStmtClass:
109 case Stmt::ObjCAtTryStmtClass:
110 case Stmt::ObjCAtCatchStmtClass:
111 case Stmt::ObjCAtFinallyStmtClass:
112 case Stmt::ObjCAtThrowStmtClass:
113 case Stmt::ObjCAtSynchronizedStmtClass:
114 case Stmt::ObjCForCollectionStmtClass:
115 case Stmt::CXXCatchStmtClass:
116 case Stmt::CXXTryStmtClass:
117 K = CXCursor_UnexposedStmt;
118 break;
119
120 case Stmt::ExprClass:
121 case Stmt::PredefinedExprClass:
122 case Stmt::IntegerLiteralClass:
123 case Stmt::FloatingLiteralClass:
124 case Stmt::ImaginaryLiteralClass:
125 case Stmt::StringLiteralClass:
126 case Stmt::CharacterLiteralClass:
127 case Stmt::ParenExprClass:
128 case Stmt::UnaryOperatorClass:
129 case Stmt::SizeOfAlignOfExprClass:
130 case Stmt::ArraySubscriptExprClass:
131 case Stmt::CastExprClass:
132 case Stmt::BinaryOperatorClass:
133 case Stmt::CompoundAssignOperatorClass:
134 case Stmt::ConditionalOperatorClass:
135 case Stmt::ImplicitCastExprClass:
136 case Stmt::ExplicitCastExprClass:
137 case Stmt::CStyleCastExprClass:
138 case Stmt::CompoundLiteralExprClass:
139 case Stmt::ExtVectorElementExprClass:
140 case Stmt::InitListExprClass:
141 case Stmt::DesignatedInitExprClass:
142 case Stmt::ImplicitValueInitExprClass:
143 case Stmt::ParenListExprClass:
144 case Stmt::VAArgExprClass:
145 case Stmt::AddrLabelExprClass:
146 case Stmt::StmtExprClass:
147 case Stmt::TypesCompatibleExprClass:
148 case Stmt::ChooseExprClass:
149 case Stmt::GNUNullExprClass:
150 case Stmt::CXXNamedCastExprClass:
151 case Stmt::CXXStaticCastExprClass:
152 case Stmt::CXXDynamicCastExprClass:
153 case Stmt::CXXReinterpretCastExprClass:
154 case Stmt::CXXConstCastExprClass:
155 case Stmt::CXXFunctionalCastExprClass:
156 case Stmt::CXXTypeidExprClass:
157 case Stmt::CXXBoolLiteralExprClass:
158 case Stmt::CXXNullPtrLiteralExprClass:
159 case Stmt::CXXThisExprClass:
160 case Stmt::CXXThrowExprClass:
161 case Stmt::CXXDefaultArgExprClass:
162 case Stmt::CXXZeroInitValueExprClass:
163 case Stmt::CXXNewExprClass:
164 case Stmt::CXXDeleteExprClass:
165 case Stmt::CXXPseudoDestructorExprClass:
166 case Stmt::UnresolvedLookupExprClass:
167 case Stmt::UnaryTypeTraitExprClass:
168 case Stmt::DependentScopeDeclRefExprClass:
169 case Stmt::CXXBindTemporaryExprClass:
170 case Stmt::CXXExprWithTemporariesClass:
171 case Stmt::CXXUnresolvedConstructExprClass:
172 case Stmt::CXXDependentScopeMemberExprClass:
173 case Stmt::UnresolvedMemberExprClass:
174 case Stmt::ObjCStringLiteralClass:
175 case Stmt::ObjCEncodeExprClass:
176 case Stmt::ObjCSelectorExprClass:
177 case Stmt::ObjCProtocolExprClass:
178 case Stmt::ObjCImplicitSetterGetterRefExprClass:
179 case Stmt::ObjCSuperExprClass:
180 case Stmt::ObjCIsaExprClass:
181 case Stmt::ShuffleVectorExprClass:
182 case Stmt::BlockExprClass:
183 K = CXCursor_UnexposedExpr;
184 break;
185 case Stmt::DeclRefExprClass:
186 case Stmt::BlockDeclRefExprClass:
187 // FIXME: UnresolvedLookupExpr?
188 // FIXME: DependentScopeDeclRefExpr?
189 K = CXCursor_DeclRefExpr;
190 break;
191
192 case Stmt::MemberExprClass:
193 case Stmt::ObjCIvarRefExprClass:
194 case Stmt::ObjCPropertyRefExprClass:
195 // FIXME: UnresolvedMemberExpr?
196 // FIXME: CXXDependentScopeMemberExpr?
197 K = CXCursor_MemberRefExpr;
198 break;
199
200 case Stmt::CallExprClass:
201 case Stmt::CXXOperatorCallExprClass:
202 case Stmt::CXXMemberCallExprClass:
203 case Stmt::CXXConstructExprClass:
204 case Stmt::CXXTemporaryObjectExprClass:
205 // FIXME: CXXUnresolvedConstructExpr
206 // FIXME: ObjCImplicitSetterGetterRefExpr?
207 K = CXCursor_CallExpr;
208 break;
209
210 case Stmt::ObjCMessageExprClass:
211 K = CXCursor_ObjCMessageExpr;
212 break;
213 }
214
215 CXCursor C = { K, { Parent, S, 0 } };
216 return C;
217}
218
Douglas Gregor2e331b92010-01-16 14:00:32 +0000219CXCursor cxcursor::MakeCursorObjCSuperClassRef(ObjCInterfaceDecl *Super,
220 SourceLocation Loc) {
221 void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
222 CXCursor C = { CXCursor_ObjCSuperClassRef, { Super, RawLoc, 0 } };
223 return C;
224}
225
226std::pair<ObjCInterfaceDecl *, SourceLocation>
227cxcursor::getCursorObjCSuperClassRef(CXCursor C) {
228 assert(C.kind == CXCursor_ObjCSuperClassRef);
229 return std::make_pair(static_cast<ObjCInterfaceDecl *>(C.data[0]),
230 SourceLocation::getFromRawEncoding(
231 reinterpret_cast<uintptr_t>(C.data[1])));
232}
233
Douglas Gregor78db0cd2010-01-16 15:44:18 +0000234CXCursor cxcursor::MakeCursorObjCProtocolRef(ObjCProtocolDecl *Super,
235 SourceLocation Loc) {
236 void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
237 CXCursor C = { CXCursor_ObjCProtocolRef, { Super, RawLoc, 0 } };
238 return C;
239}
240
241std::pair<ObjCProtocolDecl *, SourceLocation>
242cxcursor::getCursorObjCProtocolRef(CXCursor C) {
243 assert(C.kind == CXCursor_ObjCProtocolRef);
244 return std::make_pair(static_cast<ObjCProtocolDecl *>(C.data[0]),
245 SourceLocation::getFromRawEncoding(
246 reinterpret_cast<uintptr_t>(C.data[1])));
247}
248
Douglas Gregor1adb0822010-01-16 17:14:40 +0000249CXCursor cxcursor::MakeCursorObjCClassRef(ObjCInterfaceDecl *Class,
250 SourceLocation Loc) {
251 void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
252 CXCursor C = { CXCursor_ObjCClassRef, { Class, RawLoc, 0 } };
253 return C;
254}
255
256std::pair<ObjCInterfaceDecl *, SourceLocation>
257cxcursor::getCursorObjCClassRef(CXCursor C) {
258 assert(C.kind == CXCursor_ObjCClassRef);
259 return std::make_pair(static_cast<ObjCInterfaceDecl *>(C.data[0]),
260 SourceLocation::getFromRawEncoding(
261 reinterpret_cast<uintptr_t>(C.data[1])));
262}
263
Douglas Gregor283cae32010-01-15 21:56:13 +0000264Decl *cxcursor::getCursorDecl(CXCursor Cursor) {
265 return (Decl *)Cursor.data[0];
266}
267
268Expr *cxcursor::getCursorExpr(CXCursor Cursor) {
269 return dyn_cast_or_null<Expr>(getCursorStmt(Cursor));
270}
271
272Stmt *cxcursor::getCursorStmt(CXCursor Cursor) {
Douglas Gregor78db0cd2010-01-16 15:44:18 +0000273 if (Cursor.kind == CXCursor_ObjCSuperClassRef ||
Douglas Gregor1adb0822010-01-16 17:14:40 +0000274 Cursor.kind == CXCursor_ObjCProtocolRef ||
275 Cursor.kind == CXCursor_ObjCClassRef)
Douglas Gregor2e331b92010-01-16 14:00:32 +0000276 return 0;
277
Douglas Gregor283cae32010-01-15 21:56:13 +0000278 return (Stmt *)Cursor.data[1];
279}
280
Douglas Gregorf46034a2010-01-18 23:41:10 +0000281ASTContext &cxcursor::getCursorContext(CXCursor Cursor) {
282 switch (Cursor.kind) {
283 case CXCursor_TypedefDecl:
284 case CXCursor_StructDecl:
285 case CXCursor_UnionDecl:
286 case CXCursor_ClassDecl:
287 case CXCursor_EnumDecl:
288 case CXCursor_FieldDecl:
289 case CXCursor_EnumConstantDecl:
290 case CXCursor_FunctionDecl:
291 case CXCursor_VarDecl:
292 case CXCursor_ParmDecl:
293 case CXCursor_ObjCInterfaceDecl:
294 case CXCursor_ObjCCategoryDecl:
295 case CXCursor_ObjCProtocolDecl:
296 case CXCursor_ObjCPropertyDecl:
297 case CXCursor_ObjCIvarDecl:
298 case CXCursor_ObjCInstanceMethodDecl:
299 case CXCursor_ObjCClassMethodDecl:
Douglas Gregorb6998662010-01-19 19:34:47 +0000300 case CXCursor_ObjCImplementationDecl:
301 case CXCursor_ObjCCategoryImplDecl:
Douglas Gregor30122132010-01-19 22:07:56 +0000302 case CXCursor_UnexposedDecl:
Douglas Gregorf46034a2010-01-18 23:41:10 +0000303 return static_cast<Decl *>(Cursor.data[0])->getASTContext();
304
305 case CXCursor_ObjCSuperClassRef:
306 case CXCursor_ObjCProtocolRef:
307 case CXCursor_ObjCClassRef:
308 return static_cast<Decl *>(Cursor.data[0])->getASTContext();
309
Douglas Gregorf46034a2010-01-18 23:41:10 +0000310 case CXCursor_InvalidFile:
311 case CXCursor_NoDeclFound:
312 case CXCursor_NotImplemented:
313 llvm_unreachable("No context in an invalid cursor");
Douglas Gregor97b98722010-01-19 23:20:36 +0000314 break;
315
316 case CXCursor_UnexposedExpr:
317 case CXCursor_DeclRefExpr:
318 case CXCursor_MemberRefExpr:
319 case CXCursor_CallExpr:
320 case CXCursor_ObjCMessageExpr:
321 case CXCursor_UnexposedStmt:
322 return static_cast<Decl *>(Cursor.data[0])->getASTContext();
323
Douglas Gregor7eaa8ae2010-01-20 00:23:15 +0000324 case CXCursor_TranslationUnit: {
325 ASTUnit *CXXUnit = static_cast<ASTUnit *>(Cursor.data[0]);
326 return CXXUnit->getASTContext();
327 }
Douglas Gregorf46034a2010-01-18 23:41:10 +0000328 }
329
330 llvm_unreachable("No context available");
Douglas Gregor283cae32010-01-15 21:56:13 +0000331}
332
Douglas Gregor283cae32010-01-15 21:56:13 +0000333bool cxcursor::operator==(CXCursor X, CXCursor Y) {
334 return X.kind == Y.kind && X.data[0] == Y.data[0] && X.data[1] == Y.data[1] &&
335 X.data[2] == Y.data[2];
Douglas Gregor2e331b92010-01-16 14:00:32 +0000336}