Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 1 | //===--- MinimalAction.cpp - Implement the MinimalAction class ------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 0bc735f | 2007-12-29 19:59:25 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements the MinimalAction interface. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "clang/Parse/Parser.h" |
| 15 | #include "clang/Parse/DeclSpec.h" |
| 16 | #include "clang/Parse/Scope.h" |
| 17 | using namespace clang; |
| 18 | |
| 19 | /// TypeNameInfo - A link exists here for each scope that an identifier is |
| 20 | /// defined. |
| 21 | struct TypeNameInfo { |
| 22 | TypeNameInfo *Prev; |
| 23 | bool isTypeName; |
| 24 | |
| 25 | TypeNameInfo(bool istypename, TypeNameInfo *prev) { |
| 26 | isTypeName = istypename; |
| 27 | Prev = prev; |
| 28 | } |
| 29 | }; |
| 30 | |
Daniel Dunbar | e10b0f2 | 2008-10-31 08:56:51 +0000 | [diff] [blame] | 31 | MinimalAction::MinimalAction(Preprocessor &pp) |
| 32 | : Idents(pp.getIdentifierTable()), PP(pp) {} |
| 33 | |
| 34 | void MinimalAction::ActOnTranslationUnitScope(SourceLocation Loc, Scope *S) { |
Steve Naroff | 8ee529b | 2007-10-31 18:42:27 +0000 | [diff] [blame] | 35 | TUScope = S; |
Daniel Dunbar | e10b0f2 | 2008-10-31 08:56:51 +0000 | [diff] [blame] | 36 | if (!PP.getLangOptions().ObjC1) return; |
| 37 | |
| 38 | // recognize the ObjC built-in type identifiers. |
Steve Naroff | b4292f2 | 2007-10-31 20:55:39 +0000 | [diff] [blame] | 39 | IdentifierInfo *II; |
| 40 | TypeNameInfo *TI; |
Steve Naroff | b4292f2 | 2007-10-31 20:55:39 +0000 | [diff] [blame] | 41 | II = &Idents.get("id"); |
| 42 | TI = new TypeNameInfo(1, II->getFETokenInfo<TypeNameInfo>()); |
| 43 | II->setFETokenInfo(TI); |
| 44 | II = &Idents.get("SEL"); |
| 45 | TI = new TypeNameInfo(1, II->getFETokenInfo<TypeNameInfo>()); |
| 46 | II->setFETokenInfo(TI); |
| 47 | II = &Idents.get("Class"); |
| 48 | TI = new TypeNameInfo(1, II->getFETokenInfo<TypeNameInfo>()); |
| 49 | II->setFETokenInfo(TI); |
Fariborz Jahanian | 66c5dfc | 2007-12-07 00:18:54 +0000 | [diff] [blame] | 50 | II = &Idents.get("Protocol"); |
| 51 | TI = new TypeNameInfo(1, II->getFETokenInfo<TypeNameInfo>()); |
| 52 | II->setFETokenInfo(TI); |
Steve Naroff | 8ee529b | 2007-10-31 18:42:27 +0000 | [diff] [blame] | 53 | } |
| 54 | |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 55 | /// isTypeName - This looks at the IdentifierInfo::FETokenInfo field to |
| 56 | /// determine whether the name is a type name (objc class name or typedef) or |
| 57 | /// not in this scope. |
Argyrios Kyrtzidis | eb83ecd | 2008-11-08 16:45:02 +0000 | [diff] [blame^] | 58 | /// |
| 59 | /// FIXME: Use the passed CXXScopeSpec for accurate C++ type checking. |
Argyrios Kyrtzidis | 39caa08 | 2008-08-01 10:35:27 +0000 | [diff] [blame] | 60 | Action::TypeTy * |
Argyrios Kyrtzidis | eb83ecd | 2008-11-08 16:45:02 +0000 | [diff] [blame^] | 61 | MinimalAction::isTypeName(const IdentifierInfo &II, Scope *S, |
| 62 | const CXXScopeSpec *SS) { |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 63 | if (TypeNameInfo *TI = II.getFETokenInfo<TypeNameInfo>()) |
| 64 | if (TI->isTypeName) |
| 65 | return TI; |
| 66 | return 0; |
| 67 | } |
| 68 | |
Douglas Gregor | b48fe38 | 2008-10-31 09:07:45 +0000 | [diff] [blame] | 69 | /// isCurrentClassName - Always returns false, because MinimalAction |
| 70 | /// does not support C++ classes with constructors. |
Argyrios Kyrtzidis | eb83ecd | 2008-11-08 16:45:02 +0000 | [diff] [blame^] | 71 | bool MinimalAction::isCurrentClassName(const IdentifierInfo &, Scope *, |
| 72 | const CXXScopeSpec *) { |
Douglas Gregor | b48fe38 | 2008-10-31 09:07:45 +0000 | [diff] [blame] | 73 | return false; |
| 74 | } |
| 75 | |
Steve Naroff | 08d92e4 | 2007-09-15 18:49:24 +0000 | [diff] [blame] | 76 | /// ActOnDeclarator - If this is a typedef declarator, we modify the |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 77 | /// IdentifierInfo::FETokenInfo field to keep track of this fact, until S is |
| 78 | /// popped. |
| 79 | Action::DeclTy * |
Daniel Dunbar | 914701e | 2008-08-05 16:28:08 +0000 | [diff] [blame] | 80 | MinimalAction::ActOnDeclarator(Scope *S, Declarator &D, DeclTy *LastInGroup) { |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 81 | IdentifierInfo *II = D.getIdentifier(); |
| 82 | |
| 83 | // If there is no identifier associated with this declarator, bail out. |
| 84 | if (II == 0) return 0; |
| 85 | |
| 86 | TypeNameInfo *weCurrentlyHaveTypeInfo = II->getFETokenInfo<TypeNameInfo>(); |
| 87 | bool isTypeName = |
| 88 | D.getDeclSpec().getStorageClassSpec() == DeclSpec::SCS_typedef; |
| 89 | |
| 90 | // this check avoids creating TypeNameInfo objects for the common case. |
Ted Kremenek | a34ea07 | 2008-08-04 22:51:42 +0000 | [diff] [blame] | 91 | // It does need to handle the uncommon case of shadowing a typedef name with a |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 92 | // non-typedef name. e.g. { typedef int a; a xx; { int a; } } |
| 93 | if (weCurrentlyHaveTypeInfo || isTypeName) { |
| 94 | TypeNameInfo *TI = new TypeNameInfo(isTypeName, weCurrentlyHaveTypeInfo); |
| 95 | |
| 96 | II->setFETokenInfo(TI); |
| 97 | |
| 98 | // Remember that this needs to be removed when the scope is popped. |
| 99 | S->AddDecl(II); |
| 100 | } |
| 101 | return 0; |
| 102 | } |
| 103 | |
Steve Naroff | 3536b44 | 2007-09-06 21:24:23 +0000 | [diff] [blame] | 104 | Action::DeclTy * |
Chris Lattner | cfb0ef5 | 2008-07-21 07:13:18 +0000 | [diff] [blame] | 105 | MinimalAction::ActOnStartClassInterface(SourceLocation AtInterfaceLoc, |
Chris Lattner | 06036d3 | 2008-07-26 04:13:19 +0000 | [diff] [blame] | 106 | IdentifierInfo *ClassName, |
| 107 | SourceLocation ClassLoc, |
| 108 | IdentifierInfo *SuperName, |
| 109 | SourceLocation SuperLoc, |
| 110 | DeclTy * const *ProtoRefs, |
| 111 | unsigned NumProtocols, |
| 112 | SourceLocation EndProtoLoc, |
| 113 | AttributeList *AttrList) { |
Steve Naroff | 3536b44 | 2007-09-06 21:24:23 +0000 | [diff] [blame] | 114 | TypeNameInfo *TI = |
| 115 | new TypeNameInfo(1, ClassName->getFETokenInfo<TypeNameInfo>()); |
| 116 | |
| 117 | ClassName->setFETokenInfo(TI); |
| 118 | return 0; |
| 119 | } |
| 120 | |
Steve Naroff | 37e58d1 | 2007-10-02 22:39:18 +0000 | [diff] [blame] | 121 | /// ActOnForwardClassDeclaration - |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 122 | /// Scope will always be top level file scope. |
| 123 | Action::DeclTy * |
Steve Naroff | e440eb8 | 2007-10-10 17:32:04 +0000 | [diff] [blame] | 124 | MinimalAction::ActOnForwardClassDeclaration(SourceLocation AtClassLoc, |
Steve Naroff | 3536b44 | 2007-09-06 21:24:23 +0000 | [diff] [blame] | 125 | IdentifierInfo **IdentList, unsigned NumElts) { |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 126 | for (unsigned i = 0; i != NumElts; ++i) { |
| 127 | TypeNameInfo *TI = |
| 128 | new TypeNameInfo(1, IdentList[i]->getFETokenInfo<TypeNameInfo>()); |
| 129 | |
| 130 | IdentList[i]->setFETokenInfo(TI); |
| 131 | |
| 132 | // Remember that this needs to be removed when the scope is popped. |
Steve Naroff | e440eb8 | 2007-10-10 17:32:04 +0000 | [diff] [blame] | 133 | TUScope->AddDecl(IdentList[i]); |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 134 | } |
| 135 | return 0; |
| 136 | } |
| 137 | |
Ted Kremenek | a34ea07 | 2008-08-04 22:51:42 +0000 | [diff] [blame] | 138 | /// ActOnPopScope - When a scope is popped, if any typedefs are now |
| 139 | /// out-of-scope, they are removed from the IdentifierInfo::FETokenInfo field. |
Steve Naroff | 640db42 | 2007-10-10 17:45:44 +0000 | [diff] [blame] | 140 | void MinimalAction::ActOnPopScope(SourceLocation Loc, Scope *S) { |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 141 | for (Scope::decl_iterator I = S->decl_begin(), E = S->decl_end(); |
| 142 | I != E; ++I) { |
| 143 | IdentifierInfo &II = *static_cast<IdentifierInfo*>(*I); |
| 144 | TypeNameInfo *TI = II.getFETokenInfo<TypeNameInfo>(); |
| 145 | assert(TI && "This decl didn't get pushed??"); |
| 146 | |
| 147 | if (TI) { |
| 148 | TypeNameInfo *Next = TI->Prev; |
| 149 | delete TI; |
| 150 | |
| 151 | II.setFETokenInfo(Next); |
| 152 | } |
| 153 | } |
| 154 | } |