blob: 2c6a9ceb94dc4b094a16ff1a52ef54088c351eee [file] [log] [blame]
Chris Lattner4b009652007-07-25 00:24:17 +00001//===--- ParseObjc.cpp - Objective C Parsing ------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner4b009652007-07-25 00:24:17 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Objective-C portions of the Parser interface.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Parse/Parser.h"
Steve Naroff09a0c4c2007-08-22 18:35:33 +000015#include "clang/Parse/DeclSpec.h"
Fariborz Jahanian06798362007-11-01 23:59:59 +000016#include "clang/Parse/Scope.h"
Chris Lattner4b009652007-07-25 00:24:17 +000017#include "clang/Basic/Diagnostic.h"
18#include "llvm/ADT/SmallVector.h"
19using namespace clang;
20
21
22/// ParseExternalDeclaration:
23/// external-declaration: [C99 6.9]
24/// [OBJC] objc-class-definition
Steve Naroff5b96e2e2007-10-29 21:39:29 +000025/// [OBJC] objc-class-declaration
26/// [OBJC] objc-alias-declaration
27/// [OBJC] objc-protocol-definition
28/// [OBJC] objc-method-definition
29/// [OBJC] '@' 'end'
Steve Narofffb367882007-08-20 21:31:48 +000030Parser::DeclTy *Parser::ParseObjCAtDirectives() {
Chris Lattner4b009652007-07-25 00:24:17 +000031 SourceLocation AtLoc = ConsumeToken(); // the "@"
32
Steve Naroff87c329f2007-08-23 18:16:40 +000033 switch (Tok.getObjCKeywordID()) {
Chris Lattner4b009652007-07-25 00:24:17 +000034 case tok::objc_class:
35 return ParseObjCAtClassDeclaration(AtLoc);
36 case tok::objc_interface:
Steve Narofffb367882007-08-20 21:31:48 +000037 return ParseObjCAtInterfaceDeclaration(AtLoc);
Chris Lattner4b009652007-07-25 00:24:17 +000038 case tok::objc_protocol:
Steve Naroff72f17fb2007-08-22 22:17:26 +000039 return ParseObjCAtProtocolDeclaration(AtLoc);
Chris Lattner4b009652007-07-25 00:24:17 +000040 case tok::objc_implementation:
Fariborz Jahanian83ddf822007-11-10 20:59:13 +000041 return ParseObjCAtImplementationDeclaration(AtLoc);
Chris Lattner4b009652007-07-25 00:24:17 +000042 case tok::objc_end:
Fariborz Jahanian027c23b2007-09-01 00:26:16 +000043 return ParseObjCAtEndDeclaration(AtLoc);
Chris Lattner4b009652007-07-25 00:24:17 +000044 case tok::objc_compatibility_alias:
Fariborz Jahanianb62aff32007-09-04 19:26:51 +000045 return ParseObjCAtAliasDeclaration(AtLoc);
Fariborz Jahanian027c23b2007-09-01 00:26:16 +000046 case tok::objc_synthesize:
47 return ParseObjCPropertySynthesize(AtLoc);
48 case tok::objc_dynamic:
49 return ParseObjCPropertyDynamic(AtLoc);
Chris Lattner4b009652007-07-25 00:24:17 +000050 default:
51 Diag(AtLoc, diag::err_unexpected_at);
52 SkipUntil(tok::semi);
Steve Narofffb367882007-08-20 21:31:48 +000053 return 0;
Chris Lattner4b009652007-07-25 00:24:17 +000054 }
55}
56
57///
58/// objc-class-declaration:
59/// '@' 'class' identifier-list ';'
60///
Steve Narofffb367882007-08-20 21:31:48 +000061Parser::DeclTy *Parser::ParseObjCAtClassDeclaration(SourceLocation atLoc) {
Chris Lattner4b009652007-07-25 00:24:17 +000062 ConsumeToken(); // the identifier "class"
63 llvm::SmallVector<IdentifierInfo *, 8> ClassNames;
64
65 while (1) {
Chris Lattnera1d2bb72007-10-09 17:51:17 +000066 if (Tok.isNot(tok::identifier)) {
Chris Lattner4b009652007-07-25 00:24:17 +000067 Diag(Tok, diag::err_expected_ident);
68 SkipUntil(tok::semi);
Steve Narofffb367882007-08-20 21:31:48 +000069 return 0;
Chris Lattner4b009652007-07-25 00:24:17 +000070 }
Chris Lattner4b009652007-07-25 00:24:17 +000071 ClassNames.push_back(Tok.getIdentifierInfo());
72 ConsumeToken();
73
Chris Lattnera1d2bb72007-10-09 17:51:17 +000074 if (Tok.isNot(tok::comma))
Chris Lattner4b009652007-07-25 00:24:17 +000075 break;
76
77 ConsumeToken();
78 }
79
80 // Consume the ';'.
81 if (ExpectAndConsume(tok::semi, diag::err_expected_semi_after, "@class"))
Steve Narofffb367882007-08-20 21:31:48 +000082 return 0;
Chris Lattner4b009652007-07-25 00:24:17 +000083
Steve Naroff415c1832007-10-10 17:32:04 +000084 return Actions.ActOnForwardClassDeclaration(atLoc,
Steve Naroff81f1bba2007-09-06 21:24:23 +000085 &ClassNames[0], ClassNames.size());
Chris Lattner4b009652007-07-25 00:24:17 +000086}
87
Steve Narofffb367882007-08-20 21:31:48 +000088///
89/// objc-interface:
90/// objc-class-interface-attributes[opt] objc-class-interface
91/// objc-category-interface
92///
93/// objc-class-interface:
94/// '@' 'interface' identifier objc-superclass[opt]
95/// objc-protocol-refs[opt]
96/// objc-class-instance-variables[opt]
97/// objc-interface-decl-list
98/// @end
99///
100/// objc-category-interface:
101/// '@' 'interface' identifier '(' identifier[opt] ')'
102/// objc-protocol-refs[opt]
103/// objc-interface-decl-list
104/// @end
105///
106/// objc-superclass:
107/// ':' identifier
108///
109/// objc-class-interface-attributes:
110/// __attribute__((visibility("default")))
111/// __attribute__((visibility("hidden")))
112/// __attribute__((deprecated))
113/// __attribute__((unavailable))
114/// __attribute__((objc_exception)) - used by NSException on 64-bit
115///
116Parser::DeclTy *Parser::ParseObjCAtInterfaceDeclaration(
117 SourceLocation atLoc, AttributeList *attrList) {
Steve Naroff87c329f2007-08-23 18:16:40 +0000118 assert(Tok.isObjCAtKeyword(tok::objc_interface) &&
Steve Narofffb367882007-08-20 21:31:48 +0000119 "ParseObjCAtInterfaceDeclaration(): Expected @interface");
120 ConsumeToken(); // the "interface" identifier
121
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000122 if (Tok.isNot(tok::identifier)) {
Steve Narofffb367882007-08-20 21:31:48 +0000123 Diag(Tok, diag::err_expected_ident); // missing class or category name.
124 return 0;
125 }
126 // We have a class or category name - consume it.
Steve Naroff72f17fb2007-08-22 22:17:26 +0000127 IdentifierInfo *nameId = Tok.getIdentifierInfo();
Steve Narofffb367882007-08-20 21:31:48 +0000128 SourceLocation nameLoc = ConsumeToken();
129
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000130 if (Tok.is(tok::l_paren)) { // we have a category.
Steve Narofffb367882007-08-20 21:31:48 +0000131 SourceLocation lparenLoc = ConsumeParen();
132 SourceLocation categoryLoc, rparenLoc;
133 IdentifierInfo *categoryId = 0;
Fariborz Jahanianf25220e2007-09-18 20:26:58 +0000134 llvm::SmallVector<IdentifierInfo *, 8> ProtocolRefs;
Steve Narofffb367882007-08-20 21:31:48 +0000135
Steve Naroffa7f62782007-08-23 19:56:30 +0000136 // For ObjC2, the category name is optional (not an error).
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000137 if (Tok.is(tok::identifier)) {
Steve Narofffb367882007-08-20 21:31:48 +0000138 categoryId = Tok.getIdentifierInfo();
139 categoryLoc = ConsumeToken();
Steve Naroffa7f62782007-08-23 19:56:30 +0000140 } else if (!getLang().ObjC2) {
141 Diag(Tok, diag::err_expected_ident); // missing category name.
142 return 0;
Steve Narofffb367882007-08-20 21:31:48 +0000143 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000144 if (Tok.isNot(tok::r_paren)) {
Steve Narofffb367882007-08-20 21:31:48 +0000145 Diag(Tok, diag::err_expected_rparen);
146 SkipUntil(tok::r_paren, false); // don't stop at ';'
147 return 0;
148 }
149 rparenLoc = ConsumeParen();
Steve Naroffef20ed32007-10-30 02:23:23 +0000150 SourceLocation endProtoLoc;
Steve Narofffb367882007-08-20 21:31:48 +0000151 // Next, we need to check for any protocol references.
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000152 if (Tok.is(tok::less)) {
Steve Naroffef20ed32007-10-30 02:23:23 +0000153 if (ParseObjCProtocolReferences(ProtocolRefs, endProtoLoc))
Steve Narofffb367882007-08-20 21:31:48 +0000154 return 0;
155 }
156 if (attrList) // categories don't support attributes.
157 Diag(Tok, diag::err_objc_no_attributes_on_category);
158
Steve Naroff415c1832007-10-10 17:32:04 +0000159 DeclTy *CategoryType = Actions.ActOnStartCategoryInterface(atLoc,
Steve Naroff25aace82007-10-03 21:00:46 +0000160 nameId, nameLoc, categoryId, categoryLoc,
Steve Naroff667f1682007-10-30 13:30:57 +0000161 &ProtocolRefs[0], ProtocolRefs.size(),
162 endProtoLoc);
Fariborz Jahanianf25220e2007-09-18 20:26:58 +0000163
164 ParseObjCInterfaceDeclList(CategoryType, tok::objc_not_keyword);
Steve Narofffb367882007-08-20 21:31:48 +0000165
Steve Naroff0bbffd82007-08-22 16:35:03 +0000166 // The @ sign was already consumed by ParseObjCInterfaceDeclList().
Steve Naroff87c329f2007-08-23 18:16:40 +0000167 if (Tok.isObjCAtKeyword(tok::objc_end)) {
Steve Naroff0bbffd82007-08-22 16:35:03 +0000168 ConsumeToken(); // the "end" identifier
Fariborz Jahanianac20be22007-10-08 18:53:38 +0000169 return CategoryType;
Steve Narofffb367882007-08-20 21:31:48 +0000170 }
Steve Naroff0bbffd82007-08-22 16:35:03 +0000171 Diag(Tok, diag::err_objc_missing_end);
Steve Narofffb367882007-08-20 21:31:48 +0000172 return 0;
173 }
174 // Parse a class interface.
175 IdentifierInfo *superClassId = 0;
176 SourceLocation superClassLoc;
Steve Naroff72f17fb2007-08-22 22:17:26 +0000177
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000178 if (Tok.is(tok::colon)) { // a super class is specified.
Steve Narofffb367882007-08-20 21:31:48 +0000179 ConsumeToken();
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000180 if (Tok.isNot(tok::identifier)) {
Steve Narofffb367882007-08-20 21:31:48 +0000181 Diag(Tok, diag::err_expected_ident); // missing super class name.
182 return 0;
183 }
184 superClassId = Tok.getIdentifierInfo();
185 superClassLoc = ConsumeToken();
186 }
187 // Next, we need to check for any protocol references.
Steve Naroff304ed392007-09-05 23:30:30 +0000188 llvm::SmallVector<IdentifierInfo *, 8> ProtocolRefs;
Steve Naroffef20ed32007-10-30 02:23:23 +0000189 SourceLocation endProtoLoc;
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000190 if (Tok.is(tok::less)) {
Steve Naroffef20ed32007-10-30 02:23:23 +0000191 if (ParseObjCProtocolReferences(ProtocolRefs, endProtoLoc))
Steve Narofffb367882007-08-20 21:31:48 +0000192 return 0;
193 }
Steve Naroff415c1832007-10-10 17:32:04 +0000194 DeclTy *ClsType = Actions.ActOnStartClassInterface(
Chris Lattner847f5c12007-12-27 19:57:00 +0000195 atLoc, nameId, nameLoc,
Steve Naroff304ed392007-09-05 23:30:30 +0000196 superClassId, superClassLoc, &ProtocolRefs[0],
Steve Naroffef20ed32007-10-30 02:23:23 +0000197 ProtocolRefs.size(), endProtoLoc, attrList);
Steve Naroff304ed392007-09-05 23:30:30 +0000198
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000199 if (Tok.is(tok::l_brace))
Steve Naroff1a7fa7b2007-10-29 21:38:07 +0000200 ParseObjCClassInstanceVariables(ClsType, atLoc);
Steve Narofffb367882007-08-20 21:31:48 +0000201
Fariborz Jahanian63ca8ae2007-09-17 21:07:36 +0000202 ParseObjCInterfaceDeclList(ClsType, tok::objc_interface);
Steve Naroff0bbffd82007-08-22 16:35:03 +0000203
204 // The @ sign was already consumed by ParseObjCInterfaceDeclList().
Steve Naroff87c329f2007-08-23 18:16:40 +0000205 if (Tok.isObjCAtKeyword(tok::objc_end)) {
Steve Naroff0bbffd82007-08-22 16:35:03 +0000206 ConsumeToken(); // the "end" identifier
Steve Narofffaed3bf2007-09-10 20:51:04 +0000207 return ClsType;
Steve Narofffb367882007-08-20 21:31:48 +0000208 }
Steve Naroff0bbffd82007-08-22 16:35:03 +0000209 Diag(Tok, diag::err_objc_missing_end);
Steve Narofffb367882007-08-20 21:31:48 +0000210 return 0;
211}
212
213/// objc-interface-decl-list:
214/// empty
Steve Narofffb367882007-08-20 21:31:48 +0000215/// objc-interface-decl-list objc-property-decl [OBJC2]
Steve Naroff0bbffd82007-08-22 16:35:03 +0000216/// objc-interface-decl-list objc-method-requirement [OBJC2]
Steve Naroff81f1bba2007-09-06 21:24:23 +0000217/// objc-interface-decl-list objc-method-proto ';'
Steve Narofffb367882007-08-20 21:31:48 +0000218/// objc-interface-decl-list declaration
219/// objc-interface-decl-list ';'
220///
Steve Naroff0bbffd82007-08-22 16:35:03 +0000221/// objc-method-requirement: [OBJC2]
222/// @required
223/// @optional
224///
Fariborz Jahanian63ca8ae2007-09-17 21:07:36 +0000225void Parser::ParseObjCInterfaceDeclList(DeclTy *interfaceDecl,
Chris Lattner847f5c12007-12-27 19:57:00 +0000226 tok::ObjCKeywordKind contextKey) {
Fariborz Jahanian3dc7cbc2007-09-10 20:33:04 +0000227 llvm::SmallVector<DeclTy*, 32> allMethods;
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000228 llvm::SmallVector<DeclTy*, 16> allProperties;
Fariborz Jahanian8b5ab6f2007-09-18 00:25:23 +0000229 tok::ObjCKeywordKind MethodImplKind = tok::objc_not_keyword;
Steve Naroff1a7fa7b2007-10-29 21:38:07 +0000230 SourceLocation AtEndLoc;
231
Steve Naroff0bbffd82007-08-22 16:35:03 +0000232 while (1) {
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000233 if (Tok.is(tok::at)) {
Steve Naroff0bbffd82007-08-22 16:35:03 +0000234 SourceLocation AtLoc = ConsumeToken(); // the "@"
Steve Naroff87c329f2007-08-23 18:16:40 +0000235 tok::ObjCKeywordKind ocKind = Tok.getObjCKeywordID();
Steve Naroff0bbffd82007-08-22 16:35:03 +0000236
237 if (ocKind == tok::objc_end) { // terminate list
Steve Naroff1a7fa7b2007-10-29 21:38:07 +0000238 AtEndLoc = AtLoc;
Fariborz Jahanian3dc7cbc2007-09-10 20:33:04 +0000239 break;
Steve Naroff0bbffd82007-08-22 16:35:03 +0000240 } else if (ocKind == tok::objc_required) { // protocols only
241 ConsumeToken();
Chris Lattner847f5c12007-12-27 19:57:00 +0000242 MethodImplKind = ocKind;
243 if (contextKey != tok::objc_protocol)
244 Diag(AtLoc, diag::err_objc_protocol_required);
Steve Naroff0bbffd82007-08-22 16:35:03 +0000245 } else if (ocKind == tok::objc_optional) { // protocols only
246 ConsumeToken();
Chris Lattner847f5c12007-12-27 19:57:00 +0000247 MethodImplKind = ocKind;
248 if (contextKey != tok::objc_protocol)
249 Diag(AtLoc, diag::err_objc_protocol_optional);
Steve Naroff0bbffd82007-08-22 16:35:03 +0000250 } else if (ocKind == tok::objc_property) {
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000251 allProperties.push_back(ParseObjCPropertyDecl(interfaceDecl, AtLoc));
Steve Naroff0bbffd82007-08-22 16:35:03 +0000252 continue;
253 } else {
254 Diag(Tok, diag::err_objc_illegal_interface_qual);
255 ConsumeToken();
256 }
257 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000258 if (Tok.is(tok::minus) || Tok.is(tok::plus)) {
259 DeclTy *methodPrototype =
260 ParseObjCMethodPrototype(interfaceDecl, MethodImplKind);
Fariborz Jahanian63ca8ae2007-09-17 21:07:36 +0000261 allMethods.push_back(methodPrototype);
Steve Naroff81f1bba2007-09-06 21:24:23 +0000262 // Consume the ';' here, since ParseObjCMethodPrototype() is re-used for
263 // method definitions.
Steve Naroffaa1b6d42007-09-17 15:07:43 +0000264 ExpectAndConsume(tok::semi, diag::err_expected_semi_after,"method proto");
Steve Naroff0bbffd82007-08-22 16:35:03 +0000265 continue;
266 }
Fariborz Jahanian5d175c32007-12-11 18:34:51 +0000267 else if (Tok.is(tok::at))
268 continue;
269
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000270 if (Tok.is(tok::semi))
Steve Naroff0bbffd82007-08-22 16:35:03 +0000271 ConsumeToken();
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000272 else if (Tok.is(tok::eof))
Fariborz Jahanian3dc7cbc2007-09-10 20:33:04 +0000273 break;
Steve Naroff304ed392007-09-05 23:30:30 +0000274 else {
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000275 // FIXME: as the name implies, this rule allows function definitions.
276 // We could pass a flag or check for functions during semantic analysis.
Steve Naroff81f1bba2007-09-06 21:24:23 +0000277 ParseDeclarationOrFunctionDefinition();
Steve Naroff304ed392007-09-05 23:30:30 +0000278 }
Steve Naroff0bbffd82007-08-22 16:35:03 +0000279 }
Steve Naroff1ccf4632007-10-30 03:43:13 +0000280 /// Insert collected methods declarations into the @interface object.
Steve Naroffb82c50f2007-11-11 17:19:15 +0000281 Actions.ActOnAtEnd(AtEndLoc, interfaceDecl, &allMethods[0], allMethods.size(),
282 &allProperties[0], allProperties.size());
Steve Naroff0bbffd82007-08-22 16:35:03 +0000283}
284
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000285/// Parse property attribute declarations.
286///
287/// property-attr-decl: '(' property-attrlist ')'
288/// property-attrlist:
289/// property-attribute
290/// property-attrlist ',' property-attribute
291/// property-attribute:
292/// getter '=' identifier
293/// setter '=' identifier ':'
294/// readonly
295/// readwrite
296/// assign
297/// retain
298/// copy
299/// nonatomic
300///
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000301void Parser::ParseObjCPropertyAttribute (ObjcDeclSpec &DS) {
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000302 SourceLocation loc = ConsumeParen(); // consume '('
303 while (isObjCPropertyAttribute()) {
304 const IdentifierInfo *II = Tok.getIdentifierInfo();
305 // getter/setter require extra treatment.
306 if (II == ObjcPropertyAttrs[objc_getter] ||
307 II == ObjcPropertyAttrs[objc_setter]) {
308 // skip getter/setter part.
309 SourceLocation loc = ConsumeToken();
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000310 if (Tok.is(tok::equal)) {
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000311 loc = ConsumeToken();
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000312 if (Tok.is(tok::identifier)) {
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000313 if (II == ObjcPropertyAttrs[objc_setter]) {
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000314 DS.setPropertyAttributes(ObjcDeclSpec::DQ_PR_setter);
315 DS.setSetterName(Tok.getIdentifierInfo());
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000316 loc = ConsumeToken(); // consume method name
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000317 if (Tok.isNot(tok::colon)) {
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000318 Diag(loc, diag::err_expected_colon);
319 SkipUntil(tok::r_paren,true,true);
320 break;
321 }
322 }
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000323 else {
324 DS.setPropertyAttributes(ObjcDeclSpec::DQ_PR_getter);
325 DS.setGetterName(Tok.getIdentifierInfo());
326 }
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000327 }
328 else {
329 Diag(loc, diag::err_expected_ident);
Chris Lattner847f5c12007-12-27 19:57:00 +0000330 SkipUntil(tok::r_paren,true,true);
331 break;
332 }
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000333 }
334 else {
335 Diag(loc, diag::err_objc_expected_equal);
336 SkipUntil(tok::r_paren,true,true);
337 break;
338 }
339 }
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000340
341 else if (II == ObjcPropertyAttrs[objc_readonly])
342 DS.setPropertyAttributes(ObjcDeclSpec::DQ_PR_readonly);
343 else if (II == ObjcPropertyAttrs[objc_assign])
344 DS.setPropertyAttributes(ObjcDeclSpec::DQ_PR_assign);
345 else if (II == ObjcPropertyAttrs[objc_readwrite])
346 DS.setPropertyAttributes(ObjcDeclSpec::DQ_PR_readwrite);
347 else if (II == ObjcPropertyAttrs[objc_retain])
348 DS.setPropertyAttributes(ObjcDeclSpec::DQ_PR_retain);
349 else if (II == ObjcPropertyAttrs[objc_copy])
350 DS.setPropertyAttributes(ObjcDeclSpec::DQ_PR_copy);
351 else if (II == ObjcPropertyAttrs[objc_nonatomic])
352 DS.setPropertyAttributes(ObjcDeclSpec::DQ_PR_nonatomic);
353
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000354 ConsumeToken(); // consume last attribute token
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000355 if (Tok.is(tok::comma)) {
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000356 loc = ConsumeToken();
357 continue;
358 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000359 if (Tok.is(tok::r_paren))
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000360 break;
361 Diag(loc, diag::err_expected_rparen);
362 SkipUntil(tok::semi);
363 return;
364 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000365 if (Tok.is(tok::r_paren))
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000366 ConsumeParen();
367 else {
368 Diag(loc, diag::err_objc_expected_property_attr);
369 SkipUntil(tok::r_paren); // recover from error inside attribute list
370 }
371}
372
373/// Main routine to parse property declaration.
374///
375/// @property property-attr-decl[opt] property-component-decl ';'
376///
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000377Parser::DeclTy *Parser::ParseObjCPropertyDecl(DeclTy *interfaceDecl,
378 SourceLocation AtLoc) {
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000379 assert(Tok.isObjCAtKeyword(tok::objc_property) &&
380 "ParseObjCPropertyDecl(): Expected @property");
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000381 ObjcDeclSpec DS;
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000382 ConsumeToken(); // the "property" identifier
383 // Parse property attribute list, if any.
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000384 if (Tok.is(tok::l_paren)) {
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000385 // property has attribute list.
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000386 ParseObjCPropertyAttribute(DS);
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000387 }
388 // Parse declaration portion of @property.
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000389 llvm::SmallVector<DeclTy*, 8> PropertyDecls;
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000390 ParseStructDeclaration(interfaceDecl, PropertyDecls);
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000391 if (Tok.is(tok::semi))
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000392 ConsumeToken();
393 else {
394 Diag(Tok, diag::err_expected_semi_decl_list);
395 SkipUntil(tok::r_brace, true, true);
396 }
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000397 return Actions.ActOnAddObjcProperties(AtLoc,
398 &PropertyDecls[0], PropertyDecls.size(), DS);
Chris Lattner4b009652007-07-25 00:24:17 +0000399}
Steve Narofffb367882007-08-20 21:31:48 +0000400
Steve Naroff81f1bba2007-09-06 21:24:23 +0000401/// objc-method-proto:
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000402/// objc-instance-method objc-method-decl objc-method-attributes[opt]
Steve Naroff81f1bba2007-09-06 21:24:23 +0000403/// objc-class-method objc-method-decl objc-method-attributes[opt]
Steve Naroff0bbffd82007-08-22 16:35:03 +0000404///
405/// objc-instance-method: '-'
406/// objc-class-method: '+'
407///
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000408/// objc-method-attributes: [OBJC2]
409/// __attribute__((deprecated))
410///
Fariborz Jahanian8b5ab6f2007-09-18 00:25:23 +0000411Parser::DeclTy *Parser::ParseObjCMethodPrototype(DeclTy *IDecl,
Chris Lattner847f5c12007-12-27 19:57:00 +0000412 tok::ObjCKeywordKind MethodImplKind) {
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000413 assert((Tok.is(tok::minus) || Tok.is(tok::plus)) && "expected +/-");
Steve Naroff0bbffd82007-08-22 16:35:03 +0000414
415 tok::TokenKind methodType = Tok.getKind();
Steve Naroff3774dd92007-10-26 20:53:56 +0000416 SourceLocation mLoc = ConsumeToken();
Steve Naroff0bbffd82007-08-22 16:35:03 +0000417
Fariborz Jahanian8473b222007-11-09 19:52:12 +0000418 DeclTy *MDecl = ParseObjCMethodDecl(mLoc, methodType, IDecl, MethodImplKind);
Steve Naroff81f1bba2007-09-06 21:24:23 +0000419 // Since this rule is used for both method declarations and definitions,
Steve Narofffaed3bf2007-09-10 20:51:04 +0000420 // the caller is (optionally) responsible for consuming the ';'.
Steve Naroff304ed392007-09-05 23:30:30 +0000421 return MDecl;
Steve Naroff0bbffd82007-08-22 16:35:03 +0000422}
423
424/// objc-selector:
425/// identifier
426/// one of
427/// enum struct union if else while do for switch case default
428/// break continue return goto asm sizeof typeof __alignof
429/// unsigned long const short volatile signed restrict _Complex
430/// in out inout bycopy byref oneway int char float double void _Bool
431///
Fariborz Jahanian91193f62007-10-11 00:55:41 +0000432IdentifierInfo *Parser::ParseObjCSelector(SourceLocation &SelectorLoc) {
Chris Lattnerd031a452007-10-07 02:00:24 +0000433 switch (Tok.getKind()) {
434 default:
435 return 0;
436 case tok::identifier:
437 case tok::kw_typeof:
438 case tok::kw___alignof:
439 case tok::kw_auto:
440 case tok::kw_break:
441 case tok::kw_case:
442 case tok::kw_char:
443 case tok::kw_const:
444 case tok::kw_continue:
445 case tok::kw_default:
446 case tok::kw_do:
447 case tok::kw_double:
448 case tok::kw_else:
449 case tok::kw_enum:
450 case tok::kw_extern:
451 case tok::kw_float:
452 case tok::kw_for:
453 case tok::kw_goto:
454 case tok::kw_if:
455 case tok::kw_inline:
456 case tok::kw_int:
457 case tok::kw_long:
458 case tok::kw_register:
459 case tok::kw_restrict:
460 case tok::kw_return:
461 case tok::kw_short:
462 case tok::kw_signed:
463 case tok::kw_sizeof:
464 case tok::kw_static:
465 case tok::kw_struct:
466 case tok::kw_switch:
467 case tok::kw_typedef:
468 case tok::kw_union:
469 case tok::kw_unsigned:
470 case tok::kw_void:
471 case tok::kw_volatile:
472 case tok::kw_while:
Chris Lattner2baef2e2007-11-15 05:25:19 +0000473 case tok::kw_bool:
Chris Lattnerd031a452007-10-07 02:00:24 +0000474 case tok::kw__Bool:
475 case tok::kw__Complex:
476 IdentifierInfo *II = Tok.getIdentifierInfo();
Fariborz Jahanian91193f62007-10-11 00:55:41 +0000477 SelectorLoc = ConsumeToken();
Chris Lattnerd031a452007-10-07 02:00:24 +0000478 return II;
Fariborz Jahanian171ceb52007-09-27 19:52:15 +0000479 }
Steve Naroff0bbffd82007-08-22 16:35:03 +0000480}
481
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000482/// property-attrlist: one of
483/// readonly getter setter assign retain copy nonatomic
484///
485bool Parser::isObjCPropertyAttribute() {
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000486 if (Tok.is(tok::identifier)) {
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000487 const IdentifierInfo *II = Tok.getIdentifierInfo();
488 for (unsigned i = 0; i < objc_NumAttrs; ++i)
489 if (II == ObjcPropertyAttrs[i]) return true;
490 }
491 return false;
492}
493
Fariborz Jahanian9e920f32008-01-02 22:54:34 +0000494/// objc-for-collection-in: 'in'
495///
Fariborz Jahaniancadb0702008-01-04 23:04:08 +0000496bool Parser::isTokIdentifier_in() const {
Fariborz Jahanian1300bc72008-01-03 17:55:25 +0000497 // FIXME: May have to do additional look-ahead to only allow for
498 // valid tokens following an 'in'; such as an identifier, unary operators,
499 // '[' etc.
Fariborz Jahaniancadb0702008-01-04 23:04:08 +0000500 return (getLang().ObjC2 && Tok.is(tok::identifier) &&
501 Tok.getIdentifierInfo() == ObjCForCollectionInKW);
Fariborz Jahanian9e920f32008-01-02 22:54:34 +0000502}
503
Chris Lattner2b740db2007-12-12 06:56:32 +0000504/// ParseObjcTypeQualifierList - This routine parses the objective-c's type
505/// qualifier list and builds their bitmask representation in the input
506/// argument.
Steve Naroff0bbffd82007-08-22 16:35:03 +0000507///
508/// objc-type-qualifiers:
509/// objc-type-qualifier
510/// objc-type-qualifiers objc-type-qualifier
511///
Chris Lattner2b740db2007-12-12 06:56:32 +0000512void Parser::ParseObjcTypeQualifierList(ObjcDeclSpec &DS) {
513 while (1) {
Chris Lattner847f5c12007-12-27 19:57:00 +0000514 if (Tok.isNot(tok::identifier))
Chris Lattner2b740db2007-12-12 06:56:32 +0000515 return;
516
517 const IdentifierInfo *II = Tok.getIdentifierInfo();
518 for (unsigned i = 0; i != objc_NumQuals; ++i) {
519 if (II != ObjcTypeQuals[i])
520 continue;
521
522 ObjcDeclSpec::ObjcDeclQualifier Qual;
523 switch (i) {
524 default: assert(0 && "Unknown decl qualifier");
525 case objc_in: Qual = ObjcDeclSpec::DQ_In; break;
526 case objc_out: Qual = ObjcDeclSpec::DQ_Out; break;
527 case objc_inout: Qual = ObjcDeclSpec::DQ_Inout; break;
528 case objc_oneway: Qual = ObjcDeclSpec::DQ_Oneway; break;
529 case objc_bycopy: Qual = ObjcDeclSpec::DQ_Bycopy; break;
530 case objc_byref: Qual = ObjcDeclSpec::DQ_Byref; break;
531 }
532 DS.setObjcDeclQualifier(Qual);
533 ConsumeToken();
534 II = 0;
535 break;
536 }
537
538 // If this wasn't a recognized qualifier, bail out.
539 if (II) return;
540 }
541}
542
543/// objc-type-name:
544/// '(' objc-type-qualifiers[opt] type-name ')'
545/// '(' objc-type-qualifiers[opt] ')'
546///
Fariborz Jahanian2fd0daa2007-10-31 23:53:01 +0000547Parser::TypeTy *Parser::ParseObjCTypeName(ObjcDeclSpec &DS) {
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000548 assert(Tok.is(tok::l_paren) && "expected (");
Steve Naroff0bbffd82007-08-22 16:35:03 +0000549
550 SourceLocation LParenLoc = ConsumeParen(), RParenLoc;
Chris Lattner265c8172007-09-27 15:15:46 +0000551 TypeTy *Ty = 0;
Steve Naroff0bbffd82007-08-22 16:35:03 +0000552
Fariborz Jahanian6dab49b2007-10-31 21:59:43 +0000553 // Parse type qualifiers, in, inout, etc.
Fariborz Jahanian6dab49b2007-10-31 21:59:43 +0000554 ParseObjcTypeQualifierList(DS);
Steve Naroffa8ee2262007-08-22 23:18:22 +0000555
Steve Naroff0bbffd82007-08-22 16:35:03 +0000556 if (isTypeSpecifierQualifier()) {
Steve Naroff304ed392007-09-05 23:30:30 +0000557 Ty = ParseTypeName();
558 // FIXME: back when Sema support is in place...
559 // assert(Ty && "Parser::ParseObjCTypeName(): missing type");
Steve Naroff0bbffd82007-08-22 16:35:03 +0000560 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000561 if (Tok.isNot(tok::r_paren)) {
Steve Naroff0bbffd82007-08-22 16:35:03 +0000562 MatchRHSPunctuation(tok::r_paren, LParenLoc);
Steve Naroff304ed392007-09-05 23:30:30 +0000563 return 0; // FIXME: decide how we want to handle this error...
Steve Naroff0bbffd82007-08-22 16:35:03 +0000564 }
565 RParenLoc = ConsumeParen();
Steve Naroff304ed392007-09-05 23:30:30 +0000566 return Ty;
Steve Naroff0bbffd82007-08-22 16:35:03 +0000567}
568
569/// objc-method-decl:
570/// objc-selector
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000571/// objc-keyword-selector objc-parmlist[opt]
Steve Naroff0bbffd82007-08-22 16:35:03 +0000572/// objc-type-name objc-selector
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000573/// objc-type-name objc-keyword-selector objc-parmlist[opt]
Steve Naroff0bbffd82007-08-22 16:35:03 +0000574///
575/// objc-keyword-selector:
Steve Naroff72f17fb2007-08-22 22:17:26 +0000576/// objc-keyword-decl
Steve Naroff0bbffd82007-08-22 16:35:03 +0000577/// objc-keyword-selector objc-keyword-decl
578///
579/// objc-keyword-decl:
Steve Naroff72f17fb2007-08-22 22:17:26 +0000580/// objc-selector ':' objc-type-name objc-keyword-attributes[opt] identifier
581/// objc-selector ':' objc-keyword-attributes[opt] identifier
582/// ':' objc-type-name objc-keyword-attributes[opt] identifier
583/// ':' objc-keyword-attributes[opt] identifier
Steve Naroff0bbffd82007-08-22 16:35:03 +0000584///
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000585/// objc-parmlist:
586/// objc-parms objc-ellipsis[opt]
Steve Naroff0bbffd82007-08-22 16:35:03 +0000587///
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000588/// objc-parms:
589/// objc-parms , parameter-declaration
Steve Naroff0bbffd82007-08-22 16:35:03 +0000590///
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000591/// objc-ellipsis:
Steve Naroff0bbffd82007-08-22 16:35:03 +0000592/// , ...
593///
Steve Naroff72f17fb2007-08-22 22:17:26 +0000594/// objc-keyword-attributes: [OBJC2]
595/// __attribute__((unused))
596///
Steve Naroff3774dd92007-10-26 20:53:56 +0000597Parser::DeclTy *Parser::ParseObjCMethodDecl(SourceLocation mLoc,
Fariborz Jahanian8473b222007-11-09 19:52:12 +0000598 tok::TokenKind mType,
599 DeclTy *IDecl,
Chris Lattner847f5c12007-12-27 19:57:00 +0000600 tok::ObjCKeywordKind MethodImplKind)
Steve Naroff4ed9d662007-09-27 14:38:14 +0000601{
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000602 // Parse the return type.
Chris Lattnerd031a452007-10-07 02:00:24 +0000603 TypeTy *ReturnType = 0;
Fariborz Jahanian2fd0daa2007-10-31 23:53:01 +0000604 ObjcDeclSpec DSRet;
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000605 if (Tok.is(tok::l_paren))
Fariborz Jahanian2fd0daa2007-10-31 23:53:01 +0000606 ReturnType = ParseObjCTypeName(DSRet);
Steve Naroff3774dd92007-10-26 20:53:56 +0000607 SourceLocation selLoc;
608 IdentifierInfo *SelIdent = ParseObjCSelector(selLoc);
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000609 if (Tok.isNot(tok::colon)) {
Chris Lattnerd031a452007-10-07 02:00:24 +0000610 if (!SelIdent) {
611 Diag(Tok, diag::err_expected_ident); // missing selector name.
612 // FIXME: this creates a unary selector with a null identifier, is this
613 // ok?? Maybe we should skip to the next semicolon or something.
614 }
615
616 // If attributes exist after the method, parse them.
617 AttributeList *MethodAttrs = 0;
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000618 if (getLang().ObjC2 && Tok.is(tok::kw___attribute))
Chris Lattnerd031a452007-10-07 02:00:24 +0000619 MethodAttrs = ParseAttributes();
620
621 Selector Sel = PP.getSelectorTable().getNullarySelector(SelIdent);
Steve Naroff3774dd92007-10-26 20:53:56 +0000622 return Actions.ActOnMethodDeclaration(mLoc, Tok.getLocation(),
Fariborz Jahanian8473b222007-11-09 19:52:12 +0000623 mType, IDecl, DSRet, ReturnType, Sel,
Fariborz Jahanian2fd0daa2007-10-31 23:53:01 +0000624 0, 0, 0, MethodAttrs, MethodImplKind);
Chris Lattnerd031a452007-10-07 02:00:24 +0000625 }
Steve Naroff304ed392007-09-05 23:30:30 +0000626
Steve Naroff4ed9d662007-09-27 14:38:14 +0000627 llvm::SmallVector<IdentifierInfo *, 12> KeyIdents;
628 llvm::SmallVector<Action::TypeTy *, 12> KeyTypes;
Fariborz Jahanian2fd0daa2007-10-31 23:53:01 +0000629 llvm::SmallVector<ObjcDeclSpec, 12> ArgTypeQuals;
Steve Naroff4ed9d662007-09-27 14:38:14 +0000630 llvm::SmallVector<IdentifierInfo *, 12> ArgNames;
Chris Lattnerd031a452007-10-07 02:00:24 +0000631
632 Action::TypeTy *TypeInfo;
633 while (1) {
634 KeyIdents.push_back(SelIdent);
Steve Naroff4ed9d662007-09-27 14:38:14 +0000635
Chris Lattnerd031a452007-10-07 02:00:24 +0000636 // Each iteration parses a single keyword argument.
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000637 if (Tok.isNot(tok::colon)) {
Chris Lattnerd031a452007-10-07 02:00:24 +0000638 Diag(Tok, diag::err_expected_colon);
639 break;
640 }
641 ConsumeToken(); // Eat the ':'.
Fariborz Jahanian2fd0daa2007-10-31 23:53:01 +0000642 ObjcDeclSpec DSType;
643 if (Tok.is(tok::l_paren)) { // Parse the argument type.
644 TypeInfo = ParseObjCTypeName(DSType);
645 }
Chris Lattnerd031a452007-10-07 02:00:24 +0000646 else
647 TypeInfo = 0;
648 KeyTypes.push_back(TypeInfo);
Fariborz Jahanian2fd0daa2007-10-31 23:53:01 +0000649 ArgTypeQuals.push_back(DSType);
Steve Naroff304ed392007-09-05 23:30:30 +0000650
Chris Lattnerd031a452007-10-07 02:00:24 +0000651 // If attributes exist before the argument name, parse them.
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000652 if (getLang().ObjC2 && Tok.is(tok::kw___attribute))
Chris Lattnerd031a452007-10-07 02:00:24 +0000653 ParseAttributes(); // FIXME: pass attributes through.
Steve Naroff72f17fb2007-08-22 22:17:26 +0000654
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000655 if (Tok.isNot(tok::identifier)) {
Chris Lattnerd031a452007-10-07 02:00:24 +0000656 Diag(Tok, diag::err_expected_ident); // missing argument name.
657 break;
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000658 }
Chris Lattnerd031a452007-10-07 02:00:24 +0000659 ArgNames.push_back(Tok.getIdentifierInfo());
660 ConsumeToken(); // Eat the identifier.
Steve Narofff9e80db2007-10-05 18:42:47 +0000661
Chris Lattnerd031a452007-10-07 02:00:24 +0000662 // Check for another keyword selector.
Fariborz Jahanian91193f62007-10-11 00:55:41 +0000663 SourceLocation Loc;
664 SelIdent = ParseObjCSelector(Loc);
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000665 if (!SelIdent && Tok.isNot(tok::colon))
Chris Lattnerd031a452007-10-07 02:00:24 +0000666 break;
667 // We have a selector or a colon, continue parsing.
Steve Naroff09a0c4c2007-08-22 18:35:33 +0000668 }
Chris Lattnerd031a452007-10-07 02:00:24 +0000669
Steve Naroff29fe7462007-11-15 12:35:21 +0000670 bool isVariadic = false;
671
Chris Lattnerd031a452007-10-07 02:00:24 +0000672 // Parse the (optional) parameter list.
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000673 while (Tok.is(tok::comma)) {
Chris Lattnerd031a452007-10-07 02:00:24 +0000674 ConsumeToken();
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000675 if (Tok.is(tok::ellipsis)) {
Steve Naroff29fe7462007-11-15 12:35:21 +0000676 isVariadic = true;
Chris Lattnerd031a452007-10-07 02:00:24 +0000677 ConsumeToken();
678 break;
679 }
Steve Naroff29fe7462007-11-15 12:35:21 +0000680 // FIXME: implement this...
Chris Lattnerd031a452007-10-07 02:00:24 +0000681 // Parse the c-style argument declaration-specifier.
682 DeclSpec DS;
683 ParseDeclarationSpecifiers(DS);
684 // Parse the declarator.
685 Declarator ParmDecl(DS, Declarator::PrototypeContext);
686 ParseDeclarator(ParmDecl);
687 }
688
689 // FIXME: Add support for optional parmameter list...
Fariborz Jahanian3dc7cbc2007-09-10 20:33:04 +0000690 // If attributes exist after the method, parse them.
Chris Lattnerd031a452007-10-07 02:00:24 +0000691 AttributeList *MethodAttrs = 0;
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000692 if (getLang().ObjC2 && Tok.is(tok::kw___attribute))
Chris Lattnerd031a452007-10-07 02:00:24 +0000693 MethodAttrs = ParseAttributes();
694
695 Selector Sel = PP.getSelectorTable().getSelector(KeyIdents.size(),
696 &KeyIdents[0]);
Steve Naroff3774dd92007-10-26 20:53:56 +0000697 return Actions.ActOnMethodDeclaration(mLoc, Tok.getLocation(),
Fariborz Jahanian8473b222007-11-09 19:52:12 +0000698 mType, IDecl, DSRet, ReturnType, Sel,
Fariborz Jahanian2fd0daa2007-10-31 23:53:01 +0000699 &ArgTypeQuals[0], &KeyTypes[0],
Steve Naroff29fe7462007-11-15 12:35:21 +0000700 &ArgNames[0], MethodAttrs,
701 MethodImplKind, isVariadic);
Steve Naroff0bbffd82007-08-22 16:35:03 +0000702}
703
Fariborz Jahanianc04aff12007-10-08 23:06:41 +0000704/// CmpProtocolVals - Comparison predicate for sorting protocols.
705static bool CmpProtocolVals(const IdentifierInfo* const& lhs,
706 const IdentifierInfo* const& rhs) {
707 return strcmp(lhs->getName(), rhs->getName()) < 0;
708}
709
Steve Narofffb367882007-08-20 21:31:48 +0000710/// objc-protocol-refs:
711/// '<' identifier-list '>'
712///
Steve Naroff304ed392007-09-05 23:30:30 +0000713bool Parser::ParseObjCProtocolReferences(
Steve Naroffef20ed32007-10-30 02:23:23 +0000714 llvm::SmallVectorImpl<IdentifierInfo*> &ProtocolRefs, SourceLocation &endLoc)
715{
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000716 assert(Tok.is(tok::less) && "expected <");
Steve Narofffb367882007-08-20 21:31:48 +0000717
718 ConsumeToken(); // the "<"
Steve Narofffb367882007-08-20 21:31:48 +0000719
720 while (1) {
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000721 if (Tok.isNot(tok::identifier)) {
Steve Narofffb367882007-08-20 21:31:48 +0000722 Diag(Tok, diag::err_expected_ident);
723 SkipUntil(tok::greater);
724 return true;
725 }
726 ProtocolRefs.push_back(Tok.getIdentifierInfo());
727 ConsumeToken();
728
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000729 if (Tok.isNot(tok::comma))
Steve Narofffb367882007-08-20 21:31:48 +0000730 break;
731 ConsumeToken();
732 }
Fariborz Jahanianc04aff12007-10-08 23:06:41 +0000733
734 // Sort protocols, keyed by name.
735 // Later on, we remove duplicates.
736 std::stable_sort(ProtocolRefs.begin(), ProtocolRefs.end(), CmpProtocolVals);
737
738 // Make protocol names unique.
739 ProtocolRefs.erase(std::unique(ProtocolRefs.begin(), ProtocolRefs.end()),
740 ProtocolRefs.end());
Steve Narofffb367882007-08-20 21:31:48 +0000741 // Consume the '>'.
Steve Naroffef20ed32007-10-30 02:23:23 +0000742 if (Tok.is(tok::greater)) {
743 endLoc = ConsumeAnyToken();
744 return false;
745 }
746 Diag(Tok, diag::err_expected_greater);
747 return true;
Steve Narofffb367882007-08-20 21:31:48 +0000748}
749
750/// objc-class-instance-variables:
751/// '{' objc-instance-variable-decl-list[opt] '}'
752///
753/// objc-instance-variable-decl-list:
754/// objc-visibility-spec
755/// objc-instance-variable-decl ';'
756/// ';'
757/// objc-instance-variable-decl-list objc-visibility-spec
758/// objc-instance-variable-decl-list objc-instance-variable-decl ';'
759/// objc-instance-variable-decl-list ';'
760///
761/// objc-visibility-spec:
762/// @private
763/// @protected
764/// @public
Steve Naroffc4474992007-08-21 21:17:12 +0000765/// @package [OBJC2]
Steve Narofffb367882007-08-20 21:31:48 +0000766///
767/// objc-instance-variable-decl:
768/// struct-declaration
769///
Steve Naroff1a7fa7b2007-10-29 21:38:07 +0000770void Parser::ParseObjCClassInstanceVariables(DeclTy *interfaceDecl,
771 SourceLocation atLoc) {
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000772 assert(Tok.is(tok::l_brace) && "expected {");
Steve Naroff81f1bba2007-09-06 21:24:23 +0000773 llvm::SmallVector<DeclTy*, 16> IvarDecls;
Fariborz Jahanian3957dae2007-09-13 20:56:13 +0000774 llvm::SmallVector<DeclTy*, 32> AllIvarDecls;
775 llvm::SmallVector<tok::ObjCKeywordKind, 32> AllVisibilities;
Steve Naroffc4474992007-08-21 21:17:12 +0000776
777 SourceLocation LBraceLoc = ConsumeBrace(); // the "{"
Steve Naroffc4474992007-08-21 21:17:12 +0000778
Fariborz Jahanian3957dae2007-09-13 20:56:13 +0000779 tok::ObjCKeywordKind visibility = tok::objc_private;
Steve Naroffc4474992007-08-21 21:17:12 +0000780 // While we still have something to read, read the instance variables.
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000781 while (Tok.isNot(tok::r_brace) && Tok.isNot(tok::eof)) {
Steve Naroffc4474992007-08-21 21:17:12 +0000782 // Each iteration of this loop reads one objc-instance-variable-decl.
783
784 // Check for extraneous top-level semicolon.
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000785 if (Tok.is(tok::semi)) {
Steve Naroffc4474992007-08-21 21:17:12 +0000786 Diag(Tok, diag::ext_extra_struct_semi);
787 ConsumeToken();
788 continue;
789 }
790 // Set the default visibility to private.
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000791 if (Tok.is(tok::at)) { // parse objc-visibility-spec
Steve Naroffc4474992007-08-21 21:17:12 +0000792 ConsumeToken(); // eat the @ sign
Steve Naroff87c329f2007-08-23 18:16:40 +0000793 switch (Tok.getObjCKeywordID()) {
Steve Naroffc4474992007-08-21 21:17:12 +0000794 case tok::objc_private:
795 case tok::objc_public:
796 case tok::objc_protected:
797 case tok::objc_package:
Steve Naroff87c329f2007-08-23 18:16:40 +0000798 visibility = Tok.getObjCKeywordID();
Steve Naroffc4474992007-08-21 21:17:12 +0000799 ConsumeToken();
800 continue;
801 default:
802 Diag(Tok, diag::err_objc_illegal_visibility_spec);
803 ConsumeToken();
804 continue;
805 }
806 }
807 ParseStructDeclaration(interfaceDecl, IvarDecls);
Fariborz Jahanian3957dae2007-09-13 20:56:13 +0000808 for (unsigned i = 0; i < IvarDecls.size(); i++) {
Chris Lattner847f5c12007-12-27 19:57:00 +0000809 AllIvarDecls.push_back(IvarDecls[i]);
810 AllVisibilities.push_back(visibility);
Fariborz Jahanian3957dae2007-09-13 20:56:13 +0000811 }
Steve Naroff81f1bba2007-09-06 21:24:23 +0000812 IvarDecls.clear();
813
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000814 if (Tok.is(tok::semi)) {
Steve Naroffc4474992007-08-21 21:17:12 +0000815 ConsumeToken();
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000816 } else if (Tok.is(tok::r_brace)) {
Steve Naroffc4474992007-08-21 21:17:12 +0000817 Diag(Tok.getLocation(), diag::ext_expected_semi_decl_list);
818 break;
819 } else {
820 Diag(Tok, diag::err_expected_semi_decl_list);
821 // Skip to end of block or statement
822 SkipUntil(tok::r_brace, true, true);
823 }
824 }
Steve Naroff1a7fa7b2007-10-29 21:38:07 +0000825 SourceLocation RBraceLoc = MatchRHSPunctuation(tok::r_brace, LBraceLoc);
Steve Naroff809b4f02007-10-31 22:11:35 +0000826 // Call ActOnFields() even if we don't have any decls. This is useful
827 // for code rewriting tools that need to be aware of the empty list.
828 Actions.ActOnFields(CurScope, atLoc, interfaceDecl,
829 &AllIvarDecls[0], AllIvarDecls.size(),
830 LBraceLoc, RBraceLoc, &AllVisibilities[0]);
Steve Naroffc4474992007-08-21 21:17:12 +0000831 return;
Chris Lattner4b009652007-07-25 00:24:17 +0000832}
Steve Narofffb367882007-08-20 21:31:48 +0000833
834/// objc-protocol-declaration:
835/// objc-protocol-definition
836/// objc-protocol-forward-reference
837///
838/// objc-protocol-definition:
839/// @protocol identifier
840/// objc-protocol-refs[opt]
Steve Naroff81f1bba2007-09-06 21:24:23 +0000841/// objc-interface-decl-list
Steve Narofffb367882007-08-20 21:31:48 +0000842/// @end
843///
844/// objc-protocol-forward-reference:
845/// @protocol identifier-list ';'
846///
847/// "@protocol identifier ;" should be resolved as "@protocol
Steve Naroff81f1bba2007-09-06 21:24:23 +0000848/// identifier-list ;": objc-interface-decl-list may not start with a
Steve Narofffb367882007-08-20 21:31:48 +0000849/// semicolon in the first alternative if objc-protocol-refs are omitted.
850
Steve Naroff72f17fb2007-08-22 22:17:26 +0000851Parser::DeclTy *Parser::ParseObjCAtProtocolDeclaration(SourceLocation AtLoc) {
Steve Naroff87c329f2007-08-23 18:16:40 +0000852 assert(Tok.isObjCAtKeyword(tok::objc_protocol) &&
Steve Naroff72f17fb2007-08-22 22:17:26 +0000853 "ParseObjCAtProtocolDeclaration(): Expected @protocol");
854 ConsumeToken(); // the "protocol" identifier
855
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000856 if (Tok.isNot(tok::identifier)) {
Steve Naroff72f17fb2007-08-22 22:17:26 +0000857 Diag(Tok, diag::err_expected_ident); // missing protocol name.
858 return 0;
859 }
860 // Save the protocol name, then consume it.
861 IdentifierInfo *protocolName = Tok.getIdentifierInfo();
862 SourceLocation nameLoc = ConsumeToken();
863
Fariborz Jahanianc716c942007-09-21 15:40:54 +0000864 llvm::SmallVector<IdentifierInfo *, 8> ProtocolRefs;
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000865 if (Tok.is(tok::semi)) { // forward declaration of one protocol.
Steve Naroff72f17fb2007-08-22 22:17:26 +0000866 ConsumeToken();
Fariborz Jahanianc716c942007-09-21 15:40:54 +0000867 ProtocolRefs.push_back(protocolName);
Steve Naroff72f17fb2007-08-22 22:17:26 +0000868 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000869 if (Tok.is(tok::comma)) { // list of forward declarations.
Steve Naroff72f17fb2007-08-22 22:17:26 +0000870 // Parse the list of forward declarations.
Steve Naroff72f17fb2007-08-22 22:17:26 +0000871 ProtocolRefs.push_back(protocolName);
872
873 while (1) {
874 ConsumeToken(); // the ','
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000875 if (Tok.isNot(tok::identifier)) {
Steve Naroff72f17fb2007-08-22 22:17:26 +0000876 Diag(Tok, diag::err_expected_ident);
877 SkipUntil(tok::semi);
878 return 0;
879 }
880 ProtocolRefs.push_back(Tok.getIdentifierInfo());
881 ConsumeToken(); // the identifier
882
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000883 if (Tok.isNot(tok::comma))
Steve Naroff72f17fb2007-08-22 22:17:26 +0000884 break;
885 }
886 // Consume the ';'.
887 if (ExpectAndConsume(tok::semi, diag::err_expected_semi_after, "@protocol"))
888 return 0;
Steve Naroff72f17fb2007-08-22 22:17:26 +0000889 }
Fariborz Jahanianc716c942007-09-21 15:40:54 +0000890 if (ProtocolRefs.size() > 0)
Steve Naroff415c1832007-10-10 17:32:04 +0000891 return Actions.ActOnForwardProtocolDeclaration(AtLoc,
Steve Naroffb4dfe362007-10-02 22:39:18 +0000892 &ProtocolRefs[0],
893 ProtocolRefs.size());
Steve Naroff72f17fb2007-08-22 22:17:26 +0000894 // Last, and definitely not least, parse a protocol declaration.
Steve Naroffef20ed32007-10-30 02:23:23 +0000895 SourceLocation endProtoLoc;
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000896 if (Tok.is(tok::less)) {
Steve Naroffef20ed32007-10-30 02:23:23 +0000897 if (ParseObjCProtocolReferences(ProtocolRefs, endProtoLoc))
Steve Naroff72f17fb2007-08-22 22:17:26 +0000898 return 0;
899 }
Fariborz Jahanian63ca8ae2007-09-17 21:07:36 +0000900
Steve Naroff415c1832007-10-10 17:32:04 +0000901 DeclTy *ProtoType = Actions.ActOnStartProtocolInterface(AtLoc,
Fariborz Jahanian63ca8ae2007-09-17 21:07:36 +0000902 protocolName, nameLoc,
903 &ProtocolRefs[0],
Steve Naroffef20ed32007-10-30 02:23:23 +0000904 ProtocolRefs.size(), endProtoLoc);
Fariborz Jahanian63ca8ae2007-09-17 21:07:36 +0000905 ParseObjCInterfaceDeclList(ProtoType, tok::objc_protocol);
Steve Naroff72f17fb2007-08-22 22:17:26 +0000906
907 // The @ sign was already consumed by ParseObjCInterfaceDeclList().
Steve Naroff87c329f2007-08-23 18:16:40 +0000908 if (Tok.isObjCAtKeyword(tok::objc_end)) {
Steve Naroff72f17fb2007-08-22 22:17:26 +0000909 ConsumeToken(); // the "end" identifier
Fariborz Jahanianac20be22007-10-08 18:53:38 +0000910 return ProtoType;
Steve Naroff72f17fb2007-08-22 22:17:26 +0000911 }
912 Diag(Tok, diag::err_objc_missing_end);
Steve Narofffb367882007-08-20 21:31:48 +0000913 return 0;
Chris Lattner4b009652007-07-25 00:24:17 +0000914}
Steve Narofffb367882007-08-20 21:31:48 +0000915
916/// objc-implementation:
917/// objc-class-implementation-prologue
918/// objc-category-implementation-prologue
919///
920/// objc-class-implementation-prologue:
921/// @implementation identifier objc-superclass[opt]
922/// objc-class-instance-variables[opt]
923///
924/// objc-category-implementation-prologue:
925/// @implementation identifier ( identifier )
926
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000927Parser::DeclTy *Parser::ParseObjCAtImplementationDeclaration(
928 SourceLocation atLoc) {
929 assert(Tok.isObjCAtKeyword(tok::objc_implementation) &&
930 "ParseObjCAtImplementationDeclaration(): Expected @implementation");
931 ConsumeToken(); // the "implementation" identifier
932
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000933 if (Tok.isNot(tok::identifier)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000934 Diag(Tok, diag::err_expected_ident); // missing class or category name.
935 return 0;
936 }
937 // We have a class or category name - consume it.
Fariborz Jahanianc091b5d2007-09-25 18:38:09 +0000938 IdentifierInfo *nameId = Tok.getIdentifierInfo();
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000939 SourceLocation nameLoc = ConsumeToken(); // consume class or category name
940
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000941 if (Tok.is(tok::l_paren)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000942 // we have a category implementation.
943 SourceLocation lparenLoc = ConsumeParen();
944 SourceLocation categoryLoc, rparenLoc;
945 IdentifierInfo *categoryId = 0;
946
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000947 if (Tok.is(tok::identifier)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000948 categoryId = Tok.getIdentifierInfo();
949 categoryLoc = ConsumeToken();
950 } else {
951 Diag(Tok, diag::err_expected_ident); // missing category name.
952 return 0;
953 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000954 if (Tok.isNot(tok::r_paren)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000955 Diag(Tok, diag::err_expected_rparen);
956 SkipUntil(tok::r_paren, false); // don't stop at ';'
957 return 0;
958 }
959 rparenLoc = ConsumeParen();
Steve Naroff415c1832007-10-10 17:32:04 +0000960 DeclTy *ImplCatType = Actions.ActOnStartCategoryImplementation(
Fariborz Jahaniana91aa322007-10-02 16:38:50 +0000961 atLoc, nameId, nameLoc, categoryId,
962 categoryLoc);
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000963 ObjcImpDecl = ImplCatType;
964 return 0;
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000965 }
966 // We have a class implementation
Fariborz Jahanianc091b5d2007-09-25 18:38:09 +0000967 SourceLocation superClassLoc;
968 IdentifierInfo *superClassId = 0;
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000969 if (Tok.is(tok::colon)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000970 // We have a super class
971 ConsumeToken();
Chris Lattnera1d2bb72007-10-09 17:51:17 +0000972 if (Tok.isNot(tok::identifier)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000973 Diag(Tok, diag::err_expected_ident); // missing super class name.
974 return 0;
975 }
Fariborz Jahanianc091b5d2007-09-25 18:38:09 +0000976 superClassId = Tok.getIdentifierInfo();
977 superClassLoc = ConsumeToken(); // Consume super class name
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000978 }
Steve Naroff415c1832007-10-10 17:32:04 +0000979 DeclTy *ImplClsType = Actions.ActOnStartClassImplementation(
Chris Lattner847f5c12007-12-27 19:57:00 +0000980 atLoc, nameId, nameLoc,
Fariborz Jahanianc091b5d2007-09-25 18:38:09 +0000981 superClassId, superClassLoc);
982
Steve Naroff1a7fa7b2007-10-29 21:38:07 +0000983 if (Tok.is(tok::l_brace)) // we have ivars
984 ParseObjCClassInstanceVariables(ImplClsType/*FIXME*/, atLoc);
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000985 ObjcImpDecl = ImplClsType;
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000986
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000987 return 0;
Chris Lattner4b009652007-07-25 00:24:17 +0000988}
Steve Naroff1a7fa7b2007-10-29 21:38:07 +0000989
Fariborz Jahanian027c23b2007-09-01 00:26:16 +0000990Parser::DeclTy *Parser::ParseObjCAtEndDeclaration(SourceLocation atLoc) {
991 assert(Tok.isObjCAtKeyword(tok::objc_end) &&
992 "ParseObjCAtEndDeclaration(): Expected @end");
993 ConsumeToken(); // the "end" identifier
Fariborz Jahanian1e4e82f2007-09-27 18:57:03 +0000994 if (ObjcImpDecl) {
995 // Checking is not necessary except that a parse error might have caused
996 // @implementation not to have been parsed to completion and ObjcImpDecl
997 // could be 0.
Steve Naroffb82c50f2007-11-11 17:19:15 +0000998 Actions.ActOnAtEnd(atLoc, ObjcImpDecl);
Fariborz Jahanian1e4e82f2007-09-27 18:57:03 +0000999 }
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001000
Fariborz Jahanian83ddf822007-11-10 20:59:13 +00001001 return ObjcImpDecl;
Steve Narofffb367882007-08-20 21:31:48 +00001002}
Fariborz Jahanianb62aff32007-09-04 19:26:51 +00001003
1004/// compatibility-alias-decl:
1005/// @compatibility_alias alias-name class-name ';'
1006///
1007Parser::DeclTy *Parser::ParseObjCAtAliasDeclaration(SourceLocation atLoc) {
1008 assert(Tok.isObjCAtKeyword(tok::objc_compatibility_alias) &&
1009 "ParseObjCAtAliasDeclaration(): Expected @compatibility_alias");
1010 ConsumeToken(); // consume compatibility_alias
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001011 if (Tok.isNot(tok::identifier)) {
Fariborz Jahanianb62aff32007-09-04 19:26:51 +00001012 Diag(Tok, diag::err_expected_ident);
1013 return 0;
1014 }
Fariborz Jahanian05d212a2007-10-11 23:42:27 +00001015 IdentifierInfo *aliasId = Tok.getIdentifierInfo();
1016 SourceLocation aliasLoc = ConsumeToken(); // consume alias-name
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001017 if (Tok.isNot(tok::identifier)) {
Fariborz Jahanianb62aff32007-09-04 19:26:51 +00001018 Diag(Tok, diag::err_expected_ident);
1019 return 0;
1020 }
Fariborz Jahanian05d212a2007-10-11 23:42:27 +00001021 IdentifierInfo *classId = Tok.getIdentifierInfo();
1022 SourceLocation classLoc = ConsumeToken(); // consume class-name;
1023 if (Tok.isNot(tok::semi)) {
Fariborz Jahanian6c30fa62007-09-04 21:42:12 +00001024 Diag(Tok, diag::err_expected_semi_after, "@compatibility_alias");
Fariborz Jahanian05d212a2007-10-11 23:42:27 +00001025 return 0;
1026 }
1027 DeclTy *ClsType = Actions.ActOnCompatiblityAlias(atLoc,
1028 aliasId, aliasLoc,
1029 classId, classLoc);
1030 return ClsType;
Chris Lattner4b009652007-07-25 00:24:17 +00001031}
1032
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001033/// property-synthesis:
1034/// @synthesize property-ivar-list ';'
1035///
1036/// property-ivar-list:
1037/// property-ivar
1038/// property-ivar-list ',' property-ivar
1039///
1040/// property-ivar:
1041/// identifier
1042/// identifier '=' identifier
1043///
1044Parser::DeclTy *Parser::ParseObjCPropertySynthesize(SourceLocation atLoc) {
1045 assert(Tok.isObjCAtKeyword(tok::objc_synthesize) &&
1046 "ParseObjCPropertyDynamic(): Expected '@synthesize'");
1047 SourceLocation loc = ConsumeToken(); // consume dynamic
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001048 if (Tok.isNot(tok::identifier)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001049 Diag(Tok, diag::err_expected_ident);
1050 return 0;
1051 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001052 while (Tok.is(tok::identifier)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001053 ConsumeToken(); // consume property name
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001054 if (Tok.is(tok::equal)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001055 // property '=' ivar-name
1056 ConsumeToken(); // consume '='
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001057 if (Tok.isNot(tok::identifier)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001058 Diag(Tok, diag::err_expected_ident);
1059 break;
1060 }
1061 ConsumeToken(); // consume ivar-name
1062 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001063 if (Tok.isNot(tok::comma))
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001064 break;
1065 ConsumeToken(); // consume ','
1066 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001067 if (Tok.isNot(tok::semi))
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001068 Diag(Tok, diag::err_expected_semi_after, "@synthesize");
1069 return 0;
Chris Lattner4b009652007-07-25 00:24:17 +00001070}
1071
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001072/// property-dynamic:
1073/// @dynamic property-list
1074///
1075/// property-list:
1076/// identifier
1077/// property-list ',' identifier
1078///
1079Parser::DeclTy *Parser::ParseObjCPropertyDynamic(SourceLocation atLoc) {
1080 assert(Tok.isObjCAtKeyword(tok::objc_dynamic) &&
1081 "ParseObjCPropertyDynamic(): Expected '@dynamic'");
1082 SourceLocation loc = ConsumeToken(); // consume dynamic
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001083 if (Tok.isNot(tok::identifier)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001084 Diag(Tok, diag::err_expected_ident);
1085 return 0;
1086 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001087 while (Tok.is(tok::identifier)) {
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001088 ConsumeToken(); // consume property name
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001089 if (Tok.isNot(tok::comma))
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001090 break;
1091 ConsumeToken(); // consume ','
1092 }
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001093 if (Tok.isNot(tok::semi))
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001094 Diag(Tok, diag::err_expected_semi_after, "@dynamic");
1095 return 0;
1096}
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001097
1098/// objc-throw-statement:
1099/// throw expression[opt];
1100///
Fariborz Jahanian08df2c62007-11-07 02:00:49 +00001101Parser::StmtResult Parser::ParseObjCThrowStmt(SourceLocation atLoc) {
1102 ExprResult Res;
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001103 ConsumeToken(); // consume throw
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001104 if (Tok.isNot(tok::semi)) {
Fariborz Jahanian08df2c62007-11-07 02:00:49 +00001105 Res = ParseExpression();
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001106 if (Res.isInvalid) {
1107 SkipUntil(tok::semi);
Fariborz Jahanian08df2c62007-11-07 02:00:49 +00001108 return true;
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001109 }
1110 }
Fariborz Jahanian08df2c62007-11-07 02:00:49 +00001111 ConsumeToken(); // consume ';'
1112 return Actions.ActOnObjcAtThrowStmt(atLoc, Res.Val);
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001113}
1114
1115/// objc-try-catch-statement:
1116/// @try compound-statement objc-catch-list[opt]
1117/// @try compound-statement objc-catch-list[opt] @finally compound-statement
1118///
1119/// objc-catch-list:
1120/// @catch ( parameter-declaration ) compound-statement
1121/// objc-catch-list @catch ( catch-parameter-declaration ) compound-statement
1122/// catch-parameter-declaration:
1123/// parameter-declaration
1124/// '...' [OBJC2]
1125///
Fariborz Jahanian70952482007-11-01 21:12:44 +00001126Parser::StmtResult Parser::ParseObjCTryStmt(SourceLocation atLoc) {
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001127 bool catch_or_finally_seen = false;
1128 ConsumeToken(); // consume try
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001129 if (Tok.isNot(tok::l_brace)) {
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001130 Diag (Tok, diag::err_expected_lbrace);
Fariborz Jahanian70952482007-11-01 21:12:44 +00001131 return true;
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001132 }
Fariborz Jahanian06798362007-11-01 23:59:59 +00001133 StmtResult CatchStmts;
Fariborz Jahaniande3abf82007-11-02 00:18:53 +00001134 StmtResult FinallyStmt;
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001135 StmtResult TryBody = ParseCompoundStatementBody();
Fariborz Jahanianb8bf6072007-11-02 15:39:31 +00001136 if (TryBody.isInvalid)
1137 TryBody = Actions.ActOnNullStmt(Tok.getLocation());
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001138 while (Tok.is(tok::at)) {
Fariborz Jahaniande3abf82007-11-02 00:18:53 +00001139 SourceLocation AtCatchFinallyLoc = ConsumeToken();
Chris Lattner847f5c12007-12-27 19:57:00 +00001140 if (Tok.isObjCAtKeyword(tok::objc_catch)) {
Fariborz Jahanian06798362007-11-01 23:59:59 +00001141 StmtTy *FirstPart = 0;
1142 ConsumeToken(); // consume catch
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001143 if (Tok.is(tok::l_paren)) {
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001144 ConsumeParen();
Fariborz Jahanian06798362007-11-01 23:59:59 +00001145 EnterScope(Scope::DeclScope);
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001146 if (Tok.isNot(tok::ellipsis)) {
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001147 DeclSpec DS;
1148 ParseDeclarationSpecifiers(DS);
Fariborz Jahanian06798362007-11-01 23:59:59 +00001149 // FIXME: Is BlockContext right?
1150 Declarator DeclaratorInfo(DS, Declarator::BlockContext);
1151 ParseDeclarator(DeclaratorInfo);
Fariborz Jahanian59e9e042007-11-02 18:16:07 +00001152 DeclTy * aBlockVarDecl = Actions.ActOnDeclarator(CurScope,
1153 DeclaratorInfo, 0);
1154 StmtResult stmtResult = Actions.ActOnDeclStmt(aBlockVarDecl);
Fariborz Jahanian06798362007-11-01 23:59:59 +00001155 FirstPart = stmtResult.isInvalid ? 0 : stmtResult.Val;
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001156 }
1157 else
1158 ConsumeToken(); // consume '...'
Fariborz Jahanian06798362007-11-01 23:59:59 +00001159 SourceLocation RParenLoc = ConsumeParen();
Fariborz Jahanian70952482007-11-01 21:12:44 +00001160 StmtResult CatchBody = ParseCompoundStatementBody();
Fariborz Jahanian06798362007-11-01 23:59:59 +00001161 if (CatchBody.isInvalid)
1162 CatchBody = Actions.ActOnNullStmt(Tok.getLocation());
Fariborz Jahaniande3abf82007-11-02 00:18:53 +00001163 CatchStmts = Actions.ActOnObjcAtCatchStmt(AtCatchFinallyLoc, RParenLoc,
Fariborz Jahanian06798362007-11-01 23:59:59 +00001164 FirstPart, CatchBody.Val, CatchStmts.Val);
1165 ExitScope();
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001166 }
1167 else {
Fariborz Jahaniande3abf82007-11-02 00:18:53 +00001168 Diag(AtCatchFinallyLoc, diag::err_expected_lparen_after,
1169 "@catch clause");
Fariborz Jahanian70952482007-11-01 21:12:44 +00001170 return true;
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001171 }
1172 catch_or_finally_seen = true;
1173 }
Chris Lattner847f5c12007-12-27 19:57:00 +00001174 else if (Tok.isObjCAtKeyword(tok::objc_finally)) {
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001175 ConsumeToken(); // consume finally
1176 StmtResult FinallyBody = ParseCompoundStatementBody();
Fariborz Jahaniande3abf82007-11-02 00:18:53 +00001177 if (FinallyBody.isInvalid)
1178 FinallyBody = Actions.ActOnNullStmt(Tok.getLocation());
1179 FinallyStmt = Actions.ActOnObjcAtFinallyStmt(AtCatchFinallyLoc,
1180 FinallyBody.Val);
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001181 catch_or_finally_seen = true;
1182 break;
1183 }
1184 }
Fariborz Jahanianb8bf6072007-11-02 15:39:31 +00001185 if (!catch_or_finally_seen) {
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001186 Diag(atLoc, diag::err_missing_catch_finally);
Fariborz Jahanianb8bf6072007-11-02 15:39:31 +00001187 return true;
1188 }
1189 return Actions.ActOnObjcAtTryStmt(atLoc, TryBody.Val, CatchStmts.Val,
1190 FinallyStmt.Val);
Fariborz Jahanian64b864e2007-09-19 19:14:32 +00001191}
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001192
Steve Naroff81f1bba2007-09-06 21:24:23 +00001193/// objc-method-def: objc-method-proto ';'[opt] '{' body '}'
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001194///
Steve Naroff18c83382007-11-13 23:01:27 +00001195Parser::DeclTy *Parser::ParseObjCMethodDefinition() {
Fariborz Jahaniandfb1c372007-11-08 23:49:49 +00001196 DeclTy *MDecl = ParseObjCMethodPrototype(ObjcImpDecl);
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001197 // parse optional ';'
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001198 if (Tok.is(tok::semi))
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001199 ConsumeToken();
1200
Steve Naroff9191a9e82007-11-11 19:54:21 +00001201 // We should have an opening brace now.
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001202 if (Tok.isNot(tok::l_brace)) {
Steve Naroff9191a9e82007-11-11 19:54:21 +00001203 Diag(Tok, diag::err_expected_fn_body);
1204
1205 // Skip over garbage, until we get to '{'. Don't eat the '{'.
1206 SkipUntil(tok::l_brace, true, true);
1207
1208 // If we didn't find the '{', bail out.
1209 if (Tok.isNot(tok::l_brace))
Steve Naroff18c83382007-11-13 23:01:27 +00001210 return 0;
Fariborz Jahanian027c23b2007-09-01 00:26:16 +00001211 }
Steve Naroff9191a9e82007-11-11 19:54:21 +00001212 SourceLocation BraceLoc = Tok.getLocation();
1213
1214 // Enter a scope for the method body.
1215 EnterScope(Scope::FnScope|Scope::DeclScope);
1216
1217 // Tell the actions module that we have entered a method definition with the
1218 // specified Declarator for the method.
1219 Actions.ObjcActOnStartOfMethodDef(CurScope, MDecl);
1220
1221 StmtResult FnBody = ParseCompoundStatementBody();
1222
1223 // If the function body could not be parsed, make a bogus compoundstmt.
1224 if (FnBody.isInvalid)
1225 FnBody = Actions.ActOnCompoundStmt(BraceLoc, BraceLoc, 0, 0, false);
1226
1227 // Leave the function body scope.
1228 ExitScope();
1229
1230 // TODO: Pass argument information.
Steve Naroff99ee4302007-11-11 23:20:51 +00001231 Actions.ActOnFinishFunctionBody(MDecl, FnBody.Val);
Steve Naroff18c83382007-11-13 23:01:27 +00001232 return MDecl;
Chris Lattner4b009652007-07-25 00:24:17 +00001233}
Anders Carlssona66cad42007-08-21 17:43:55 +00001234
Steve Narofffb9dd752007-10-15 20:55:58 +00001235Parser::ExprResult Parser::ParseObjCAtExpression(SourceLocation AtLoc) {
Anders Carlssona66cad42007-08-21 17:43:55 +00001236
1237 switch (Tok.getKind()) {
Chris Lattnerddd3e632007-12-12 01:04:12 +00001238 case tok::string_literal: // primary-expression: string-literal
1239 case tok::wide_string_literal:
1240 return ParsePostfixExpressionSuffix(ParseObjCStringLiteral(AtLoc));
1241 default:
1242 break;
Anders Carlsson2996b4e2007-08-23 15:25:28 +00001243 }
1244
1245 switch (Tok.getIdentifierInfo()->getObjCKeywordID()) {
Chris Lattnercfd61c82007-10-16 22:51:17 +00001246 case tok::objc_encode:
1247 return ParsePostfixExpressionSuffix(ParseObjCEncodeExpression(AtLoc));
1248 case tok::objc_protocol:
Fariborz Jahanian957448a2007-10-16 23:21:02 +00001249 return ParsePostfixExpressionSuffix(ParseObjCProtocolExpression(AtLoc));
Chris Lattnercfd61c82007-10-16 22:51:17 +00001250 case tok::objc_selector:
Fariborz Jahanian957448a2007-10-16 23:21:02 +00001251 return ParsePostfixExpressionSuffix(ParseObjCSelectorExpression(AtLoc));
Chris Lattnercfd61c82007-10-16 22:51:17 +00001252 default:
1253 Diag(AtLoc, diag::err_unexpected_at);
1254 SkipUntil(tok::semi);
1255 break;
Anders Carlssona66cad42007-08-21 17:43:55 +00001256 }
1257
1258 return 0;
1259}
1260
Fariborz Jahanian1e534dc2007-09-05 19:52:07 +00001261/// objc-message-expr:
1262/// '[' objc-receiver objc-message-args ']'
1263///
1264/// objc-receiver:
1265/// expression
1266/// class-name
1267/// type-name
1268///
1269/// objc-message-args:
1270/// objc-selector
1271/// objc-keywordarg-list
1272///
1273/// objc-keywordarg-list:
1274/// objc-keywordarg
1275/// objc-keywordarg-list objc-keywordarg
1276///
1277/// objc-keywordarg:
1278/// selector-name[opt] ':' objc-keywordexpr
1279///
1280/// objc-keywordexpr:
1281/// nonempty-expr-list
1282///
1283/// nonempty-expr-list:
1284/// assignment-expression
1285/// nonempty-expr-list , assignment-expression
1286///
1287Parser::ExprResult Parser::ParseObjCMessageExpression() {
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001288 assert(Tok.is(tok::l_square) && "'[' expected");
Steve Naroffc39ca262007-09-18 23:55:05 +00001289 SourceLocation LBracloc = ConsumeBracket(); // consume '['
Steve Naroff253118b2007-09-17 20:25:27 +00001290 IdentifierInfo *ReceiverName = 0;
1291 ExprTy *ReceiverExpr = 0;
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001292 // Parse receiver
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001293 if (Tok.is(tok::identifier) &&
Fariborz Jahanian2ce5dc52007-11-12 20:13:27 +00001294 (Actions.isTypeName(*Tok.getIdentifierInfo(), CurScope)
Chris Lattner9b6d9332007-12-13 02:05:09 +00001295 || Tok.isNamedIdentifier("super"))) {
Steve Naroff253118b2007-09-17 20:25:27 +00001296 ReceiverName = Tok.getIdentifierInfo();
Steve Narofff0c31dd2007-09-16 16:16:00 +00001297 ConsumeToken();
Steve Naroff253118b2007-09-17 20:25:27 +00001298 } else {
1299 ExprResult Res = ParseAssignmentExpression();
1300 if (Res.isInvalid) {
Steve Naroffe015e9c2007-11-12 19:18:37 +00001301 Diag(Tok, diag::err_invalid_receiver_to_message);
Steve Naroff253118b2007-09-17 20:25:27 +00001302 SkipUntil(tok::identifier);
1303 return Res;
1304 }
1305 ReceiverExpr = Res.Val;
1306 }
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001307 // Parse objc-selector
Fariborz Jahanian91193f62007-10-11 00:55:41 +00001308 SourceLocation Loc;
1309 IdentifierInfo *selIdent = ParseObjCSelector(Loc);
Steve Naroff4ed9d662007-09-27 14:38:14 +00001310
1311 llvm::SmallVector<IdentifierInfo *, 12> KeyIdents;
1312 llvm::SmallVector<Action::ExprTy *, 12> KeyExprs;
1313
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001314 if (Tok.is(tok::colon)) {
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001315 while (1) {
1316 // Each iteration parses a single keyword argument.
Steve Naroff4ed9d662007-09-27 14:38:14 +00001317 KeyIdents.push_back(selIdent);
Steve Naroff253118b2007-09-17 20:25:27 +00001318
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001319 if (Tok.isNot(tok::colon)) {
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001320 Diag(Tok, diag::err_expected_colon);
1321 SkipUntil(tok::semi);
Steve Naroff253118b2007-09-17 20:25:27 +00001322 return true;
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001323 }
Steve Naroff4ed9d662007-09-27 14:38:14 +00001324 ConsumeToken(); // Eat the ':'.
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001325 /// Parse the expression after ':'
Steve Naroff253118b2007-09-17 20:25:27 +00001326 ExprResult Res = ParseAssignmentExpression();
1327 if (Res.isInvalid) {
1328 SkipUntil(tok::identifier);
1329 return Res;
1330 }
1331 // We have a valid expression.
Steve Naroff4ed9d662007-09-27 14:38:14 +00001332 KeyExprs.push_back(Res.Val);
Steve Naroff253118b2007-09-17 20:25:27 +00001333
1334 // Check for another keyword selector.
Fariborz Jahanian91193f62007-10-11 00:55:41 +00001335 selIdent = ParseObjCSelector(Loc);
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001336 if (!selIdent && Tok.isNot(tok::colon))
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001337 break;
1338 // We have a selector or a colon, continue parsing.
1339 }
1340 // Parse the, optional, argument list, comma separated.
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001341 while (Tok.is(tok::comma)) {
Steve Naroff9f176d12007-11-15 13:05:42 +00001342 ConsumeToken(); // Eat the ','.
1343 /// Parse the expression after ','
1344 ExprResult Res = ParseAssignmentExpression();
1345 if (Res.isInvalid) {
1346 SkipUntil(tok::identifier);
1347 return Res;
1348 }
1349 // We have a valid expression.
1350 KeyExprs.push_back(Res.Val);
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001351 }
1352 } else if (!selIdent) {
1353 Diag(Tok, diag::err_expected_ident); // missing selector name.
1354 SkipUntil(tok::semi);
Fariborz Jahanian1fc82242008-01-02 18:09:46 +00001355 return true;
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001356 }
Chris Lattnerd031a452007-10-07 02:00:24 +00001357
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001358 if (Tok.isNot(tok::r_square)) {
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001359 Diag(Tok, diag::err_expected_rsquare);
1360 SkipUntil(tok::semi);
Fariborz Jahanian1fc82242008-01-02 18:09:46 +00001361 return true;
Fariborz Jahaniand4462f92007-09-05 23:08:20 +00001362 }
Steve Naroffc39ca262007-09-18 23:55:05 +00001363 SourceLocation RBracloc = ConsumeBracket(); // consume ']'
Steve Naroff253118b2007-09-17 20:25:27 +00001364
Steve Narofff9e80db2007-10-05 18:42:47 +00001365 unsigned nKeys = KeyIdents.size();
Chris Lattnerd031a452007-10-07 02:00:24 +00001366 if (nKeys == 0)
1367 KeyIdents.push_back(selIdent);
1368 Selector Sel = PP.getSelectorTable().getSelector(nKeys, &KeyIdents[0]);
1369
1370 // We've just parsed a keyword message.
Steve Naroff253118b2007-09-17 20:25:27 +00001371 if (ReceiverName)
Fariborz Jahanian2ce5dc52007-11-12 20:13:27 +00001372 return Actions.ActOnClassMessage(CurScope,
1373 ReceiverName, Sel, LBracloc, RBracloc,
Steve Naroff9f176d12007-11-15 13:05:42 +00001374 &KeyExprs[0], KeyExprs.size());
Chris Lattnerd031a452007-10-07 02:00:24 +00001375 return Actions.ActOnInstanceMessage(ReceiverExpr, Sel, LBracloc, RBracloc,
Steve Naroff9f176d12007-11-15 13:05:42 +00001376 &KeyExprs[0], KeyExprs.size());
Fariborz Jahanian1e534dc2007-09-05 19:52:07 +00001377}
1378
Steve Naroff0add5d22007-11-03 11:27:19 +00001379Parser::ExprResult Parser::ParseObjCStringLiteral(SourceLocation AtLoc) {
Anders Carlssona66cad42007-08-21 17:43:55 +00001380 ExprResult Res = ParseStringLiteralExpression();
Anders Carlssona66cad42007-08-21 17:43:55 +00001381 if (Res.isInvalid) return Res;
Chris Lattnerddd3e632007-12-12 01:04:12 +00001382
1383 // @"foo" @"bar" is a valid concatenated string. Eat any subsequent string
1384 // expressions. At this point, we know that the only valid thing that starts
1385 // with '@' is an @"".
1386 llvm::SmallVector<SourceLocation, 4> AtLocs;
1387 llvm::SmallVector<ExprTy*, 4> AtStrings;
1388 AtLocs.push_back(AtLoc);
1389 AtStrings.push_back(Res.Val);
1390
1391 while (Tok.is(tok::at)) {
1392 AtLocs.push_back(ConsumeToken()); // eat the @.
Anders Carlssona66cad42007-08-21 17:43:55 +00001393
Chris Lattnerddd3e632007-12-12 01:04:12 +00001394 ExprResult Res(true); // Invalid unless there is a string literal.
1395 if (isTokenStringLiteral())
1396 Res = ParseStringLiteralExpression();
1397 else
1398 Diag(Tok, diag::err_objc_concat_string);
1399
1400 if (Res.isInvalid) {
1401 while (!AtStrings.empty()) {
1402 Actions.DeleteExpr(AtStrings.back());
1403 AtStrings.pop_back();
1404 }
1405 return Res;
1406 }
1407
1408 AtStrings.push_back(Res.Val);
1409 }
Fariborz Jahanian1a442d32007-12-12 23:55:49 +00001410
Chris Lattnerddd3e632007-12-12 01:04:12 +00001411 return Actions.ParseObjCStringLiteral(&AtLocs[0], &AtStrings[0],
1412 AtStrings.size());
Anders Carlssona66cad42007-08-21 17:43:55 +00001413}
Anders Carlsson8be1d402007-08-22 15:14:15 +00001414
1415/// objc-encode-expression:
1416/// @encode ( type-name )
Chris Lattnercfd61c82007-10-16 22:51:17 +00001417Parser::ExprResult Parser::ParseObjCEncodeExpression(SourceLocation AtLoc) {
Steve Naroff87c329f2007-08-23 18:16:40 +00001418 assert(Tok.isObjCAtKeyword(tok::objc_encode) && "Not an @encode expression!");
Anders Carlsson8be1d402007-08-22 15:14:15 +00001419
1420 SourceLocation EncLoc = ConsumeToken();
1421
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001422 if (Tok.isNot(tok::l_paren)) {
Anders Carlsson8be1d402007-08-22 15:14:15 +00001423 Diag(Tok, diag::err_expected_lparen_after, "@encode");
1424 return true;
1425 }
1426
1427 SourceLocation LParenLoc = ConsumeParen();
1428
1429 TypeTy *Ty = ParseTypeName();
1430
Anders Carlsson92faeb82007-08-23 15:31:37 +00001431 SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc);
Anders Carlsson8be1d402007-08-22 15:14:15 +00001432
Chris Lattnercfd61c82007-10-16 22:51:17 +00001433 return Actions.ParseObjCEncodeExpression(AtLoc, EncLoc, LParenLoc, Ty,
Anders Carlsson92faeb82007-08-23 15:31:37 +00001434 RParenLoc);
Anders Carlsson8be1d402007-08-22 15:14:15 +00001435}
Anders Carlsson2996b4e2007-08-23 15:25:28 +00001436
1437/// objc-protocol-expression
1438/// @protocol ( protocol-name )
1439
Fariborz Jahanian957448a2007-10-16 23:21:02 +00001440Parser::ExprResult Parser::ParseObjCProtocolExpression(SourceLocation AtLoc)
Anders Carlsson2996b4e2007-08-23 15:25:28 +00001441{
1442 SourceLocation ProtoLoc = ConsumeToken();
1443
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001444 if (Tok.isNot(tok::l_paren)) {
Anders Carlsson2996b4e2007-08-23 15:25:28 +00001445 Diag(Tok, diag::err_expected_lparen_after, "@protocol");
1446 return true;
1447 }
1448
1449 SourceLocation LParenLoc = ConsumeParen();
1450
Chris Lattnera1d2bb72007-10-09 17:51:17 +00001451 if (Tok.isNot(tok::identifier)) {
Anders Carlsson2996b4e2007-08-23 15:25:28 +00001452 Diag(Tok, diag::err_expected_ident);
1453 return true;
1454 }
Fariborz Jahanianb391e6e2007-10-17 16:58:11 +00001455 IdentifierInfo *protocolId = Tok.getIdentifierInfo();
Anders Carlsson2996b4e2007-08-23 15:25:28 +00001456 ConsumeToken();
1457
Anders Carlsson92faeb82007-08-23 15:31:37 +00001458 SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc);
Anders Carlsson2996b4e2007-08-23 15:25:28 +00001459
Fariborz Jahanianb391e6e2007-10-17 16:58:11 +00001460 return Actions.ParseObjCProtocolExpression(protocolId, AtLoc, ProtoLoc,
1461 LParenLoc, RParenLoc);
Anders Carlsson2996b4e2007-08-23 15:25:28 +00001462}
Fariborz Jahanian056c6b02007-10-15 23:39:13 +00001463
1464/// objc-selector-expression
1465/// @selector '(' objc-keyword-selector ')'
Fariborz Jahanian957448a2007-10-16 23:21:02 +00001466Parser::ExprResult Parser::ParseObjCSelectorExpression(SourceLocation AtLoc)
Fariborz Jahanian056c6b02007-10-15 23:39:13 +00001467{
1468 SourceLocation SelectorLoc = ConsumeToken();
1469
1470 if (Tok.isNot(tok::l_paren)) {
1471 Diag(Tok, diag::err_expected_lparen_after, "@selector");
1472 return 0;
1473 }
1474
Fariborz Jahanianf807c202007-10-16 20:40:23 +00001475 llvm::SmallVector<IdentifierInfo *, 12> KeyIdents;
Fariborz Jahanian056c6b02007-10-15 23:39:13 +00001476 SourceLocation LParenLoc = ConsumeParen();
1477 SourceLocation sLoc;
1478 IdentifierInfo *SelIdent = ParseObjCSelector(sLoc);
1479 if (!SelIdent && Tok.isNot(tok::colon)) {
Fariborz Jahanian056c6b02007-10-15 23:39:13 +00001480 Diag(Tok, diag::err_expected_ident); // missing selector name.
1481 return 0;
1482 }
Fariborz Jahanianf807c202007-10-16 20:40:23 +00001483 KeyIdents.push_back(SelIdent);
Steve Naroff6fd89272007-12-05 22:21:29 +00001484 unsigned nColons = 0;
1485 if (Tok.isNot(tok::r_paren)) {
Fariborz Jahanian056c6b02007-10-15 23:39:13 +00001486 while (1) {
1487 if (Tok.isNot(tok::colon)) {
1488 Diag(Tok, diag::err_expected_colon);
1489 break;
1490 }
Chris Lattner847f5c12007-12-27 19:57:00 +00001491 nColons++;
Fariborz Jahanian056c6b02007-10-15 23:39:13 +00001492 ConsumeToken(); // Eat the ':'.
1493 if (Tok.is(tok::r_paren))
1494 break;
1495 // Check for another keyword selector.
1496 SourceLocation Loc;
1497 SelIdent = ParseObjCSelector(Loc);
Fariborz Jahanianf807c202007-10-16 20:40:23 +00001498 KeyIdents.push_back(SelIdent);
Fariborz Jahanian056c6b02007-10-15 23:39:13 +00001499 if (!SelIdent && Tok.isNot(tok::colon))
1500 break;
1501 }
Steve Naroff6fd89272007-12-05 22:21:29 +00001502 }
Fariborz Jahanian056c6b02007-10-15 23:39:13 +00001503 SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc);
Steve Naroff6fd89272007-12-05 22:21:29 +00001504 Selector Sel = PP.getSelectorTable().getSelector(nColons, &KeyIdents[0]);
Fariborz Jahanian957448a2007-10-16 23:21:02 +00001505 return Actions.ParseObjCSelectorExpression(Sel, AtLoc, SelectorLoc, LParenLoc,
Fariborz Jahanianf807c202007-10-16 20:40:23 +00001506 RParenLoc);
Gabor Greifa823dd12007-10-19 15:38:32 +00001507 }