xref: /llvm-project/clang/tools/libclang/CXCursor.cpp (revision 09c0eb1510818c7646cc70d9229e75cb223d3cb5)
1 //===- 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 //
10 // 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.
13 //
14 //===----------------------------------------------------------------------===//
15 
16 #include "CXCursor.h"
17 #include "clang/Frontend/ASTUnit.h"
18 #include "clang/AST/Decl.h"
19 #include "clang/AST/DeclCXX.h"
20 #include "clang/AST/DeclObjC.h"
21 #include "clang/AST/Expr.h"
22 #include "llvm/Support/ErrorHandling.h"
23 
24 using namespace clang;
25 
26 CXCursor cxcursor::MakeCXCursorInvalid(CXCursorKind K) {
27   assert(K >= CXCursor_FirstInvalid && K <= CXCursor_LastInvalid);
28   CXCursor C = { K, { 0, 0, 0 } };
29   return C;
30 }
31 
32 static CXCursorKind GetCursorKind(const Attr *A) {
33   assert(A && "Invalid arguments!");
34   switch (A->getKind()) {
35     default: break;
36     case attr::IBAction: return CXCursor_IBActionAttr;
37     case attr::IBOutlet: return CXCursor_IBOutletAttr;
38     case attr::IBOutletCollection: return CXCursor_IBOutletCollectionAttr;
39   }
40 
41   return CXCursor_UnexposedAttr;
42 }
43 
44 CXCursor cxcursor::MakeCXCursor(const Attr *A, Decl *Parent, ASTUnit *TU) {
45   assert(A && Parent && TU && "Invalid arguments!");
46   CXCursor C = { GetCursorKind(A), { Parent, (void*)A, TU } };
47   return C;
48 }
49 
50 CXCursor cxcursor::MakeCXCursor(Decl *D, ASTUnit *TU) {
51   assert(D && TU && "Invalid arguments!");
52   CXCursor C = { getCursorKindForDecl(D), { D, 0, TU } };
53   return C;
54 }
55 
56 CXCursor cxcursor::MakeCXCursor(Stmt *S, Decl *Parent, ASTUnit *TU) {
57   assert(S && TU && "Invalid arguments!");
58   CXCursorKind K = CXCursor_NotImplemented;
59 
60   switch (S->getStmtClass()) {
61   case Stmt::NoStmtClass:
62     break;
63 
64   case Stmt::NullStmtClass:
65   case Stmt::CompoundStmtClass:
66   case Stmt::CaseStmtClass:
67   case Stmt::DefaultStmtClass:
68   case Stmt::LabelStmtClass:
69   case Stmt::IfStmtClass:
70   case Stmt::SwitchStmtClass:
71   case Stmt::WhileStmtClass:
72   case Stmt::DoStmtClass:
73   case Stmt::ForStmtClass:
74   case Stmt::GotoStmtClass:
75   case Stmt::IndirectGotoStmtClass:
76   case Stmt::ContinueStmtClass:
77   case Stmt::BreakStmtClass:
78   case Stmt::ReturnStmtClass:
79   case Stmt::DeclStmtClass:
80   case Stmt::SwitchCaseClass:
81   case Stmt::AsmStmtClass:
82   case Stmt::ObjCAtTryStmtClass:
83   case Stmt::ObjCAtCatchStmtClass:
84   case Stmt::ObjCAtFinallyStmtClass:
85   case Stmt::ObjCAtThrowStmtClass:
86   case Stmt::ObjCAtSynchronizedStmtClass:
87   case Stmt::ObjCForCollectionStmtClass:
88   case Stmt::CXXCatchStmtClass:
89   case Stmt::CXXTryStmtClass:
90     K = CXCursor_UnexposedStmt;
91     break;
92 
93   case Stmt::PredefinedExprClass:
94   case Stmt::IntegerLiteralClass:
95   case Stmt::FloatingLiteralClass:
96   case Stmt::ImaginaryLiteralClass:
97   case Stmt::StringLiteralClass:
98   case Stmt::CharacterLiteralClass:
99   case Stmt::ParenExprClass:
100   case Stmt::UnaryOperatorClass:
101   case Stmt::OffsetOfExprClass:
102   case Stmt::SizeOfAlignOfExprClass:
103   case Stmt::ArraySubscriptExprClass:
104   case Stmt::BinaryOperatorClass:
105   case Stmt::CompoundAssignOperatorClass:
106   case Stmt::ConditionalOperatorClass:
107   case Stmt::ImplicitCastExprClass:
108   case Stmt::CStyleCastExprClass:
109   case Stmt::CompoundLiteralExprClass:
110   case Stmt::ExtVectorElementExprClass:
111   case Stmt::InitListExprClass:
112   case Stmt::DesignatedInitExprClass:
113   case Stmt::ImplicitValueInitExprClass:
114   case Stmt::ParenListExprClass:
115   case Stmt::VAArgExprClass:
116   case Stmt::AddrLabelExprClass:
117   case Stmt::StmtExprClass:
118   case Stmt::TypesCompatibleExprClass:
119   case Stmt::ChooseExprClass:
120   case Stmt::GNUNullExprClass:
121   case Stmt::CXXStaticCastExprClass:
122   case Stmt::CXXDynamicCastExprClass:
123   case Stmt::CXXReinterpretCastExprClass:
124   case Stmt::CXXConstCastExprClass:
125   case Stmt::CXXFunctionalCastExprClass:
126   case Stmt::CXXTypeidExprClass:
127   case Stmt::CXXBoolLiteralExprClass:
128   case Stmt::CXXNullPtrLiteralExprClass:
129   case Stmt::CXXThisExprClass:
130   case Stmt::CXXThrowExprClass:
131   case Stmt::CXXDefaultArgExprClass:
132   case Stmt::CXXScalarValueInitExprClass:
133   case Stmt::CXXNewExprClass:
134   case Stmt::CXXDeleteExprClass:
135   case Stmt::CXXPseudoDestructorExprClass:
136   case Stmt::UnresolvedLookupExprClass:
137   case Stmt::UnaryTypeTraitExprClass:
138   case Stmt::DependentScopeDeclRefExprClass:
139   case Stmt::CXXBindTemporaryExprClass:
140   case Stmt::CXXExprWithTemporariesClass:
141   case Stmt::CXXUnresolvedConstructExprClass:
142   case Stmt::CXXDependentScopeMemberExprClass:
143   case Stmt::UnresolvedMemberExprClass:
144   case Stmt::ObjCStringLiteralClass:
145   case Stmt::ObjCEncodeExprClass:
146   case Stmt::ObjCSelectorExprClass:
147   case Stmt::ObjCProtocolExprClass:
148   case Stmt::ObjCImplicitSetterGetterRefExprClass:
149   case Stmt::ObjCSuperExprClass:
150   case Stmt::ObjCIsaExprClass:
151   case Stmt::ShuffleVectorExprClass:
152   case Stmt::BlockExprClass:
153     K = CXCursor_UnexposedExpr;
154     break;
155   case Stmt::DeclRefExprClass:
156   case Stmt::BlockDeclRefExprClass:
157     // FIXME: UnresolvedLookupExpr?
158     // FIXME: DependentScopeDeclRefExpr?
159     K = CXCursor_DeclRefExpr;
160     break;
161 
162   case Stmt::MemberExprClass:
163   case Stmt::ObjCIvarRefExprClass:
164   case Stmt::ObjCPropertyRefExprClass:
165     // FIXME: UnresolvedMemberExpr?
166     // FIXME: CXXDependentScopeMemberExpr?
167     K = CXCursor_MemberRefExpr;
168     break;
169 
170   case Stmt::CallExprClass:
171   case Stmt::CXXOperatorCallExprClass:
172   case Stmt::CXXMemberCallExprClass:
173   case Stmt::CXXConstructExprClass:
174   case Stmt::CXXTemporaryObjectExprClass:
175     // FIXME: CXXUnresolvedConstructExpr
176     // FIXME: ObjCImplicitSetterGetterRefExpr?
177     K = CXCursor_CallExpr;
178     break;
179 
180   case Stmt::ObjCMessageExprClass:
181     K = CXCursor_ObjCMessageExpr;
182     break;
183   }
184 
185   CXCursor C = { K, { Parent, S, TU } };
186   return C;
187 }
188 
189 CXCursor cxcursor::MakeCursorObjCSuperClassRef(ObjCInterfaceDecl *Super,
190                                                SourceLocation Loc,
191                                                ASTUnit *TU) {
192   assert(Super && TU && "Invalid arguments!");
193   void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
194   CXCursor C = { CXCursor_ObjCSuperClassRef, { Super, RawLoc, TU } };
195   return C;
196 }
197 
198 std::pair<ObjCInterfaceDecl *, SourceLocation>
199 cxcursor::getCursorObjCSuperClassRef(CXCursor C) {
200   assert(C.kind == CXCursor_ObjCSuperClassRef);
201   return std::make_pair(static_cast<ObjCInterfaceDecl *>(C.data[0]),
202            SourceLocation::getFromRawEncoding(
203                                       reinterpret_cast<uintptr_t>(C.data[1])));
204 }
205 
206 CXCursor cxcursor::MakeCursorObjCProtocolRef(ObjCProtocolDecl *Super,
207                                              SourceLocation Loc,
208                                              ASTUnit *TU) {
209   assert(Super && TU && "Invalid arguments!");
210   void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
211   CXCursor C = { CXCursor_ObjCProtocolRef, { Super, RawLoc, TU } };
212   return C;
213 }
214 
215 std::pair<ObjCProtocolDecl *, SourceLocation>
216 cxcursor::getCursorObjCProtocolRef(CXCursor C) {
217   assert(C.kind == CXCursor_ObjCProtocolRef);
218   return std::make_pair(static_cast<ObjCProtocolDecl *>(C.data[0]),
219            SourceLocation::getFromRawEncoding(
220                                       reinterpret_cast<uintptr_t>(C.data[1])));
221 }
222 
223 CXCursor cxcursor::MakeCursorObjCClassRef(ObjCInterfaceDecl *Class,
224                                           SourceLocation Loc,
225                                           ASTUnit *TU) {
226   // 'Class' can be null for invalid code.
227   if (!Class)
228     return MakeCXCursorInvalid(CXCursor_InvalidCode);
229   assert(TU && "Invalid arguments!");
230   void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
231   CXCursor C = { CXCursor_ObjCClassRef, { Class, RawLoc, TU } };
232   return C;
233 }
234 
235 std::pair<ObjCInterfaceDecl *, SourceLocation>
236 cxcursor::getCursorObjCClassRef(CXCursor C) {
237   assert(C.kind == CXCursor_ObjCClassRef);
238   return std::make_pair(static_cast<ObjCInterfaceDecl *>(C.data[0]),
239            SourceLocation::getFromRawEncoding(
240                                       reinterpret_cast<uintptr_t>(C.data[1])));
241 }
242 
243 CXCursor cxcursor::MakeCursorTypeRef(TypeDecl *Type, SourceLocation Loc,
244                                      ASTUnit *TU) {
245   assert(Type && TU && "Invalid arguments!");
246   void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
247   CXCursor C = { CXCursor_TypeRef, { Type, RawLoc, TU } };
248   return C;
249 }
250 
251 std::pair<TypeDecl *, SourceLocation>
252 cxcursor::getCursorTypeRef(CXCursor C) {
253   assert(C.kind == CXCursor_TypeRef);
254   return std::make_pair(static_cast<TypeDecl *>(C.data[0]),
255            SourceLocation::getFromRawEncoding(
256                                       reinterpret_cast<uintptr_t>(C.data[1])));
257 }
258 
259 CXCursor cxcursor::MakeCursorTemplateRef(TemplateDecl *Template,
260                                          SourceLocation Loc, ASTUnit *TU) {
261   assert(Template && TU && "Invalid arguments!");
262   void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
263   CXCursor C = { CXCursor_TemplateRef, { Template, RawLoc, TU } };
264   return C;
265 }
266 
267 std::pair<TemplateDecl *, SourceLocation>
268 cxcursor::getCursorTemplateRef(CXCursor C) {
269   assert(C.kind == CXCursor_TemplateRef);
270   return std::make_pair(static_cast<TemplateDecl *>(C.data[0]),
271                         SourceLocation::getFromRawEncoding(
272                                        reinterpret_cast<uintptr_t>(C.data[1])));
273 }
274 
275 CXCursor cxcursor::MakeCursorNamespaceRef(NamedDecl *NS, SourceLocation Loc,
276                                           ASTUnit *TU) {
277 
278   assert(NS && (isa<NamespaceDecl>(NS) || isa<NamespaceAliasDecl>(NS)) && TU &&
279          "Invalid arguments!");
280   void *RawLoc = reinterpret_cast<void *>(Loc.getRawEncoding());
281   CXCursor C = { CXCursor_NamespaceRef, { NS, RawLoc, TU } };
282   return C;
283 }
284 
285 std::pair<NamedDecl *, SourceLocation>
286 cxcursor::getCursorNamespaceRef(CXCursor C) {
287   assert(C.kind == CXCursor_NamespaceRef);
288   return std::make_pair(static_cast<NamedDecl *>(C.data[0]),
289                         SourceLocation::getFromRawEncoding(
290                                        reinterpret_cast<uintptr_t>(C.data[1])));
291 }
292 
293 CXCursor cxcursor::MakeCursorCXXBaseSpecifier(CXXBaseSpecifier *B, ASTUnit *TU){
294   CXCursor C = { CXCursor_CXXBaseSpecifier, { B, 0, TU } };
295   return C;
296 }
297 
298 CXXBaseSpecifier *cxcursor::getCursorCXXBaseSpecifier(CXCursor C) {
299   assert(C.kind == CXCursor_CXXBaseSpecifier);
300   return static_cast<CXXBaseSpecifier*>(C.data[0]);
301 }
302 
303 CXCursor cxcursor::MakePreprocessingDirectiveCursor(SourceRange Range,
304                                                     ASTUnit *TU) {
305   CXCursor C = { CXCursor_PreprocessingDirective,
306                  { reinterpret_cast<void *>(Range.getBegin().getRawEncoding()),
307                    reinterpret_cast<void *>(Range.getEnd().getRawEncoding()),
308                    TU }
309                };
310   return C;
311 }
312 
313 SourceRange cxcursor::getCursorPreprocessingDirective(CXCursor C) {
314   assert(C.kind == CXCursor_PreprocessingDirective);
315   return SourceRange(SourceLocation::getFromRawEncoding(
316                                       reinterpret_cast<uintptr_t> (C.data[0])),
317                      SourceLocation::getFromRawEncoding(
318                                       reinterpret_cast<uintptr_t> (C.data[1])));
319 }
320 
321 CXCursor cxcursor::MakeMacroDefinitionCursor(MacroDefinition *MI, ASTUnit *TU) {
322   CXCursor C = { CXCursor_MacroDefinition, { MI, 0, TU } };
323   return C;
324 }
325 
326 MacroDefinition *cxcursor::getCursorMacroDefinition(CXCursor C) {
327   assert(C.kind == CXCursor_MacroDefinition);
328   return static_cast<MacroDefinition *>(C.data[0]);
329 }
330 
331 CXCursor cxcursor::MakeMacroInstantiationCursor(MacroInstantiation *MI,
332                                                 ASTUnit *TU) {
333   CXCursor C = { CXCursor_MacroInstantiation, { MI, 0, TU } };
334   return C;
335 }
336 
337 MacroInstantiation *cxcursor::getCursorMacroInstantiation(CXCursor C) {
338   assert(C.kind == CXCursor_MacroInstantiation);
339   return static_cast<MacroInstantiation *>(C.data[0]);
340 }
341 
342 Decl *cxcursor::getCursorDecl(CXCursor Cursor) {
343   return (Decl *)Cursor.data[0];
344 }
345 
346 Expr *cxcursor::getCursorExpr(CXCursor Cursor) {
347   return dyn_cast_or_null<Expr>(getCursorStmt(Cursor));
348 }
349 
350 Stmt *cxcursor::getCursorStmt(CXCursor Cursor) {
351   if (Cursor.kind == CXCursor_ObjCSuperClassRef ||
352       Cursor.kind == CXCursor_ObjCProtocolRef ||
353       Cursor.kind == CXCursor_ObjCClassRef)
354     return 0;
355 
356   return (Stmt *)Cursor.data[1];
357 }
358 
359 Attr *cxcursor::getCursorAttr(CXCursor Cursor) {
360   return (Attr *)Cursor.data[1];
361 }
362 
363 ASTContext &cxcursor::getCursorContext(CXCursor Cursor) {
364   return getCursorASTUnit(Cursor)->getASTContext();
365 }
366 
367 ASTUnit *cxcursor::getCursorASTUnit(CXCursor Cursor) {
368   return static_cast<ASTUnit *>(Cursor.data[2]);
369 }
370 
371 bool cxcursor::operator==(CXCursor X, CXCursor Y) {
372   return X.kind == Y.kind && X.data[0] == Y.data[0] && X.data[1] == Y.data[1] &&
373          X.data[2] == Y.data[2];
374 }
375