Parser.h revision 2dd078ae50ff7be1fb25ebeedde45e9ab691a4f0
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- Parser.h - C Language Parser ---------------------------*- C++ -*-===// 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 defines the Parser interface. 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#ifndef LLVM_CLANG_PARSE_PARSER_H 155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LLVM_CLANG_PARSE_PARSER_H 165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Lex/Preprocessor.h" 1806c0fecd197fef21e265a41bca8dc5022de1f864Douglas Gregor#include "clang/Parse/AccessSpecifier.h" 195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Parse/Action.h" 20eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis#include "clang/Parse/DeclSpec.h" 214726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek#include "llvm/ADT/OwningPtr.h" 224cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis#include <stack> 231100258c19dd8967ba078c0bc81fc06cea9d033fChris Lattner#include <list> 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 26fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar class AttributeList; 27fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar class PragmaHandler; 285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Scope; 293cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner class DiagnosticBuilder; 300102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner class Parser; 314726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek class PragmaUnusedHandler; 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 330102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner/// PrettyStackTraceParserEntry - If a crash happens while the parser is active, 340102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner/// an entry is printed for it. 350102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattnerclass PrettyStackTraceParserEntry : public llvm::PrettyStackTraceEntry { 360102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner const Parser &P; 370102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattnerpublic: 380102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner PrettyStackTraceParserEntry(const Parser &p) : P(p) {} 390102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner virtual void print(llvm::raw_ostream &OS) const; 400102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner}; 410102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner 420102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Parser - This implements a parser for the C family of languages. After 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// parsing units of the grammar, productions are invoked to handle whatever has 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// been read. 465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Parser { 484726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek friend class PragmaUnusedHandler; 490102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner PrettyStackTraceParserEntry CrashInfo; 500102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner 515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Preprocessor &PP; 525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5397d0205d16fef2a783e785459b5f30f6a9dfbcb9Eric Christopher /// Tok - The current token we are peeking ahead. All parsing methods assume 545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// that this is valid. 55d217773f106856a11879ec79dc468efefaf2ee75Chris Lattner Token Tok; 565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 574b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor // PrevTokLocation - The location of the token we previously 584b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor // consumed. This token is used for diagnostics where we expected to 594b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor // see a token following another token (e.g., the ';' at the end of 604b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor // a statement). 614b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor SourceLocation PrevTokLocation; 624b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor 635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer unsigned short ParenCount, BracketCount, BraceCount; 645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// Actions - These are the callbacks we invoke as we parse various constructs 665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// in the file. This refers to the common base class between MinimalActions 675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// and SemaActions for those uses that don't matter. 685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Action &Actions; 695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Scope *CurScope; 715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Diagnostic &Diags; 729e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner 739e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner /// ScopeCache - Cache scopes to reduce malloc traffic. 749e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner enum { ScopeCacheSize = 16 }; 759e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner unsigned NumCachedScopes; 769e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner Scope *ScopeCache[ScopeCacheSize]; 77662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar 78662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar /// Ident_super - IdentifierInfo for "super", to support fast 79662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar /// comparison. 80662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar IdentifierInfo *Ident_super; 81662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar 824726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek llvm::OwningPtr<PragmaHandler> PackHandler; 834726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek llvm::OwningPtr<PragmaHandler> UnusedHandler; 849991479ad5dde617168cc1e4b18425cdbbfd9fa9Eli Friedman llvm::OwningPtr<PragmaHandler> WeakHandler; 852e22253e03e175144aeb9d13350a12fd83f858beDouglas Gregor llvm::OwningPtr<clang::CommentHandler> CommentHandler; 862e22253e03e175144aeb9d13350a12fd83f858beDouglas Gregor 8755f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor /// Whether the '>' token acts as an operator or not. This will be 8855f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor /// true except when we are parsing an expression within a C++ 8955f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor /// template argument list, where the '>' closes the template 9055f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor /// argument list. 9155f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor bool GreaterThanIsOperator; 9255f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor 93c3058338075a2132e057f1249a13b55a81fe021cDouglas Gregor /// The "depth" of the template parameters currently being parsed. 94c3058338075a2132e057f1249a13b55a81fe021cDouglas Gregor unsigned TemplateParameterDepth; 95c3058338075a2132e057f1249a13b55a81fe021cDouglas Gregor 96f02da89d7bddc319be52605d36442518647116b4Douglas Gregor /// \brief RAII object that makes '>' behave either as an operator 97f02da89d7bddc319be52605d36442518647116b4Douglas Gregor /// or as the closing angle bracket for a template argument list. 98f02da89d7bddc319be52605d36442518647116b4Douglas Gregor struct GreaterThanIsOperatorScope { 9955f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor bool &GreaterThanIsOperator; 10055f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor bool OldGreaterThanIsOperator; 10155f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor 102f02da89d7bddc319be52605d36442518647116b4Douglas Gregor GreaterThanIsOperatorScope(bool >IO, bool Val) 10355f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor : GreaterThanIsOperator(GTIO), OldGreaterThanIsOperator(GTIO) { 104f02da89d7bddc319be52605d36442518647116b4Douglas Gregor GreaterThanIsOperator = Val; 10555f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor } 10655f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor 107f02da89d7bddc319be52605d36442518647116b4Douglas Gregor ~GreaterThanIsOperatorScope() { 10855f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor GreaterThanIsOperator = OldGreaterThanIsOperator; 10955f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor } 11055f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor }; 111e0762c92110dfdcdd207db461a4ea17afd168f1eDouglas Gregor 1125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Parser(Preprocessor &PP, Action &Actions); 1145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ~Parser(); 1155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const LangOptions &getLang() const { return PP.getLangOptions(); } 1175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer TargetInfo &getTargetInfo() const { return PP.getTargetInfo(); } 1180102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner Preprocessor &getPreprocessor() const { return PP; } 1195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Action &getActions() const { return Actions; } 1205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1210102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner const Token &getCurToken() const { return Tok; } 1220102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner 1235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Type forwarding. All of these are statically 'void*', but they may all be 1245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // different actual classes based on the actions in place. 1255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::ExprTy ExprTy; 1265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::StmtTy StmtTy; 127b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner typedef Action::DeclPtrTy DeclPtrTy; 128682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner typedef Action::DeclGroupPtrTy DeclGroupPtrTy; 1295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::TypeTy TypeTy; 130f8268ae3196002bbab6adb830302e79b0f368f13Douglas Gregor typedef Action::BaseTy BaseTy; 1317ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor typedef Action::MemInitTy MemInitTy; 132eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis typedef Action::CXXScopeTy CXXScopeTy; 133c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor typedef Action::TemplateParamsTy TemplateParamsTy; 1347532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor typedef Action::TemplateTy TemplateTy; 1357ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor 136c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor typedef llvm::SmallVector<TemplateParamsTy *, 4> TemplateParameterLists; 137c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor 138d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor typedef Action::ExprResult ExprResult; 139d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor typedef Action::StmtResult StmtResult; 140d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor typedef Action::BaseResult BaseResult; 141d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor typedef Action::MemInitResult MemInitResult; 142809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor typedef Action::TypeResult TypeResult; 14315faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl 14415faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl typedef Action::OwningExprResult OwningExprResult; 14515faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl typedef Action::OwningStmtResult OwningStmtResult; 14615faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl 1471d922960e083906a586609ac6978678147250177Sebastian Redl typedef Action::ExprArg ExprArg; 148a60528cdac7deee3991c2b48af4df4f315e49e9dSebastian Redl typedef Action::MultiStmtArg MultiStmtArg; 149a99fad8ff134273fe85f2970c7d89133d1218900Anders Carlsson typedef Action::FullExprArg FullExprArg; 1501d922960e083906a586609ac6978678147250177Sebastian Redl 15161364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl /// Adorns a ExprResult with Actions to make it an OwningExprResult 15261364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningExprResult Owned(ExprResult res) { 15361364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl return OwningExprResult(Actions, res); 15461364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl } 15561364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl /// Adorns a StmtResult with Actions to make it an OwningStmtResult 15661364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult Owned(StmtResult res) { 15761364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl return OwningStmtResult(Actions, res); 15861364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl } 15961364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl 16061364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningExprResult ExprError() { return OwningExprResult(Actions, true); } 16161364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult StmtError() { return OwningStmtResult(Actions, true); } 162d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor 1632f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ExprError(const DiagnosticBuilder &) { return ExprError(); } 1642f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningStmtResult StmtError(const DiagnosticBuilder &) { return StmtError(); } 16561364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl 1665ab0640efb436a721d408c853b771932d1a6ffceArgyrios Kyrtzidis OwningExprResult ExprEmpty() { return OwningExprResult(Actions, false); } 1675ab0640efb436a721d408c853b771932d1a6ffceArgyrios Kyrtzidis 1685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Parsing methods. 1695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParseTranslationUnit - All in one method that initializes parses, and 1715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// shuts down the parser. 1725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseTranslationUnit(); 1735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// Initialize - Warm up the parser. 1755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 1765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void Initialize(); 1775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1781f6443255894429fba384de0d5b6389ef578a5e9Steve Naroff /// ParseTopLevelDecl - Parse one top-level declaration. Returns true if 1791f6443255894429fba384de0d5b6389ef578a5e9Steve Naroff /// the EOF was encountered. 180682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner bool ParseTopLevelDecl(DeclGroupPtrTy &Result); 1815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 1835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 1845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Low-Level token peeking and consumption methods. 1855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // 1865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenParen - Return true if the cur token is '(' or ')'. 1885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenParen() const { 1895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_paren || Tok.getKind() == tok::r_paren; 1905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenBracket - Return true if the cur token is '[' or ']'. 1925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenBracket() const { 1935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_square || Tok.getKind() == tok::r_square; 1945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenBrace - Return true if the cur token is '{' or '}'. 1965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenBrace() const { 1975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_brace || Tok.getKind() == tok::r_brace; 1985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenStringLiteral - True if this token is a string-literal. 2015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 2025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenStringLiteral() const { 2035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::string_literal || 2045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Tok.getKind() == tok::wide_string_literal; 2055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 206eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 2075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeToken - Consume the current 'peek token' and lex the next one. 208d6ecc5cf945ccdf2b931137e364a69cde59ab18bZhongxing Xu /// This does not work with all kinds of tokens: strings and specific other 2095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// tokens must be consumed with custom methods below. This returns the 2105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// location of the consumed token. 2115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeToken() { 2125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(!isTokenStringLiteral() && !isTokenParen() && !isTokenBracket() && 2135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer !isTokenBrace() && 2145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer "Should consume special tokens with Consume*Token"); 2154b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor PrevTokLocation = Tok.getLocation(); 2165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2174b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor return PrevTokLocation; 2185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeAnyToken - Dispatch to the right Consume* method based on the 2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// current token type. This should only be used in cases where the type of 2225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// the token really isn't known, e.g. in error recovery. 2235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeAnyToken() { 2245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (isTokenParen()) 2255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeParen(); 2265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (isTokenBracket()) 2275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeBracket(); 2285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (isTokenBrace()) 2295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeBrace(); 230d62701bc5321049353017e9abf1963edd57646aaSteve Naroff else if (isTokenStringLiteral()) 231d62701bc5321049353017e9abf1963edd57646aaSteve Naroff return ConsumeStringToken(); 2325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else 2335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeToken(); 2345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeParen - This consume method keeps the paren count up-to-date. 2375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 2385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeParen() { 2395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenParen() && "wrong consume method"); 2405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_paren) 2415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++ParenCount; 2425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (ParenCount) 2435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --ParenCount; // Don't let unbalanced )'s drive the count negative. 2444b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor PrevTokLocation = Tok.getLocation(); 2455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2464b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor return PrevTokLocation; 2475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeBracket - This consume method keeps the bracket count up-to-date. 2505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 2515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeBracket() { 2525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenBracket() && "wrong consume method"); 2535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_square) 2545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++BracketCount; 2555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (BracketCount) 2565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --BracketCount; // Don't let unbalanced ]'s drive the count negative. 2575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2584b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor PrevTokLocation = Tok.getLocation(); 2595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2604b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor return PrevTokLocation; 2615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeBrace - This consume method keeps the brace count up-to-date. 2645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 2655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeBrace() { 2665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenBrace() && "wrong consume method"); 2675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_brace) 2685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++BraceCount; 2695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (BraceCount) 2705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --BraceCount; // Don't let unbalanced }'s drive the count negative. 2715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2724b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor PrevTokLocation = Tok.getLocation(); 2735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2744b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor return PrevTokLocation; 2755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeStringToken - Consume the current 'peek token', lexing a new one 2785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// and returning the token kind. This method is specific to strings, as it 2795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// handles string literal concatenation, as per C99 5.1.1.2, translation 2805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// phase #6. 2815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeStringToken() { 2825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenStringLiteral() && 2835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer "Should only consume string literals with this method"); 2844b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor PrevTokLocation = Tok.getLocation(); 2855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2864b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor return PrevTokLocation; 2875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2896b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// GetLookAheadToken - This peeks ahead N tokens and returns that token 2906b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// without consuming any tokens. LookAhead(0) returns 'Tok', LookAhead(1) 2916b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// returns the token after Tok, etc. 2926b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// 2936b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// Note that this differs from the Preprocessor's LookAhead method, because 2946b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// the Parser always has one token lexed that the preprocessor doesn't. 2956b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// 29603db1b31dd926409b7defc1c90b66549464652c0Argyrios Kyrtzidis const Token &GetLookAheadToken(unsigned N) { 2976b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner if (N == 0 || Tok.is(tok::eof)) return Tok; 2986b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner return PP.LookAhead(N-1); 2996b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner } 300f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis 301f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis /// NextToken - This peeks ahead one token and returns it without 302f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis /// consuming it. 303f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis const Token &NextToken() { 30403db1b31dd926409b7defc1c90b66549464652c0Argyrios Kyrtzidis return PP.LookAhead(0); 305f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis } 3065404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 307eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// TryAnnotateTypeOrScopeToken - If the current token position is on a 308eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// typename (possibly qualified in C++) or a C++ scope specifier not followed 309eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// by a typename, TryAnnotateTypeOrScopeToken will replace one or more tokens 310eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// with a single annotation token representing the typename or C++ scope 311eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// respectively. 312eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// This simplifies handling of C++ scope specifiers and allows efficient 313eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// backtracking without the need to re-parse and resolve nested-names and 314eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// typenames. 31544802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// It will mainly be called when we expect to treat identifiers as typenames 31644802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// (if they are typenames). For example, in C we do not expect identifiers 31744802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// inside expressions to be treated as typenames so it will not be called 31844802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// for expressions in C. 319a7bc7c880f86bc180684ef032d06df51bcae7a23Chris Lattner /// 320a7bc7c880f86bc180684ef032d06df51bcae7a23Chris Lattner /// This returns true if the token was annotated. 321495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregor bool TryAnnotateTypeOrScopeToken(bool EnteringContext = false); 322eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 3234bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis /// TryAnnotateCXXScopeToken - Like TryAnnotateTypeOrScopeToken but only 3245e02c47a7085831586344a9728763cb50540c7f7Chris Lattner /// annotates C++ scope specifiers. This returns true if the token was 3255e02c47a7085831586344a9728763cb50540c7f7Chris Lattner /// annotated. 326495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregor bool TryAnnotateCXXScopeToken(bool EnteringContext = false); 327eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 3285404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TentativeParsingAction - An object that is used as a kind of "tentative 3295404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// parsing transaction". It gets instantiated to mark the token position and 3305404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// after the token consumption is done, Commit() or Revert() is called to 3315404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// either "commit the consumed tokens" or revert to the previously marked 3325404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// token position. Example: 3335404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// 3345404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TentativeParsingAction TPA; 3355404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// ConsumeToken(); 3365404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// .... 3375404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TPA.Revert(); 3385404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// 3395404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis class TentativeParsingAction { 3405404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis Parser &P; 3415404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis Token PrevTok; 3425404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isActive; 3435404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 3445404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis public: 3455404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis explicit TentativeParsingAction(Parser& p) : P(p) { 3465404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis PrevTok = P.Tok; 3475404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.EnableBacktrackAtThisPos(); 3485404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = true; 3495404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 3505404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis void Commit() { 3515404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(isActive && "Parsing action was finished!"); 3525404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.CommitBacktrackedTokens(); 3535404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = false; 3545404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 3555404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis void Revert() { 3565404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(isActive && "Parsing action was finished!"); 3575404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.Backtrack(); 3585404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.Tok = PrevTok; 3595404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = false; 3605404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 3615404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis ~TentativeParsingAction() { 3625404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(!isActive && "Forgot to call Commit or Revert!"); 3635404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 3645404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis }; 3656b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 3666b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 3675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// MatchRHSPunctuation - For punctuation with a LHS and RHS (e.g. '['/']'), 3685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// this helper function matches and consumes the specified RHS token if 3695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// present. If not present, it emits the specified diagnostic indicating 3705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// that the parser failed to match the RHS of the token at LHSLoc. LHSName 3715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// should be the name of the unmatched LHS token. This returns the location 3725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// of the consumed token. 3735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation MatchRHSPunctuation(tok::TokenKind RHSTok, 3745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation LHSLoc); 3755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ExpectAndConsume - The parser expects that 'ExpectedTok' is next in the 3775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// input. If so, it is consumed and false is returned. 3785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 3795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// If the input is malformed, this emits the specified diagnostic. Next, if 3805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// SkipToTok is specified, it calls SkipUntil(SkipToTok). Finally, true is 3815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// returned. 3825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool ExpectAndConsume(tok::TokenKind ExpectedTok, unsigned Diag, 3835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *DiagMsg = "", 3845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer tok::TokenKind SkipToTok = tok::unknown); 3855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 3875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Scope manipulation 3885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3898935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// ParseScope - Introduces a new scope for parsing. The kind of 3908935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// scope is determined by ScopeFlags. Objects of this type should 3918935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// be created on the stack to coincide with the position where the 3928935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// parser enters the new scope, and this object's constructor will 3938935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// create that new scope. Similarly, once the object is destroyed 3948935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// the parser will exit the scope. 3958935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor class ParseScope { 3968935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Parser *Self; 3978935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor ParseScope(const ParseScope&); // do not implement 3988935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor ParseScope& operator=(const ParseScope&); // do not implement 3998935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor 4008935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor public: 4018935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // ParseScope - Construct a new object to manage a scope in the 4028935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // parser Self where the new Scope is created with the flags 4038935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // ScopeFlags, but only when ManageScope is true (the default). If 4048935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // ManageScope is false, this object does nothing. 4058935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor ParseScope(Parser *Self, unsigned ScopeFlags, bool ManageScope = true) 4068935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor : Self(Self) { 4078935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor if (ManageScope) 4088935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Self->EnterScope(ScopeFlags); 4098935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor else 4108935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor this->Self = 0; 4118935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor } 4128935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor 4138935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // Exit - Exit the scope associated with this object now, rather 4148935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // than waiting until the object is destroyed. 4158935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor void Exit() { 4168935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor if (Self) { 4178935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Self->ExitScope(); 4188935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Self = 0; 4198935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor } 4208935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor } 4218935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor 4228935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor ~ParseScope() { 4238935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Exit(); 4248935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor } 4258935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor }; 4268935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor 4275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// EnterScope - Start a new scope. 4285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void EnterScope(unsigned ScopeFlags); 4295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ExitScope - Pop a scope off the scope stack. 4315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ExitScope(); 4325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 4345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Diagnostic Emission and Error recovery. 43515faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl 4363cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner DiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID); 4373cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner DiagnosticBuilder Diag(const Token &Tok, unsigned DiagID); 43815faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl 4394b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor void SuggestParentheses(SourceLocation Loc, unsigned DK, 4404b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor SourceRange ParenRange); 4414b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor 4425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// SkipUntil - Read tokens until we get to the specified token, then consume 44382c7e6d8215567935d3d52741ccca9876a8ea461Steve Naroff /// it (unless DontConsume is true). Because we cannot guarantee that the 4445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// token will ever occur, this skips to the next token, or to some likely 4455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// good stopping point. If StopAtSemi is true, skipping will stop at a ';' 4465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// character. 4475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 4485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// If SkipUntil finds the specified token, it returns true, otherwise it 4495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// returns false. 4505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(tok::TokenKind T, bool StopAtSemi = true, 4515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool DontConsume = false) { 4525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return SkipUntil(&T, 1, StopAtSemi, DontConsume); 4535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(tok::TokenKind T1, tok::TokenKind T2, bool StopAtSemi = true, 4555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool DontConsume = false) { 4565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer tok::TokenKind TokArray[] = {T1, T2}; 4575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return SkipUntil(TokArray, 2, StopAtSemi, DontConsume); 4585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(const tok::TokenKind *Toks, unsigned NumToks, 4605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool StopAtSemi = true, bool DontConsume = false); 4617ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor 4625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 4634cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Lexing and parsing of C++ inline methods. 4644cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 4654cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis struct LexedMethod { 466b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner Action::DeclPtrTy D; 46772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens Toks; 468d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor 469d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor /// \brief Whether this member function had an associated template 470d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor /// scope. When true, D is a template declaration. 471d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor /// othewise, it is a member function declaration. 472d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor bool TemplateScope; 473d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor 474d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor explicit LexedMethod(Action::DeclPtrTy MD) : D(MD), TemplateScope(false) {} 4754cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis }; 4764cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 47772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// LateParsedDefaultArgument - Keeps track of a parameter that may 47872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// have a default argument that cannot be parsed yet because it 47972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// occurs within a member function declaration inside the class 48072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// (C++ [class.mem]p2). 48172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor struct LateParsedDefaultArgument { 482b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner explicit LateParsedDefaultArgument(Action::DeclPtrTy P, 48372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens *Toks = 0) 48472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor : Param(P), Toks(Toks) { } 48572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 48672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// Param - The parameter declaration for this parameter. 487b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner Action::DeclPtrTy Param; 48872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 48972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// Toks - The sequence of tokens that comprises the default 49072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// argument expression, not including the '=' or the terminating 49172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// ')' or ','. This will be NULL for parameters that have no 49272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// default argument. 49372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens *Toks; 49472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor }; 49572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 49672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// LateParsedMethodDeclaration - A method declaration inside a class that 49772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// contains at least one entity whose parsing needs to be delayed 49872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// until the class itself is completely-defined, such as a default 49972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// argument (C++ [class.mem]p2). 50072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor struct LateParsedMethodDeclaration { 501d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor explicit LateParsedMethodDeclaration(Action::DeclPtrTy M) 502d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor : Method(M), TemplateScope(false) { } 50372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 50472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// Method - The method declaration. 505b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner Action::DeclPtrTy Method; 50672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 507d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor /// \brief Whether this member function had an associated template 508d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor /// scope. When true, D is a template declaration. 509d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor /// othewise, it is a member function declaration. 510d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor bool TemplateScope; 511d83d04041f64a2c89123d227fa8003b482391279Douglas Gregor 51272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// DefaultArgs - Contains the parameters of the function and 51372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// their default arguments. At least one of the parameters will 51472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// have a default argument, but all of the parameters of the 51572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// method will be stored so that they can be reintroduced into 51672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// scope at the appropriate times. 51772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor llvm::SmallVector<LateParsedDefaultArgument, 8> DefaultArgs; 51872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor }; 51972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 52072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// LateParsedMethodDecls - During parsing of a top (non-nested) C++ 52172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// class, its method declarations that contain parts that won't be 52272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// parsed until after the definiton is completed (C++ [class.mem]p2), 52372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// the method declarations will be stored here with the tokens that 52472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// will be parsed to create those entities. 52572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor typedef std::list<LateParsedMethodDeclaration> LateParsedMethodDecls; 52672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 5274cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// LexedMethodsForTopClass - During parsing of a top (non-nested) C++ class, 5284cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// its inline method definitions and the inline method definitions of its 5294cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// nested classes are lexed and stored here. 53072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor typedef std::list<LexedMethod> LexedMethodsForTopClass; 53172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 5326569d68745c8213709740337d2be52b031384f58Douglas Gregor /// \brief Representation of a class that has been parsed, including 5336569d68745c8213709740337d2be52b031384f58Douglas Gregor /// any member function declarations or definitions that need to be 5346569d68745c8213709740337d2be52b031384f58Douglas Gregor /// parsed after the corresponding top-level class is complete. 5356569d68745c8213709740337d2be52b031384f58Douglas Gregor struct ParsingClass { 5366569d68745c8213709740337d2be52b031384f58Douglas Gregor ParsingClass(DeclPtrTy TagOrTemplate, bool TopLevelClass) 5376569d68745c8213709740337d2be52b031384f58Douglas Gregor : TopLevelClass(TopLevelClass), TemplateScope(false), 5386569d68745c8213709740337d2be52b031384f58Douglas Gregor TagOrTemplate(TagOrTemplate) { } 5396569d68745c8213709740337d2be52b031384f58Douglas Gregor 5406569d68745c8213709740337d2be52b031384f58Douglas Gregor /// \brief Whether this is a "top-level" class, meaning that it is 5416569d68745c8213709740337d2be52b031384f58Douglas Gregor /// not nested within another class. 5426569d68745c8213709740337d2be52b031384f58Douglas Gregor bool TopLevelClass : 1; 5436569d68745c8213709740337d2be52b031384f58Douglas Gregor 5446569d68745c8213709740337d2be52b031384f58Douglas Gregor /// \brief Whether this class had an associated template 5456569d68745c8213709740337d2be52b031384f58Douglas Gregor /// scope. When true, TagOrTemplate is a template declaration; 5466569d68745c8213709740337d2be52b031384f58Douglas Gregor /// othewise, it is a tag declaration. 5476569d68745c8213709740337d2be52b031384f58Douglas Gregor bool TemplateScope : 1; 5486569d68745c8213709740337d2be52b031384f58Douglas Gregor 5496569d68745c8213709740337d2be52b031384f58Douglas Gregor /// \brief The class or class template whose definition we are parsing. 5506569d68745c8213709740337d2be52b031384f58Douglas Gregor DeclPtrTy TagOrTemplate; 55172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 55272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// MethodDecls - Method declarations that contain pieces whose 55372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// parsing will be delayed until the class is fully defined. 55472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor LateParsedMethodDecls MethodDecls; 55572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 55672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// MethodDefs - Methods whose definitions will be parsed once the 55772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// class has been fully defined. 55872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor LexedMethodsForTopClass MethodDefs; 5596569d68745c8213709740337d2be52b031384f58Douglas Gregor 5606569d68745c8213709740337d2be52b031384f58Douglas Gregor /// \brief Nested classes inside this class. 5616569d68745c8213709740337d2be52b031384f58Douglas Gregor llvm::SmallVector<ParsingClass*, 4> NestedClasses; 56272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor }; 5634cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5646569d68745c8213709740337d2be52b031384f58Douglas Gregor /// \brief The stack of classes that is currently being 5656569d68745c8213709740337d2be52b031384f58Douglas Gregor /// parsed. Nested and local classes will be pushed onto this stack 5666569d68745c8213709740337d2be52b031384f58Douglas Gregor /// when they are parsed, and removed afterward. 5676569d68745c8213709740337d2be52b031384f58Douglas Gregor std::stack<ParsingClass *> ClassStack; 5684cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5696569d68745c8213709740337d2be52b031384f58Douglas Gregor ParsingClass &getCurrentClass() { 5706569d68745c8213709740337d2be52b031384f58Douglas Gregor assert(!ClassStack.empty() && "No lexed method stacks!"); 5716569d68745c8213709740337d2be52b031384f58Douglas Gregor return *ClassStack.top(); 5724cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 5734cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5746569d68745c8213709740337d2be52b031384f58Douglas Gregor /// \brief RAII object used to 5756569d68745c8213709740337d2be52b031384f58Douglas Gregor class ParsingClassDefinition { 5766569d68745c8213709740337d2be52b031384f58Douglas Gregor Parser &P; 5776569d68745c8213709740337d2be52b031384f58Douglas Gregor bool Popped; 5786569d68745c8213709740337d2be52b031384f58Douglas Gregor 5796569d68745c8213709740337d2be52b031384f58Douglas Gregor public: 5806569d68745c8213709740337d2be52b031384f58Douglas Gregor ParsingClassDefinition(Parser &P, DeclPtrTy TagOrTemplate, bool TopLevelClass) 5816569d68745c8213709740337d2be52b031384f58Douglas Gregor : P(P), Popped(false) { 5826569d68745c8213709740337d2be52b031384f58Douglas Gregor P.PushParsingClass(TagOrTemplate, TopLevelClass); 5836569d68745c8213709740337d2be52b031384f58Douglas Gregor } 5846569d68745c8213709740337d2be52b031384f58Douglas Gregor 5856569d68745c8213709740337d2be52b031384f58Douglas Gregor /// \brief Pop this class of the stack. 5866569d68745c8213709740337d2be52b031384f58Douglas Gregor void Pop() { 5876569d68745c8213709740337d2be52b031384f58Douglas Gregor assert(!Popped && "Nested class has already been popped"); 5886569d68745c8213709740337d2be52b031384f58Douglas Gregor Popped = true; 5896569d68745c8213709740337d2be52b031384f58Douglas Gregor P.PopParsingClass(); 5906569d68745c8213709740337d2be52b031384f58Douglas Gregor } 5916569d68745c8213709740337d2be52b031384f58Douglas Gregor 5926569d68745c8213709740337d2be52b031384f58Douglas Gregor ~ParsingClassDefinition() { 5936569d68745c8213709740337d2be52b031384f58Douglas Gregor if (!Popped) 5946569d68745c8213709740337d2be52b031384f58Douglas Gregor P.PopParsingClass(); 5956569d68745c8213709740337d2be52b031384f58Douglas Gregor } 5966569d68745c8213709740337d2be52b031384f58Douglas Gregor }; 5976569d68745c8213709740337d2be52b031384f58Douglas Gregor 5984d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// \brief Contains information about any template-specific 5994d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// information that has been parsed prior to parsing declaration 6004d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// specifiers. 6014d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor struct ParsedTemplateInfo { 6024d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor ParsedTemplateInfo() 6034d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor : Kind(NonTemplate), TemplateParams(0), TemplateLoc() { } 6044d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor 6054d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor ParsedTemplateInfo(TemplateParameterLists *TemplateParams, 6064d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor bool isSpecialization) 6074d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor : Kind(isSpecialization? ExplicitSpecialization : Template), 6084d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor TemplateParams(TemplateParams) { } 6094d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor 6104d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor explicit ParsedTemplateInfo(SourceLocation TemplateLoc) 6113f5b61c394f4f205bcb4d316eb2a7a0a68b8af86Douglas Gregor : Kind(ExplicitInstantiation), TemplateParams(0), 6124d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor TemplateLoc(TemplateLoc) { } 6134d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor 6144d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// \brief The kind of template we are parsing. 6154d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor enum { 6164d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// \brief We are not parsing a template at all. 6174d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor NonTemplate = 0, 6184d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// \brief We are parsing a template declaration. 6194d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor Template, 6204d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// \brief We are parsing an explicit specialization. 6214d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor ExplicitSpecialization, 6224d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// \brief We are parsing an explicit instantiation. 6234d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor ExplicitInstantiation 6244d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor } Kind; 6254d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor 6264d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// \brief The template parameter lists, for template declarations 6274d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// and explicit specializations. 6284d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor TemplateParameterLists *TemplateParams; 6294d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor 6304d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// \brief The location of the 'template' keyword, for an explicit 6314d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor /// instantiation. 6324d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor SourceLocation TemplateLoc; 6334d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor }; 63437b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor 63537b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor void PushParsingClass(DeclPtrTy TagOrTemplate, bool TopLevelClass); 63637b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor void DeallocateParsedClasses(ParsingClass *Class); 63737b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor void PopParsingClass(); 63837b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor 63937b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor DeclPtrTy ParseCXXInlineMethodDef(AccessSpecifier AS, Declarator &D, 64037b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor const ParsedTemplateInfo &TemplateInfo); 64137b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor void ParseLexedMethodDeclarations(ParsingClass &Class); 64237b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor void ParseLexedMethodDefs(ParsingClass &Class); 64337b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor bool ConsumeAndStoreUntil(tok::TokenKind T1, tok::TokenKind T2, 64437b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor CachedTokens &Toks, 64537b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor tok::TokenKind EarlyAbortIf = tok::unknown, 64637b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor bool ConsumeFinalToken = true); 6474d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor 6484cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 6495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.9: External Definitions. 650682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner DeclGroupPtrTy ParseExternalDeclaration(); 6511426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor bool isDeclarationAfterDeclarator(); 6521426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor bool isStartOfFunctionDefinition(); 653682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner DeclGroupPtrTy ParseDeclarationOrFunctionDefinition( 6545aeccdbb4bdc94e48c04cacc59fa812af32109b2Anders Carlsson AccessSpecifier AS = AS_none); 6555aeccdbb4bdc94e48c04cacc59fa812af32109b2Anders Carlsson 65652591bf224b2c43e2b00e265bb8599a620081925Douglas Gregor DeclPtrTy ParseFunctionDefinition(Declarator &D, 65752591bf224b2c43e2b00e265bb8599a620081925Douglas Gregor const ParsedTemplateInfo &TemplateInfo = ParsedTemplateInfo()); 6585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseKNRParamDeclarations(Declarator &D); 659ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // EndLoc, if non-NULL, is filled with the location of the last token of 660ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // the simple-asm. 661ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl OwningExprResult ParseSimpleAsm(SourceLocation *EndLoc = 0); 662effa8d1c97b00a3f53e972b0e61d9aade5ea1c57Sebastian Redl OwningExprResult ParseAsmStringLiteral(); 6635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6643536b443bc50d58a79f14fca9b6842541a434854Steve Naroff // Objective-C External Declarations 665b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCAtDirectives(); 666b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCAtClassDeclaration(SourceLocation atLoc); 667b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCAtInterfaceDeclaration(SourceLocation atLoc, 668dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff AttributeList *prefixAttrs = 0); 669b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner void ParseObjCClassInstanceVariables(DeclPtrTy interfaceDecl, 67060fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff SourceLocation atLoc); 671b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner bool ParseObjCProtocolReferences(llvm::SmallVectorImpl<Action::DeclPtrTy> &P, 672e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner bool WarnOnDeclarations, 673e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner SourceLocation &EndProtoLoc); 674b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner void ParseObjCInterfaceDeclList(DeclPtrTy interfaceDecl, 675c81c8144a661a49d7b9dae8d2080dee2e43186ecChris Lattner tok::ObjCKeywordKind contextKey); 676b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCAtProtocolDeclaration(SourceLocation atLoc, 677b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner AttributeList *prefixAttrs = 0); 6783536b443bc50d58a79f14fca9b6842541a434854Steve Naroff 679b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ObjCImpDecl; 6800416fb9f379b49abb3eb0c1cb2ca75107e5a71d1Steve Naroff 681b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCAtImplementationDeclaration(SourceLocation atLoc); 682b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCAtEndDeclaration(SourceLocation atLoc); 683b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCAtAliasDeclaration(SourceLocation atLoc); 684b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCPropertySynthesize(SourceLocation atLoc); 685b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCPropertyDynamic(SourceLocation atLoc); 6865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6872fc5c2428ecb450a3256c8316b93b8655cb76a0fChris Lattner IdentifierInfo *ParseObjCSelectorPiece(SourceLocation &MethodLocation); 68834870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner // Definitions for Objective-c context sensitive keywords recognition. 68934870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner enum ObjCTypeQual { 69034870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner objc_in=0, objc_out, objc_inout, objc_oneway, objc_bycopy, objc_byref, 69134870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner objc_NumQuals 69234870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner }; 693a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek IdentifierInfo *ObjCTypeQuals[objc_NumQuals]; 6940196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 695335a2d4122e41343fe11a775889b8bec5b14be60Fariborz Jahanian bool isTokIdentifier_in() const; 696d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian 697a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek TypeTy *ParseObjCTypeName(ObjCDeclSpec &DS); 698294494e1cce92043562b4680c613df7fd028c02eSteve Naroff void ParseObjCMethodRequirement(); 699b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCMethodPrototype(DeclPtrTy classOrCat, 700c81c8144a661a49d7b9dae8d2080dee2e43186ecChris Lattner tok::ObjCKeywordKind MethodImplKind = tok::objc_not_keyword); 701b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCMethodDecl(SourceLocation mLoc, tok::TokenKind mType, 702b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy classDecl, 70300933591a2795d09dd1acff12a2d21bce7cb12c5Fariborz Jahanian tok::ObjCKeywordKind MethodImplKind = tok::objc_not_keyword); 704a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek void ParseObjCPropertyAttribute(ObjCDeclSpec &DS); 705294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 706b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseObjCMethodDefinition(); 707bcfb06ac6da1aa3c74ac1ef7a49c2807522366e7Steve Naroff 7085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 7095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.5: Expressions. 7105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7112f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParseExpression(); 7122f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParseConstantExpression(); 7132f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl // Expr that doesn't include commas. 7142f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParseAssignmentExpression(); 7152f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl 716d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseExpressionWithLeadingAt(SourceLocation AtLoc); 7175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 718adf077f46ba5cddcd801a647a5e9a3eb97060df4Eli Friedman OwningExprResult ParseExpressionWithLeadingExtension(SourceLocation ExtLoc); 719adf077f46ba5cddcd801a647a5e9a3eb97060df4Eli Friedman 720d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseRHSOfBinaryExpression(OwningExprResult LHS, 721d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl unsigned MinPrec); 722ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl OwningExprResult ParseCastExpression(bool isUnaryExpression, 723f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis bool isAddressOfOperand, 7242ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman bool &NotCastExpr, 7252ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman bool parseParenAsExprList); 726f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis OwningExprResult ParseCastExpression(bool isUnaryExpression, 7272ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman bool isAddressOfOperand = false, 7282ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman bool parseParenAsExprList = false); 7292f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParsePostfixExpressionSuffix(OwningExprResult LHS); 730d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseSizeofAlignofExpression(); 731d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseBuiltinPrimaryExpression(); 7325ab0640efb436a721d408c853b771932d1a6ffceArgyrios Kyrtzidis 7335ab0640efb436a721d408c853b771932d1a6ffceArgyrios Kyrtzidis OwningExprResult ParseExprAfterTypeofSizeofAlignof(const Token &OpTok, 7345ab0640efb436a721d408c853b771932d1a6ffceArgyrios Kyrtzidis bool &isCastExpr, 7355ab0640efb436a721d408c853b771932d1a6ffceArgyrios Kyrtzidis TypeTy *&CastTy, 7365ab0640efb436a721d408c853b771932d1a6ffceArgyrios Kyrtzidis SourceRange &CastRange); 7370cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis 738a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl static const unsigned ExprListSize = 12; 739a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl typedef llvm::SmallVector<ExprTy*, ExprListSize> ExprListTy; 740a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl typedef llvm::SmallVector<SourceLocation, ExprListSize> CommaLocsTy; 7410cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis 7420cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis /// ParseExpressionList - Used for C/C++ (argument-)expression-list. 7430cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis bool ParseExpressionList(ExprListTy &Exprs, CommaLocsTy &CommaLocs); 744d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl 7455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParenParseOption - Control what ParseParenExpression will parse. 7465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum ParenParseOption { 7475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SimpleExpr, // Only parse '(' expression ')' 7485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CompoundStmt, // Also allow '(' compound-statement ')' 7495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CompoundLiteral, // Also allow '(' type-name ')' '{' ... '}' 7505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CastExpr // Also allow '(' type-name ')' <anything> 7515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer }; 752d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseParenExpression(ParenParseOption &ExprType, 7530350ca519405051e8d45d12ee7d09569a6a9c4c9Argyrios Kyrtzidis bool stopIfCastExpr, 7542ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman bool parseAsExprList, 755d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl TypeTy *&CastTy, 756d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl SourceLocation &RParenLoc); 75715ff1110c96a26c9315142d407c1f29d86a5ad1fChris Lattner 758f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis OwningExprResult ParseCXXAmbiguousParenExpression(ParenParseOption &ExprType, 759f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis TypeTy *&CastTy, 760f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis SourceLocation LParenLoc, 761f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis SourceLocation &RParenLoc); 762f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis 763d974a7b72eb84cdc735b189bcea56fd37e13ebf6Argyrios Kyrtzidis OwningExprResult ParseCompoundLiteralExpression(TypeTy *Ty, 764d974a7b72eb84cdc735b189bcea56fd37e13ebf6Argyrios Kyrtzidis SourceLocation LParenLoc, 765d974a7b72eb84cdc735b189bcea56fd37e13ebf6Argyrios Kyrtzidis SourceLocation RParenLoc); 766d974a7b72eb84cdc735b189bcea56fd37e13ebf6Argyrios Kyrtzidis 76720df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseStringLiteralExpression(); 768eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 769eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis //===--------------------------------------------------------------------===// 770eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis // C++ Expressions 771ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl OwningExprResult ParseCXXIdExpression(bool isAddressOfOperand = false); 7724bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis 773495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregor bool ParseOptionalCXXScopeSpecifier(CXXScopeSpec &SS, 7742dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor TypeTy *ObjectType, 7752dd078ae50ff7be1fb25ebeedde45e9ab691a4f0Douglas Gregor bool EnteringContext); 7765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 7785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C++ 5.2p1: C++ Casts 77920df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXCasts(); 7805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 782c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl // C++ 5.2p1: C++ Type Identification 78320df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXTypeid(); 784c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 785c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl //===--------------------------------------------------------------------===// 7864cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // C++ 9.3.2: C++ 'this' pointer 78720df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXThis(); 7884cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 7894cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 79050dd289f45738ed22b7583d52ed2525b927042ffChris Lattner // C++ 15: C++ Throw Expression 79120df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseThrowExpression(); 792ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // EndLoc is filled with the location of the last token of the specification. 7937dc813462dd9fd3f6f4296f896a12de14264fef8Sebastian Redl bool ParseExceptionSpecification(SourceLocation &EndLoc, 794ef65f06e8e440aec541442cfd73a8a836e9bc842Sebastian Redl llvm::SmallVector<TypeTy*, 2> &Exceptions, 795ef65f06e8e440aec541442cfd73a8a836e9bc842Sebastian Redl llvm::SmallVector<SourceRange, 2> &Ranges, 7967dc813462dd9fd3f6f4296f896a12de14264fef8Sebastian Redl bool &hasAnyExceptionSpec); 79750dd289f45738ed22b7583d52ed2525b927042ffChris Lattner 79850dd289f45738ed22b7583d52ed2525b927042ffChris Lattner //===--------------------------------------------------------------------===// 7995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C++ 2.13.5: C++ Boolean Literals 80020df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXBoolLiteral(); 8015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 803987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis // C++ 5.2.3: Explicit type conversion (functional notation) 80420df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXTypeConstructExpression(const DeclSpec &DS); 805987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 806987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// ParseCXXSimpleTypeSpecifier - [C++ 7.1.5.2] Simple type specifiers. 807987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// This should only be called when the current token is known to be part of 808987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// simple-type-specifier. 809987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis void ParseCXXSimpleTypeSpecifier(DeclSpec &DS); 810987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 8112f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor bool ParseCXXTypeSpecifierSeq(DeclSpec &DS); 8122f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor 813987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 8144c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // C++ 5.3.4 and 5.3.5: C++ new and delete 815cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool ParseExpressionListOrTypeId(ExprListTy &Exprs, Declarator &D); 8164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl void ParseDirectNewDeclarator(Declarator &D); 81759232d35f5820e334b6c8b007ae8006f4390055dChris Lattner OwningExprResult ParseCXXNewExpression(bool UseGlobal, SourceLocation Start); 81859232d35f5820e334b6c8b007ae8006f4390055dChris Lattner OwningExprResult ParseCXXDeleteExpression(bool UseGlobal, 81959232d35f5820e334b6c8b007ae8006f4390055dChris Lattner SourceLocation Start); 8204c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 8214c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl //===--------------------------------------------------------------------===// 82271b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis // C++ if/switch/while/for condition expression. 8232f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParseCXXCondition(); 82471b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis 82571b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis //===--------------------------------------------------------------------===// 82612e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor // C++ types 82712e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor 82812e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor //===--------------------------------------------------------------------===// 8295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.7.8: Initialization. 8300eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner 8310eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// ParseInitializer 8320eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// initializer: [C99 6.7.8] 8330eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// assignment-expression 8340eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// '{' ... 83520df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseInitializer() { 8360eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner if (Tok.isNot(tok::l_brace)) 83720df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl return ParseAssignmentExpression(); 8380eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner return ParseBraceInitializer(); 8390eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner } 84020df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseBraceInitializer(); 8415908a9293b88a3da57ae59b522275d05e1ab11e0Douglas Gregor OwningExprResult ParseInitializerWithPotentialDesignator(); 8421d922960e083906a586609ac6978678147250177Sebastian Redl 8435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 844296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff // clang Expressions 8451d922960e083906a586609ac6978678147250177Sebastian Redl 8461d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseBlockLiteralExpression(); // ^{...} 847296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff 848296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff //===--------------------------------------------------------------------===// 8495508518a2702b00be3b15a26d772bde968972f54Anders Carlsson // Objective-C Expressions 85014dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 85114dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner bool isTokObjCMessageIdentifierReceiver() const { 85214dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner if (!Tok.is(tok::identifier)) 85314dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner return false; 85414dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 85547246be8ac5b0ddde6c402b8fc6946b6135487b5Chris Lattner IdentifierInfo *II = Tok.getIdentifierInfo(); 856b696ea3a0693798daeafd896d77f0b8f1fec3cc5Douglas Gregor if (Actions.getTypeName(*II, Tok.getLocation(), CurScope)) 85714dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner return true; 85814dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 85947246be8ac5b0ddde6c402b8fc6946b6135487b5Chris Lattner return II == Ident_super; 86014dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner } 8611d922960e083906a586609ac6978678147250177Sebastian Redl 8621d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCAtExpression(SourceLocation AtLocation); 8631d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCStringLiteral(SourceLocation AtLoc); 8641d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCEncodeExpression(SourceLocation AtLoc); 8651d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCSelectorExpression(SourceLocation AtLoc); 8661d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCProtocolExpression(SourceLocation AtLoc); 8671d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCMessageExpression(); 8681d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCMessageExpressionBody(SourceLocation LBracloc, 8691d922960e083906a586609ac6978678147250177Sebastian Redl SourceLocation NameLoc, 8701d922960e083906a586609ac6978678147250177Sebastian Redl IdentifierInfo *ReceiverName, 8711d922960e083906a586609ac6978678147250177Sebastian Redl ExprArg ReceiverExpr); 8721d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseAssignmentExprWithObjCMessageExprStart( 8731d922960e083906a586609ac6978678147250177Sebastian Redl SourceLocation LBracloc, SourceLocation NameLoc, 8741d922960e083906a586609ac6978678147250177Sebastian Redl IdentifierInfo *ReceiverName, ExprArg ReceiverExpr); 87561364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl 8765508518a2702b00be3b15a26d772bde968972f54Anders Carlsson //===--------------------------------------------------------------------===// 8775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.8: Statements and Blocks. 87861364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl 87961364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseStatement() { 88061364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl return ParseStatementOrDeclaration(true); 88161364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl } 88261364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseStatementOrDeclaration(bool OnlyStatement = false); 88361364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseLabeledStatement(); 88461364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseCaseStatement(); 88561364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseDefaultStatement(); 88661364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseCompoundStatement(bool isStmtExpr = false); 88761364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseCompoundStatementBody(bool isStmtExpr = false); 888ff871fb8f9c5906a4dee78afd81f60c3837e16cbChris Lattner bool ParseParenExprOrCondition(OwningExprResult &CondExp, 889989135901c750af61ef012b6b0a0368be415bc46Chris Lattner bool OnlyAllowCondition = false, 890989135901c750af61ef012b6b0a0368be415bc46Chris Lattner SourceLocation *LParenLoc = 0, 891989135901c750af61ef012b6b0a0368be415bc46Chris Lattner SourceLocation *RParenLoc = 0); 89261364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseIfStatement(); 8939a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseSwitchStatement(); 8949a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseWhileStatement(); 8959a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseDoStatement(); 8969a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseForStatement(); 8979a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseGotoStatement(); 8989a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseContinueStatement(); 8999a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseBreakStatement(); 9009a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseReturnStatement(); 9019a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseAsmStatement(bool &msAsm); 9029a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult FuzzyParseMicrosoftAsmStatement(); 903a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl bool ParseAsmOperandsOpt(llvm::SmallVectorImpl<std::string> &Names, 904a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl llvm::SmallVectorImpl<ExprTy*> &Constraints, 905a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl llvm::SmallVectorImpl<ExprTy*> &Exprs); 906a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl 907a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl //===--------------------------------------------------------------------===// 908a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl // C++ 6: Statements and Blocks 909a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl 910a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl OwningStmtResult ParseCXXTryBlock(); 911d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl OwningStmtResult ParseCXXTryBlockCommon(SourceLocation TryLoc); 912a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl OwningStmtResult ParseCXXCatchBlock(); 913a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl 914a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl //===--------------------------------------------------------------------===// 915a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl // Objective-C Statements 916a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl 91743bc2a0973ffe404fabba6f8280cd6bad2c69fcbSebastian Redl OwningStmtResult ParseObjCAtStatement(SourceLocation atLoc); 91843bc2a0973ffe404fabba6f8280cd6bad2c69fcbSebastian Redl OwningStmtResult ParseObjCTryStmt(SourceLocation atLoc); 91943bc2a0973ffe404fabba6f8280cd6bad2c69fcbSebastian Redl OwningStmtResult ParseObjCThrowStmt(SourceLocation atLoc); 92043bc2a0973ffe404fabba6f8280cd6bad2c69fcbSebastian Redl OwningStmtResult ParseObjCSynchronizedStmt(SourceLocation atLoc); 921b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 9225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 9245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.7: Declarations. 92567d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall 92667d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall /// A context for parsing declaration specifiers. TODO: flesh this 92767d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall /// out, there are other significant restrictions on specifiers than 92867d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall /// would be best implemented in the parser. 92967d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall enum DeclSpecContext { 93067d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall DSC_normal, // normal context 93167d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall DSC_class // class context, enables 'friend' 93267d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall }; 9335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 93497144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner DeclGroupPtrTy ParseDeclaration(unsigned Context, SourceLocation &DeclEnd); 935cd1477562e7cf03279850885583d615e1f631dd4Chris Lattner DeclGroupPtrTy ParseSimpleDeclaration(unsigned Context, 93697144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner SourceLocation &DeclEnd, 937cd1477562e7cf03279850885583d615e1f631dd4Chris Lattner bool RequireSemi = true); 938e542c862bdf9a9bcb4f468be8fa6561372430611Douglas Gregor DeclPtrTy ParseDeclarationAfterDeclarator(Declarator &D, 939e542c862bdf9a9bcb4f468be8fa6561372430611Douglas Gregor const ParsedTemplateInfo &TemplateInfo = ParsedTemplateInfo()); 940682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner DeclGroupPtrTy ParseInitDeclaratorListAfterFirstDeclarator(Declarator &D); 941b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseFunctionStatementBody(DeclPtrTy Decl); 942d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl DeclPtrTy ParseFunctionTryBlock(DeclPtrTy Decl); 943d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl 944f4382f50b7ab9f445c3f5b3ddaa59e6da25ea3bbChris Lattner bool ParseImplicitInt(DeclSpec &DS, CXXScopeSpec *SS, 9454d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor const ParsedTemplateInfo &TemplateInfo, 946e40c295d017a8f75a945fe9ed2aa9d8bb7a7341aChris Lattner AccessSpecifier AS); 947c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor void ParseDeclarationSpecifiers(DeclSpec &DS, 9484d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor const ParsedTemplateInfo &TemplateInfo = ParsedTemplateInfo(), 94967d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall AccessSpecifier AS = AS_none, 95067d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall DeclSpecContext DSC = DSC_normal); 951fec54013fcd0eb72642741584ca04c1bc292bef8John McCall bool ParseOptionalTypeSpecifier(DeclSpec &DS, bool &isInvalid, 9527a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner const char *&PrevSpec, 953fec54013fcd0eb72642741584ca04c1bc292bef8John McCall unsigned &DiagID, 9544d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor const ParsedTemplateInfo &TemplateInfo = ParsedTemplateInfo()); 9554d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor 9565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseSpecifierQualifierList(DeclSpec &DS); 95719d74e1494fe399f0e2a94e9419c095f8214851bFariborz Jahanian 958a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek void ParseObjCTypeQualifierList(ObjCDeclSpec &DS); 9595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9604c97d762d8c5a84f6554e5bfb31d28c90df64158Chris Lattner void ParseEnumSpecifier(SourceLocation TagLoc, DeclSpec &DS, 9614c97d762d8c5a84f6554e5bfb31d28c90df64158Chris Lattner AccessSpecifier AS = AS_none); 962b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner void ParseEnumBody(SourceLocation StartLoc, DeclPtrTy TagDecl); 9635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseStructUnionBody(SourceLocation StartLoc, unsigned TagType, 964b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy TagDecl); 965e13594279a952537ac903325efff57e3edca79d9Chris Lattner void ParseStructDeclaration(DeclSpec &DS, 966e13594279a952537ac903325efff57e3edca79d9Chris Lattner llvm::SmallVectorImpl<FieldDeclarator> &Fields); 9674e6526b2de501f2bbc261fd8017c92c75bd8d8f7Steve Naroff 968eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis bool isDeclarationSpecifier(); 969eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis bool isTypeSpecifierQualifier(); 9705f8aa696619e32bf307232841fedb704ba733b4dSteve Naroff bool isTypeQualifier() const; 9715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9725404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isDeclarationStatement - Disambiguates between a declaration or an 9735404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// expression statement, when parsing function bodies. 9745404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns true for declaration, false for expression. 9755404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isDeclarationStatement() { 9765404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis if (getLang().CPlusPlus) 9775404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis return isCXXDeclarationStatement(); 9785404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis return isDeclarationSpecifier(); 9795404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 9805404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 981bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// isSimpleDeclaration - Disambiguates between a declaration or an 982bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// expression, mainly used for the C 'clause-1' or the C++ 983bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis // 'for-init-statement' part of a 'for' statement. 984bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// Returns true for declaration, false for expression. 985bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis bool isSimpleDeclaration() { 986bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis if (getLang().CPlusPlus) 987bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis return isCXXSimpleDeclaration(); 988bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis return isDeclarationSpecifier(); 989bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis } 990bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis 9918b642592a35167a3780074e78674e0bece87c40cDouglas Gregor /// \brief Specifies the context in which type-id/expression 9928b642592a35167a3780074e78674e0bece87c40cDouglas Gregor /// disambiguation will occur. 9938b642592a35167a3780074e78674e0bece87c40cDouglas Gregor enum TentativeCXXTypeIdContext { 9948b642592a35167a3780074e78674e0bece87c40cDouglas Gregor TypeIdInParens, 9958b642592a35167a3780074e78674e0bece87c40cDouglas Gregor TypeIdAsTemplateArgument 9968b642592a35167a3780074e78674e0bece87c40cDouglas Gregor }; 9978b642592a35167a3780074e78674e0bece87c40cDouglas Gregor 9988b642592a35167a3780074e78674e0bece87c40cDouglas Gregor 99978c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// isTypeIdInParens - Assumes that a '(' was parsed and now we want to know 100078c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// whether the parens contain an expression or a type-id. 100178c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// Returns true for a type-id and false for an expression. 1002f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis bool isTypeIdInParens(bool &isAmbiguous) { 100378c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis if (getLang().CPlusPlus) 1004f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis return isCXXTypeId(TypeIdInParens, isAmbiguous); 1005f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis isAmbiguous = false; 100678c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis return isTypeSpecifierQualifier(); 100778c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis } 1008f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis bool isTypeIdInParens() { 1009f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis bool isAmbiguous; 1010f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis return isTypeIdInParens(isAmbiguous); 1011f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis } 101278c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis 10135404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXDeclarationStatement - C++-specialized function that disambiguates 10145404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// between a declaration or an expression statement, when parsing function 10155404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// bodies. Returns true for declaration, false for expression. 10165404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isCXXDeclarationStatement(); 10175404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 10185404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXSimpleDeclaration - C++-specialized function that disambiguates 10195404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// between a simple-declaration or an expression-statement. 10205404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 10215404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 10225404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns false if the statement is disambiguated as expression. 10235404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isCXXSimpleDeclaration(); 10245404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 10255404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXFunctionDeclarator - Disambiguates between a function declarator or 10265404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// a constructor-style initializer, when parsing declaration statements. 10275404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns true for function declarator and false for constructor-style 1028e75d849d9141d8e47d05a91b7b5c04194854e47aArgyrios Kyrtzidis /// initializer. If 'warnIfAmbiguous' is true a warning will be emitted to 1029259b0d91f2ff90d8daf39221fe133bf1596c5ffbArgyrios Kyrtzidis /// indicate that the parens were disambiguated as function declarator. 10305404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 10315404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 1032e75d849d9141d8e47d05a91b7b5c04194854e47aArgyrios Kyrtzidis bool isCXXFunctionDeclarator(bool warnIfAmbiguous); 10335404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 1034a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// isCXXConditionDeclaration - Disambiguates between a declaration or an 1035a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// expression for a condition of a if/switch/while/for statement. 1036a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 1037a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 1038a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis bool isCXXConditionDeclaration(); 1039a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis 1040f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis bool isCXXTypeId(TentativeCXXTypeIdContext Context, bool &isAmbiguous); 1041f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis bool isCXXTypeId(TentativeCXXTypeIdContext Context) { 1042f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis bool isAmbiguous; 1043f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis return isCXXTypeId(Context, isAmbiguous); 1044f58f45e6d76792df8c643ce1c6d364dce5db4826Argyrios Kyrtzidis } 104578c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis 1046b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// TPResult - Used as the result value for functions whose purpose is to 1047b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// disambiguate C++ constructs by "tentatively parsing" them. 1048b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// This is a class instead of a simple enum because the implicit enum-to-bool 1049b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// conversions may cause subtle bugs. 1050b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis class TPResult { 1051b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis enum Result { 1052b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_true, 1053b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_false, 1054b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_ambiguous, 1055b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_error 1056b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis }; 1057b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis Result Res; 1058b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult(Result result) : Res(result) {} 1059b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis public: 1060b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult True() { return TPR_true; } 1061b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult False() { return TPR_false; } 1062b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult Ambiguous() { return TPR_ambiguous; } 1063b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult Error() { return TPR_error; } 1064b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis 1065b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis bool operator==(const TPResult &RHS) const { return Res == RHS.Res; } 1066b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis bool operator!=(const TPResult &RHS) const { return Res != RHS.Res; } 1067b47e38683f288cd4a73098091d629df417377a6bArgyrios Kyrtzidis }; 1068b47e38683f288cd4a73098091d629df417377a6bArgyrios Kyrtzidis 1069b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// isCXXDeclarationSpecifier - Returns TPResult::True() if it is a 1070b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// declaration specifier, TPResult::False() if it is not, 1071b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// TPResult::Ambiguous() if it could be either a decl-specifier or a 1072b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// function-style cast, and TPResult::Error() if a parsing error was 1073b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// encountered. 10745404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Doesn't consume tokens. 1075b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult isCXXDeclarationSpecifier(); 10765404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 10775404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis // "Tentative parsing" functions, used for disambiguation. If a parsing error 1078b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // is encountered they will return TPResult::Error(). 1079b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // Returning TPResult::True()/False() indicates that the ambiguity was 1080b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // resolved and tentative parsing may stop. TPResult::Ambiguous() indicates 1081b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // that more tentative parsing is necessary for disambiguation. 10825404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis // They all consume tokens, so backtracking should be used after calling them. 10835404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 1084b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseDeclarationSpecifier(); 1085b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseSimpleDeclaration(); 1086b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseTypeofSpecifier(); 1087b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseInitDeclaratorList(); 108878c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis TPResult TryParseDeclarator(bool mayBeAbstract, bool mayHaveIdentifier=true); 1089b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseParameterDeclarationClause(); 1090b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseFunctionDeclarator(); 1091b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseBracketDeclarator(); 10925404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 1093ef65f06e8e440aec541442cfd73a8a836e9bc842Sebastian Redl TypeResult ParseTypeName(SourceRange *Range = 0); 109498eb8a7a702b95183ed015706b1f1c66f5cb27a4Mike Stump void ParseBlockId(); 1095ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // EndLoc, if non-NULL, is filled with the location of the last token of 1096ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // the attribute list. 1097ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl AttributeList *ParseAttributes(SourceLocation *EndLoc = 0); 1098290eeb0ec2b6b91f3621e05ef541deb257fbea73Eli Friedman AttributeList *ParseMicrosoftDeclSpec(AttributeList* CurrAttr = 0); 1099290eeb0ec2b6b91f3621e05ef541deb257fbea73Eli Friedman AttributeList *ParseMicrosoftTypeAttributes(AttributeList* CurrAttr = 0); 1100d1861fd633d5096a00777c918eb8575ea7162fe7Steve Naroff void ParseTypeofSpecifier(DeclSpec &DS); 11016fd634f4ac59f5923cffadadb99d19f23c18707aAnders Carlsson void ParseDecltypeSpecifier(DeclSpec &DS); 1102eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 1103eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// DeclaratorScopeObj - RAII object used in Parser::ParseDirectDeclarator to 1104eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// enter a new C++ declarator scope and exit it when the function is 1105eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// finished. 1106eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis class DeclaratorScopeObj { 1107eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis Parser &P; 1108751810234ffb45327f23c5f9fda0b944e480bd2bArgyrios Kyrtzidis CXXScopeSpec &SS; 1109f37006bc8a9d398d40d6ce329f023ed1a92fe484Argyrios Kyrtzidis bool EnteredScope; 1110eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis public: 1111f37006bc8a9d398d40d6ce329f023ed1a92fe484Argyrios Kyrtzidis DeclaratorScopeObj(Parser &p, CXXScopeSpec &ss) 1112f37006bc8a9d398d40d6ce329f023ed1a92fe484Argyrios Kyrtzidis : P(p), SS(ss), EnteredScope(false) {} 1113eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 1114eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis void EnterDeclaratorScope() { 11152bcb3439b50c7f227a21d7118a2a76904ec60331Argyrios Kyrtzidis assert(!EnteredScope && "Already entered the scope!"); 1116f37006bc8a9d398d40d6ce329f023ed1a92fe484Argyrios Kyrtzidis assert(SS.isSet() && "C++ scope was not set!"); 1117f37006bc8a9d398d40d6ce329f023ed1a92fe484Argyrios Kyrtzidis P.Actions.ActOnCXXEnterDeclaratorScope(P.CurScope, SS); 11183fdbed594f4cb238fe37cad2ec3fefa3b6f67125Douglas Gregor if (!SS.isInvalid()) 11193fdbed594f4cb238fe37cad2ec3fefa3b6f67125Douglas Gregor EnteredScope = true; 1120eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis } 1121eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 1122eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis ~DeclaratorScopeObj() { 1123f37006bc8a9d398d40d6ce329f023ed1a92fe484Argyrios Kyrtzidis if (EnteredScope) { 1124f37006bc8a9d398d40d6ce329f023ed1a92fe484Argyrios Kyrtzidis assert(SS.isSet() && "C++ scope was cleared ?"); 11250a59acb9ae36077ce46fb2807956c5e84f0f6837Douglas Gregor P.Actions.ActOnCXXExitDeclaratorScope(P.CurScope, SS); 1126f37006bc8a9d398d40d6ce329f023ed1a92fe484Argyrios Kyrtzidis } 1127eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis } 1128eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis }; 11295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 11305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParseDeclarator - Parse and verify a newly-initialized declarator. 11315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseDeclarator(Declarator &D); 11324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl /// A function that parses a variant of direct-declarator. 11334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef void (Parser::*DirectDeclParseFunction)(Declarator&); 11344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl void ParseDeclaratorInternal(Declarator &D, 11354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl DirectDeclParseFunction DirectDeclParser); 113685b5a45803784a5465f69baf6f8d6e1eacaa5af5Chris Lattner void ParseTypeQualifierListOpt(DeclSpec &DS, bool AttributesAllowed = true); 11375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseDirectDeclarator(Declarator &D); 11385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseParenDeclarator(Declarator &D); 11397399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner void ParseFunctionDeclarator(SourceLocation LParenLoc, Declarator &D, 11407399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner AttributeList *AttrList = 0, 11417399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner bool RequiresArg = false); 114266d28650752eeac0b02802a1d8cea425cb6b1c0fChris Lattner void ParseFunctionDeclaratorIdentifierList(SourceLocation LParenLoc, 114366d28650752eeac0b02802a1d8cea425cb6b1c0fChris Lattner Declarator &D); 11445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseBracketDeclarator(Declarator &D); 11458f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner 11468f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner //===--------------------------------------------------------------------===// 11478f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner // C++ 7: Declarations [dcl.dcl] 11488f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner 114997144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner DeclPtrTy ParseNamespace(unsigned Context, SourceLocation &DeclEnd); 1150b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseLinkage(unsigned Context); 115197144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner DeclPtrTy ParseUsingDirectiveOrDeclaration(unsigned Context, 115297144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner SourceLocation &DeclEnd); 115397144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner DeclPtrTy ParseUsingDirective(unsigned Context, SourceLocation UsingLoc, 115497144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner SourceLocation &DeclEnd); 115597144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner DeclPtrTy ParseUsingDeclaration(unsigned Context, SourceLocation UsingLoc, 1156595adc1795cc2c079ef5876100e01acd10a0504aAnders Carlsson SourceLocation &DeclEnd, 1157595adc1795cc2c079ef5876100e01acd10a0504aAnders Carlsson AccessSpecifier AS = AS_none); 115897144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner DeclPtrTy ParseStaticAssertDeclaration(SourceLocation &DeclEnd); 115903bd5a1e9a54b62b10ae8aeb6eb5245e2031d98bAnders Carlsson DeclPtrTy ParseNamespaceAlias(SourceLocation NamespaceLoc, 116097144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner SourceLocation AliasLoc, IdentifierInfo *Alias, 116197144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner SourceLocation &DeclEnd); 1162f67606ae2febe3bb0718f05040c6c4bc2c2c3276Anders Carlsson 1163e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor //===--------------------------------------------------------------------===// 1164e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor // C++ 9: classes [class] and C structs/unions. 116531a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor TypeResult ParseClassName(SourceLocation &EndLocation, 1166d33c868d386ef47c2942e2dbff0d9955a8591fa9Fariborz Jahanian const CXXScopeSpec *SS = 0, 1167d33c868d386ef47c2942e2dbff0d9955a8591fa9Fariborz Jahanian bool DestrExpected = false); 11684c97d762d8c5a84f6554e5bfb31d28c90df64158Chris Lattner void ParseClassSpecifier(tok::TokenKind TagTokKind, SourceLocation TagLoc, 11694c97d762d8c5a84f6554e5bfb31d28c90df64158Chris Lattner DeclSpec &DS, 11704d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor const ParsedTemplateInfo &TemplateInfo = ParsedTemplateInfo(), 117106c0fecd197fef21e265a41bca8dc5022de1f864Douglas Gregor AccessSpecifier AS = AS_none); 11724cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void ParseCXXMemberSpecification(SourceLocation StartLoc, unsigned TagType, 1173b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy TagDecl); 117437b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor void ParseCXXClassMemberDeclaration(AccessSpecifier AS, 117537b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor const ParsedTemplateInfo &TemplateInfo = ParsedTemplateInfo()); 1176b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner void ParseConstructorInitializer(DeclPtrTy ConstructorDecl); 1177b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner MemInitResult ParseMemInitializer(DeclPtrTy ConstructorDecl); 1178d33133cdc1af466f9c276249b2621be03867888bEli Friedman void HandleMemberFunctionDefaultArgs(Declarator& DeclaratorInfo, 1179d33133cdc1af466f9c276249b2621be03867888bEli Friedman DeclPtrTy ThisDecl); 1180e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor 1181e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor //===--------------------------------------------------------------------===// 1182e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor // C++ 10: Derived classes [class.derived] 1183b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner void ParseBaseClause(DeclPtrTy ClassDecl); 1184b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner BaseResult ParseBaseSpecifier(DeclPtrTy ClassDecl); 11851b7f89846f10681ce3cbe89ef5d60691d55bd918Douglas Gregor AccessSpecifier getAccessSpecifierIfPresent() const; 11861cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor 11871cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor //===--------------------------------------------------------------------===// 11881cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor // C++ 13.5: Overloaded operators [over.oper] 1189ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // EndLoc, if non-NULL, is filled with the location of the last token of 1190ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // the ID. 1191ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl OverloadedOperatorKind TryParseOperatorFunctionId(SourceLocation *EndLoc = 0); 1192ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl TypeTy *ParseConversionFunctionId(SourceLocation *EndLoc = 0); 1193adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor 1194adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor //===--------------------------------------------------------------------===// 1195adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor // C++ 14: Templates [temp] 1196b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner typedef llvm::SmallVector<DeclPtrTy, 4> TemplateParameterList; 1197c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor 1198adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor // C++ 14.1: Template Parameters [temp.param] 11994d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor DeclPtrTy ParseDeclarationStartingWithTemplate(unsigned Context, 12004d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor SourceLocation &DeclEnd, 12014d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor AccessSpecifier AS = AS_none); 1202b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseTemplateDeclarationOrSpecialization(unsigned Context, 120397144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner SourceLocation &DeclEnd, 12044d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor AccessSpecifier AS); 12051426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor DeclPtrTy ParseSingleDeclarationAfterTemplate( 12061426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor unsigned Context, 12074d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor const ParsedTemplateInfo &TemplateInfo, 12081426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor SourceLocation &DeclEnd, 12091426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor AccessSpecifier AS=AS_none); 1210c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor bool ParseTemplateParameters(unsigned Depth, 1211c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor TemplateParameterList &TemplateParams, 1212c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor SourceLocation &LAngleLoc, 1213c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor SourceLocation &RAngleLoc); 1214c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor bool ParseTemplateParameterList(unsigned Depth, 1215c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor TemplateParameterList &TemplateParams); 1216b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseTemplateParameter(unsigned Depth, unsigned Position); 1217b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseTypeParameter(unsigned Depth, unsigned Position); 1218b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseTemplateTemplateParameter(unsigned Depth, unsigned Position); 1219b28317a8e5e0e2953d1e5406d753d6c3c7f1e7d2Chris Lattner DeclPtrTy ParseNonTypeTemplateParameter(unsigned Depth, unsigned Position); 1220d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor // C++ 14.3: Template arguments [temp.arg] 12215908e9f25bc9a334c99c095e0b1e6a515445be2dDouglas Gregor typedef llvm::SmallVector<void *, 16> TemplateArgList; 12225908e9f25bc9a334c99c095e0b1e6a515445be2dDouglas Gregor typedef llvm::SmallVector<bool, 16> TemplateArgIsTypeList; 1223c15cb38a4ff717097b32532fbf761c71b1376a02Douglas Gregor typedef llvm::SmallVector<SourceLocation, 16> TemplateArgLocationList; 1224cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor 12257532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor bool ParseTemplateIdAfterTemplateName(TemplateTy Template, 1226cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor SourceLocation TemplateNameLoc, 1227cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor const CXXScopeSpec *SS, 1228cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor bool ConsumeLastToken, 1229cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor SourceLocation &LAngleLoc, 1230cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor TemplateArgList &TemplateArgs, 1231cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor TemplateArgIsTypeList &TemplateArgIsType, 1232cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor TemplateArgLocationList &TemplateArgLocations, 1233cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor SourceLocation &RAngleLoc); 1234cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor 1235c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner bool AnnotateTemplateIdToken(TemplateTy Template, TemplateNameKind TNK, 123639a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor const CXXScopeSpec *SS, 123739a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor SourceLocation TemplateKWLoc = SourceLocation(), 123839a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor bool AllowTypeAnnotation = true); 123931a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor void AnnotateTemplateIdTokenAsType(const CXXScopeSpec *SS = 0); 12405908e9f25bc9a334c99c095e0b1e6a515445be2dDouglas Gregor bool ParseTemplateArgumentList(TemplateArgList &TemplateArgs, 1241c15cb38a4ff717097b32532fbf761c71b1376a02Douglas Gregor TemplateArgIsTypeList &TemplateArgIsType, 1242c15cb38a4ff717097b32532fbf761c71b1376a02Douglas Gregor TemplateArgLocationList &TemplateArgLocations); 12435908e9f25bc9a334c99c095e0b1e6a515445be2dDouglas Gregor void *ParseTemplateArgument(bool &ArgIsType); 12444d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor DeclPtrTy ParseExplicitInstantiation(SourceLocation TemplateLoc, 12454d9a16f36d3b768672d50e6d02000f982ae448d7Douglas Gregor SourceLocation &DeclEnd); 124664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 124764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl //===--------------------------------------------------------------------===// 124864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl // GNU G++: Type Traits [Type-Traits.html in the GCC manual] 124964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl OwningExprResult ParseUnaryTypeTrait(); 12505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 12515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 12525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 12535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 12545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1255