ParseObjc.cpp revision e8904e992ca5e821b199c4577e8b5e5b17a33b1d
1a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek//===--- ParseObjC.cpp - Objective C Parsing ------------------------------===// 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// The LLVM Compiler Infrastructure 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This file implements the Objective-C portions of the Parser interface. 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Parse/Parser.h" 154985aceceb9b9261b876b515d32726175c13a775Steve Naroff#include "clang/Parse/DeclSpec.h" 163b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian#include "clang/Parse/Scope.h" 175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Basic/Diagnostic.h" 185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "llvm/ADT/SmallVector.h" 195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace clang; 205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseExternalDeclaration: 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// external-declaration: [C99 6.9] 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [OBJC] objc-class-definition 2591fa0b7759b575045142abd6ee48c076297ad77bSteve Naroff/// [OBJC] objc-class-declaration 2691fa0b7759b575045142abd6ee48c076297ad77bSteve Naroff/// [OBJC] objc-alias-declaration 2791fa0b7759b575045142abd6ee48c076297ad77bSteve Naroff/// [OBJC] objc-protocol-definition 2891fa0b7759b575045142abd6ee48c076297ad77bSteve Naroff/// [OBJC] objc-method-definition 2991fa0b7759b575045142abd6ee48c076297ad77bSteve Naroff/// [OBJC] '@' 'end' 30dac269b65eed82182fc3e96566dedd6562dfe11eSteve NaroffParser::DeclTy *Parser::ParseObjCAtDirectives() { 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation AtLoc = ConsumeToken(); // the "@" 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 33861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff switch (Tok.getObjCKeywordID()) { 345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer case tok::objc_class: 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ParseObjCAtClassDeclaration(AtLoc); 365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer case tok::objc_interface: 37dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return ParseObjCAtInterfaceDeclaration(AtLoc); 385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer case tok::objc_protocol: 397ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff return ParseObjCAtProtocolDeclaration(AtLoc); 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer case tok::objc_implementation: 41db8f3d3bb96c75440f513c43ac73adace2aae5ffFariborz Jahanian return ParseObjCAtImplementationDeclaration(AtLoc); 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer case tok::objc_end: 43ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return ParseObjCAtEndDeclaration(AtLoc); 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer case tok::objc_compatibility_alias: 45e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian return ParseObjCAtAliasDeclaration(AtLoc); 46ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian case tok::objc_synthesize: 47ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return ParseObjCPropertySynthesize(AtLoc); 48ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian case tok::objc_dynamic: 49ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return ParseObjCPropertyDynamic(AtLoc); 505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer default: 515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Diag(AtLoc, diag::err_unexpected_at); 525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SkipUntil(tok::semi); 53dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// objc-class-declaration: 595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// '@' 'class' identifier-list ';' 605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 61dac269b65eed82182fc3e96566dedd6562dfe11eSteve NaroffParser::DeclTy *Parser::ParseObjCAtClassDeclaration(SourceLocation atLoc) { 625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ConsumeToken(); // the identifier "class" 635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::SmallVector<IdentifierInfo *, 8> ClassNames; 645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer while (1) { 66df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Diag(Tok, diag::err_expected_ident); 685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SkipUntil(tok::semi); 69dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ClassNames.push_back(Tok.getIdentifierInfo()); 725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ConsumeToken(); 735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 74df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::comma)) 755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer break; 765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ConsumeToken(); 785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Consume the ';'. 815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (ExpectAndConsume(tok::semi, diag::err_expected_semi_after, "@class")) 82dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 84e440eb8158e71deb1e4ab11618ae3d680aac6da1Steve Naroff return Actions.ActOnForwardClassDeclaration(atLoc, 853536b443bc50d58a79f14fca9b6842541a434854Steve Naroff &ClassNames[0], ClassNames.size()); 865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 88dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 89dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-interface: 90dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-class-interface-attributes[opt] objc-class-interface 91dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-category-interface 92dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 93dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-class-interface: 94dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// '@' 'interface' identifier objc-superclass[opt] 95dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-refs[opt] 96dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-class-instance-variables[opt] 97dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-interface-decl-list 98dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @end 99dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 100dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-category-interface: 101dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// '@' 'interface' identifier '(' identifier[opt] ')' 102dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-refs[opt] 103dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-interface-decl-list 104dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @end 105dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 106dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-superclass: 107dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// ':' identifier 108dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 109dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-class-interface-attributes: 110dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// __attribute__((visibility("default"))) 111dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// __attribute__((visibility("hidden"))) 112dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// __attribute__((deprecated)) 113dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// __attribute__((unavailable)) 114dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// __attribute__((objc_exception)) - used by NSException on 64-bit 115dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 116dac269b65eed82182fc3e96566dedd6562dfe11eSteve NaroffParser::DeclTy *Parser::ParseObjCAtInterfaceDeclaration( 117dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff SourceLocation atLoc, AttributeList *attrList) { 118861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff assert(Tok.isObjCAtKeyword(tok::objc_interface) && 119dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff "ParseObjCAtInterfaceDeclaration(): Expected @interface"); 120dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff ConsumeToken(); // the "interface" identifier 121dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 122df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 123dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff Diag(Tok, diag::err_expected_ident); // missing class or category name. 124dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 125dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff } 126dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff // We have a class or category name - consume it. 1277ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff IdentifierInfo *nameId = Tok.getIdentifierInfo(); 128dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff SourceLocation nameLoc = ConsumeToken(); 129dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 130df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::l_paren)) { // we have a category. 131dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff SourceLocation lparenLoc = ConsumeParen(); 132dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff SourceLocation categoryLoc, rparenLoc; 133dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff IdentifierInfo *categoryId = 0; 134dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 135527fe23f8cbc6a4da1737a547a2517bc92fa88c8Steve Naroff // For ObjC2, the category name is optional (not an error). 136df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::identifier)) { 137dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff categoryId = Tok.getIdentifierInfo(); 138dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff categoryLoc = ConsumeToken(); 139527fe23f8cbc6a4da1737a547a2517bc92fa88c8Steve Naroff } else if (!getLang().ObjC2) { 140527fe23f8cbc6a4da1737a547a2517bc92fa88c8Steve Naroff Diag(Tok, diag::err_expected_ident); // missing category name. 141527fe23f8cbc6a4da1737a547a2517bc92fa88c8Steve Naroff return 0; 142dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff } 143df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::r_paren)) { 144dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff Diag(Tok, diag::err_expected_rparen); 145dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff SkipUntil(tok::r_paren, false); // don't stop at ';' 146dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 147dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff } 148dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff rparenLoc = ConsumeParen(); 1496bd6d0b9d8944c5e192097bef24f2becb83af172Chris Lattner 150dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff // Next, we need to check for any protocol references. 1516bd6d0b9d8944c5e192097bef24f2becb83af172Chris Lattner SourceLocation EndProtoLoc; 1526bd6d0b9d8944c5e192097bef24f2becb83af172Chris Lattner llvm::SmallVector<DeclTy *, 8> ProtocolRefs; 1536bd6d0b9d8944c5e192097bef24f2becb83af172Chris Lattner if (Tok.is(tok::less) && 1546bd6d0b9d8944c5e192097bef24f2becb83af172Chris Lattner ParseObjCProtocolReferences(ProtocolRefs, true, EndProtoLoc)) 1556bd6d0b9d8944c5e192097bef24f2becb83af172Chris Lattner return 0; 1566bd6d0b9d8944c5e192097bef24f2becb83af172Chris Lattner 157dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff if (attrList) // categories don't support attributes. 158dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff Diag(Tok, diag::err_objc_no_attributes_on_category); 159dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 160e440eb8158e71deb1e4ab11618ae3d680aac6da1Steve Naroff DeclTy *CategoryType = Actions.ActOnStartCategoryInterface(atLoc, 1613a165b066e665870c163af64844073a664c042d0Steve Naroff nameId, nameLoc, categoryId, categoryLoc, 162423cb565abc681b770fb4b9b4bc24d398c98157bSteve Naroff &ProtocolRefs[0], ProtocolRefs.size(), 1636bd6d0b9d8944c5e192097bef24f2becb83af172Chris Lattner EndProtoLoc); 164fd225cc227143553898f2d3902242d25db9a4902Fariborz Jahanian 165fd225cc227143553898f2d3902242d25db9a4902Fariborz Jahanian ParseObjCInterfaceDeclList(CategoryType, tok::objc_not_keyword); 166dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 167294494e1cce92043562b4680c613df7fd028c02eSteve Naroff // The @ sign was already consumed by ParseObjCInterfaceDeclList(). 168861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff if (Tok.isObjCAtKeyword(tok::objc_end)) { 169294494e1cce92043562b4680c613df7fd028c02eSteve Naroff ConsumeToken(); // the "end" identifier 170ab0aeb0bf3eb289013e9f37e75c3dfc4c618f53cFariborz Jahanian return CategoryType; 171dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff } 172294494e1cce92043562b4680c613df7fd028c02eSteve Naroff Diag(Tok, diag::err_objc_missing_end); 173dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 174dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff } 175dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff // Parse a class interface. 176dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff IdentifierInfo *superClassId = 0; 177dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff SourceLocation superClassLoc; 1787ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff 179df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::colon)) { // a super class is specified. 180dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff ConsumeToken(); 181df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 182dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff Diag(Tok, diag::err_expected_ident); // missing super class name. 183dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 184dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff } 185dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff superClassId = Tok.getIdentifierInfo(); 186dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff superClassLoc = ConsumeToken(); 187dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff } 188dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff // Next, we need to check for any protocol references. 18906036d3709955a53297b4cbe14e20db88f321470Chris Lattner llvm::SmallVector<Action::DeclTy*, 8> ProtocolRefs; 19006036d3709955a53297b4cbe14e20db88f321470Chris Lattner SourceLocation EndProtoLoc; 19106036d3709955a53297b4cbe14e20db88f321470Chris Lattner if (Tok.is(tok::less) && 19206036d3709955a53297b4cbe14e20db88f321470Chris Lattner ParseObjCProtocolReferences(ProtocolRefs, true, EndProtoLoc)) 19306036d3709955a53297b4cbe14e20db88f321470Chris Lattner return 0; 19406036d3709955a53297b4cbe14e20db88f321470Chris Lattner 19506036d3709955a53297b4cbe14e20db88f321470Chris Lattner DeclTy *ClsType = 19606036d3709955a53297b4cbe14e20db88f321470Chris Lattner Actions.ActOnStartClassInterface(atLoc, nameId, nameLoc, 19706036d3709955a53297b4cbe14e20db88f321470Chris Lattner superClassId, superClassLoc, 19806036d3709955a53297b4cbe14e20db88f321470Chris Lattner &ProtocolRefs[0], ProtocolRefs.size(), 19906036d3709955a53297b4cbe14e20db88f321470Chris Lattner EndProtoLoc, attrList); 200f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff 201df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::l_brace)) 20260fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff ParseObjCClassInstanceVariables(ClsType, atLoc); 203dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 20425e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanian ParseObjCInterfaceDeclList(ClsType, tok::objc_interface); 205294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 206294494e1cce92043562b4680c613df7fd028c02eSteve Naroff // The @ sign was already consumed by ParseObjCInterfaceDeclList(). 207861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff if (Tok.isObjCAtKeyword(tok::objc_end)) { 208294494e1cce92043562b4680c613df7fd028c02eSteve Naroff ConsumeToken(); // the "end" identifier 2092bd42fadafddc8acf744b57a970bdc96a077c617Steve Naroff return ClsType; 210dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff } 211294494e1cce92043562b4680c613df7fd028c02eSteve Naroff Diag(Tok, diag::err_objc_missing_end); 212dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 213dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff} 214dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 215dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-interface-decl-list: 216dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// empty 217dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-interface-decl-list objc-property-decl [OBJC2] 218294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-interface-decl-list objc-method-requirement [OBJC2] 2193536b443bc50d58a79f14fca9b6842541a434854Steve Naroff/// objc-interface-decl-list objc-method-proto ';' 220dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-interface-decl-list declaration 221dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-interface-decl-list ';' 222dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 223294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-method-requirement: [OBJC2] 224294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// @required 225294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// @optional 226294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 22725e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanianvoid Parser::ParseObjCInterfaceDeclList(DeclTy *interfaceDecl, 228cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner tok::ObjCKeywordKind contextKey) { 2298a779314870760848e61da2c428a78971fe3f1c3Ted Kremenek llvm::SmallVector<DeclTy*, 32> allMethods; 23082a5fe3d1cf204b672cdab24d72275b6ad2c3527Fariborz Jahanian llvm::SmallVector<DeclTy*, 16> allProperties; 23100933591a2795d09dd1acff12a2d21bce7cb12c5Fariborz Jahanian tok::ObjCKeywordKind MethodImplKind = tok::objc_not_keyword; 23260fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff SourceLocation AtEndLoc; 23360fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff 234294494e1cce92043562b4680c613df7fd028c02eSteve Naroff while (1) { 235df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::at)) { 236294494e1cce92043562b4680c613df7fd028c02eSteve Naroff SourceLocation AtLoc = ConsumeToken(); // the "@" 237861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff tok::ObjCKeywordKind ocKind = Tok.getObjCKeywordID(); 238294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 239294494e1cce92043562b4680c613df7fd028c02eSteve Naroff if (ocKind == tok::objc_end) { // terminate list 24060fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff AtEndLoc = AtLoc; 241e3a2ca7e30601cdd31c77a830f4cc487851e8096Fariborz Jahanian break; 242294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } else if (ocKind == tok::objc_required) { // protocols only 243294494e1cce92043562b4680c613df7fd028c02eSteve Naroff ConsumeToken(); 244cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner MethodImplKind = ocKind; 245cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner if (contextKey != tok::objc_protocol) 246cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner Diag(AtLoc, diag::err_objc_protocol_required); 247294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } else if (ocKind == tok::objc_optional) { // protocols only 248294494e1cce92043562b4680c613df7fd028c02eSteve Naroff ConsumeToken(); 249cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner MethodImplKind = ocKind; 250cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner if (contextKey != tok::objc_protocol) 251cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner Diag(AtLoc, diag::err_objc_protocol_optional); 252294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } else if (ocKind == tok::objc_property) { 2531de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian ObjCDeclSpec OCDS; 2541de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian ConsumeToken(); // the "property" identifier 2551de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian // Parse property attribute list, if any. 2561de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian if (Tok.is(tok::l_paren)) { 2571de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian // property has attribute list. 2581de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian ParseObjCPropertyAttribute(OCDS); 2591de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian } 2601de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian // Parse all the comma separated declarators. 2611de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian DeclSpec DS; 2621de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian llvm::SmallVector<FieldDeclarator, 8> FieldDeclarators; 2631de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian ParseStructDeclaration(DS, FieldDeclarators); 2641de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian 2651de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian if (Tok.is(tok::semi)) 2661de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian ConsumeToken(); 2671de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian else { 2681de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian Diag(Tok, diag::err_expected_semi_decl_list); 2691de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian SkipUntil(tok::r_brace, true, true); 2701de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian } 2711de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian // Convert them all to property declarations. 2721de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian for (unsigned i = 0, e = FieldDeclarators.size(); i != e; ++i) { 2731de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian FieldDeclarator &FD = FieldDeclarators[i]; 2741de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian // Install the property declarator into interfaceDecl. 2755251e130a23d997f7c0dfdc250cdc41f179e5bedFariborz Jahanian Selector GetterSel = 27633de3f0333ca0b5274291b8d76c86758c0484691Fariborz Jahanian PP.getSelectorTable().getNullarySelector(OCDS.getGetterName() 27733de3f0333ca0b5274291b8d76c86758c0484691Fariborz Jahanian ? OCDS.getGetterName() 27833de3f0333ca0b5274291b8d76c86758c0484691Fariborz Jahanian : FD.D.getIdentifier()); 2795251e130a23d997f7c0dfdc250cdc41f179e5bedFariborz Jahanian Selector SetterSel = 28033de3f0333ca0b5274291b8d76c86758c0484691Fariborz Jahanian PP.getSelectorTable().getNullarySelector(OCDS.getSetterName() 28133de3f0333ca0b5274291b8d76c86758c0484691Fariborz Jahanian ? OCDS.getSetterName() 28233de3f0333ca0b5274291b8d76c86758c0484691Fariborz Jahanian // FIXME. This is not right! 28333de3f0333ca0b5274291b8d76c86758c0484691Fariborz Jahanian : FD.D.getIdentifier()); 2841de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian DeclTy *Property = Actions.ActOnProperty(CurScope, 2858442b5cdb76cef3ad88e32d41750914c7b77f588Steve Naroff AtLoc, FD, OCDS, 2865251e130a23d997f7c0dfdc250cdc41f179e5bedFariborz Jahanian GetterSel, SetterSel, 28746b55e56d029aec699fc2701e43d70264da9ecd8Fariborz Jahanian MethodImplKind); 2881de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian allProperties.push_back(Property); 2891de1e74541c25c1a7b721f1c3991ea34c8403420Fariborz Jahanian } 290294494e1cce92043562b4680c613df7fd028c02eSteve Naroff continue; 291294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } else { 292294494e1cce92043562b4680c613df7fd028c02eSteve Naroff Diag(Tok, diag::err_objc_illegal_interface_qual); 293294494e1cce92043562b4680c613df7fd028c02eSteve Naroff ConsumeToken(); 294294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } 295294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } 296df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::minus) || Tok.is(tok::plus)) { 297df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner DeclTy *methodPrototype = 298df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner ParseObjCMethodPrototype(interfaceDecl, MethodImplKind); 29925e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanian allMethods.push_back(methodPrototype); 3003536b443bc50d58a79f14fca9b6842541a434854Steve Naroff // Consume the ';' here, since ParseObjCMethodPrototype() is re-used for 3013536b443bc50d58a79f14fca9b6842541a434854Steve Naroff // method definitions. 302d16245b6d48c6b4e7bbd40713aed6565b882746dSteve Naroff ExpectAndConsume(tok::semi, diag::err_expected_semi_after,"method proto"); 303294494e1cce92043562b4680c613df7fd028c02eSteve Naroff continue; 304294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } 305f366b4c84485b646c30d6891a249ad6f65abef7cFariborz Jahanian else if (Tok.is(tok::at)) 306f366b4c84485b646c30d6891a249ad6f65abef7cFariborz Jahanian continue; 307f366b4c84485b646c30d6891a249ad6f65abef7cFariborz Jahanian 308df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::semi)) 309294494e1cce92043562b4680c613df7fd028c02eSteve Naroff ConsumeToken(); 310df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner else if (Tok.is(tok::eof)) 311e3a2ca7e30601cdd31c77a830f4cc487851e8096Fariborz Jahanian break; 312f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff else { 3134985aceceb9b9261b876b515d32726175c13a775Steve Naroff // FIXME: as the name implies, this rule allows function definitions. 3144985aceceb9b9261b876b515d32726175c13a775Steve Naroff // We could pass a flag or check for functions during semantic analysis. 3153536b443bc50d58a79f14fca9b6842541a434854Steve Naroff ParseDeclarationOrFunctionDefinition(); 316f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff } 317294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } 3182feac5e559ca5c9693a3a19905ab106b9c52e193Steve Naroff /// Insert collected methods declarations into the @interface object. 3198a779314870760848e61da2c428a78971fe3f1c3Ted Kremenek Actions.ActOnAtEnd(AtEndLoc, interfaceDecl, 3208a779314870760848e61da2c428a78971fe3f1c3Ted Kremenek allMethods.empty() ? 0 : &allMethods[0], 3218a779314870760848e61da2c428a78971fe3f1c3Ted Kremenek allMethods.size(), 3228a779314870760848e61da2c428a78971fe3f1c3Ted Kremenek allProperties.empty() ? 0 : &allProperties[0], 3238a779314870760848e61da2c428a78971fe3f1c3Ted Kremenek allProperties.size()); 324294494e1cce92043562b4680c613df7fd028c02eSteve Naroff} 325294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 326d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// Parse property attribute declarations. 327d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// 328d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// property-attr-decl: '(' property-attrlist ')' 329d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// property-attrlist: 330d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// property-attribute 331d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// property-attrlist ',' property-attribute 332d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// property-attribute: 333d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// getter '=' identifier 334d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// setter '=' identifier ':' 335d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// readonly 336d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// readwrite 337d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// assign 338d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// retain 339d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// copy 340d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// nonatomic 341d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// 3427caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattnervoid Parser::ParseObjCPropertyAttribute(ObjCDeclSpec &DS) { 343d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian SourceLocation loc = ConsumeParen(); // consume '(' 344d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian while (isObjCPropertyAttribute()) { 345d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian const IdentifierInfo *II = Tok.getIdentifierInfo(); 346d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian // getter/setter require extra treatment. 347a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek if (II == ObjCPropertyAttrs[objc_getter] || 348a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek II == ObjCPropertyAttrs[objc_setter]) { 349d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian // skip getter/setter part. 350d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian SourceLocation loc = ConsumeToken(); 351df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::equal)) { 352d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian loc = ConsumeToken(); 353df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::identifier)) { 354a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek if (II == ObjCPropertyAttrs[objc_setter]) { 355a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setPropertyAttributes(ObjCDeclSpec::DQ_PR_setter); 35682a5fe3d1cf204b672cdab24d72275b6ad2c3527Fariborz Jahanian DS.setSetterName(Tok.getIdentifierInfo()); 357d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian loc = ConsumeToken(); // consume method name 358df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::colon)) { 359d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian Diag(loc, diag::err_expected_colon); 360d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian SkipUntil(tok::r_paren,true,true); 361d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian break; 362d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 363d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 36482a5fe3d1cf204b672cdab24d72275b6ad2c3527Fariborz Jahanian else { 365a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setPropertyAttributes(ObjCDeclSpec::DQ_PR_getter); 36682a5fe3d1cf204b672cdab24d72275b6ad2c3527Fariborz Jahanian DS.setGetterName(Tok.getIdentifierInfo()); 36782a5fe3d1cf204b672cdab24d72275b6ad2c3527Fariborz Jahanian } 368d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 369d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian else { 370d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian Diag(loc, diag::err_expected_ident); 371cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner SkipUntil(tok::r_paren,true,true); 372cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner break; 373cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner } 374d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 375d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian else { 376d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian Diag(loc, diag::err_objc_expected_equal); 377d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian SkipUntil(tok::r_paren,true,true); 378d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian break; 379d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 380d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 38182a5fe3d1cf204b672cdab24d72275b6ad2c3527Fariborz Jahanian 382a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek else if (II == ObjCPropertyAttrs[objc_readonly]) 383a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setPropertyAttributes(ObjCDeclSpec::DQ_PR_readonly); 384a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek else if (II == ObjCPropertyAttrs[objc_assign]) 385a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setPropertyAttributes(ObjCDeclSpec::DQ_PR_assign); 386a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek else if (II == ObjCPropertyAttrs[objc_readwrite]) 387a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setPropertyAttributes(ObjCDeclSpec::DQ_PR_readwrite); 388a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek else if (II == ObjCPropertyAttrs[objc_retain]) 389a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setPropertyAttributes(ObjCDeclSpec::DQ_PR_retain); 390a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek else if (II == ObjCPropertyAttrs[objc_copy]) 391a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setPropertyAttributes(ObjCDeclSpec::DQ_PR_copy); 392a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek else if (II == ObjCPropertyAttrs[objc_nonatomic]) 393a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setPropertyAttributes(ObjCDeclSpec::DQ_PR_nonatomic); 39482a5fe3d1cf204b672cdab24d72275b6ad2c3527Fariborz Jahanian 395d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian ConsumeToken(); // consume last attribute token 396df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::comma)) { 397d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian loc = ConsumeToken(); 398d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian continue; 399d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 400df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::r_paren)) 401d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian break; 402d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian Diag(loc, diag::err_expected_rparen); 403d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian SkipUntil(tok::semi); 404d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian return; 405d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 406df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::r_paren)) 407d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian ConsumeParen(); 408d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian else { 409d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian Diag(loc, diag::err_objc_expected_property_attr); 410d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian SkipUntil(tok::r_paren); // recover from error inside attribute list 411d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 412d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian} 413d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian 4143536b443bc50d58a79f14fca9b6842541a434854Steve Naroff/// objc-method-proto: 415ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// objc-instance-method objc-method-decl objc-method-attributes[opt] 4163536b443bc50d58a79f14fca9b6842541a434854Steve Naroff/// objc-class-method objc-method-decl objc-method-attributes[opt] 417294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 418294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-instance-method: '-' 419294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-class-method: '+' 420294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 4214985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// objc-method-attributes: [OBJC2] 4224985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// __attribute__((deprecated)) 4234985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// 42400933591a2795d09dd1acff12a2d21bce7cb12c5Fariborz JahanianParser::DeclTy *Parser::ParseObjCMethodPrototype(DeclTy *IDecl, 425cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner tok::ObjCKeywordKind MethodImplKind) { 426df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner assert((Tok.is(tok::minus) || Tok.is(tok::plus)) && "expected +/-"); 427294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 428294494e1cce92043562b4680c613df7fd028c02eSteve Naroff tok::TokenKind methodType = Tok.getKind(); 429bef1185418705e16012b3dd50cd7c260c8d6b79cSteve Naroff SourceLocation mLoc = ConsumeToken(); 430294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 4311f7b6f88f18d7f6b10265acec5d41c4ed1897487Fariborz Jahanian DeclTy *MDecl = ParseObjCMethodDecl(mLoc, methodType, IDecl, MethodImplKind); 4323536b443bc50d58a79f14fca9b6842541a434854Steve Naroff // Since this rule is used for both method declarations and definitions, 4332bd42fadafddc8acf744b57a970bdc96a077c617Steve Naroff // the caller is (optionally) responsible for consuming the ';'. 434f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff return MDecl; 435294494e1cce92043562b4680c613df7fd028c02eSteve Naroff} 436294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 437294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-selector: 438294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// identifier 439294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// one of 440294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// enum struct union if else while do for switch case default 441294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// break continue return goto asm sizeof typeof __alignof 442294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// unsigned long const short volatile signed restrict _Complex 443294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// in out inout bycopy byref oneway int char float double void _Bool 444294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 4454b6c9051c6522894978c9ba6a819a659d102db36Fariborz JahanianIdentifierInfo *Parser::ParseObjCSelector(SourceLocation &SelectorLoc) { 446ff38491c18b060526d754765b952f4a497a89416Chris Lattner switch (Tok.getKind()) { 447ff38491c18b060526d754765b952f4a497a89416Chris Lattner default: 448ff38491c18b060526d754765b952f4a497a89416Chris Lattner return 0; 449ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::identifier: 450ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_typeof: 451ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw___alignof: 452ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_auto: 453ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_break: 454ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_case: 455ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_char: 456ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_const: 457ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_continue: 458ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_default: 459ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_do: 460ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_double: 461ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_else: 462ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_enum: 463ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_extern: 464ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_float: 465ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_for: 466ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_goto: 467ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_if: 468ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_inline: 469ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_int: 470ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_long: 471ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_register: 472ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_restrict: 473ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_return: 474ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_short: 475ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_signed: 476ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_sizeof: 477ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_static: 478ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_struct: 479ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_switch: 480ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_typedef: 481ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_union: 482ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_unsigned: 483ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_void: 484ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_volatile: 485ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw_while: 4869298d9655aed28b2d9f6cc65c81401b209f03fdcChris Lattner case tok::kw_bool: 487ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw__Bool: 488ff38491c18b060526d754765b952f4a497a89416Chris Lattner case tok::kw__Complex: 489ff38491c18b060526d754765b952f4a497a89416Chris Lattner IdentifierInfo *II = Tok.getIdentifierInfo(); 4904b6c9051c6522894978c9ba6a819a659d102db36Fariborz Jahanian SelectorLoc = ConsumeToken(); 491ff38491c18b060526d754765b952f4a497a89416Chris Lattner return II; 492d064951b0dcc95f8604d0d69ae82d9ecbd38c796Fariborz Jahanian } 493294494e1cce92043562b4680c613df7fd028c02eSteve Naroff} 494294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 495d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// property-attrlist: one of 496d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// readonly getter setter assign retain copy nonatomic 497d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian/// 498d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanianbool Parser::isObjCPropertyAttribute() { 499df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::identifier)) { 500d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian const IdentifierInfo *II = Tok.getIdentifierInfo(); 501d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian for (unsigned i = 0; i < objc_NumAttrs; ++i) 502a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek if (II == ObjCPropertyAttrs[i]) return true; 503d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian } 504d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian return false; 505d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian} 506d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian 5070196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian/// objc-for-collection-in: 'in' 5080196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian/// 509335a2d4122e41343fe11a775889b8bec5b14be60Fariborz Jahanianbool Parser::isTokIdentifier_in() const { 5103ba5a0f90a03d5e13d02cbee9abd2a1ba01b18bcFariborz Jahanian // FIXME: May have to do additional look-ahead to only allow for 5113ba5a0f90a03d5e13d02cbee9abd2a1ba01b18bcFariborz Jahanian // valid tokens following an 'in'; such as an identifier, unary operators, 5123ba5a0f90a03d5e13d02cbee9abd2a1ba01b18bcFariborz Jahanian // '[' etc. 513335a2d4122e41343fe11a775889b8bec5b14be60Fariborz Jahanian return (getLang().ObjC2 && Tok.is(tok::identifier) && 514335a2d4122e41343fe11a775889b8bec5b14be60Fariborz Jahanian Tok.getIdentifierInfo() == ObjCForCollectionInKW); 5150196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian} 5160196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 517a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ParseObjCTypeQualifierList - This routine parses the objective-c's type 518e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner/// qualifier list and builds their bitmask representation in the input 519e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner/// argument. 520294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 521294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-type-qualifiers: 522294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-type-qualifier 523294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-type-qualifiers objc-type-qualifier 524294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 525a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekvoid Parser::ParseObjCTypeQualifierList(ObjCDeclSpec &DS) { 526e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner while (1) { 527cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner if (Tok.isNot(tok::identifier)) 528e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner return; 529e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner 530e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner const IdentifierInfo *II = Tok.getIdentifierInfo(); 531e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner for (unsigned i = 0; i != objc_NumQuals; ++i) { 532a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek if (II != ObjCTypeQuals[i]) 533e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner continue; 534e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner 535a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCDeclSpec::ObjCDeclQualifier Qual; 536e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner switch (i) { 537e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner default: assert(0 && "Unknown decl qualifier"); 538a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek case objc_in: Qual = ObjCDeclSpec::DQ_In; break; 539a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek case objc_out: Qual = ObjCDeclSpec::DQ_Out; break; 540a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek case objc_inout: Qual = ObjCDeclSpec::DQ_Inout; break; 541a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek case objc_oneway: Qual = ObjCDeclSpec::DQ_Oneway; break; 542a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek case objc_bycopy: Qual = ObjCDeclSpec::DQ_Bycopy; break; 543a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek case objc_byref: Qual = ObjCDeclSpec::DQ_Byref; break; 544e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner } 545a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DS.setObjCDeclQualifier(Qual); 546e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner ConsumeToken(); 547e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner II = 0; 548e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner break; 549e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner } 550e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner 551e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner // If this wasn't a recognized qualifier, bail out. 552e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner if (II) return; 553e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner } 554e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner} 555e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner 556e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner/// objc-type-name: 557e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner/// '(' objc-type-qualifiers[opt] type-name ')' 558e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner/// '(' objc-type-qualifiers[opt] ')' 559e8b724d481c9547de2ee6f442be594b38ada452dChris Lattner/// 560a526c5c67e5a0473c340903ee542ce570119665fTed KremenekParser::TypeTy *Parser::ParseObjCTypeName(ObjCDeclSpec &DS) { 561df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner assert(Tok.is(tok::l_paren) && "expected ("); 562294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 563294494e1cce92043562b4680c613df7fd028c02eSteve Naroff SourceLocation LParenLoc = ConsumeParen(), RParenLoc; 564e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner SourceLocation TypeStartLoc = Tok.getLocation(); 565271f1a6373c3fe8fa457fe1ca6c0c908416110fdChris Lattner TypeTy *Ty = 0; 566294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 56719d74e1494fe399f0e2a94e9419c095f8214851bFariborz Jahanian // Parse type qualifiers, in, inout, etc. 568a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ParseObjCTypeQualifierList(DS); 5694fa7afd07421e7276d1717e4fdf43a5fdd65a622Steve Naroff 570294494e1cce92043562b4680c613df7fd028c02eSteve Naroff if (isTypeSpecifierQualifier()) { 571f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff Ty = ParseTypeName(); 572f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff // FIXME: back when Sema support is in place... 573f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff // assert(Ty && "Parser::ParseObjCTypeName(): missing type"); 574294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } 575e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner 576df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::r_paren)) { 577e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner // If we didn't eat any tokens, then this isn't a type. 578e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner if (Tok.getLocation() == TypeStartLoc) { 579e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner Diag(Tok.getLocation(), diag::err_expected_type); 580e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner SkipUntil(tok::r_brace); 581e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner } else { 582e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner // Otherwise, we found *something*, but didn't get a ')' in the right 583e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner // place. Emit an error then return what we have as the type. 584e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner MatchRHSPunctuation(tok::r_paren, LParenLoc); 585e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner } 586294494e1cce92043562b4680c613df7fd028c02eSteve Naroff } 587294494e1cce92043562b4680c613df7fd028c02eSteve Naroff RParenLoc = ConsumeParen(); 588f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff return Ty; 589294494e1cce92043562b4680c613df7fd028c02eSteve Naroff} 590294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 591294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-method-decl: 592294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-selector 5934985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// objc-keyword-selector objc-parmlist[opt] 594294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-type-name objc-selector 5954985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// objc-type-name objc-keyword-selector objc-parmlist[opt] 596294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 597294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-keyword-selector: 5987ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff/// objc-keyword-decl 599294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-keyword-selector objc-keyword-decl 600294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 601294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// objc-keyword-decl: 6027ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff/// objc-selector ':' objc-type-name objc-keyword-attributes[opt] identifier 6037ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff/// objc-selector ':' objc-keyword-attributes[opt] identifier 6047ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff/// ':' objc-type-name objc-keyword-attributes[opt] identifier 6057ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff/// ':' objc-keyword-attributes[opt] identifier 606294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 6074985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// objc-parmlist: 6084985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// objc-parms objc-ellipsis[opt] 609294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 6104985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// objc-parms: 6114985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// objc-parms , parameter-declaration 612294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 6134985aceceb9b9261b876b515d32726175c13a775Steve Naroff/// objc-ellipsis: 614294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// , ... 615294494e1cce92043562b4680c613df7fd028c02eSteve Naroff/// 6167ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff/// objc-keyword-attributes: [OBJC2] 6177ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff/// __attribute__((unused)) 6187ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff/// 619bef1185418705e16012b3dd50cd7c260c8d6b79cSteve NaroffParser::DeclTy *Parser::ParseObjCMethodDecl(SourceLocation mLoc, 6201f7b6f88f18d7f6b10265acec5d41c4ed1897487Fariborz Jahanian tok::TokenKind mType, 6211f7b6f88f18d7f6b10265acec5d41c4ed1897487Fariborz Jahanian DeclTy *IDecl, 622cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner tok::ObjCKeywordKind MethodImplKind) 62368d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff{ 624e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner // Parse the return type if present. 625ff38491c18b060526d754765b952f4a497a89416Chris Lattner TypeTy *ReturnType = 0; 626a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCDeclSpec DSRet; 627df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::l_paren)) 628f1de0ca05e2df6f23bd559028693a12d1ebdaaf6Fariborz Jahanian ReturnType = ParseObjCTypeName(DSRet); 629e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner 630bef1185418705e16012b3dd50cd7c260c8d6b79cSteve Naroff SourceLocation selLoc; 631bef1185418705e16012b3dd50cd7c260c8d6b79cSteve Naroff IdentifierInfo *SelIdent = ParseObjCSelector(selLoc); 632e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner 633e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner if (!SelIdent) { // missing selector name. 634e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner Diag(Tok.getLocation(), diag::err_expected_selector_for_method, 635e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner SourceRange(mLoc, Tok.getLocation())); 636e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner // Skip until we get a ; or {}. 637e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner SkipUntil(tok::r_brace); 638e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner return 0; 639e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner } 640e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner 641df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::colon)) { 642ff38491c18b060526d754765b952f4a497a89416Chris Lattner // If attributes exist after the method, parse them. 643ff38491c18b060526d754765b952f4a497a89416Chris Lattner AttributeList *MethodAttrs = 0; 644df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (getLang().ObjC2 && Tok.is(tok::kw___attribute)) 645ff38491c18b060526d754765b952f4a497a89416Chris Lattner MethodAttrs = ParseAttributes(); 646ff38491c18b060526d754765b952f4a497a89416Chris Lattner 647ff38491c18b060526d754765b952f4a497a89416Chris Lattner Selector Sel = PP.getSelectorTable().getNullarySelector(SelIdent); 648bef1185418705e16012b3dd50cd7c260c8d6b79cSteve Naroff return Actions.ActOnMethodDeclaration(mLoc, Tok.getLocation(), 6491f7b6f88f18d7f6b10265acec5d41c4ed1897487Fariborz Jahanian mType, IDecl, DSRet, ReturnType, Sel, 650f1de0ca05e2df6f23bd559028693a12d1ebdaaf6Fariborz Jahanian 0, 0, 0, MethodAttrs, MethodImplKind); 651ff38491c18b060526d754765b952f4a497a89416Chris Lattner } 652f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff 65368d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff llvm::SmallVector<IdentifierInfo *, 12> KeyIdents; 65468d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff llvm::SmallVector<Action::TypeTy *, 12> KeyTypes; 655a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek llvm::SmallVector<ObjCDeclSpec, 12> ArgTypeQuals; 65668d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff llvm::SmallVector<IdentifierInfo *, 12> ArgNames; 657ff38491c18b060526d754765b952f4a497a89416Chris Lattner 658ff38491c18b060526d754765b952f4a497a89416Chris Lattner Action::TypeTy *TypeInfo; 659ff38491c18b060526d754765b952f4a497a89416Chris Lattner while (1) { 660ff38491c18b060526d754765b952f4a497a89416Chris Lattner KeyIdents.push_back(SelIdent); 66168d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff 662ff38491c18b060526d754765b952f4a497a89416Chris Lattner // Each iteration parses a single keyword argument. 663df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::colon)) { 664ff38491c18b060526d754765b952f4a497a89416Chris Lattner Diag(Tok, diag::err_expected_colon); 665ff38491c18b060526d754765b952f4a497a89416Chris Lattner break; 666ff38491c18b060526d754765b952f4a497a89416Chris Lattner } 667ff38491c18b060526d754765b952f4a497a89416Chris Lattner ConsumeToken(); // Eat the ':'. 668a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCDeclSpec DSType; 669e8904e992ca5e821b199c4577e8b5e5b17a33b1dChris Lattner if (Tok.is(tok::l_paren)) // Parse the argument type. 670f1de0ca05e2df6f23bd559028693a12d1ebdaaf6Fariborz Jahanian TypeInfo = ParseObjCTypeName(DSType); 671ff38491c18b060526d754765b952f4a497a89416Chris Lattner else 672ff38491c18b060526d754765b952f4a497a89416Chris Lattner TypeInfo = 0; 673ff38491c18b060526d754765b952f4a497a89416Chris Lattner KeyTypes.push_back(TypeInfo); 674f1de0ca05e2df6f23bd559028693a12d1ebdaaf6Fariborz Jahanian ArgTypeQuals.push_back(DSType); 675f28b264437053fb0deacc9ba02b18a0966f7290aSteve Naroff 676ff38491c18b060526d754765b952f4a497a89416Chris Lattner // If attributes exist before the argument name, parse them. 677df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (getLang().ObjC2 && Tok.is(tok::kw___attribute)) 678ff38491c18b060526d754765b952f4a497a89416Chris Lattner ParseAttributes(); // FIXME: pass attributes through. 6797ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff 680df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 681ff38491c18b060526d754765b952f4a497a89416Chris Lattner Diag(Tok, diag::err_expected_ident); // missing argument name. 682ff38491c18b060526d754765b952f4a497a89416Chris Lattner break; 6834985aceceb9b9261b876b515d32726175c13a775Steve Naroff } 684ff38491c18b060526d754765b952f4a497a89416Chris Lattner ArgNames.push_back(Tok.getIdentifierInfo()); 685ff38491c18b060526d754765b952f4a497a89416Chris Lattner ConsumeToken(); // Eat the identifier. 686ff38491c18b060526d754765b952f4a497a89416Chris Lattner 687ff38491c18b060526d754765b952f4a497a89416Chris Lattner // Check for another keyword selector. 6884b6c9051c6522894978c9ba6a819a659d102db36Fariborz Jahanian SourceLocation Loc; 6894b6c9051c6522894978c9ba6a819a659d102db36Fariborz Jahanian SelIdent = ParseObjCSelector(Loc); 690df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (!SelIdent && Tok.isNot(tok::colon)) 691ff38491c18b060526d754765b952f4a497a89416Chris Lattner break; 692ff38491c18b060526d754765b952f4a497a89416Chris Lattner // We have a selector or a colon, continue parsing. 693ff38491c18b060526d754765b952f4a497a89416Chris Lattner } 694ff38491c18b060526d754765b952f4a497a89416Chris Lattner 695335eafa5be51f6440672a74c73d588af72e96732Steve Naroff bool isVariadic = false; 696335eafa5be51f6440672a74c73d588af72e96732Steve Naroff 697ff38491c18b060526d754765b952f4a497a89416Chris Lattner // Parse the (optional) parameter list. 698df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner while (Tok.is(tok::comma)) { 699ff38491c18b060526d754765b952f4a497a89416Chris Lattner ConsumeToken(); 700df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::ellipsis)) { 701335eafa5be51f6440672a74c73d588af72e96732Steve Naroff isVariadic = true; 7024985aceceb9b9261b876b515d32726175c13a775Steve Naroff ConsumeToken(); 703ff38491c18b060526d754765b952f4a497a89416Chris Lattner break; 7044985aceceb9b9261b876b515d32726175c13a775Steve Naroff } 705335eafa5be51f6440672a74c73d588af72e96732Steve Naroff // FIXME: implement this... 706ff38491c18b060526d754765b952f4a497a89416Chris Lattner // Parse the c-style argument declaration-specifier. 707ff38491c18b060526d754765b952f4a497a89416Chris Lattner DeclSpec DS; 708ff38491c18b060526d754765b952f4a497a89416Chris Lattner ParseDeclarationSpecifiers(DS); 709ff38491c18b060526d754765b952f4a497a89416Chris Lattner // Parse the declarator. 710ff38491c18b060526d754765b952f4a497a89416Chris Lattner Declarator ParmDecl(DS, Declarator::PrototypeContext); 711ff38491c18b060526d754765b952f4a497a89416Chris Lattner ParseDeclarator(ParmDecl); 7124985aceceb9b9261b876b515d32726175c13a775Steve Naroff } 713ff38491c18b060526d754765b952f4a497a89416Chris Lattner 714ff38491c18b060526d754765b952f4a497a89416Chris Lattner // FIXME: Add support for optional parmameter list... 715e3a2ca7e30601cdd31c77a830f4cc487851e8096Fariborz Jahanian // If attributes exist after the method, parse them. 716ff38491c18b060526d754765b952f4a497a89416Chris Lattner AttributeList *MethodAttrs = 0; 717df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (getLang().ObjC2 && Tok.is(tok::kw___attribute)) 718ff38491c18b060526d754765b952f4a497a89416Chris Lattner MethodAttrs = ParseAttributes(); 719ff38491c18b060526d754765b952f4a497a89416Chris Lattner 720ff38491c18b060526d754765b952f4a497a89416Chris Lattner Selector Sel = PP.getSelectorTable().getSelector(KeyIdents.size(), 721ff38491c18b060526d754765b952f4a497a89416Chris Lattner &KeyIdents[0]); 722bef1185418705e16012b3dd50cd7c260c8d6b79cSteve Naroff return Actions.ActOnMethodDeclaration(mLoc, Tok.getLocation(), 7231f7b6f88f18d7f6b10265acec5d41c4ed1897487Fariborz Jahanian mType, IDecl, DSRet, ReturnType, Sel, 724f1de0ca05e2df6f23bd559028693a12d1ebdaaf6Fariborz Jahanian &ArgTypeQuals[0], &KeyTypes[0], 725335eafa5be51f6440672a74c73d588af72e96732Steve Naroff &ArgNames[0], MethodAttrs, 726335eafa5be51f6440672a74c73d588af72e96732Steve Naroff MethodImplKind, isVariadic); 727294494e1cce92043562b4680c613df7fd028c02eSteve Naroff} 728294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 729dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-refs: 730dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// '<' identifier-list '>' 731dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 7327caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattnerbool Parser:: 733e13b9595dc1e2f4288bec34f3412359f648e84a5Chris LattnerParseObjCProtocolReferences(llvm::SmallVectorImpl<Action::DeclTy*> &Protocols, 734e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner bool WarnOnDeclarations, SourceLocation &EndLoc) { 735e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner assert(Tok.is(tok::less) && "expected <"); 736e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner 737e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner ConsumeToken(); // the "<" 738e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner 739e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner llvm::SmallVector<IdentifierLocPair, 8> ProtocolIdents; 740e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner 741e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner while (1) { 742e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner if (Tok.isNot(tok::identifier)) { 743e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner Diag(Tok, diag::err_expected_ident); 744e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner SkipUntil(tok::greater); 745e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner return true; 746e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner } 747e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner ProtocolIdents.push_back(std::make_pair(Tok.getIdentifierInfo(), 748e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner Tok.getLocation())); 749e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner ConsumeToken(); 750e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner 751e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner if (Tok.isNot(tok::comma)) 752e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner break; 753e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner ConsumeToken(); 754e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner } 755e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner 756e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner // Consume the '>'. 757e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner if (Tok.isNot(tok::greater)) { 758e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner Diag(Tok, diag::err_expected_greater); 759e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner return true; 760e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner } 761e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner 762e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner EndLoc = ConsumeAnyToken(); 763e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner 764e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner // Convert the list of protocols identifiers into a list of protocol decls. 765e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner Actions.FindProtocolDeclaration(WarnOnDeclarations, 766e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner &ProtocolIdents[0], ProtocolIdents.size(), 767e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner Protocols); 768e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner return false; 769e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner} 770e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner 771dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-class-instance-variables: 772dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// '{' objc-instance-variable-decl-list[opt] '}' 773dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 774dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-instance-variable-decl-list: 775dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-visibility-spec 776dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-instance-variable-decl ';' 777dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// ';' 778dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-instance-variable-decl-list objc-visibility-spec 779dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-instance-variable-decl-list objc-instance-variable-decl ';' 780dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-instance-variable-decl-list ';' 781dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 782dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-visibility-spec: 783dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @private 784dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @protected 785dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @public 786ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff/// @package [OBJC2] 787dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 788dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-instance-variable-decl: 789dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// struct-declaration 790dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 79160fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroffvoid Parser::ParseObjCClassInstanceVariables(DeclTy *interfaceDecl, 79260fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff SourceLocation atLoc) { 793df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner assert(Tok.is(tok::l_brace) && "expected {"); 7947d6402f753916a82d93ef0bf0f703ae4243a52beFariborz Jahanian llvm::SmallVector<DeclTy*, 32> AllIvarDecls; 795e13594279a952537ac903325efff57e3edca79d9Chris Lattner llvm::SmallVector<FieldDeclarator, 8> FieldDeclarators; 796e13594279a952537ac903325efff57e3edca79d9Chris Lattner 797ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff SourceLocation LBraceLoc = ConsumeBrace(); // the "{" 798ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff 799aa847fe3c88ee5e8d180e48537c58b805d48d95dFariborz Jahanian tok::ObjCKeywordKind visibility = tok::objc_protected; 800ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff // While we still have something to read, read the instance variables. 801df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner while (Tok.isNot(tok::r_brace) && Tok.isNot(tok::eof)) { 802ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff // Each iteration of this loop reads one objc-instance-variable-decl. 803ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff 804ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff // Check for extraneous top-level semicolon. 805df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::semi)) { 806ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff Diag(Tok, diag::ext_extra_struct_semi); 807ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff ConsumeToken(); 808ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff continue; 809ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff } 810e13594279a952537ac903325efff57e3edca79d9Chris Lattner 811ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff // Set the default visibility to private. 812df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::at)) { // parse objc-visibility-spec 813ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff ConsumeToken(); // eat the @ sign 814861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff switch (Tok.getObjCKeywordID()) { 815ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff case tok::objc_private: 816ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff case tok::objc_public: 817ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff case tok::objc_protected: 818ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff case tok::objc_package: 819861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff visibility = Tok.getObjCKeywordID(); 820ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff ConsumeToken(); 821ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff continue; 822ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff default: 823ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff Diag(Tok, diag::err_objc_illegal_visibility_spec); 824ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff continue; 825ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff } 826ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff } 827e13594279a952537ac903325efff57e3edca79d9Chris Lattner 828e13594279a952537ac903325efff57e3edca79d9Chris Lattner // Parse all the comma separated declarators. 829e13594279a952537ac903325efff57e3edca79d9Chris Lattner DeclSpec DS; 830e13594279a952537ac903325efff57e3edca79d9Chris Lattner FieldDeclarators.clear(); 831e13594279a952537ac903325efff57e3edca79d9Chris Lattner ParseStructDeclaration(DS, FieldDeclarators); 832e13594279a952537ac903325efff57e3edca79d9Chris Lattner 833e13594279a952537ac903325efff57e3edca79d9Chris Lattner // Convert them all to fields. 834e13594279a952537ac903325efff57e3edca79d9Chris Lattner for (unsigned i = 0, e = FieldDeclarators.size(); i != e; ++i) { 835e13594279a952537ac903325efff57e3edca79d9Chris Lattner FieldDeclarator &FD = FieldDeclarators[i]; 836e13594279a952537ac903325efff57e3edca79d9Chris Lattner // Install the declarator into interfaceDecl. 8371d78cc443084134428c4c333fab25148900c3ca4Fariborz Jahanian DeclTy *Field = Actions.ActOnIvar(CurScope, 838e13594279a952537ac903325efff57e3edca79d9Chris Lattner DS.getSourceRange().getBegin(), 8391d78cc443084134428c4c333fab25148900c3ca4Fariborz Jahanian FD.D, FD.BitfieldSize, visibility); 840e13594279a952537ac903325efff57e3edca79d9Chris Lattner AllIvarDecls.push_back(Field); 8417d6402f753916a82d93ef0bf0f703ae4243a52beFariborz Jahanian } 8423536b443bc50d58a79f14fca9b6842541a434854Steve Naroff 843df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::semi)) { 844ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff ConsumeToken(); 845ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff } else { 846ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff Diag(Tok, diag::err_expected_semi_decl_list); 847ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff // Skip to end of block or statement 848ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff SkipUntil(tok::r_brace, true, true); 849ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff } 850ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff } 85160fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff SourceLocation RBraceLoc = MatchRHSPunctuation(tok::r_brace, LBraceLoc); 8528749be53f53384e7846502791ceda6c657228d07Steve Naroff // Call ActOnFields() even if we don't have any decls. This is useful 8538749be53f53384e7846502791ceda6c657228d07Steve Naroff // for code rewriting tools that need to be aware of the empty list. 8548749be53f53384e7846502791ceda6c657228d07Steve Naroff Actions.ActOnFields(CurScope, atLoc, interfaceDecl, 8558749be53f53384e7846502791ceda6c657228d07Steve Naroff &AllIvarDecls[0], AllIvarDecls.size(), 8561d78cc443084134428c4c333fab25148900c3ca4Fariborz Jahanian LBraceLoc, RBraceLoc); 857ddbff78fb719a645b04bd27099fa6ec8c4693b3cSteve Naroff return; 8585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 859dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 860dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-declaration: 861dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-definition 862dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-forward-reference 863dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 864dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-definition: 865dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @protocol identifier 866dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-refs[opt] 8673536b443bc50d58a79f14fca9b6842541a434854Steve Naroff/// objc-interface-decl-list 868dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @end 869dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 870dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-protocol-forward-reference: 871dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @protocol identifier-list ';' 872dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 873dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// "@protocol identifier ;" should be resolved as "@protocol 8743536b443bc50d58a79f14fca9b6842541a434854Steve Naroff/// identifier-list ;": objc-interface-decl-list may not start with a 875dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// semicolon in the first alternative if objc-protocol-refs are omitted. 8767ef58fdbefddf693910e6403a71b3d367444c897Steve NaroffParser::DeclTy *Parser::ParseObjCAtProtocolDeclaration(SourceLocation AtLoc) { 877861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff assert(Tok.isObjCAtKeyword(tok::objc_protocol) && 8787ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff "ParseObjCAtProtocolDeclaration(): Expected @protocol"); 8797ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff ConsumeToken(); // the "protocol" identifier 8807ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff 881df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 8827ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff Diag(Tok, diag::err_expected_ident); // missing protocol name. 8837ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff return 0; 8847ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff } 8857ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff // Save the protocol name, then consume it. 8867ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff IdentifierInfo *protocolName = Tok.getIdentifierInfo(); 8877ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff SourceLocation nameLoc = ConsumeToken(); 8887ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff 889df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::semi)) { // forward declaration of one protocol. 8907caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner IdentifierLocPair ProtoInfo(protocolName, nameLoc); 8917ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff ConsumeToken(); 8927caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner return Actions.ActOnForwardProtocolDeclaration(AtLoc, &ProtoInfo, 1); 8937ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff } 8947caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner 895df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::comma)) { // list of forward declarations. 8967caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner llvm::SmallVector<IdentifierLocPair, 8> ProtocolRefs; 8977caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner ProtocolRefs.push_back(std::make_pair(protocolName, nameLoc)); 8987caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner 8997ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff // Parse the list of forward declarations. 9007ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff while (1) { 9017ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff ConsumeToken(); // the ',' 902df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 9037ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff Diag(Tok, diag::err_expected_ident); 9047ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff SkipUntil(tok::semi); 9057ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff return 0; 9067ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff } 9077caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner ProtocolRefs.push_back(IdentifierLocPair(Tok.getIdentifierInfo(), 9087caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner Tok.getLocation())); 9097ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff ConsumeToken(); // the identifier 9107ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff 911df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::comma)) 9127ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff break; 9137ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff } 9147ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff // Consume the ';'. 9157ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff if (ExpectAndConsume(tok::semi, diag::err_expected_semi_after, "@protocol")) 9167ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff return 0; 9177caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner 918e440eb8158e71deb1e4ab11618ae3d680aac6da1Steve Naroff return Actions.ActOnForwardProtocolDeclaration(AtLoc, 91937e58d104d7756f7c18f525b74e46b8eeec8ef81Steve Naroff &ProtocolRefs[0], 92037e58d104d7756f7c18f525b74e46b8eeec8ef81Steve Naroff ProtocolRefs.size()); 9217caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner } 9227caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner 9237ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff // Last, and definitely not least, parse a protocol declaration. 924e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner SourceLocation EndProtoLoc; 9257caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner 926e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner llvm::SmallVector<DeclTy *, 8> ProtocolRefs; 9277caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner if (Tok.is(tok::less) && 928e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner ParseObjCProtocolReferences(ProtocolRefs, true, EndProtoLoc)) 9297caeabd868d46cf4e68478c6e9136dae4e735d21Chris Lattner return 0; 93025e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanian 931e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner DeclTy *ProtoType = 932e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner Actions.ActOnStartProtocolInterface(AtLoc, protocolName, nameLoc, 933e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner &ProtocolRefs[0], ProtocolRefs.size(), 934e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner EndProtoLoc); 93525e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanian ParseObjCInterfaceDeclList(ProtoType, tok::objc_protocol); 9367ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff 9377ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff // The @ sign was already consumed by ParseObjCInterfaceDeclList(). 938861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff if (Tok.isObjCAtKeyword(tok::objc_end)) { 9397ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff ConsumeToken(); // the "end" identifier 940ab0aeb0bf3eb289013e9f37e75c3dfc4c618f53cFariborz Jahanian return ProtoType; 9417ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff } 9427ef58fdbefddf693910e6403a71b3d367444c897Steve Naroff Diag(Tok, diag::err_objc_missing_end); 943dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff return 0; 944dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff} 945dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 946dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-implementation: 947dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-class-implementation-prologue 948dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-category-implementation-prologue 949dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 950dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-class-implementation-prologue: 951dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @implementation identifier objc-superclass[opt] 952dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-class-instance-variables[opt] 953dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// 954dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// objc-category-implementation-prologue: 955dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff/// @implementation identifier ( identifier ) 956dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff 957ac00b7f4a933e60e2f0afd83092339160adc140cFariborz JahanianParser::DeclTy *Parser::ParseObjCAtImplementationDeclaration( 958ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian SourceLocation atLoc) { 959ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian assert(Tok.isObjCAtKeyword(tok::objc_implementation) && 960ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian "ParseObjCAtImplementationDeclaration(): Expected @implementation"); 961ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian ConsumeToken(); // the "implementation" identifier 962ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian 963df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 964ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_ident); // missing class or category name. 965ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return 0; 966ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 967ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian // We have a class or category name - consume it. 968ccb4f314248fb2202637d3290f2b17af5646da08Fariborz Jahanian IdentifierInfo *nameId = Tok.getIdentifierInfo(); 969ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian SourceLocation nameLoc = ConsumeToken(); // consume class or category name 970ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian 971df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::l_paren)) { 972ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian // we have a category implementation. 973ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian SourceLocation lparenLoc = ConsumeParen(); 974ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian SourceLocation categoryLoc, rparenLoc; 975ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian IdentifierInfo *categoryId = 0; 976ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian 977df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::identifier)) { 978ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian categoryId = Tok.getIdentifierInfo(); 979ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian categoryLoc = ConsumeToken(); 980ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } else { 981ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_ident); // missing category name. 982ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return 0; 983ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 984df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::r_paren)) { 985ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_rparen); 986ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian SkipUntil(tok::r_paren, false); // don't stop at ';' 987ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return 0; 988ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 989ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian rparenLoc = ConsumeParen(); 990e440eb8158e71deb1e4ab11618ae3d680aac6da1Steve Naroff DeclTy *ImplCatType = Actions.ActOnStartCategoryImplementation( 9918f3fde00ad4d4f943321e338b914ae4740711c84Fariborz Jahanian atLoc, nameId, nameLoc, categoryId, 9928f3fde00ad4d4f943321e338b914ae4740711c84Fariborz Jahanian categoryLoc); 993a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCImpDecl = ImplCatType; 994db8f3d3bb96c75440f513c43ac73adace2aae5ffFariborz Jahanian return 0; 995ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 996ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian // We have a class implementation 997ccb4f314248fb2202637d3290f2b17af5646da08Fariborz Jahanian SourceLocation superClassLoc; 998ccb4f314248fb2202637d3290f2b17af5646da08Fariborz Jahanian IdentifierInfo *superClassId = 0; 999df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::colon)) { 1000ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian // We have a super class 1001ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian ConsumeToken(); 1002df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 1003ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_ident); // missing super class name. 1004ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return 0; 1005ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1006ccb4f314248fb2202637d3290f2b17af5646da08Fariborz Jahanian superClassId = Tok.getIdentifierInfo(); 1007ccb4f314248fb2202637d3290f2b17af5646da08Fariborz Jahanian superClassLoc = ConsumeToken(); // Consume super class name 1008ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1009e440eb8158e71deb1e4ab11618ae3d680aac6da1Steve Naroff DeclTy *ImplClsType = Actions.ActOnStartClassImplementation( 1010cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner atLoc, nameId, nameLoc, 1011ccb4f314248fb2202637d3290f2b17af5646da08Fariborz Jahanian superClassId, superClassLoc); 1012ccb4f314248fb2202637d3290f2b17af5646da08Fariborz Jahanian 101360fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff if (Tok.is(tok::l_brace)) // we have ivars 101460fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff ParseObjCClassInstanceVariables(ImplClsType/*FIXME*/, atLoc); 1015a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCImpDecl = ImplClsType; 1016ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian 1017db8f3d3bb96c75440f513c43ac73adace2aae5ffFariborz Jahanian return 0; 10185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 101960fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff 1020ac00b7f4a933e60e2f0afd83092339160adc140cFariborz JahanianParser::DeclTy *Parser::ParseObjCAtEndDeclaration(SourceLocation atLoc) { 1021ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian assert(Tok.isObjCAtKeyword(tok::objc_end) && 1022ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian "ParseObjCAtEndDeclaration(): Expected @end"); 1023ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian ConsumeToken(); // the "end" identifier 102494cdb25a49bd3716ab56ef6de0ea57d29e686bf2Fariborz Jahanian if (ObjCImpDecl) 1025a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek Actions.ActOnAtEnd(atLoc, ObjCImpDecl); 102694cdb25a49bd3716ab56ef6de0ea57d29e686bf2Fariborz Jahanian else 102794cdb25a49bd3716ab56ef6de0ea57d29e686bf2Fariborz Jahanian Diag(atLoc, diag::warn_expected_implementation); // missing @implementation 1028a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return ObjCImpDecl; 10295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 1030e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian 1031e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian/// compatibility-alias-decl: 1032e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian/// @compatibility_alias alias-name class-name ';' 1033e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian/// 1034e992af01d14e2e31037562c123af0a71ae1ed374Fariborz JahanianParser::DeclTy *Parser::ParseObjCAtAliasDeclaration(SourceLocation atLoc) { 1035e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian assert(Tok.isObjCAtKeyword(tok::objc_compatibility_alias) && 1036e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian "ParseObjCAtAliasDeclaration(): Expected @compatibility_alias"); 1037e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian ConsumeToken(); // consume compatibility_alias 1038df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 1039e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian Diag(Tok, diag::err_expected_ident); 1040e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian return 0; 1041e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian } 1042243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian IdentifierInfo *aliasId = Tok.getIdentifierInfo(); 1043243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian SourceLocation aliasLoc = ConsumeToken(); // consume alias-name 1044df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 1045e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian Diag(Tok, diag::err_expected_ident); 1046e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian return 0; 1047e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian } 1048243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian IdentifierInfo *classId = Tok.getIdentifierInfo(); 1049243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian SourceLocation classLoc = ConsumeToken(); // consume class-name; 1050243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian if (Tok.isNot(tok::semi)) { 10518cd8c66914638429294ac510a4f15f43ba7f36a5Fariborz Jahanian Diag(Tok, diag::err_expected_semi_after, "@compatibility_alias"); 1052243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian return 0; 1053243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian } 1054243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian DeclTy *ClsType = Actions.ActOnCompatiblityAlias(atLoc, 1055243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian aliasId, aliasLoc, 1056243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian classId, classLoc); 1057243b64b0001172405ff803c61bdcaa8e98ec1552Fariborz Jahanian return ClsType; 10585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 10595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1060ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// property-synthesis: 1061ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// @synthesize property-ivar-list ';' 1062ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// 1063ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// property-ivar-list: 1064ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// property-ivar 1065ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// property-ivar-list ',' property-ivar 1066ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// 1067ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// property-ivar: 1068ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// identifier 1069ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// identifier '=' identifier 1070ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// 1071ac00b7f4a933e60e2f0afd83092339160adc140cFariborz JahanianParser::DeclTy *Parser::ParseObjCPropertySynthesize(SourceLocation atLoc) { 1072ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian assert(Tok.isObjCAtKeyword(tok::objc_synthesize) && 1073ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian "ParseObjCPropertyDynamic(): Expected '@synthesize'"); 1074f624f8186d8fe474350051c6d3f00b2c204fbeaeFariborz Jahanian SourceLocation loc = ConsumeToken(); // consume synthesize 1075df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 1076ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_ident); 1077ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return 0; 1078ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1079df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner while (Tok.is(tok::identifier)) { 1080f624f8186d8fe474350051c6d3f00b2c204fbeaeFariborz Jahanian IdentifierInfo *propertyIvar = 0; 1081f624f8186d8fe474350051c6d3f00b2c204fbeaeFariborz Jahanian IdentifierInfo *propertyId = Tok.getIdentifierInfo(); 1082f624f8186d8fe474350051c6d3f00b2c204fbeaeFariborz Jahanian SourceLocation propertyLoc = ConsumeToken(); // consume property name 1083df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::equal)) { 1084ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian // property '=' ivar-name 1085ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian ConsumeToken(); // consume '=' 1086df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 1087ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_ident); 1088ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian break; 1089ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1090f624f8186d8fe474350051c6d3f00b2c204fbeaeFariborz Jahanian propertyIvar = Tok.getIdentifierInfo(); 1091ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian ConsumeToken(); // consume ivar-name 1092ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1093f624f8186d8fe474350051c6d3f00b2c204fbeaeFariborz Jahanian Actions.ActOnPropertyImplDecl(atLoc, propertyLoc, true, ObjCImpDecl, 1094f624f8186d8fe474350051c6d3f00b2c204fbeaeFariborz Jahanian propertyId, propertyIvar); 1095df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::comma)) 1096ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian break; 1097ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian ConsumeToken(); // consume ',' 1098ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1099df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::semi)) 1100ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_semi_after, "@synthesize"); 1101ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return 0; 1102ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian} 1103ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian 1104ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// property-dynamic: 1105ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// @dynamic property-list 1106ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// 1107ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// property-list: 1108ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// identifier 1109ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// property-list ',' identifier 1110ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// 1111ac00b7f4a933e60e2f0afd83092339160adc140cFariborz JahanianParser::DeclTy *Parser::ParseObjCPropertyDynamic(SourceLocation atLoc) { 1112ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian assert(Tok.isObjCAtKeyword(tok::objc_dynamic) && 1113ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian "ParseObjCPropertyDynamic(): Expected '@dynamic'"); 1114ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian SourceLocation loc = ConsumeToken(); // consume dynamic 1115df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::identifier)) { 1116ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_ident); 1117ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return 0; 1118ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1119df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner while (Tok.is(tok::identifier)) { 1120c35b9e4e2efad727538c848cf30d4b0eb1031dc9Fariborz Jahanian IdentifierInfo *propertyId = Tok.getIdentifierInfo(); 1121c35b9e4e2efad727538c848cf30d4b0eb1031dc9Fariborz Jahanian SourceLocation propertyLoc = ConsumeToken(); // consume property name 1122c35b9e4e2efad727538c848cf30d4b0eb1031dc9Fariborz Jahanian Actions.ActOnPropertyImplDecl(atLoc, propertyLoc, false, ObjCImpDecl, 1123c35b9e4e2efad727538c848cf30d4b0eb1031dc9Fariborz Jahanian propertyId, 0); 1124c35b9e4e2efad727538c848cf30d4b0eb1031dc9Fariborz Jahanian 1125df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::comma)) 1126ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian break; 1127ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian ConsumeToken(); // consume ',' 1128ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1129df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::semi)) 1130ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian Diag(Tok, diag::err_expected_semi_after, "@dynamic"); 1131ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian return 0; 1132ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian} 1133397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian 1134397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// objc-throw-statement: 1135397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// throw expression[opt]; 1136397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// 113739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz JahanianParser::StmtResult Parser::ParseObjCThrowStmt(SourceLocation atLoc) { 113839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian ExprResult Res; 1139397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian ConsumeToken(); // consume throw 1140df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::semi)) { 114139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian Res = ParseExpression(); 1142397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian if (Res.isInvalid) { 1143397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian SkipUntil(tok::semi); 114439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian return true; 1145397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian } 1146397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian } 114739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian ConsumeToken(); // consume ';' 1148a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return Actions.ActOnObjCAtThrowStmt(atLoc, Res.Val); 1149397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian} 1150397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian 1151c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// objc-synchronized-statement: 115278a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// @synchronized '(' expression ')' compound-statement 1153c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// 1154c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz JahanianParser::StmtResult Parser::ParseObjCSynchronizedStmt(SourceLocation atLoc) { 1155fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian ConsumeToken(); // consume synchronized 1156fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian if (Tok.isNot(tok::l_paren)) { 1157fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian Diag (Tok, diag::err_expected_lparen_after, "@synchronized"); 1158fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian return true; 1159fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian } 1160fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian ConsumeParen(); // '(' 116178a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian ExprResult Res = ParseExpression(); 1162fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian if (Res.isInvalid) { 1163fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian SkipUntil(tok::semi); 1164fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian return true; 1165fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian } 1166fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian if (Tok.isNot(tok::r_paren)) { 116778a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian Diag (Tok, diag::err_expected_lbrace); 1168fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian return true; 1169fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian } 1170fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian ConsumeParen(); // ')' 117178a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian if (Tok.isNot(tok::l_brace)) { 117278a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian Diag (Tok, diag::err_expected_lbrace); 117378a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return true; 117478a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 11753ac438c383a4a9a73c76a05c76ec5d02f10a3c52Steve Naroff // Enter a scope to hold everything within the compound stmt. Compound 11763ac438c383a4a9a73c76a05c76ec5d02f10a3c52Steve Naroff // statements can always hold declarations. 11773ac438c383a4a9a73c76a05c76ec5d02f10a3c52Steve Naroff EnterScope(Scope::DeclScope); 11783ac438c383a4a9a73c76a05c76ec5d02f10a3c52Steve Naroff 1179fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian StmtResult SynchBody = ParseCompoundStatementBody(); 11803ac438c383a4a9a73c76a05c76ec5d02f10a3c52Steve Naroff 11813ac438c383a4a9a73c76a05c76ec5d02f10a3c52Steve Naroff ExitScope(); 1182fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian if (SynchBody.isInvalid) 1183fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian SynchBody = Actions.ActOnNullStmt(Tok.getLocation()); 1184fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian return Actions.ActOnObjCAtSynchronizedStmt(atLoc, Res.Val, SynchBody.Val); 1185c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian} 1186c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1187397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// objc-try-catch-statement: 1188397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// @try compound-statement objc-catch-list[opt] 1189397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// @try compound-statement objc-catch-list[opt] @finally compound-statement 1190397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// 1191397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// objc-catch-list: 1192397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// @catch ( parameter-declaration ) compound-statement 1193397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// objc-catch-list @catch ( catch-parameter-declaration ) compound-statement 1194397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// catch-parameter-declaration: 1195397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// parameter-declaration 1196397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// '...' [OBJC2] 1197397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian/// 11986b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris LattnerParser::StmtResult Parser::ParseObjCTryStmt(SourceLocation atLoc) { 1199397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian bool catch_or_finally_seen = false; 120064515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff 1201397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian ConsumeToken(); // consume try 1202df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::l_brace)) { 1203397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian Diag (Tok, diag::err_expected_lbrace); 1204b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return true; 1205397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian } 12063b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian StmtResult CatchStmts; 1207161a9c5afaafb4d527b7efba9675a8b2cbbe32e0Fariborz Jahanian StmtResult FinallyStmt; 1208397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian StmtResult TryBody = ParseCompoundStatementBody(); 1209bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian if (TryBody.isInvalid) 1210bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian TryBody = Actions.ActOnNullStmt(Tok.getLocation()); 12116b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 1212df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner while (Tok.is(tok::at)) { 12136b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner // At this point, we need to lookahead to determine if this @ is the start 12146b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner // of an @catch or @finally. We don't want to consume the @ token if this 12156b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner // is an @try or @encode or something else. 12166b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner Token AfterAt = GetLookAheadToken(1); 12176b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner if (!AfterAt.isObjCAtKeyword(tok::objc_catch) && 12186b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner !AfterAt.isObjCAtKeyword(tok::objc_finally)) 12196b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner break; 12206b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 1221161a9c5afaafb4d527b7efba9675a8b2cbbe32e0Fariborz Jahanian SourceLocation AtCatchFinallyLoc = ConsumeToken(); 1222cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner if (Tok.isObjCAtKeyword(tok::objc_catch)) { 12233b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian StmtTy *FirstPart = 0; 12243b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian ConsumeToken(); // consume catch 1225df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::l_paren)) { 1226397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian ConsumeParen(); 12273b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian EnterScope(Scope::DeclScope); 1228df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::ellipsis)) { 1229397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian DeclSpec DS; 1230397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian ParseDeclarationSpecifiers(DS); 1231459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff // For some odd reason, the name of the exception variable is 1232459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff // optional. As a result, we need to use PrototypeContext. 1233459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff Declarator DeclaratorInfo(DS, Declarator::PrototypeContext); 12343b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian ParseDeclarator(DeclaratorInfo); 1235459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff if (DeclaratorInfo.getIdentifier()) { 1236459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff DeclTy *aBlockVarDecl = Actions.ActOnDeclarator(CurScope, 1237914701ed49f31323176a784b49df05a0d177d1adDaniel Dunbar DeclaratorInfo, 0); 1238459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff StmtResult stmtResult = 1239459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff Actions.ActOnDeclStmt(aBlockVarDecl, 1240459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff DS.getSourceRange().getBegin(), 1241459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff DeclaratorInfo.getSourceRange().getEnd()); 1242459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff FirstPart = stmtResult.isInvalid ? 0 : stmtResult.Val; 1243459a1e2212115f4ff89db7f444df5af41792b18aSteve Naroff } 124464515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff } else 1245397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian ConsumeToken(); // consume '...' 12463b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian SourceLocation RParenLoc = ConsumeParen(); 1247c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner 1248c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner StmtResult CatchBody(true); 1249c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner if (Tok.is(tok::l_brace)) 1250c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner CatchBody = ParseCompoundStatementBody(); 1251c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner else 1252c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner Diag(Tok, diag::err_expected_lbrace); 12533b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian if (CatchBody.isInvalid) 12543b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian CatchBody = Actions.ActOnNullStmt(Tok.getLocation()); 1255a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek CatchStmts = Actions.ActOnObjCAtCatchStmt(AtCatchFinallyLoc, RParenLoc, 12563b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian FirstPart, CatchBody.Val, CatchStmts.Val); 12573b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian ExitScope(); 125864515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff } else { 1259161a9c5afaafb4d527b7efba9675a8b2cbbe32e0Fariborz Jahanian Diag(AtCatchFinallyLoc, diag::err_expected_lparen_after, 1260161a9c5afaafb4d527b7efba9675a8b2cbbe32e0Fariborz Jahanian "@catch clause"); 1261b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return true; 1262397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian } 1263397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian catch_or_finally_seen = true; 12646b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner } else { 12656b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner assert(Tok.isObjCAtKeyword(tok::objc_finally) && "Lookahead confused?"); 126664515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff ConsumeToken(); // consume finally 1267c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner 1268c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner StmtResult FinallyBody(true); 1269c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner if (Tok.is(tok::l_brace)) 1270c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner FinallyBody = ParseCompoundStatementBody(); 1271c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner else 1272c1b3ba5ae08316fe43e541c4fb02921fc3e80b21Chris Lattner Diag(Tok, diag::err_expected_lbrace); 1273161a9c5afaafb4d527b7efba9675a8b2cbbe32e0Fariborz Jahanian if (FinallyBody.isInvalid) 1274161a9c5afaafb4d527b7efba9675a8b2cbbe32e0Fariborz Jahanian FinallyBody = Actions.ActOnNullStmt(Tok.getLocation()); 1275a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek FinallyStmt = Actions.ActOnObjCAtFinallyStmt(AtCatchFinallyLoc, 1276161a9c5afaafb4d527b7efba9675a8b2cbbe32e0Fariborz Jahanian FinallyBody.Val); 1277397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian catch_or_finally_seen = true; 1278397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian break; 1279397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian } 1280397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian } 1281bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian if (!catch_or_finally_seen) { 1282397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian Diag(atLoc, diag::err_missing_catch_finally); 1283bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian return true; 1284bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian } 1285a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return Actions.ActOnObjCAtTryStmt(atLoc, TryBody.Val, CatchStmts.Val, 1286bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian FinallyStmt.Val); 1287397fcc117e5631db53879fbfcca66966088f3f07Fariborz Jahanian} 1288ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian 12893536b443bc50d58a79f14fca9b6842541a434854Steve Naroff/// objc-method-def: objc-method-proto ';'[opt] '{' body '}' 1290ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian/// 129171c0a951d08dc7a2a057df8c15f22b36f6aa47c7Steve NaroffParser::DeclTy *Parser::ParseObjCMethodDefinition() { 1292a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DeclTy *MDecl = ParseObjCMethodPrototype(ObjCImpDecl); 1293ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian // parse optional ';' 1294df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::semi)) 1295ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian ConsumeToken(); 1296ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian 1297409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff // We should have an opening brace now. 1298df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::l_brace)) { 1299da323adbb99cee19a203ead852d5d9bfebb23fb7Steve Naroff Diag(Tok, diag::err_expected_method_body); 1300409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff 1301409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff // Skip over garbage, until we get to '{'. Don't eat the '{'. 1302409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff SkipUntil(tok::l_brace, true, true); 1303409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff 1304409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff // If we didn't find the '{', bail out. 1305409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff if (Tok.isNot(tok::l_brace)) 130671c0a951d08dc7a2a057df8c15f22b36f6aa47c7Steve Naroff return 0; 1307ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian } 1308409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff SourceLocation BraceLoc = Tok.getLocation(); 1309409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff 1310409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff // Enter a scope for the method body. 1311409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff EnterScope(Scope::FnScope|Scope::DeclScope); 1312409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff 1313409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff // Tell the actions module that we have entered a method definition with the 1314394f3f483fa4e7b472630cfcd03f7840520958c5Steve Naroff // specified Declarator for the method. 1315394f3f483fa4e7b472630cfcd03f7840520958c5Steve Naroff Actions.ObjCActOnStartOfMethodDef(CurScope, MDecl); 1316409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff 1317409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff StmtResult FnBody = ParseCompoundStatementBody(); 1318409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff 1319409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff // If the function body could not be parsed, make a bogus compoundstmt. 1320409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff if (FnBody.isInvalid) 1321409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff FnBody = Actions.ActOnCompoundStmt(BraceLoc, BraceLoc, 0, 0, false); 1322409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff 1323409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff // Leave the function body scope. 1324409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff ExitScope(); 1325409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff 1326409be835b68344e0de56f99ef9a1e12760bc69eeSteve Naroff // TODO: Pass argument information. 1327394f3f483fa4e7b472630cfcd03f7840520958c5Steve Naroff Actions.ActOnFinishFunctionBody(MDecl, FnBody.Val); 132871c0a951d08dc7a2a057df8c15f22b36f6aa47c7Steve Naroff return MDecl; 13295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 13305508518a2702b00be3b15a26d772bde968972f54Anders Carlsson 133164515f31850024a263e8f55f81e9ea4b39925cfaSteve NaroffParser::StmtResult Parser::ParseObjCAtStatement(SourceLocation AtLoc) { 133264515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff if (Tok.isObjCAtKeyword(tok::objc_try)) { 13336b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner return ParseObjCTryStmt(AtLoc); 133464515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff } else if (Tok.isObjCAtKeyword(tok::objc_throw)) 133564515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff return ParseObjCThrowStmt(AtLoc); 133664515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff else if (Tok.isObjCAtKeyword(tok::objc_synchronized)) 133764515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff return ParseObjCSynchronizedStmt(AtLoc); 133864515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff ExprResult Res = ParseExpressionWithLeadingAt(AtLoc); 133964515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff if (Res.isInvalid) { 134064515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff // If the expression is invalid, skip ahead to the next semicolon. Not 134164515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff // doing this opens us up to the possibility of infinite loops if 134264515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff // ParseExpression does not consume any tokens. 134364515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff SkipUntil(tok::semi); 134464515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff return true; 134564515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff } 134664515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff // Otherwise, eat the semicolon. 134764515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff ExpectAndConsume(tok::semi, diag::err_expected_semi_after_expr); 134864515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff return Actions.ActOnExprStmt(Res.Val); 134964515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff} 135064515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff 1351a642beb9f143130588dcf622f5f7020832b22707Steve NaroffParser::ExprResult Parser::ParseObjCAtExpression(SourceLocation AtLoc) { 13525508518a2702b00be3b15a26d772bde968972f54Anders Carlsson switch (Tok.getKind()) { 1353b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner case tok::string_literal: // primary-expression: string-literal 1354b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner case tok::wide_string_literal: 1355b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner return ParsePostfixExpressionSuffix(ParseObjCStringLiteral(AtLoc)); 1356b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner default: 13574fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner if (Tok.getIdentifierInfo() == 0) 13584fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return Diag(AtLoc, diag::err_unexpected_at); 13594fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 13604fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner switch (Tok.getIdentifierInfo()->getObjCKeywordID()) { 13614fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner case tok::objc_encode: 13624fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return ParsePostfixExpressionSuffix(ParseObjCEncodeExpression(AtLoc)); 13634fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner case tok::objc_protocol: 13644fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return ParsePostfixExpressionSuffix(ParseObjCProtocolExpression(AtLoc)); 13654fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner case tok::objc_selector: 13664fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return ParsePostfixExpressionSuffix(ParseObjCSelectorExpression(AtLoc)); 13674fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner default: 13684fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return Diag(AtLoc, diag::err_unexpected_at); 13694fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner } 13705508518a2702b00be3b15a26d772bde968972f54Anders Carlsson } 13715508518a2702b00be3b15a26d772bde968972f54Anders Carlsson} 13725508518a2702b00be3b15a26d772bde968972f54Anders Carlsson 13730ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-message-expr: 13740ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// '[' objc-receiver objc-message-args ']' 13750ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// 13760ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-receiver: 13770ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// expression 13780ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// class-name 13790ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// type-name 1380699b66138ac307a32e238463e0eff513ff17d337Chris LattnerParser::ExprResult Parser::ParseObjCMessageExpression() { 1381699b66138ac307a32e238463e0eff513ff17d337Chris Lattner assert(Tok.is(tok::l_square) && "'[' expected"); 1382699b66138ac307a32e238463e0eff513ff17d337Chris Lattner SourceLocation LBracLoc = ConsumeBracket(); // consume '[' 1383699b66138ac307a32e238463e0eff513ff17d337Chris Lattner 1384699b66138ac307a32e238463e0eff513ff17d337Chris Lattner // Parse receiver 138514dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner if (isTokObjCMessageIdentifierReceiver()) { 1386699b66138ac307a32e238463e0eff513ff17d337Chris Lattner IdentifierInfo *ReceiverName = Tok.getIdentifierInfo(); 1387699b66138ac307a32e238463e0eff513ff17d337Chris Lattner ConsumeToken(); 1388699b66138ac307a32e238463e0eff513ff17d337Chris Lattner return ParseObjCMessageExpressionBody(LBracLoc, ReceiverName, 0); 1389699b66138ac307a32e238463e0eff513ff17d337Chris Lattner } 1390699b66138ac307a32e238463e0eff513ff17d337Chris Lattner 1391699b66138ac307a32e238463e0eff513ff17d337Chris Lattner ExprResult Res = ParseAssignmentExpression(); 1392699b66138ac307a32e238463e0eff513ff17d337Chris Lattner if (Res.isInvalid) { 13935c749428a9938d5e2e9564b1c9b7a9252c30ee27Chris Lattner SkipUntil(tok::r_square); 1394699b66138ac307a32e238463e0eff513ff17d337Chris Lattner return Res; 1395699b66138ac307a32e238463e0eff513ff17d337Chris Lattner } 13964fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 1397699b66138ac307a32e238463e0eff513ff17d337Chris Lattner return ParseObjCMessageExpressionBody(LBracLoc, 0, Res.Val); 1398699b66138ac307a32e238463e0eff513ff17d337Chris Lattner} 1399699b66138ac307a32e238463e0eff513ff17d337Chris Lattner 1400699b66138ac307a32e238463e0eff513ff17d337Chris Lattner/// ParseObjCMessageExpressionBody - Having parsed "'[' objc-receiver", parse 1401699b66138ac307a32e238463e0eff513ff17d337Chris Lattner/// the rest of a message expression. 14020ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// 14030ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-message-args: 14040ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-selector 14050ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-keywordarg-list 14060ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// 14070ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-keywordarg-list: 14080ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-keywordarg 14090ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-keywordarg-list objc-keywordarg 14100ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// 14110ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-keywordarg: 14120ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// selector-name[opt] ':' objc-keywordexpr 14130ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// 14140ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// objc-keywordexpr: 14150ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// nonempty-expr-list 14160ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// 14170ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// nonempty-expr-list: 14180ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// assignment-expression 14190ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// nonempty-expr-list , assignment-expression 14200ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian/// 1421699b66138ac307a32e238463e0eff513ff17d337Chris LattnerParser::ExprResult 1422699b66138ac307a32e238463e0eff513ff17d337Chris LattnerParser::ParseObjCMessageExpressionBody(SourceLocation LBracLoc, 1423699b66138ac307a32e238463e0eff513ff17d337Chris Lattner IdentifierInfo *ReceiverName, 1424699b66138ac307a32e238463e0eff513ff17d337Chris Lattner ExprTy *ReceiverExpr) { 1425a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian // Parse objc-selector 14264b6c9051c6522894978c9ba6a819a659d102db36Fariborz Jahanian SourceLocation Loc; 14274b6c9051c6522894978c9ba6a819a659d102db36Fariborz Jahanian IdentifierInfo *selIdent = ParseObjCSelector(Loc); 142868d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff 142968d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff llvm::SmallVector<IdentifierInfo *, 12> KeyIdents; 143068d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff llvm::SmallVector<Action::ExprTy *, 12> KeyExprs; 143168d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff 1432df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.is(tok::colon)) { 1433a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian while (1) { 1434a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian // Each iteration parses a single keyword argument. 143568d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff KeyIdents.push_back(selIdent); 143637387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff 1437df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::colon)) { 1438a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian Diag(Tok, diag::err_expected_colon); 14394fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // We must manually skip to a ']', otherwise the expression skipper will 14404fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // stop at the ']' when it skips to the ';'. We want it to skip beyond 14414fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // the enclosing expression. 14424fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner SkipUntil(tok::r_square); 144337387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff return true; 1444a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian } 14454fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 144668d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff ConsumeToken(); // Eat the ':'. 1447a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian /// Parse the expression after ':' 144837387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff ExprResult Res = ParseAssignmentExpression(); 144937387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff if (Res.isInvalid) { 14504fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // We must manually skip to a ']', otherwise the expression skipper will 14514fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // stop at the ']' when it skips to the ';'. We want it to skip beyond 14524fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // the enclosing expression. 14534fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner SkipUntil(tok::r_square); 145437387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff return Res; 145537387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff } 14564fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 145737387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff // We have a valid expression. 145868d331a78e655d97294e94fcfa63f92cc1f40578Steve Naroff KeyExprs.push_back(Res.Val); 1459a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian 146037387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff // Check for another keyword selector. 14614b6c9051c6522894978c9ba6a819a659d102db36Fariborz Jahanian selIdent = ParseObjCSelector(Loc); 1462df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (!selIdent && Tok.isNot(tok::colon)) 1463a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian break; 1464a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian // We have a selector or a colon, continue parsing. 1465a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian } 1466a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian // Parse the, optional, argument list, comma separated. 1467df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner while (Tok.is(tok::comma)) { 146849f109c786f99eb7468dac3976db083a65493444Steve Naroff ConsumeToken(); // Eat the ','. 146949f109c786f99eb7468dac3976db083a65493444Steve Naroff /// Parse the expression after ',' 147049f109c786f99eb7468dac3976db083a65493444Steve Naroff ExprResult Res = ParseAssignmentExpression(); 147149f109c786f99eb7468dac3976db083a65493444Steve Naroff if (Res.isInvalid) { 14724fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // We must manually skip to a ']', otherwise the expression skipper will 14734fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // stop at the ']' when it skips to the ';'. We want it to skip beyond 14744fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // the enclosing expression. 14754fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner SkipUntil(tok::r_square); 147649f109c786f99eb7468dac3976db083a65493444Steve Naroff return Res; 147749f109c786f99eb7468dac3976db083a65493444Steve Naroff } 14784fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 147949f109c786f99eb7468dac3976db083a65493444Steve Naroff // We have a valid expression. 148049f109c786f99eb7468dac3976db083a65493444Steve Naroff KeyExprs.push_back(Res.Val); 1481a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian } 1482a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian } else if (!selIdent) { 1483a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian Diag(Tok, diag::err_expected_ident); // missing selector name. 14844fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 14854fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // We must manually skip to a ']', otherwise the expression skipper will 14864fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // stop at the ']' when it skips to the ';'. We want it to skip beyond 14874fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // the enclosing expression. 14884fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner SkipUntil(tok::r_square); 14890ba0aa1460ae234423609c09da1b6ad11fae24f3Fariborz Jahanian return true; 1490a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian } 1491ff38491c18b060526d754765b952f4a497a89416Chris Lattner 1492df19526177bc6d0a3ea4d1ae97497869f60563dbChris Lattner if (Tok.isNot(tok::r_square)) { 1493a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian Diag(Tok, diag::err_expected_rsquare); 14944fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // We must manually skip to a ']', otherwise the expression skipper will 14954fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // stop at the ']' when it skips to the ';'. We want it to skip beyond 14964fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner // the enclosing expression. 14974fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner SkipUntil(tok::r_square); 14980ba0aa1460ae234423609c09da1b6ad11fae24f3Fariborz Jahanian return true; 1499a65ff6c81f5b278000839988bb532114fd8c6797Fariborz Jahanian } 15004fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 1501699b66138ac307a32e238463e0eff513ff17d337Chris Lattner SourceLocation RBracLoc = ConsumeBracket(); // consume ']' 150237387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff 150329238a0bf7cbf5b396efb451a0adb5fe4aa037caSteve Naroff unsigned nKeys = KeyIdents.size(); 1504ff38491c18b060526d754765b952f4a497a89416Chris Lattner if (nKeys == 0) 1505ff38491c18b060526d754765b952f4a497a89416Chris Lattner KeyIdents.push_back(selIdent); 1506ff38491c18b060526d754765b952f4a497a89416Chris Lattner Selector Sel = PP.getSelectorTable().getSelector(nKeys, &KeyIdents[0]); 1507ff38491c18b060526d754765b952f4a497a89416Chris Lattner 1508ff38491c18b060526d754765b952f4a497a89416Chris Lattner // We've just parsed a keyword message. 150937387c932855c6d58d70bdd705cd3a9fdcd2a931Steve Naroff if (ReceiverName) 15100523aaf9759cd9524956f0930558737458849743Fariborz Jahanian return Actions.ActOnClassMessage(CurScope, 1511699b66138ac307a32e238463e0eff513ff17d337Chris Lattner ReceiverName, Sel, LBracLoc, RBracLoc, 151249f109c786f99eb7468dac3976db083a65493444Steve Naroff &KeyExprs[0], KeyExprs.size()); 1513699b66138ac307a32e238463e0eff513ff17d337Chris Lattner return Actions.ActOnInstanceMessage(ReceiverExpr, Sel, LBracLoc, RBracLoc, 151449f109c786f99eb7468dac3976db083a65493444Steve Naroff &KeyExprs[0], KeyExprs.size()); 15150ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian} 15160ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian 1517beaf299a2701c5559a4e5d76b0c40f805afb8e6aSteve NaroffParser::ExprResult Parser::ParseObjCStringLiteral(SourceLocation AtLoc) { 15185508518a2702b00be3b15a26d772bde968972f54Anders Carlsson ExprResult Res = ParseStringLiteralExpression(); 15195508518a2702b00be3b15a26d772bde968972f54Anders Carlsson if (Res.isInvalid) return Res; 1520b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner 1521b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner // @"foo" @"bar" is a valid concatenated string. Eat any subsequent string 1522b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner // expressions. At this point, we know that the only valid thing that starts 1523b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner // with '@' is an @"". 1524b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner llvm::SmallVector<SourceLocation, 4> AtLocs; 1525b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner llvm::SmallVector<ExprTy*, 4> AtStrings; 1526b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner AtLocs.push_back(AtLoc); 1527b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner AtStrings.push_back(Res.Val); 1528b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner 1529b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner while (Tok.is(tok::at)) { 1530b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner AtLocs.push_back(ConsumeToken()); // eat the @. 1531b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner 1532b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner ExprResult Res(true); // Invalid unless there is a string literal. 1533b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner if (isTokenStringLiteral()) 1534b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner Res = ParseStringLiteralExpression(); 1535b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner else 1536b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner Diag(Tok, diag::err_objc_concat_string); 1537b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner 1538b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner if (Res.isInvalid) { 1539b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner while (!AtStrings.empty()) { 1540b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner Actions.DeleteExpr(AtStrings.back()); 1541b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner AtStrings.pop_back(); 1542b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner } 1543b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner return Res; 1544b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner } 1545b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner 1546b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner AtStrings.push_back(Res.Val); 1547b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner } 154879a99f2c063ce7cd9b18852a39bf4c937fc1faf8Fariborz Jahanian 1549b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner return Actions.ParseObjCStringLiteral(&AtLocs[0], &AtStrings[0], 1550b3a99cd5bcaeff0c5ff6a60788b5eb68e52a3953Chris Lattner AtStrings.size()); 15515508518a2702b00be3b15a26d772bde968972f54Anders Carlsson} 1552f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson 1553f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson/// objc-encode-expression: 1554f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson/// @encode ( type-name ) 1555674af9541256dc3ef803e3723027a8b028f1f7a2Chris LattnerParser::ExprResult Parser::ParseObjCEncodeExpression(SourceLocation AtLoc) { 1556861cf3effdc0fbc97d401539bc3050da76b2476fSteve Naroff assert(Tok.isObjCAtKeyword(tok::objc_encode) && "Not an @encode expression!"); 1557f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson 1558f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson SourceLocation EncLoc = ConsumeToken(); 1559f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson 15604fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner if (Tok.isNot(tok::l_paren)) 15614fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return Diag(Tok, diag::err_expected_lparen_after, "@encode"); 1562f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson 1563f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson SourceLocation LParenLoc = ConsumeParen(); 1564f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson 1565f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson TypeTy *Ty = ParseTypeName(); 1566f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson 15674988ae3fda10743c8ed8a98cdcb5a783362587b4Anders Carlsson SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc); 1568f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson 1569674af9541256dc3ef803e3723027a8b028f1f7a2Chris Lattner return Actions.ParseObjCEncodeExpression(AtLoc, EncLoc, LParenLoc, Ty, 15704988ae3fda10743c8ed8a98cdcb5a783362587b4Anders Carlsson RParenLoc); 1571f9bcf01f82dfd2688f81e57bcc6300c9b13c51a6Anders Carlsson} 157229b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson 157329b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson/// objc-protocol-expression 157429b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson/// @protocol ( protocol-name ) 157529b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson 15762a35fa9b5e0f9d9429c04adb2e1249b6fd425e7aFariborz JahanianParser::ExprResult Parser::ParseObjCProtocolExpression(SourceLocation AtLoc) 157729b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson{ 157829b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson SourceLocation ProtoLoc = ConsumeToken(); 157929b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson 15804fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner if (Tok.isNot(tok::l_paren)) 15814fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return Diag(Tok, diag::err_expected_lparen_after, "@protocol"); 158229b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson 158329b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson SourceLocation LParenLoc = ConsumeParen(); 158429b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson 15854fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner if (Tok.isNot(tok::identifier)) 15864fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return Diag(Tok, diag::err_expected_ident); 15874fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 1588390d50a725497e99247dc104a7d2c2a255d3af14Fariborz Jahanian IdentifierInfo *protocolId = Tok.getIdentifierInfo(); 158929b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson ConsumeToken(); 159029b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson 15914988ae3fda10743c8ed8a98cdcb5a783362587b4Anders Carlsson SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc); 159229b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson 1593390d50a725497e99247dc104a7d2c2a255d3af14Fariborz Jahanian return Actions.ParseObjCProtocolExpression(protocolId, AtLoc, ProtoLoc, 1594390d50a725497e99247dc104a7d2c2a255d3af14Fariborz Jahanian LParenLoc, RParenLoc); 159529b2cb1ff1a3dd78edd38e2f43ee7041d3e4ec3cAnders Carlsson} 1596a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian 1597a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian/// objc-selector-expression 1598a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian/// @selector '(' objc-keyword-selector ')' 15992a35fa9b5e0f9d9429c04adb2e1249b6fd425e7aFariborz JahanianParser::ExprResult Parser::ParseObjCSelectorExpression(SourceLocation AtLoc) 1600a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian{ 1601a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian SourceLocation SelectorLoc = ConsumeToken(); 1602a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian 16034fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner if (Tok.isNot(tok::l_paren)) 16044fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return Diag(Tok, diag::err_expected_lparen_after, "@selector"); 1605a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian 1606b62f6813406a03bf8a371c4e46c9fad51d102121Fariborz Jahanian llvm::SmallVector<IdentifierInfo *, 12> KeyIdents; 1607a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian SourceLocation LParenLoc = ConsumeParen(); 1608a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian SourceLocation sLoc; 1609a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian IdentifierInfo *SelIdent = ParseObjCSelector(sLoc); 16104fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner if (!SelIdent && Tok.isNot(tok::colon)) 16114fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return Diag(Tok, diag::err_expected_ident); // missing selector name. 16124fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 1613b62f6813406a03bf8a371c4e46c9fad51d102121Fariborz Jahanian KeyIdents.push_back(SelIdent); 1614887407e71fd58de452361b77d72970e32b20ebe0Steve Naroff unsigned nColons = 0; 1615887407e71fd58de452361b77d72970e32b20ebe0Steve Naroff if (Tok.isNot(tok::r_paren)) { 1616a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian while (1) { 16174fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner if (Tok.isNot(tok::colon)) 16184fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner return Diag(Tok, diag::err_expected_colon); 16194fef81d718ca1b91ce2adef52db91a35f86e9bbdChris Lattner 1620cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner nColons++; 1621a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian ConsumeToken(); // Eat the ':'. 1622a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian if (Tok.is(tok::r_paren)) 1623a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian break; 1624a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian // Check for another keyword selector. 1625a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian SourceLocation Loc; 1626a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian SelIdent = ParseObjCSelector(Loc); 1627b62f6813406a03bf8a371c4e46c9fad51d102121Fariborz Jahanian KeyIdents.push_back(SelIdent); 1628a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian if (!SelIdent && Tok.isNot(tok::colon)) 1629a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian break; 1630a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian } 1631887407e71fd58de452361b77d72970e32b20ebe0Steve Naroff } 1632a0818e3cd7d59d05e6da41015033b5574c3d7893Fariborz Jahanian SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc); 1633887407e71fd58de452361b77d72970e32b20ebe0Steve Naroff Selector Sel = PP.getSelectorTable().getSelector(nColons, &KeyIdents[0]); 16342a35fa9b5e0f9d9429c04adb2e1249b6fd425e7aFariborz Jahanian return Actions.ParseObjCSelectorExpression(Sel, AtLoc, SelectorLoc, LParenLoc, 1635b62f6813406a03bf8a371c4e46c9fad51d102121Fariborz Jahanian RParenLoc); 163658065b2d8038a4e9a91ea4813bd1774c0f6efacbGabor Greif } 1637